Dagstuhl reportsPub Date : 2022-01-01DOI: 10.4230/DagRep.12.4.72
Tilman Dingler, Benjamin Tag, Andrew W. Vargo
{"title":"Technologies to Support Critical Thinking in an Age of Misinformation (Dagstuhl Seminar 22172)","authors":"Tilman Dingler, Benjamin Tag, Andrew W. Vargo","doi":"10.4230/DagRep.12.4.72","DOIUrl":"https://doi.org/10.4230/DagRep.12.4.72","url":null,"abstract":"This report documents the program and the outcomes of Dagstuhl Seminar 22172 “Technologies to Support Critical Thinking in an Age of Misinformation”. This seminar brought together experts from computer science, behavioural psychology, journalists, and policy makers to examine and define the challenges of misinformation and fake news in the internet and social networks. This included discussions of what constitutes misinformation, technological advances for both spreading and mitigating misinformation, and discussions around policies that can be created and implemented to address propagators, both active and passive, of misinformation. The goal of this report is to summarize and present the various challenges and options for the development and implementation of technologies to support critical thinking.","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"72-95"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435862","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Logic and Random Discrete Structures (Dagstuhl Seminar 22061)","authors":"E. Grädel, Ph. G. Kolaitis, M. Noy","doi":"10.4230/DagRep.12.2.1","DOIUrl":"https://doi.org/10.4230/DagRep.12.2.1","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"1-16"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435391","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dagstuhl reportsPub Date : 2022-01-01DOI: 10.4230/DagRep.12.11.66
S. Bleisch, S. Chaplick, J. Haunert, E. Mayr, M. V. Kreveld, A. Bonerath
{"title":"Set Visualization and Uncertainty (Dagstuhl Seminar 22462)","authors":"S. Bleisch, S. Chaplick, J. Haunert, E. Mayr, M. V. Kreveld, A. Bonerath","doi":"10.4230/DagRep.12.11.66","DOIUrl":"https://doi.org/10.4230/DagRep.12.11.66","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"66-95"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435712","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dagstuhl reportsPub Date : 2022-01-01DOI: 10.4230/DagRep.12.12.1
K. Kunze, P. Maes, F. Mueller, Katrin Wolf
{"title":"Cognitive Augmentation (Dagstuhl Seminar 22491)","authors":"K. Kunze, P. Maes, F. Mueller, Katrin Wolf","doi":"10.4230/DagRep.12.12.1","DOIUrl":"https://doi.org/10.4230/DagRep.12.12.1","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"1-26"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435769","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dagstuhl reportsPub Date : 2022-01-01DOI: 10.4230/DagRep.12.12.27
H. Attiya, C. Enea, S. Rajsbaum, A. Sokolova
{"title":"Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)","authors":"H. Attiya, C. Enea, S. Rajsbaum, A. Sokolova","doi":"10.4230/DagRep.12.12.27","DOIUrl":"https://doi.org/10.4230/DagRep.12.12.27","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"27-53"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435811","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dagstuhl reportsPub Date : 2022-01-01DOI: 10.4230/DagRep.12.2.103
Meinard Müller, Rachel M. Bittner, Juhan Nam
{"title":"Deep Learning and Knowledge Integration for Music Audio Analysis (Dagstuhl Seminar 22082)","authors":"Meinard Müller, Rachel M. Bittner, Juhan Nam","doi":"10.4230/DagRep.12.2.103","DOIUrl":"https://doi.org/10.4230/DagRep.12.2.103","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"103-133"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435990","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dagstuhl reportsPub Date : 2022-01-01DOI: 10.4230/DagRep.12.2.67
E. Ábrahám, J. Davenport, M. England, A. Griggio
{"title":"New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)","authors":"E. Ábrahám, J. Davenport, M. England, A. Griggio","doi":"10.4230/DagRep.12.2.67","DOIUrl":"https://doi.org/10.4230/DagRep.12.2.67","url":null,"abstract":"Dagstuhl Seminar 22072 gathered researchers from Symbolic Computation and Satisfiability Checking. These communities have independent histories but worked together in recent years (e.g. Dagstuhl Seminar 15471 and the EU SC-Square Project). We seek to tackle problems which are in the interest of both communities, and require the expertise of both to overcome.","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"67-86"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436127","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dagstuhl reportsPub Date : 2022-01-01DOI: 10.4230/DagRep.12.7.205
Neil C. C. Brown, M. Guzdial, S. Krishnamurthi, Jens Mönig
{"title":"Educational Programming Languages and Systems (Dagstuhl Seminar 22302)","authors":"Neil C. C. Brown, M. Guzdial, S. Krishnamurthi, Jens Mönig","doi":"10.4230/DagRep.12.7.205","DOIUrl":"https://doi.org/10.4230/DagRep.12.7.205","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"27 1","pages":"205-236"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436466","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}