News and Events: Conferences
These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Calls for Paper
Headlines Upcoming conferences
Calls for Paper
2 - 3 July 2020, AAL 2020: Australasian Association for Logic, Sydney, AustraliaLocation: Sydney, Australia
The 2020 annual conference of the Australasian Association for Logic (AAL) will be held in Sydney, Australia, on Thursday 2nd July and Friday 3rd July 2020. The conference is sponsored by the Association for Symbolic Logic (ASL). Student ASL members may apply for modest student travel awards to attend the conference.
Just after AAL 2020, the University of Sydney will also be hosting the 2020 annual conference of the Australasian Association of Philosophy, from July 5th until July 9th: see the conference webpage for further details.
Papers in any area of philosophical, mathematical or computational logic are welcome. Abstracts of papers should be submitted by email to <nicholas.smith at sydney.edu.au>.For more information, see http://www-personal.usyd.edu.au/~njjsmith/aal2020/ or contact nicholas.smith at sydney.edu.au.
8 - 9 August 2020, The 25th Conference on Formal Grammar (FG 2020), Utrecht, The NetherlandsLocation: Utrecht, The NetherlandsDeadline: Tuesday 31 March 2020
FG 2020 is the 25th conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information which, in 2020, will take place at the University of Utrecht, Utrecht, the Netherlands.
FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language. Previous conferences in this series have welcomed papers from a wide variety of frameworks. The program will include a special session on the relevance of formal grammar methods in deep learning and other statistical and vector space approaches to language.
We invite electronic submissions of original, 16-page papers (including references and possible technical appendices). Authors are encouraged to use the Springer-Verlag LNCS style. Papers should report original work which was not presented in other conferences. However, simultaneous submission is allowed, provided that the authors indicate other conferences to which the work was submitted in a footnote. Note that accepted papers can only be presented in one of the venues.For more information, see http://fg.phil.hhu.de/2020/.
13 - 18 July 2020, Logic Colloquium 2020 (LC 2020), Poznan, PolandLocation: Poznan, PolandDeadline: Tuesday 31 March 2020
The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and critical discussion of scholarly work in this area of inquiry.
The program will feature tutorials by Krzysztof Krupiński (University of Wrocław) and Andrew Marks – (University of California, Los Angeles), and special sessions on Set Theory, Model Theory, Modal and Epistemic Logic, Proofs and Programs, Computability Logic, and Cognitive Science and Linguistics.
Abstracts of contributed papers must be submitted as pdf files, via EasyChair, Abstract should be prepared according to the ASL instruction using the ASL abstract style.
3 - 14 August 2020, ESSLLI 2020 Student Session, Utrecht, The NetherlandsLocation: Utrecht, The NetherlandsDeadline: Wednesday 1 April 2020
The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.
The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo). The ESSLLI 2020 Student Session will be held during ESSLLI 2020 at Utrecht University, Utrecht, the Netherlands
We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and selected papers will appear in the Student Session proceedings by Springer. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience.
Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress.For more information, see https://www.esslli.eu/programme/student-session.html or contact Alexandra Pavlova at alexandra at logic.at.
15 - 18 June 2020, XXIII Summer School in Philosophy of Physics: Philosophy of Quantum Computation, Urbino, ItalyLocation: Urbino, ItalyDeadline: Sunday 5 April 2020
We invite participatuib in the XXIII International Summer School in Philosophy of Physics to be held in Urbino 15th-18th June 2020. The topic of the school is 'Philosophy of Quantum Computation' and it will feature lectures given by Michael Cuffaro (Munich Center for Mathematical Philosophy) and Roberto Giuntini (University of Cagliari), with afternoon seminars given by David Vitali (University of Macerata), Gustavo Martin Bosyk (University of Cagliari), and Rossella Lupacchini (University of Bologna). The School will host a limited number of students, graduate students and early researchers depending on a successful application.
We wish to offer three young researchers in Philosophy of Quantum Computation the opportunity to test their skills by presenting their original papers to the other participants of the School. Three sessions of the School will be devoted to these presentations: interested graduate students, postgraduates and early researchers are invited to submit an abstract (no longer than 1000 words) suitable for blind review.For more information, see https://sites.google.com/site/centroricerchecirfis/xxiiisummerschool_philosophyofquantumcomputation or contact cirfis.scuolaestiva at gmail.com.
29 June 2020, Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020), Paris, FranceLocation: Paris, FranceDeadline: Sunday 5 April 2020
Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.
LFMTP 2020 is affiliated with FSCD 2020 and IJCAR 2020. To celebrate the 60th birthday of Frank Pfenning and his great many contributions to the topics of LFMTP, one session will be devoted to talks by collaborators and friends of Frank.
In addition to regular papers, we accept the submission of "work in progress" reports, in a broad sense. Those do not need to report fully polished research results, but should be of interest for the community at large.
Submitted papers should be in PDF, formatted using the EPTCS LaTeX style. The length is restricted to 15 pages for regular papers and 8 pages for "Work in Progress" papers. All submissions will be peer-reviewed and the authors of those accepted will be invited to present their papers at the workshop.For more information, see https://lfmtp.org/workshops/2020/.
8 - 11 September 2020, 23rd International Conference on Text, Speech and Dialogue (TSD 2020), Brno, Czech RepublicLocation: Brno, Czech RepublicDeadline: Friday 10 April 2020
TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions with sufficient time for discussions of the issues raised.The TSD 2020 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee. Social events including a trip in the vicinity of Brno will allow for additional informal interactions.
The organizing committee invites papers to be presented during the conference. Topics of the conference will include (but are not limited to): Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech, Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing, Automatic Dialogue Systems , and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.
29 June 2020, 9th International Workshop on Theorem Prover Components for Educational Software (ThEdu'20) , Paris, FranceLocation: Paris, FranceDeadline: Sunday 12 April 2020
Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems.
ThEdu'20 is part of "Paris Nord Summer of LoVe 2020". Invited Talk: Gilles Dowek, ENS Paris-Saclay.
We welcome submission of extended abstracts and demonstration proposals presenting original unpublished work which is not been submitted for publication elsewhere.
Topics of interest include: methods of automated deduction applied to checking students' input; methods of automated deduction applied to prove post-conditions for particular problem solutions; combinations of deduction and computation enabling systems to propose next steps; automated provers specific for dynamic geometry systems; proof and proving in mathematics education.For more information, see http://www.uc.pt/en/congressos/thedu/thedu20.
29 June 2020, 34th International Workshop on Unification, Paris, FranceLocation: Paris, FranceDeadline: Monday 13 April 2020
Unification is concerned with the problem of making two terms equal, finding solutions for equations or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the state of the art in unification theory.
The 34th International Workshop on Unification is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Universit́e Paris 13. UNIF 2020 will be a satellite workshop of The International Joint Conference on Automated Reasoning (IJCAR 2020).
Following the tradition of UNIF, we call for submissions of abstracts (5 pages) in EasyChair style, to be submitted electronically as PDF through the EasyChair submission site. Abstracts will be evaluated by the Programme Committee (if necessary with support from external reviewers) regarding their significance for the workshop. We will allow work presented/submitted in/to another conference.For more information, see http://unif2020.org/.
4 - 7 August 2020, 27th Workshop on Logic, Language, Information and Computation (WoLLIC 2020), Lima, PeruLocation: Lima, PeruDeadline: Wednesday 15 April 2020
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. WoLLIC 2020 is planned to also have a special session with the exhibition of a one-hour documentary film about Maryam Mirzakhani, a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death.
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors.For more information, see http://wollic.org/wollic2020/.
Late September 2020, Fourth International Conference on Computational Linguistics in Bulgaria (CLIB 2020), Sofia, BulgariaLocation: Sofia, BulgariaDeadline: Wednesday 15 April 2020
CLIB covers a broad spectrum of areas related to natural language processing and computational linguistics focused on but not limited to Bulgarian.
CLIB 2020's invited speakers will be: Prof. Galya Angelova (Institute of Information and Communication Technologies, Bulgarian Academy of Sciences Assoc), Prof. Svetla Boytcheva (Institute of Information and Communication Technologies, Bulgarian Academy of Sciences) and Dr. Preslav Nakov (Qatar Computing Research Institut). A special session on wordnets and ontologies is also envisaged.
In light of the COVID-19 pandemic and its impact on everyone's life, we feel that the responsible thing to do is to postpone the conference until better times. Given the rapid unfolding of events, the exact dates for CLIB 2020 will be announced at a later point, but we are looking forward to reschedule the conference for late September 2020 and will be working hard to make this happen.
CLIB invites contributions on original research, including, but not limited to the following topics: semantics, syntax, grammar and the lexicon; cognitive, mathematical and computational models of language processing; lexical semantics and ontologies; linguistic annotation; word sense disambiguation; MWE recognition; information extraction; text analysis and summarisation; NLP methods and applications; corpus linguistics; multilingual processing and applications, machine translation and translation aids.
There will be two categories of research papers: oral and poster presentations. All accepted papers will be included in the Conference proceedings.
10 - 12 August 2020, 26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2020), Stockholm, SwedenLocation: Stockholm, SwedenDeadline: Wednesday 15 April 2020
As it is its tradition, *AUTOMATA 2020* will focus on the theory and application of cellular automata and discrete dynamical systems in connection to complexity theory and algorithmic information. There will be special sessions on *Automata in Deep Learning* and *Algorithmic Information Dynamics* with a particular interest in aspects of computability in causation and reprogrammability.
AUTOMATA 2020 is innovating on various fronts given the challenge of climate change we want to reduce the conference Carbon footprint through a virtual attendance option, and also by addressing the underrepresentation of young and minority groups in the field.
Submissions presenting original and unpublished research on all fundamental aspects of cellular automata and related discrete complex systems are being sought.
There are two categories of submission: full papers and exploratory papers. Full papers are meant to report more complete and denser research, while the later submission deadline for exploratory papers allows short reports of recent discoveries, work-in-progress and/or partial results. Submissions in the full paper category are refereed and selected by the program committee. Papers in the exploratory category go through a less rigorous evaluation process. All accepted papers must be presented (in person or virtually) at the conference. Submissions should contain original research that has not previously been published.
8 - 9 August 2020, Workshop on Semantic Spaces at the Intersection of NLP, Physics, & Cognitive Sciences (SemSpace2020), Utrecht, The NetherlandsLocation: Utrecht, The NetherlandsDeadline: Wednesday 15 April 2020
Exploiting the common ground provided by vector spaces, the proposed workshop will bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas. The interplay between these three disciplines will foster theoretically motivated approaches to understanding how meanings of words interact with each other in sentences and discourse via grammatical types, how they are determined by input from the world, and how word and sentence meanings interact logically.
SemSpace2020 will be co-located with ESSLLI 2020. Additionally, we will have a special session on the relevance of formal grammar methods in deep learning and other statistical and vector space approaches to language. This session is organised jointly with the Formal Grammar conference.
There are *two separate routes* for submission: either to the Formal Grammar shared session or to the main SEMSPACE workshop.
Submission to the main SEMSPACE workshop can be original contributions (up to 16 pages) of previously unpublished work (submission of substantial, albeit partial results of work in progress is welcomed), or extended abstracts (3 pages) of previously published work that is recent and relevant to the workshop.
Submission to the shared session with Formal Grammar should adhere to the FG submission guidelines. Note that the deadline for the special session is 15th March 2020.
11 - 17 July 2020, NASSLLI Workshop "Natural Logic Meets Machine Learning" (NALOMA)Location: Brandeis University, Waltham MA USATarget audience: logic, NLPCosts: registration at NASSLLIDeadline: Wednesday 15 April 2020
NAtural LOgic Meets MAchine Learning (NALOMA) is the first workshop of its kind, aiming to bridge the gap between Machine Learning and Natural Logic. It will take place from July 11-July 17, 2020, during the 9th North American Summer School for Logic, Language, and Information (NASSLLI) at Brandeis University in Waltham, Massachusetts. The aim of this workshop is to bring together researchers working in both Natural Logic and Machine Learning approaches to NLI, initiating a discussion with the two sets of researchers that have been largely unconnected up to now.
We invite submissions on the workshop topics. Archival (long or short) papers should report on complete, original and unpublished research. Accepted papers will be published in the workshop proceedings and will appear in the ACL anthology. See workshop web site for more on this.
10 - 14 August 2020, ESSLLI Workshop "Computing Semantics with Types, Frames, & Related Structures", Utrecht, The NetherlandsLocation: Utrecht, The NetherlandsDeadline: Friday 17 April 2020
The goal of this workshop is to bring together people interested in structured representations of semantic information, especially from a computational perspective. In recent years, there has been a growing body of research which aims to integrate structured entities into formal semantic accounts. Important developments in this direction are the introduction of rich type systems and the use of frame-based representations, among others. The workshop is open to both foundational issues of structured semantic representations and applications to specific linguistic phenomena.
A first edition of the workshop took place in Gothenburg as part of IWCS 2019.
Topics for submissions include, but are not limited to:
* Richly typed formalisms for natural language semantics.
* Frame-based approaches to formal and computational semantics.
* Applications of dependent types in semantics.
* Semantic computation with structured representations.
* Interactions between lexical semantic structures and compositional semantics.
Papers should not exceed 8 pages in length, excluding references, and should be formatted in accordance with the ACL style sheets.
30 June 2020, 4th Women in Logic Workshop (WiL 2020), Paris, FranceLocation: Paris, FranceDeadline: Wednesday 22 April 2020
The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Universit́e Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events.
Our aim is to:
- provide a platform for female researchers to share their work and achievements;
- increase the feelings of community and belonging, especially among junior faculty, post-docs and students through positive interactions with peers and more established faculty;
- establish new connections and collaborations;
- foster a welcoming culture of mutual support and growth within the logic research community.
We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers.
Thanks to the generous support of SIGLOG, the Vienna Center for Logic and Algorithms (VCLA) and the Institute of Logic, Language and Computation of the University of Amsterdam (ILLC), applications for awards are invited to facilitate students and postdocs, who are authors of accepted papers to register and travel to the WiL 2020. Deadline: May 15, 2020. The awardees of the SIGLOG/VCLA/ILLC Travel Award will be reimbursed for a portion of their travel expenses, and registration costs. There will be at most one award per paper.
Please join us at WiL, give a talk, and enjoy a day with Women in Logic! Please submit an abstract of 1-2 pages by April 22, 2020 via EasyChair. This will help us provide an interesting program, with only a light-weight selection procedure. Abstracts should be written in English (1-2 pages), and prepared using the Easychair styleFor more information, see https://sites.google.com/g.uporto.pt/wil2020.
29 - 30 June 2020, Sixth International Workshop on Linearity and Fourth International Workshop on Trends in Linear Logic and Applications (Joint Linearity & TLLA Workshop), Paris, FranceLocation: Paris, FranceDeadline: Friday 24 April 2020
The aim of this Joint Linearity and TLLA workshop is to bring together researchers who are currently working on linear logic and related fields, to foster their interaction and provide a forum for presenting new ideas and work in progress. We also hope to enable newcomers to learn about current activities in this area. New results that make central use of linearity, ranging from foundational work to applications in any field, are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices.
Authors are invited to submit:
* an extended abstract (8 pages max) describing original ideas and results not published nor submitted elsewhere,
* or a 5-page abstract presenting relevant work that has been or will be published elsewhere,
* or a 2-page description of work in progress. Preliminary proceedings will be available at the workshop.
Papers should be written in English, and submitted in PDF format using the EPTCS style files.For more information, see https://lipn.univ-paris13.fr/LinearityTLLA2020/.
19 - 23 October 2020, ATVA 2020: Automated Technology for Verification & Analysis, Hanoi, VietnamLocation: Hanoi, VietnamDeadline: Sunday 26 April 2020
ATVA 2020 is the 18th in the ATVA series of symposia intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in Asia by providing a forum for interaction between the regional and international research communities and industry in the field.
Invited speakers: Tobias Nipkow (Munich, Germany), Klaus Havelund (CalTech / NASA JPL) and David Dill (Standford, USA).
ATVA 2020 solicits high-quality submissions on any of the conference topics. ATVA welcomes submissions in the following two categories: Regular research papers (16 pages, including references) and Tool papers (6 pages, including references). Tool papers must include information about a URL from where the tool can be downloaded or accessed on-line for evaluation.For more information, see http://fit.uet.vnu.edu.vn/atva2020/.
5 - 9 July 2020, 2020 Competitive Evaluation of QBF Solvers (QBFEVAL'20), Alghero, ItalyLocation: Alghero, ItalyDeadline: Sunday 26 April 2020
QBFEVAL'20 is the 2020 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'20 awards solvers that stand out as being particularly effective on specific categories of QBF instances. QBEVAL'20 is a joint event with the 23rd Int. Conference on Theory and Applications of Satisfiability Testing (SAT).
We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools.
22 - 23 September 2020, Second international workshop "Concepts in Action: Representation, Learning, and Application" (CARLA 2020), Bolzano, ItalyLocation: Bolzano, ItalyDeadline: Thursday 30 April 2020
"Concepts in Action: Representation, Learning, and Application" (CARLA) is an international workshop aimed at fostering interdisciplinary exchange about research on concepts. Although the workshop is open for research on any aspect of concepts, there exists a set of core topics that are of special interest:
- Representation: How can we formally describe and model concepts?
- Learning: Where do concepts come from and how are they acquired?
- Application: How are concepts used in cognitive tasks?
Invited Speakers: Mattis List and Marianna Bolognesi.
We invite concept researchers to submit abstracts to the workshop for oral or poster presentations. We invite contributions from all fields related to cognitive science, including (but not limited to) linguistics, artificial intelligence, psychology, philosophy, logic, and computer science. The extended abstracts can use up to three pages (including references) and should be uploaded as pdf based on a template downloadable from the conference website.For more information, see https://www.conceptuccino.uni-osnabrueck.de/carla_workshop/carla_2020.html or contact concepts at uni-osnabrueck.de.
26 - 28 August 2020, The 15th International Conference on Grammatical Inference (ICGI 2020), New York NY, U.S.A.Location: New York NY, U.S.A.Deadline: Friday 1 May 2020
This bi-annual conference focuses on all aspects of grammar learning, including (but not limited to) theoretical and experimental analysis of different models of grammar induction, and algorithms for induction of different classes of languages and automata.
This edition will provide a particular insight on the relation with connectionist models such as neural networks: tutorials of the first day will focus on that subject and authors are encouraged to submit works on that subject.
ICGI 2020 is the place to present your work on learning formal grammars, finite state machines, context-free grammars, Markov models, or any models related to language theory, stochastic or not. Both theoretical work and experimental analyses are welcomed as submissions. This year we especially encourage submissions related to connectionist models such as neural networks, since the tutorials of the first day will focus on that topic. We welcome three types of papers: formal and/or technical papers, position papers, and tool papers.For more information, see https://icgi2020.lis-lab.fr.
(Updated) 29 June - 1 July 2020, 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020), VirtualLocation: VirtualTarget audience: ResearchersDeadline: Friday 1 May 2020
The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.
RuleML+RR 2020 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It provides a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.
RuleML+RR 2020 is co-located with DecisionCAMP 2020 and the 16th Reasoning Web Summer School (RW 2020), as part of the Declarative AI 2020 event. The theme of the 2020 edition is: Explainable algorithmic decision-making
High-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications concerning explainable algorithmic decision-making that involve rule-based representation and reasoning are solicited. In addition to regular submissions, RuleML+RR 2020 will include the 14th International Rule Challenge, a Doctoral Consortium, an Industry Track, and a Posters and Interactions session.
RuleML+RR welcomes research from all areas of Rules and Reasoning, including topics from our 2020 theme: explainable algorithmic decision-making. We accept long papers (which should present original and significant research and/or development results) and short papers (which should concisely describe general results or specific applications, systems, or position statements).
Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed.For more information, see http://2020.ruleml-rr.org.
7 - 11 September 2020, Triennial International Conference of the Italian Society for Logic and Philosophy of Science (SILFS 2020), Bologna, ItalyLocation: Bologna, ItalyDeadline: Saturday 2 May 2020
The triennial international conference of the Italian Society for Logic and the Philosophy of Science, will be held at the Department of Philosophy and Communication of the University of Bologna.
We invite submissions of contributed papers and of contributed symposia in all areas of logic and the philosophy of science.For more information, see http://www.silfs.it/silfs-2020-home/.
10 - 11 September 2020, Seventh International Workshop on Controlled Natural Language (CNL 2020)Location: AmsterdamTarget audience: researchers and practitionersCosts: €200 (small changes are possible)Deadline: Saturday 2 May 2020
This workshop on Controlled Natural Language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces.
Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop.
We invite researchers to submit papers with novel contributions in the area of CNL. Papers should be formatted in two-column ACL style and should not exceed 8 pages. Submission should be done via EasyChair here: https://easychair.org/conferences/?conf=cnl2020. Accepted papers will be published in the ACL Anthology.
18 - 24 September 2020, 36th International Conference on Logic Programming (ICLP 2020), Rende, ItalyLocation: Rende, ItalyDeadline: Friday 8 May 2020
Since the first conference held in Marseille in 1982, the International Conference on Logic Programming (ICLP 2020) has been the premier international event for presenting research in logic programming.
Contributions are solicited in all areas of logic programming, including but not restricted to Foundations, Declarative Programming, Related Paradigms and Synergies, Implementation and Applications. Besides the main track, ICLP 2020 will host an Applications Track, a Sister Conferences and Journal Presentation Track, a Special Session on Women in Logic Programming, and a Research Challenges in Logic Programming Track. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. A school on logic programming will be held before the conference.
Three kinds of regular papers will be accepted: technical papers for technically sound, innovative ideas that can advance the state of logic programming, application papers that impact interesting application domains, and system and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Regular papers must be in the condensed TPLP format (template here) and not exceed 14 pages including bibliography. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere.For more information, see https://iclp2020.unical.it/.
24 - 28 August 2020, International Workshop on Set Visualization and Reasoning (SetVR 2020), Tallinn, EstoniaLocation: Tallinn, EstoniaDeadline: Sunday 10 May 2020
SetVR 2020 will be the 7th meeting, with the first one held in 2004, previously called the Euler Diagrams Workshop. It aims to promote theoretical, empirical, applied research on visualization and diagrammatic reasoning, especially, about sets (set-theoretical and grouped data). SetVR 2020 will run as part of Diagrams 2020 conference, which will be held from August 24th to 28th in 2020, and is expected to occupy one day during this period.
SetVR 2020 will encourage researchers to submit papers on set visualization and reasoning. SetVR 2020 welcomes the following types of contributions, in Springer LNCS style: - Full papers (16 pages): original research, surveys. - Short papers (8 pages): systems descriptions, software demonstrations, position statements, original research. All submissions will go through a peer-review process.For more information, see https://sites.google.com/site/setvr2kn/.
6 - 9 September 2020, 1st Symposium on Formal Approaches to Vagueness in Relation to Mereology (FVRM'20), Sofia, BulgariaLocation: Sofia, BulgariaDeadline: Friday 15 May 2020
Mereology is a very plural subject in which individual researchers may work in multiple potentially incompatible perspectives. It is well-known that mereological methods are important in AI and formalizing human reasoning. In particular, these are relevant in formal approaches to vagueness and point-free reasoning. The main aim of the symposium session is to connect researchers in formal approaches to vagueness and ontology from applied mereological perspectives. All submissions are expected to have a strong focus on applications or potential applications.
Authors are invited to submit draft papers (as Postscript, PDF file). The total length of a paper should not exceed 10 pages IEEE style. Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop.
28 - 29 September 2020, Workshop "Logic & Formal Methods in Philosophy", Los Angeles CA, U.S.A.Location: Los Angeles CA, U.S.A.Deadline: Friday 15 May 2020
On Monday-Tuesday September 28-29, 2020, the UCLA Philosophy department will host a workshop entitled "Logic and Formal Methods in Philosophy." We are delighted to announce the following invited speakers:
- Hannes Leitgeb, Munich Center for Mathematical Philosophy (Keynote)
- Ray Briggs, Stanford University
- Thomas Icard, Stanford University
- Michael Caie, University of Toronto
- Kai Wehmeier, UC Irvine
We are now seeking additional contributions in formal philosophy, broadly construed. Submissions on any topic are welcome, but should involve the application of logical or mathematical techniques to some degree. We especially encourage submissions from members of underrepresented groups, graduate students and early career scholars.
7 - 11 September 2020, 18th MonsTheoretical Computer Science Days, Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: Friday 29 May 2020
The Czech Technical University in Prague will host the 18th edition of the "Mons Theoretical Computer Science Days" on September 7?11, 2020. The conference will offer invited talks and lectures on selected abstracts.
The theme of the conference is combinatorics on words and formal languages from their different perspectives (combinatorial, algorithmic, dynamical, logic, ...). The conference also welcomes other related branches of computer science and mathematics (number theory, computability, model checking, semigroups, game theory, discrete geometry, decentralized algorithms, bioinformatics, ...).
Authors are invited to submit abstract of their contribution between 1 and 4 pages long. Submissions will be open in April.
6 - 7 July 2020, Udine Workshop on Singular Cardinals (WSC2020), Udine, ItalyLocation: Udine, ItalyDeadline: Sunday 31 May 2020
We are happy to announce the upcoming "Udine Workshop on Singular Cardinals", that will be held in Udine (Italy) on 6-7 July 2020. It will be held at Palazzo di Toppo Wassermann, a prestigious 18th-century palace. Singular cardinals are transversal to set theory and beyond, and this will be an occasion to bring together researchers working on singular cardinals and share the latest developments on this topic.
Talks: James Cummings (Carnegie Mellon University) Péter Komjáth (Eötvös Loránd University) Menachem Magidor (The Hebrew University of Jerusalem) * Itay Neeman (UCLA) * Assaf Rinot (Bar-Ilan University) Jouko Väänänen (University of Helsinki) * To confirm
There will be some slots open for contributed talks, and all the interested researchers and students are encouraged to apply.For more information, see https://users.dimi.uniud.it/~vincenzo.dimonte/WSC2020.html or contact Vincenzo Dimonte at vincenzo.dimonte at uniud.it.
CfP special issue of EJPS on "Dimensions of Applied Maths"Deadline: Sunday 31 May 2020
Davide Rizza and Matt Parker are editing one of the forthcoming EJPS (European Journal of Philosophy of Science) topical collections, on "Dimensions of Applied Mathematics".
Philosophical interest in the application of mathematics has usually been connected to indispensability arguments or Wigner’s famous puzzle of ‘unreasonable effectiveness’. In both cases the success of mathematical applications has been taken as a starting point for philosophical reflection and, as a result, little attention has been paid to the practice of applying mathematics in the course of scientific enquiry. This special issue is devoted to exploring the latter, relatively neglected topic. We encourage submissions, especially from non-mainstream areas of philosophy of science and/or from under-represented groups, discussing any of the dimensions (historical, foundational and practical) of applied mathematics.For more information, see http://www.philsci.eu/page-1075519.
(Updated) 14 - 18 September 2020, Logic, Algebra and Truth Degrees 2020 (LATD 2020) , Tbilisi, GeorgiaLocation: Tbilisi, GeorgiaDeadline: Monday 1 June 2020
This is one of the main events of the Tbilisi Autumn of Logic, a series of conferences and summer schools taking place in Tbilisi promoting research in pure and applied logic at an international level.
The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.
The conference will be preceded by the Sixteenth International Tbilisi Summer School in Logic and Language devoted to courses on core topics of LATD 2020.
We invite contributions on any relevant aspects of logical systems (including many valued, fuzzy, substructural, modal and quantum logics), in particular:
* Proof theory and computational complexity
* Algebraic semantics and abstract algebraic logic
* First-order, higher-order and modal formalisms
* Geometric and game-theoretic aspects
* Applications and foundational issuesFor more information, see https://www.logic.at/latd2020/.
26 - 28 September 2020, 10th International Conference on Non-Classical Logics, Theory & Applications, Łódź, PolandLocation: Łódź, PolandDeadline: Wednesday 10 June 2020
The Conference - devoted to non-classical logics - was initially held in Łódź in September 2008 and 2009. The conference serves as a forum to effectively exchange novel results and to survey works in widely understood non-classical logics and their applications.This year's tenth edition of the Conference will be an occasion to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic, established in 1971.
During this year's edition of the conference there will be a special session devoted to formal ontology, broadly conceived.
Participants are requested to submit their papers on all topics relevant to the conference. Topics of either theoretical or applied interest include, but are not limited to: many-valued logics, modal logics, non-monotonic logics, paraconsistent logics, plausible reasoning, substructural logics, contra-classical logics, relevant and connexive logics, and/or description logics. Contributions from other related areas such as: cognitive science, computer science, foundations of mathematics, philosophy of language, and/or philosophy of mind, are also welcome. Cross-cutting contributions are particularly welcome.
Articles should be in English, written in the LaTeX single-column format of CEUR-ws.They must not exceed 10 pages.For more information, see http://ncl.uni.lodz.pl/.
12 - 14 September 2020, 18th International Workshop on Nonmonotonic Reasoning (NMR 2020), Rhodes, GreeceLocation: Rhodes, GreeceDeadline: Friday 12 June 2020
NMR is the premier forum for results in the area of nonmonotonic reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KRR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications.
As in previous editions, NMR 2020 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. Workshop activities will include invited talks and presentations of technical papers. NMR 2020 is co-located with the International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) and the 33rd International Workshop on Description Logics (DL 2020). In particular, NMR 2020 will share a joint session with DL 2020.
We especially invite papers on systems and applications, as well as position papers and papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers. Papers should be at most 10 pages in AAAI style including references, figures, and appendices, if any.Papers already published or accepted for publication at other conferences are also welcome, provided that the original publication is mentioned in a footnote on the first page.For more information, see https://nmr2020.dc.uba.ar.
21 - 23 September 2020, Eleventh International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020), Brussels, BelgiumLocation: Brussels, BelgiumDeadline: Saturday 13 June 2020
The aim of GandALF 2020 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilisation.
This year, GANDALF will be organised together with a workshop on Stochastic Games organised by the GAMENET network which will held on September 23-24, 2020. The GAMENET meeting will focus on stochastic games with applications in computer science, economy and mathematics.
Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome.
Submitted papers should not exceed fourteen (14) pages using EPTCS format, be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission.For more information, see https://gametheorynetwork.com/.
9 - 10 October 2020, 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLÃ 2020), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: Saturday 20 June 2020
Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.
Invited Speakers: Johan van Benthem
Submissions are invited on the general field of dynamic logic, its variants and applications. Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 15 pages in LNCS style, are invited through EasyChair.
12 - 14 October 2020, Third Workshop on Argument Strength (ArgStrength2020), Koblenz, GermanyLocation: Koblenz, GermanyDeadline: Monday 20 July 2020
Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments.
Keynote speakers: Ofer Arieli (The Academic College of Tel-Aviv, Israel) Elise Bonzon (Paris Descartes University, France) Sanjay Modgil (King's College London, England) Wolfgang Spohn (University Konstanz, Germany) Serena Villata (I3S research centre in Sophia Antipolis, France).
We solicit abstracts, which have to be in English and formatted according to the Springer LNCS style. Extended abstracts (2 pages max., including references) can report on research in progress or other issues of interest. Submissions are handled through the EasyChair conference management system.For more information, see http://argstrength2020.argumentationcompetition.org/.
CfP special issue of "Logical Investigations" on NegationDeadline: Friday 31 July 2020
The journal "Logical Investigations" provides a platform for broad discussions of logical problems of both conceptual and purely theoretical nature. There are plans for a special issue of "Logical Investigations" devoted to logical and philosophical aspects of negation, Vol. 27(1), 2021.
Original papers are invited on negation related topics. Submissions should be written in English and should be submitted electronically as Pdf-documents generated from LaTeX using the style file LIarticle.cls. Papers should not exceed 20 pages in the above mentioned format (including all notes, the bibliography, and the abstract).For more information, see here or at https://eng.iph.ras.ru/log_inv.htm or contact Grigory.Olkhovikov at rub.de Hitoshi.Omori at rub.de, or Heinrich.Wansing at rub.de.
Call for manuscript submissions: L&P special issue of Super LinguisticsDeadline: Friday 23 April 2021
The journal Linguistics and Philosophy (L&P) have agreed to publish a special issue of Super Linguistics. Super Linguistics subsumes the application of formal linguistic methodology and methodologies inspired by formal linguistics to diverse non-standard objects. In addition to manuscripts by linguists, we welcome submissions from all relevant fields (such as, but not limited to, biology and musicology) provided that they are super linguistic in nature. To be considered, the manuscript should include a short paragraph outlining in what way the research is super linguistic in nature and how the research advances this new sub-field. Submissions must propose a clear formal analysis based on rich and detailed data. The manuscript submission deadline for this special issue is April 23rd 2021.For more information, see https://www.dropbox.com/sh/t4imk1ha87g18hw/AAD6QYByoo2n6CN-O7KfItg0a?dl=0 or contact Pritty Patel-Grosz at pritty.patel-grosz at iln.uio.no.
30 March - 2 April 2020, 23rd International Conference on Database Theory (ICDT 2020), OnlineLocation: Online
ICDT is an international conferences series that addresses the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the international conference on extending database technology.
As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out Track that calls for novel formal frameworks or directions for database theory and/or connections between principles of data management and other communities.
Due to the current situation regarding the Coronavirus, the physical meeting for EDBT/ICDT 2020 in Copenhagen has to be canceled. However, EDBT/ICDT 2020 as a conference is NOT canceled, but will be held as an online event.For more information, see https://diku-dk.github.io/edbticdt2020/.
30 March - 1 April 2020, Workshop "The wisdom and madness of crowds: argumentation, information exchange and social interaction"Location: Online
Argumentation and exchange of information help groups to coordinate, deliberate and decide. On the other hand, debates often generate detrimental large-scale phenomena such as polarization, informational cascades and echo-chambers, where the behavior of entire groups shifts in seemingly irrational ways.
Understanding the deep mechanisms of informational and social influence that underlie these phenomena in the age of social media is a challenge that engages methods from different disciplines, including philosophy, artificial intelligence, computer and social sciences and psychology.
This workshop brings together scholars with different theoretical approaches. Its broader aim is to foster an interdisciplinary understanding of the mechanisms that determine the behavior of individuals in a social context from multiple perspectives. The workshop will last two and a half days. The first half-day of it will be dedicated to an introductory seminar on abstract argumentation, held by Professor Pietro Baroni (Brescia).
Due to the spreading of COVID-19, this workshop will be held online as a video-conference-only.For more information, see https://sites.google.com/view/workshop-arginfoexchange/home or contact Carlo Proietti at c.proietti at uva.nl.
3 - 5 April 2020, Conference "The 'end' of philosophy of mathematics", cancelledLocation: Princeton NJ, U.S.A.
Cancelled due to Corona, to be rescheduled.
Organized by John P. Burgess and Silvia De Toffoli
Speakers: Jeremy Avigad (Carnegie Mellon University), Silvia De Toffoli (Princeton University), Marcus Giaquinto (University College London), Juliette Kennedy (Helsinki University), Saul Kripke (CUNY Graduate Center), Danielle Macbeth (Haverford College), Paolo Mancosu (UC Berkeley), Friederike Moltmann (CNRS / New York University), Ben Morison (Princeton University), Marco Panza (CNRS / Chapman University), Richard Pettigrew (Bristol University) and Sun-Joo Shin (Yale University).For more information, see https://philosophy.princeton.edu/content/conference-end-philosophy-mathematics.
6 - 9 April 2020, 3rd International Conference on Logic and Argumentation (CLAR 2020), to be rescheduledLocation: Hangzhou, China
Note: Due to the current situation of the novel coronavirus pneumonia, it is believed that ZJULogAI cannot take place as scheduled. The conference and all its sub-events, including CLAR 2020, will be rescheduled (most likely to Q3 or Q4 2020).
CLAR 2020 will be held in Hangzhou, as part of the Zhejiang Logic for AI Summit (ZJULogAI 2020). With a special focus on 'methods and tools for explainable AI', a core objective of ZJULogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, trustworthy and accountable, both in China as well as in the rest of the world. All participants to CLAR 2020 have access to all other events of ZJULogAI as well.
CLAR 2020 conference highlights recent advances in the two fields of logic and argumentation and promotes communication between researchers in logic and argumentation within and outside China.
6 - 9 April 2020, 6th Global Conference on Artificial Intelligence (GCAI 2020), to be rescheduledLocation: Hangzhou, China
Due to the current situation of the novel coronavirus pneumonia, it is believed that ZJULogAI cannot take place as scheduled. The conference and all its sub-events, including GCAI 2020, will be rescheduled (most likely to Q3 or Q4 2020).
The 6th Global Conference on Artificial Intelligence (GCAI 2020) will be held in Hangzhou, China, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZjuLogAI 2020). With its special focus theme on "Explainable AI and Responsible AI", the summit intends to promote the interplay between logical approaches and machine learning based approaches in order to make AI more transparent, responsible and accountable.For more information, see http://www.gcai-2020.info/.
6 - 9 April 2020, Zhejiang Conferences on Logics in AI (ZJULogAI 2020), to be rescheduledLocation: Hangzhou, China
The Zhejiang Conferences on Logics in Artificial Intelligence (ZjuLogAI 2020) is organized by the Zhejiang University - University of Luxembourg Joint Laboratory on AIs, Robotics and Reasoning (ZLAIRE). With its special focus theme on Explainable AI, the summit intends to promote the interplay between logical approaches and machine learning based approaches in order to make AI more transparent and accountable.
ZJULogAI consists of
- 5th Asian Workshop on Philosophical Logic (AWPL 2020)
- 3rd International Conference on Logic and Argumentation (CLAR 2020)
- 6th Global Conference on Artificial Intelligence (GCAI 2020)
ZjuLogAI will be accompanied by an AI and ART exhibition demonstrating the latest application of AI and robotics.
Keynotes (confirmed): Gabriella Pigozzi (Université Paris Dauphine) and Fei Wu (Zhejiang University)
Due to the current situation of the novel coronavirus pneumonia, ZJULogAI cannot take place as scheduled. The conference and all its sub-events will be rescheduled.For more information, see http://www.xixilogic.org/zjulogai/.
6 - 8 April 2020, 36th British Colloquium for Theoretical Computer Science (BCTCS & AlgoUK 2020), Swansea, WalesLocation: Swansea, Wales
The purpose of BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers.
The scope of the colloquium includes all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, game theory, types, languages and logics.
BCTCS 2020 is being held together with the Fourth AlgoUK workshop which includes a session on Verification of Railway Control Systems. There will also be a special evening public forum on Formal Methods in Software Engineering.For more information, see http://www.cs.swan.ac.uk/bctcs2020.
6 - 7 April 2020, Workshop "Understanding Mathematical Explanation", postponedLocation: New Brunswick NJ, U.S.A.
The aim of this NSF-funded workshop is to bring together philosophers, psychologists and education researchers who are working on mathematical explanation.
Speakers & discussants: - Jessica Carter (University of Southern Denmark) - Mark Colyvan (University of Sydney) - Silvia De Toffoli (Princeton University) - Joachim Frans (Vrije Universiteit Brussel) - Matthew Inglis (Loughborough University) - Marc Lange (UNC - Chapel Hill) - Tania Lombrozo (Princeton University) - Alexander Renkl (University of Freiburg) - Bethany Rittle-Johnson (Vanderbilt University) - Keith Weber (Rutgers University) - Orit Zaslavsky (New York University).
This workshop has been POSTPONED in response to recent rutgers policies put in place to address the spread of covid-19. New date to be announced.For more information, see http://pcrg.gse.rutgers.edu/mathexpl.
7 - 9 April 2020, 5th Asian Workshop on Philosophical Logic (AWPL 2020), to be rescheduledLocation: Hangzhou, China
Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences.
The AWPL 2020 workshop is an event in the Zhejiang Logic for AI Summit. All AWPL participants are invited to attend other events as well.
Due to the current situation of the novel coronavirus pneumonia, it is believed that ZJULogAI cannot take place as scheduled. The conference and all its sub-events, including AWPL 2020, will be rescheduled (most likely to Q3 or Q4 2020).For more information, see https://www.xixilogic.org/events/awpl2020/.
15 - 17 April 2020, EvoStar 2020: Bio-inspired computation, OnlineLocation: Online
EvoStar comprises of four co-located conferences run each spring at different locations throughout Europe. These events arose out of workshops originally developed by EvoNet, the Network of Excellence in Evolutionary Computing, established by the Information Societies Technology Programme of the European Commission, and they represent a continuity of research collaboration stretching back over 20 years. EvoStar is organised by SPECIES, the Society for the Promotion of Evolutionary Computation in Europe and its Surroundings. This non-profit academic society is committed to promoting evolutionary algorithmic thinking, with the inspiration of parallel algorithms derived from natural processes. It provides a forum for information and exchange.
The four conferences include:
- EuroGP 23rd European Conference on Genetic Programming
- EvoApplications 23rd European Conference on the Applications of Evolutionary and bio-inspired Computation
- EvoCOP 20th European Conference on Evolutionary Computation in Combinatorial Optimisation
- EvoMUSART 9th International Conference (and 14th European event) on Computational Intelligence in Music, Sound, Art and DesignFor more information, see http://www.evostar.org/2020/.
16 - 17 April 2020, Workshop "Alternative Approaches to Scientific Realism", cancelledLocation: Munich, Germany
This conference has been cancelled due to the Corona crisis.
There has been a recent move in philosophy of science towards views that in some sense reject the strict dichotomy between realism and anti-realism, or otherwise situate themselves between these two extremes. These include varieties of structuralism, perspectivalism, and pluralism/relativism, and have been applied across various scientific domains, including physics, mathematics, biology, cognitive science, and computer science. This conference will bring together representatives of each of these viewpoints, in order to compare the respective progress made by each approach, and to develop a shared foundation for the future development of alternatives to traditional scientific realism and anti-realism.
Confirmed Keynote Speakers: James Ladyman (Bristol), Michela Massimi, (Edinburgh) and Martin Kusch (Vienna).For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/alt_approach_scie_realism/ or contact Joe Dewhurst at J.Dewhurst at lmu.de.
25 - 26 April 2020, 15th International Workshop on Coalgebraic Methods in CS (CMCS 2020), Dublin, IrelandLocation: Dublin, Ireland
In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.For more information, see https://www.coalg.org/cmcs20/.
25 April 2020, 5th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2020), Dublin, IrelandLocation: Dublin, Ireland
Today's IT systems, and the interactions between them, become increasingly complex. Power grid blackouts, airplane crashes, failures of medical devices and malfunctioning automotive systems are just a few examples of incidents that affect system safety. They are often due to component failures and unexpected interactions of subsystems under conditions that have not been anticipated during system design and testing. Determining the root cause(s) of a system-level failure and elucidating the exact scenario that led to the failure is today a complex and tedious task that requires significant expertise. Formal approaches for automated causality analysis, fault localization, explanation of events, accountability and blaming have been proposed independently by several communities - in particular, AI, concurrency, model-based diagnosis, software engineering, security engineering and formal methods. Work on these topics has significantly gained speed during the last years.
The goals of this workshop are to bring together and foster exchange between researchers from the different communities, and to present and discuss recent advances and new ideas in the field.For more information, see https://sites.google.com/view/crest2020.
25 April 2020, Workshop on Trends, Extensions, Applications and Semantics of Logic Programming (TEASE-LP 2020), Dublin, IrelandLocation: Dublin, Ireland
Logic programming is a framework for expressing programs, propositions and relations as Horn clause theories, with the purpose of performing automatic inference in these theories. The aim of this workshop is to bring together researchers that work on extensions of logic programming and inference methods, and to foster an exchange of methods and applications that have emerged in different communities.For more information, see https://www.coalg.org/tease-lp/.
26 April 2020, 7th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2020), Dublin, IrelandLocation: Dublin, Ireland
This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences.For more information, see https://www.sci.unich.it/hcvs20/.
27 - 29 April 2020, PhDs in Logic XII, to be rescheduledLocation: Berlin, GermanyTarget audience: PhD students, master students, first-year postdocsCosts: No registration fees
“PhDs in Logic” is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20-25 minutes) presentations by PhD students, master students and first-year postdocs on their research.
The 12th edition of “PhDs in Logic” will take place at the Freie Universität Berlin, Germany, from April 27 to 29, 2020.
We welcome students to participate in PhDs in Logic XII regardless of whether they want to submit a contribution. Students interested in participating, even without giving a talk, are kindly asked to register.
Due to efforts to restrain the spreading of the Corona Virus, all public events at all Berlin Universities have been cancelled until the 20th of July 2020. When the situation has sufficiently cleared an alternative date will be selected.
1 - 3 May 2020, Abstractionism 2 Conference, Connecticut, U.S.A., postponedLocation: Connecticut, U.S.A.
This conference has been postponed due to COVID-19.
Keynote speaker: Crispin Wright (University Stirling & NYU)
Other confirmed speakers include: .Roy T. Cook (University of Minnesota), Fiona Doherty (University of Stirling), Sean Ebels-Duggan (Northwestern University), Richard K. Heck (Brown University), Graham Leach-Krouse (Kansas State University), Paolo Mancosu (UC Berkeley), Fraser McBride (University of Manchester; via Skype), Eileen Nutting (University of Kansas), Walter Pedriali (University of St. Andrews), Agustín Rayo (MIT), Marcus Rossberg (University of Connecticut), William Stirton (Independent Scholar), James Studd (Oxford), Alan Weir (University of Glasgow), Sean Walsh (UCLA) and Robbie Williams (University of Leeds; via Skype).For more information, see here or at https://rossberg.philosophy.uconn.edu/abstractionism-2-conference/ or contact marcus.rossberg at uconn.edu.
4 - 7 May 2020, PhD course on Dynamic Syntax, Bergen, NorwayLocation: Bergen, Norway
The University of Bergen in Norway is hosting a PhD course on Dynamic Syntax, a grammar formalism which aims to capture the real-time parsing/production of language. The course will be of particular interest to those working in syntax, semantics and the syntax-semantics interface, as well as natural language modelling and computational linguistics, but is open to all.
Any interested PhD candidate or postdoctoral researcher who is currently enrolled or employed at a university is welcome to register and take part in the course. All participants who attend the course and complete the written and oral assignment will be awarded 5 ECTS.
9 - 13 May 2020, 10th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2020), Auckland, New ZealandLocation: Auckland, New Zealand
LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, game theory, and more.
LAMAS2020 will be the next annual event of the LAMAS research network and will continue the series of LAMAS workshops. The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas, including:
- Logical systems for modeling, specification, analysis and synthesis of MAS
- Deductive systems and decision procedures for logics for MAS
- Algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MASFor more information, see http://lamas20.ipipan.waw.pl/.
11 - 15 May 2020, Twelfth NASA Formal Methods Symposium (NFM 2020), Moffett Field CA, U.S.A.Location: Moffett Field CA, U.S.A.
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems.
New developments and emerging applications like autonomous on-board Software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The focus of these symposiums are on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.For more information, see https://ti.arc.nasa.gov/events/nfm-2020/.
12 May 2020, 16th Joint ACL - ISO Workshop on Interoperable Semantic Annotation (ISA-16), Marseille, FranceLocation: Marseille, France
ISA-16 is the sixteenth edition of a series of joint workshops of the ACL Special Interest Group in Semantics (SIGSEM) and the International Organisation for Standardisation ISO. ISA-workshops bring together experts in the annotation of semantic information as expressed in text, speech, gestures, graphics, video, images, and in communicative behaviour where multiple modalities are combined. Examples of semantic annotation include the markup of events, time, space, dialogue acts, discourse relations, semantic roles, coreference, quantification phenomena, and other aspects of meaning for which the ISO organisation pursues the establishment and application of standardised annotation methods and representation schemes, in order to support the creation of interoperable semantic and pragmatic resources.
Besides a main track, ISA-16 will feature two specialised tracks, focused on (a) the annotation of quantification (and quantified modification) in natural language and (b) the design and representation of data structures for generating visualisations of linguistically represented objects, properties, and events. Both specialised tracks will consist of a pre-conference on-line portion and an on-site portion during the ISA-16 workshop.
22 - 27 May 2020, 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23), Alicante, SpainLocation: Alicante, Spain
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.For more information, see https://easychair.org/smart-program/LPAR23/.
28 - 29 May 2020, 16th International Workshop on the ACL2 Theorem Prover and Its Application (ACL2 2020), Austin TX, U.S.A.Location: Austin TX, U.S.A.
The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. ACL2-2020 is a two-day workshop to be held in Austin, Texas, USA, on May 28-29, 2020. It is the 16th in the series of ACL2 workshops, which occur approximately every 18 months. The workshop will feature invited keynotes, technical papers, and rump sessions that discuss ongoing research.For more information, see http://acl2-2020.info/.
28 - 29 May 2020, Bergen Early-Career Masterclass on Logical Epistemology, Bergen, NorwayLocation: Bergen, Norway
The philosophy department at the University of Bergen is pleased to invite applications for participation in an early-career masterclass on logical epistemology, with tutorials from both Gila Sher and Michael Devitt. Participants will also have the opportunity to present their own work in the philosophy of logic with a 30-minute presentation, and receive feedback from experts in the field.
The masterclass immediately follows the Bergen Workshop on Logical Evidence, from the 26th-27th May. Participants of the masterclass are welcome to attend the workshop for no fee.
31 May - 6 June 2020, 2nd Conference on Ultrafilters & Ultraproducts across mathematics and related topics (ULTRAMATH 2020), Pisa, ItalyLocation: Pisa, Italy
The international Conference "ULTRAMATH 2020" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
- Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.
The covered topics of UltraMath 2020 include (but are not limited to):
- Additive and Combinatorial Number Theory.
- Combinatorics and Ramsey Theory.
- Algebra and Geometry.
- General Topology.
- Measure Theory.
- Ergodic Theory and Dynamics.
- Functional Analysis and Metric Spaces.
- Nonstandard Analysis and Model Theory.
- Generalized Spaces and Differential Equations.
- Set Theory.
1 - 5 June 2020, 17th International Conference on Quantum Physics and Logic (QPL 2020), Paris-Saclay, FranceLocation: Paris-Saclay, France
The conference brings together researchers working on the mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, category-theoretic structures, formal languages, semantic methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.
QPL 2020 will be co-located with the 36th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2020).For more information, see https://www.monoidal.net/paris2020/qpl/.
(Updated) 3 - 5 June 2020, Conference on Probability and Meaning (PaM), Gothenburg, SwedenLocation: Gothenburg, Sweden
Probability and Meaning (PaM) is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP). PaM will bring together researchers interested in computationally relevant probabilistic approaches to natural language meaning. PaM will include symbolic, machine learning and experimental approaches to this task, as well as hybrid models.
In addition to the main conference, on 5th June 2020 CLASP and the AI Competence for Sweden are organising a one day workshop on AI and Natural Language with emphasis on industrial collaboration. The aim of the workshop is to present cutting edge research in Natural Language Processing and Computational Linguistics and its relation to AI and to bring together researchers and industrial partners mainly from Sweden and the Nordic countries in these areas.For more information, see https://sites.google.com/view/pam2020/home.
4 - 5 June 2020, Formal Philosophy 2020, Moscow, RussiaLocation: Moscow, RussiaCosts: free
"Formal Philosophy 2020" is the 3rd annual international conference, organized by the International Laboratory for Logic, Linguistics and Formal Philosophy in National Research University Higher School of Economics, Moscow, Russia. Formal Philosophy-2020 will be dedicated to various topics in the field of formal epistemology, formal ontology, formal ethics, philosophy of logic, an epistemology of logic and other branches of formal and mathematical philosophy.For more information, see https://sites.google.com/view/2020-formal-philosophy/ or contact formalphilosophy2020 at gmail.com.
8 - 12 June 2020, Logical Perspectives 2020, Moscow, RussiaLocation: Moscow, Russia
The Logical Perspectives conference series aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. The topics include, but are not limited to:
- logical methods in mathematics;
- logical methods in philosophy;
- logical methods in computer science.
The Logical Perspectives summer school and workshop series aims at giving advanced introductions into various branches of logic, and providing researchers - including early career scientists - an opportunity to present their work. In particular, the Logical Perspectives 2020 Summer School and Workshop (LP 2020 SW) will be concerned with computational proof theory, broadly understood. It will take place in Moscow on June 15-19, 2020, following LP 2020. The programme of LP 2020 SW will comprise three mini-courses on different aspects of computational proof theory, and also a number of contributed talks.
9 June 2020, 3rd International Workshop on User-Oriented Logic Paradigms (IULP 2020), Santiago de Compostela, SpainLocation: Santiago de Compostela, Spain
The 3rd International Workshop of User-Oriented Logic Paradigms (IULP) focuses on discussing different aspects involved in making logic paradigms more user-friendly/oriented, where the "user" could be either an expert of the paradigm, or a non-expert who simply uses tools developed for the paradigm in some application. IULP aims to bring together researchers working on different logic paradigms, such as answer set programming, constraint logic programming, probabilistic logic programming, abductive logic programming, inductive logic programming, argumentation, principles of teaching etc., as user- friendliness is an important topic in all of these areas.
IULP, collocated with the 24th European Conference on Artificial Intelligence (ECAI2020), aims to provide an international forum for researchers in the AI, KR, and applied sciences community to discuss and present advances in theories, formalisms, and applications to deliver the mature and well-defined methods of logic paradigms to a wider audience.
14 - 19 June 2020, ICAPS 2020 Workshop on Epistemic Planning (EpiP 2020), to be rescheduledLocation: Nancy, France
Automated planning is of central concern in high-level symbolic AI research, with applications in logistics, robotics and service composition. In the simple case of an agent operating in a known world, the output of a planner is just a sequence of actions to be performed to the effect that it achieves a desired goal state. Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge.
Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine the state of the art from all three areas.
Due to the Corona crisis this conference will be rescheduled for fall 2020.For more information, see https://icaps20.icaps-conference.org/workshops/epip.
15 - 19 June 2020, LOGICA 2020, Hejnice, Czech RepublicLocation: Hejnice, Czech Republic
The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2020', the 33nd in the series of annual international symposia devoted to logic. Rhe first session begins on the morning of Tuesday, 16 June. The symposium closes at noon on Friday, 19 June.
Invited speakers: Katalin Bimbo, Rosalie Iemhoff, Alena Vencovska and Diderik Batens.For more information, see http://logika.flu.cas.cz/en/logica/logica-2019-cfp-2 or contact Vit Puncochar & Igor Sedlar at logica at flu.cas.cz.
15 - 19 June 2020, Caleidoscope: Research School in Computational Complexity, Paris, FranceLocation: Paris, France
Computational complexity theory was born more than 50 years ago when researchers started asking themselves what could be computed efficiently. Classifying problems/functions with respect to the amount of resources (e.g. time and/or space) needed to solve/compute them turned out to be an extremely difficult question. This has led researchers to develop a remarkable variety of approaches, employing different mathematical methods and theories.
The future development of complexity theory will require a subtle understanding of the similarities, differences and limitations of the many current approaches. The goal (and peculiarity) of the Caleidoscope school is to reunite in a single event as many different takes on computational complexity as can reasonably be fit in one week. The school is aimed at graduate students and researchers who already work in some aspects of computational complexity and/or who would like to learn about the various approaches.
17 - 21 June 2020, 4th international conference on Logic, Relativity, & Beyond (LRB 2020), Simontornya, HungaryLocation: Simontornya, Hungary
There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.
The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful interdisciplinary cooperation leading to joint research and publications.
17 - 19 June 2020, Special Session on Natural Language and Argumentation 2020 (NLA'20) at DCAI'20, L'Aquila, ItalyLocation: L'Aquila, Italy
We are in the reality of natural and computational systems of argumentation provided by reasoning, with natural and artificial languages. Intelligent systems of argumentation target advanced methods for exchanging, saving, reasoning, accessing, and updating information in memory. There will be a Special Session on Natural Language and Argumentation 2020 (NLA'20) at DCAI'20, the 17th International Conference on Distributed Computing and Artificial Intelligence. This special session will cover both theories and applications.For more information, see https://www.dcai-conference.net/special-sessions/nla20 or contact Roussanka Loukanova at rloukanova at gmail.com.
17 - 19 June 2020, Workshop "Philosophy of Science meets Machine Learning", Tübingen, GermanyLocation: Tübingen, Germany
Machine learning does not only transform businesses and the social sphere, it also fundamentally transforms science and scientific practice. The workshop focuses on that latter issue. It aims to discuss whether and how exactly recent developments in the field of machine learning potentially transform the process of scientific inquiry. For this, it sets out to analyse the field of machine learning through the lenses of philosophy of science, epistemology, research ethics and cognate fields such as sociology of science. The workshop will bring together philosophers from different backgrounds (from formal epistemology to the study of the social dimensions of science) and machine learning researchers.
The workshop is organised by the 'Ethics and Philosophy Lab' of the Cluster of Excellence 'Machine Learning: New Perspectives for Science' at the University of Tübingen.For more information, see here or at https://uni-tuebingen.de/en/research/core-research/cluster-of-excellence-machine-learning/events/events/#c992217 or contact thomas.grote at uni-tuebingen.de.
20 - 21 June 2020, Hamburg Set Theory Workshop 2020 (HSTW 2020): Descriptive Set Theory, Forcing and the Reals, Hamburg, GermanyLocation: Hamburg, Germany
Descriptive set theory discusses the relationship between logical complexity and good behaviour of sets, so-called regularity properties (e.g. Lebesgue measurability, perfect set property, etc.). It is well known that these properties are closely connected to forcing (and in some cases, large cardinals). Modern developments in set theory such as forcing, large cardinals and determinacy give powerful techniques to tackle problems in descriptive set theory. In recent years, set theorists have generalised classical results of descriptive set theory to generalised reals.
Speakers: 1. Vera Fischer (Vienna) 2. Yurii Khomskii (Hamburg & Amsterdam) 3. Dominique Lecomte (Paris) 4. Heike Mildenberger (Freiburg) 5. Dorottya Sziraki (Budapest) 6. Otmar Spinas (Kiel) 7. Asger Tornquist (Copenhagen) 8. Jindrich Zapletal (Gainesville FL) more TBA.
22 June - 4 July 2020, Seventh EPICENTER Spring Course in Epistemic Game Theory 2020, Maastricht University, Maastricht, The NetherlandsLocation: Maastricht University, Maastricht, The Netherlands
The EPICENTER, the research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.
22 - 25 June 2020, XXIII European Symposium of Medieval Logic and Semantics (ESMLS XXIII), Warsaw, PolandLocation: Warsaw, Poland
We would like to invite you to the next European Symposium of Medieval Logic and Semantics, which will take place at the University of Warsaw on 22-25 June 2020. The topic of the conference is 'Time, Tense, and Modality', and covers logical, semantical, and grammatical problems related to time. It is meant to include a wide range of issues occurring in medieval writings, not restricted to narrowly understood field of artes.
22 - 23 June 2020, Workshop "Intuition & rigour in geometrical thinking from antiquity to the 19th century", Prague, Czech RepublicLocation: Prague, Czech Republic
From the end of the 19th century, mathematical and philosophical literature has often portrayed a contrast between visual intuition and logical rigor. However, the terms "rigour" and "intuition" have rich associations and connotations in different historical contexts, and well before the turn of the 20th century. The goal of our workshop is to study the historical evolution of these notions within the mathematical practice, and the epistemological debates that they have raised.
Confirmed keynote speakers are: Helena Durnova (Masaryk University, Brno) Michael Friedman (Humboldt University, Berlin) Eduardo Giovannini (University of Wien) Marco Panza (CNRS, Universit́e Paris 1/Chapman University) Vincenzo de Risi (CNRS, Universit́e Paris 7).
22 - 25 June 2020, Fourth Nordic Logic Summer School (NLS 2020), Bergen, NorwayLocation: Bergen, NorwayTarget audience: Master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject
Six courses will be offered. No parallel sessions are planned, so it will be possible to attend them all. Attendees who want to obtain ECTS points will be able to do so by giving a short presentation on June 26th. The courses are:
Fan Yang: Proof theoretic aspects of dependence logics
Peter Fritz: Necessitism vs contingentism
Nina Gierasimczuk: Learning and Modal Logic
Paulo Oliva: Proof interpretations and constructive mathematics
Thomas Powell: Proof Mining
Sonja Smets: Logics for Epistemic Social NetworksFor more information, see https://scandinavianlogic2020.w.uib.no/fourth-nordic-logic-summer-school-nls-2020/ or contact NLS at nls at uib.no.
24 June - 3 July 2020, Computability, Complexity, and Randomness 2020 (CCR 2020) and its satellite Leeds Computability Days 2020 (LCD 2020), Cambridge & Leeds (UK)Location: Cambridge & Leeds (UK)
We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020 will take place in June and July 2020. Leeds Computability Days will be held at the University of Leeds in Leeds, UK during 24-26 June 2020. Computability, Complexity, and Randomness will be held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK during 29 June ? 3 July 2020.
Both conferences are sponsored by the Association for Symbolic Logic, and so student members of the ASL may apply for travel grants to attend.For more information, see http://www.computability.org/LCD2020/.
29 June - 3 July 2020, 16 Conference on Computability in Europe (CiE 2020), to be rescheduledLocation: Salerno, Italy
CiE 2020 is the 16th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
Due to the current medical situation related to the coronavirus COVID-19 outbreak, the Organizing Committee of CiE2020, has decided to reschedule the conference.For more information, see https://www.acie.eu/cie-conference-series/cie2020.
29 June - 5 July 2020, Fifth International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Paris, FranceLocation: Paris, France
FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas.
29 June - 5 July 2020, The 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, FranceLocation: Paris, France
IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods). JCAR 2020 will be co-located with the conference FSCDThe IJCAR 2020 technical program will consist of presentations of high-quality original research papers, short papers describing interesting work in progress, system descriptions, and invited talks.
Woody Bledsoe Travel Awards will be available to support selected students attending the conference.For more information, see https://ijcar2020.org.
29 June - 3 July 2020, 11th International Conference on Computational Creativity (ICCC'20), Coimbra, PortugalLocation: Coimbra, Portugal
Computational Creativity (or CC) is a discipline with its roots in Artificial Intelligence, Cognitive Science, Engineering, Design, Psychology and Philosophy that explores the potential for computers to be autonomous creators in their own right. ICCC is an annual conference that welcomes papers on different aspects of CC, on systems that exhibit varying degrees of creative autonomy, on frameworks that offer greater clarity or computational felicity for thinking about machine (and human) creativity, on methodologies for building or evaluating CC systems, on approaches to teaching CC in schools and universities or to promoting societal uptake of CC as a field and as a technology, and so on.For more information, see http://computationalcreativity.net/iccc20/.
5 - 9 July 2020, 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020), Alghero, ItalyLocation: Alghero, Italy
The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.
6 - 10 July 2020, ISR 2020: International School on Rewriting, Madrid, SpainLocation: Madrid, Spain
Rewriting is a powerful model of computation that underlies much of declarative programming and is ubiquitous in mathematics, logic, theorem proving, verification, model-checking, compilation, biology, chemistry, physics, etc. The school is aimed at Master and PhD students, researchers and practitioners interested in the use or the study of rewriting and its applications.
We intend to offer on the one hand a basic track on rewriting and on lambda calculus, and on the other hand an advanced track on more specialized topics, related to state-of-the-art research and novel applications. The typical day will contain 4 slots of 90 minutes.For more information, see http://cbr.uibk.ac.at/ifip-wg1.6/summerschool.html or contact Narciso Marti-Oliet at narciso at ucm.es.
6 July 2020, ICALP/LICS Workshop "Decidable Fragments of First-order Modal Logic", Saarbruecken, GermanyLocation: Saarbruecken, Germany
First-order modal logic is a natural specification language for describing properties of many infinite-state systems, but it is notoriously undecidable, in the sense that even simple fragments (like the two-variable fragment) are undecidable. Despite this, in the recent few years, researchers have managed to find some useful syntactic restrictions that yield decidability. The workshop is intended as a review of this rapidly evolving direction of research. We seek to identify new potential techniques for constructing decision procedures.
7 - 10 July 2020, Eighth Biennial Conference of the Society for Philosophy of Science in Practice (SPSP 2020), East Lansing MI, U.S.A.Location: East Lansing MI, U.S.A.
The Society for Philosophy of Science in Practice (SPSP) is an interdisciplinary community of scholars who approach the philosophy of science with a focus on scientific practice and the practical uses of scientific knowledge. The SPSP conferences provide a broad forum for scholars committed to making detailed and systematic studies of scientific practices - neither dismissing concerns about truth and rationality, nor ignoring contextual and pragmatic factors. The conferences aim at cutting through traditional disciplinary barriers and developing novel approaches.
Keynote speakers: Karen Barad, University of California at Santa Cruz; Till Grüne-Yanoff, Royal Institute of Technology (KTH) Stockholm.For more information, see https://www.philosophy-science-practice.org/events/spsp2020-east-lansing or contact Alan C. Love at aclove at umn.edu.
8 - 12 July 2020, Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Saarbrücken, GermanyLocation: Saarbrücken, Germany
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2020 will be hosted in Saarbrücken, Germany, in co-location with ICALP 2020.For more information, see https://lics.siglog.org/lics20/.
8 - 11 July 2020, 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), Saarbrücken, GermanyLocation: Saarbrücken, Germany
The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place in Beijing (China) on 8 - 12 July 2020. ICALP 2020 will have the two traditional tracks A (Algorithms, Complexity and Games) and B (Automata, Logic, Semantics and Theory of Programming). ICALP 2020 will be hosted at Peking University, in co-location with LICS 2020.For more information, see http://econcs.pku.edu.cn/icalp2020/.
8 - 10 July 2020, Fourteenth Conference on Logic & the Foundations of Game & Decision Theory (LOFT 14), Groningen, The NetherlandsLocation: Groningen, The Netherlands
This is the 14th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.
Among the topics of particular relevance are:
- Modal logics for games and protocols
- Foundations of game and decision theory
- Learning and information-processing models
- Bounded rationality approaches to game and decision theory.For more information, see http://loft2020.ai.rug.nl/.
12 - 17 July 2020, 9th North American Summer School in Logic, Language and Information (NASSLLI 2020), Waltham MA, U.S.A.Location: Waltham MA, U.S.A.
NASSLLI 2020 will consist of a series of courses and workshops, most running daily from Monday July 13 - Friday July 17. In addition, there will be intensive mini-courses the day prior to the start of courses (Sunday July 12). The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, AI, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. The 2020 NASSLLI will also have a theme - Formal and Computational Pragmatics and Models of Dialogue.
13 - 24 July 2020, The São Paulo School of Advanced Science on Contemporary Logic, Rationality and Information (SpLogIC), São Paulo, BrazilLocation: São Paulo, Brazil
The São Paulo School of Advanced Science on Contemporary Logic, Rationality and Information – SpLogIC – is promoted by the Centre for Logic, Epistemology and the History of Science (CLE) of the University of Campinas (Unicamp), Brazil, to be held from July 13th to 24th, 2020. The program comprises nine courses and nine plenary talks ministered in English by experts in each topic, as well as oral presentations (LED Talks) and poster sessions delivered by students.
Undergraduate and graduate students, and postdoctoral fellows (up to 5 years after completion of the Ph.D) from all countries are encouraged to apply. The event will select 100 fully-funded participants (50 grantees from all states of Brazil and 50 international grantees). Funding includes airfare, medical insurance, accommodation and meals throughout the event.
Priority will be given to candidates currently enrolled in graduate programs (Masters/M.Sc. and Doctorate/Ph.D.) and currently developing a thesis or dissertation in the fields of the event. The applicant’s country of origin will also be taken into consideration, in order to include participants from all continents.
17 - 19 July 2020, 24th Workshop on the Semantics and Pragmatics of Dialogue (SemDial 2020 / WatchDial), Waltham MA, U.S.A.Location: Waltham MA, U.S.A.
WatchDial will be the 24th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2020 the workshop will be hosted by the programs in Linguistics and in Computational Linguistics, in collaboration with the departments of Computer Science and Philosophy at Brandeis University, and will be collocated with the North American Summer School in Logic, Language, and Information.For more information, see https://www.brandeis.edu/nasslli2020/semdial.html.
18 - 31 July 2020, The 4th Crete Summer School of Linguistics (CreteLing 2020)Target audience: Master / PhD students
There will be introductory, intermediate and advanced courses in a variety of linguistic subfields.
19 - 24 July 2020, IEEE World Congress on Computational Intelligence (WCCI 2020), Glasgow, ScotlandLocation: Glasgow, Scotland
The IEEE World Congress on Computational Intelligence (IEEE WCCI) is the world’s largest technical event in the field of computational intelligence. WCCI 2020 features the flagship conference of the Computational Intelligence Society: The 2020 International Joint Conference on Neural Networks (IJCNN 2020), the 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2020), and the 2020 IEEE Congress on Evolutionary Computation (IEEE CEC 2020) under one roof. It encourages cross-fertilisation of ideas among the three big areas and provides a forum for intellectuals from all over the world to discuss and present their research findings on computational intelligence.For more information, see https://wcci2020.org/.
26 - 31 July 2020, 13th Conference on Intelligent Computer Mathematics (CICM 2020), Bertinoro, ItalyLocation: Bertinoro, Italy
Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration.
CICM 2020 Invited Speakers: Kevin Buzzard (Imperial College, London, UK), Catherine Dubois (ENSIIE, CNRS, Evry, France) and Christian Szegedy (Google Research, Mountain View, CA, USA).For more information, see http://www.cicm-conference.org/2020.
26 - 31 July 2020, Summer School on Mathematical Philosophy for Female Students 2020, Munich, GermanyLocation: Munich, GermanyCosts: 200€
The Munich Center for Mathematical Philosophy is organising the seventh edition of the Summer School on Mathematical Philosophy for Female Students, and invites applications until 29th March 2020. The summer school is open to women with a keen interest in mathematical philosophy. Applicants should be students of philosophy (or philosophically minded logicians or scientists) at an advanced undergraduate level, in a master program, or at an early PhD level.
This year, the Summer School will have the following lecture streams:
- "Suspension of Belief. Its Nature, Rationality and Logic.”, led by Alexandra Zinke (University of Tübingen)
- "Emergence and Reduction in Science", led by Patricia Palacios (University of Salzburg/MCMP)For more information, see here or at https://www.mathsummer.philosophie.uni-muenchen.de/ or contact mathsummer2020 at lrz.uni-muenchen.de.
27 - 31 July 2020, PIKSI-Logic 2020, Boston MA, U.S.A.Location: Boston MA, U.S.A.
Undergraduates from underrepresented groups are invited to study logic -- five topics over five days, with ten top international instructors -- at Northeastern University for one week in the summer of 2020.
Instructors and Topics:
- Jessica Collins & Lisa Cassell: "The Logic of Belief Revision"
- Joshua Schechter & Julia Staffel: "Logic & Epistemology"
- Gillian Russell & Tamar Lando: "Logic & Language"
- Erica Shumener & Eliya Cohen: "Logic & Metaphysics"
- Audrey Yap & Cat Saint-Croix: "Logic & Feminism"For more information, see http://fitelson.org/piksi/.
27 July - 1 August 2020, CEU Summer School "Identity: Logic and Metaphysics", Budapest, HungaryLocation: Budapest, HungaryTarget audience: Graduate Students (Masters/PhD), Early Career Philosophers
This 6-day research-oriented course is designed to familiarize participants with the latest advances in the philosophical debates about identity and related matters. The specific topics to be discussed will be the logic of identity and identity and modality; identity and essence; identity and indiscernibility; time, composition and identity; and personal identity. The course will be delivered by five leaders in their fields, and they will not only introduce those topics but also discuss their latest research on them. Time permitting, selected participants may have occasion to present their own research.For more information, see https://summeruniversity.ceu.edu/identity-logic-and-metaphysics-2020/eligibility or contact Nikhil Mahant at mahant_nikhil at phd.ceu.edu.
30 July - 2 August 2020, 15th International Conference on Deontic Logic and Normative Systems (DEON 2020), Munich, GermanyLocation: Munich, Germany
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON 2020 will encourage a special focus on the topic "Norms in Social Perspective". We are happy to announce that the keynote speakers for DEON 2020 will be: Marcia Baron (Indiana University, Bloomington), Emiliano Lorini (IRIT-CNRS, Toulouse University, France), Shyam Nair (Arizona State University, Tempe), and Sonja Smets (ILLC, University of Amsterdam).
DEON 2020 will be co-located with the Summer School on Mathematical Philosophy for Female Students, to be held in Munich from 26th until 31st July 2020.For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/deon-2020/.
3 - 14 August 2020, 32nd European Summer School in Logic, Language and Information (ESSLLI 2020), Utrecht, The NetherlandsLocation: Utrecht, The Netherlands
Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world.
The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures.
10 - 14 August 2020, Computational and Experimental Explanations in Semantics and PragmaticsLocation: Utrecht
The field of natural language semantics has undergone what some refer to as an ‘experimental turn’ and is arguably currently undergoing a ‘computational turn’. By expanding the toolbox available to the semanticist, these two turns have the effect of expanding the phenomena that can be explained and the varieties of semantic explanation that can be offered.
For example, experimental methods can help distinguish between alternative explanations of semantic effects, e.g. whether to classify controversial phenomena as implicatures or presuppositions. Similarly, computational models of semantics can generate fine-grained and non-categorical predictions that can fruitfully be tested experimentally. And both kinds of methods can be used to ask questions about the emergence of semantic structures in language, including which factors influence their distribution and typology.
Given this wider toolbox and purview, we aim to gather a workshop to showcase exciting new work that develops new semantic explanations using experimental and computational methods, as well as to invite broader reflection on the methodology of semantics now and in its future.For more information, see https://www.jakubszymanik.com/CoSaQ/events/explanations-semantics/ or contact Jakub Szymanik at jakub.szymanik at gmail.com.
10 - 14 August 2020, ESSLLI-2020 Workshop "Approaches to Implicature", Utrecht, NetherlandsLocation: Utrecht, Netherlands
Recent work in implicature has seen a great deal of activity within two lines of research: the rational choice approach associated with game-theoretic pragmatics and the Bayesian Rational Speech Act framework, and the exhaustification-based approach. While these frameworks have generally been thought to be in theoretical tension, there are also underexplored ways to combine them, with the potential to benefit both approaches. The workshop will explore explicit comparisons between the two frameworks as well as efforts to combine them, with the hope of producing a more unified theory of implicature and a more general understanding of the data that such a theory must account for.For more information, see https://sites.google.com/view/approachestoimplicature/ or contact Dan Lassiter at danlassiter at stanford.edu.
10 - 14 August 2020, Workshop on Logics of Dependence and Independence ((LoDE 2020)Location: Utrecht, The Netherlands
This is a workshop on “Logics of Dependence and Independence” consisting of a 5-day programme of invited and contributed talks. Logics of dependence and independence are novel non-classical logics aiming at characterizing dependence and independence notions in sciences. This field of research has grown rapidly in recent years. The framework of the logics has found applications also in fields like database theory, linguistics, social choice, quantum physics and so on. This workshop will bring together researchers from all these relevant areas and provide a snapshot of the state of the art of logics of dependence and independence.
The workshop is organized as part of the 32nd European Summer School in Logic, Language and Information (ESSLLI 2020).
17 - 21 August 2020, Advances in Modal Logic 2020 (AiML 2020), Helsinki, FinlandLocation: Helsinki, FinlandTarget audience: modal logicians
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2020 is the 13th conference in the series.
Bahareh Afshari (University of Amsterdam and Gothenburg University)
Nick Behanishvilii (University of Amsterdam)
Melvin Fitting (City University of New York)
Nina Gierasimczuk (Danish Techical University, Copenhagen)For more information, see https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020 or contact aiml2020 at easychair.org.
24 - 28 August 2020, 11th International Conference on the Theory and Application of Diagrams (Diagrams 2020), Tallinn, EstoniaLocation: Tallinn, Estonia
Diagrams 2020 is the eleventh conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.For more information, see http://www.diagrams-conference.org/2020/.
26 - 28 August 2020, Spatial Cognition 2020 (SC 2020), Riga, LatviaLocation: Riga, Latvia
Spatial Cognition is concerned with the acquisition, development, representation, organization, and use of knowledge about spatial objects in real, virtual or hybrid environments and processed by human or artificial agents. Spatial Cognition includes research from different fields insofar as they are concerned with cognitive agents and space. Research issues in the field range from the investigation of human spatial cognition to mobile robot navigation. SC 2020 will bring together researchers working on spatial cognition from all of these perspectives.
The conference is single-track, and the final program will be the result of a selective review process. The program will include oral and poster presentations of refereed papers, and keynote talks by Sara I. Fabrikant, Steve Franconeri and Laure Rondi-Reig.
26 - 28 August 2020, 15th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2020), Salvador, BrazilLocation: Salvador, Brazil
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.For more information, see http://lsfa2020.ufba.br.
29 August - 2 September 2020, 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, SpainLocation: Santiago de Compostela, Spain
The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier venue for presenting scientific results in AI. Under the general theme 'Paving the way towards Human-Centric AI', the 24th edition of ECAI will be held in Santiago de Compostela, a UNESCO's World Heritage City which is the destination of unique Routes that cross all Europe since the Middle Ages.For more information, see http://www.ecai2020.eu/.
29 August 2020, 8th International Workshop on Strategic Reasoning (SR 2020), Santiago de Compostela, SpainLocation: Santiago de Compostela, Spain
Strategic reasoning is a key topic in multi-agent systems research. The extensive literature in the field includes a variety of logics used for modeling strategic ability. Results from the field are now being used in many exciting domains such as information system security, adaptive strategies for robot teams, and automatic players capable to outperform human experts. A common feature in all these application domains is the requirement for sound theoretical foundations and tools accounting for the strategies that artificial agents may adopt in the situation of conflict and cooperation.
The SR international workshop series aims at bringing together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. SR 2020 will be held with ECAI 2020 in Santiago de Compostela, Spain.
29 - 30 August 2020, 8th Workshop "What can FCA do for AI?" (FCA4AI 2020), Santiago de Compostela, SpainLocation: Santiago de Compostela, Spain
Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications and association rules) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering as well as information retrieval, recommendation, social network analysis and text processing. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of plain FCA w.r.t. knowledge processing. While the capabilities of FCA are extended, new possibilities are arising in the framework of FCA.
The 8th FCA4AI workshop, co-located with ECAI 2020, is (as usual) dedicated to discuss such issues, and in particular:
- How can FCA support AI activities in knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing...
- By contrast, how the current developments in AI can be integrated within FCA to help AI researchers to solve complex problems in their domain.For more information, see http://www.fca4ai.hse.ru/2020.
30 August 2020, ECAI Workshop on Computational Argumentation & Cognition (COGNITAR 2020)Location: Santiago de Compostela, Spain
This workshop will aim to bring together researchers whose interests bridge between AI and other disciplines such as Cognitive Science, Language and Philosophy, to study how computational argumentation can form an underlying theoretical and practical basis for modeling cognition and building human-centric AI systems.
The main general questions that will concern the workshop are:
- Can argumentation provide the basis for computational models of human reasoning that are cognitively adequate?
- How can we form a synthesis between computational argumentation and theories of cognition that will give us models of computational cognition for the development of AI systems?
31 August - 2 September 2020, ECAI2020 workshop NETREASON, Santiago de Compostela, SpainLocation: Santiago de Compostela, Spain
This workshop focuses on the issues of information spread in a social network of natural and artificial agents as studied by the emerging interdisciplinary field of multi-agent systems, reasoning and social network analysis.For more information, see https://netreason.w.uib.no/.
1 September 2020, Krajíček's Fest: Logical Foundations of Complexity Theory, Tabor, Czech RepublicLocation: Tabor, Czech Republic
We would like to invite you to participate in a workshop 'Krajíček's Fest' on the Logical Foundations of Complexity Theory, to celebrate Prof. Jan Krajicek's 60th anniversary and his Contributions to Logic and Complexity
The event will be followed by a 3-day workshop on Complexity Theory which will include tutorials and contributed talks.For more information, see https://www.dcs.warwick.ac.uk/~igorcarb/events/krajicek-fest/index.html.
3 - 5 September 2020, Trends in Logic XX "Logic and Reasoning: Formal and Informal", Kyiv, UkraineLocation: Kyiv, UkraineTarget audience: Researchers in logicCosts: Conference fee: 160/190 EUR
Reasoning is at the very heart of logic, constituting its subject matter. In the last few decades, there has been considerable progress both in the purely logical analysis of reasoning and in applied logical investigations of various concrete subject domains, such as philosophical and scientific discourse, logic programming and everyday communication. Along with further elaboration of standard techniques a range of other approaches and semantic modeling of logical systems are being developed. Moreover, there is a powerful tradition of analyzing and evaluating reasoning patterns by means of informal logic and argumentation theory. . The aim of the conference is to bring together scholars working in various areas of proof-theoretic, semantic, argumentative and informal logic analysis.
Invited Speakers: Hans van Ditmarsch (French National Centre for Scientific Research, France), Valentin Goranko (Stockholm University, Sweden), Dale Hample (University of Maryland, USA) and Hitoshi Omori (Ruhr-University Bochum, Germany).
6 - 9 September 2020, Logic @ DGPhil, Erlangen, GermanyLocation: Erlangen, Germany
There will be a section on Logic and Philosophy of Mathematics at the XXVth Congress of the German Society for Philosophy (DGPhil), "The True, the Good, and the Beautiful".For more information, see https://dgphil2020.fau.de/en/.
9 - 12 September 2020, Sixteenth International Tbilisi Summer School in Logic and Language (Tbilisi 2020), Tbilisi, GeorgiaLocation: Tbilisi, Georgia
The summer school is a major event of the Tbilisi Autumn of Logic organised by the Kurt Gödel Society. This summer school is directed towards the audience of young researchers of LATD 2020. For young researchers the summer school is covered by the registration fees of LATD 2020. For additional participants the fee is Euro 150, for Georgian participants a limited number of free registrations is provided.
Confirmed lecturers: Bahareh Afshari (University of Amsterdam), Thomas Eiter (nominated, TU Wien)
Christian Fermüller (TU Wien), Daniele Mundici (University of Florence), Norbert Preining (Accelia Inc.), James Raftery (University of Pretoria).
11 - 12 September 2020, Mathematics & Analogical Reasoning, Munich, GermanyLocation: Munich, Germany
Sometimes particular mathematical structures serve scientists as heuristic devices in their own right by giving indications of structural similarities between otherwise unrelated physical systems. And in philosophical discourse, it is often not singular mathematical formulas, but the entire structure of mathematics that is used as an argumentative point of reference. The goal of this conference is to investigate the role of mathematics as a heuristic device for analogical reasoning in science and philosophy.For more information, see https://silviajonas.wixsite.com/mathematicsanalogies or contact Silvia Jonas at silvia.jonas at lmu.de.
12 - 18 September 2020, 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, GreeceLocation: Rhodes, Greece
Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents. The biennial International Conference on the Principles of Knowledge Representation and Reasoning (KR) is a leading forum for timely, in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.
13 - 18 September 2020, 5th Conference on Artificial Intelligence and Theorem Proving (AITP 2020), Aussois, FranceLocation: Aussois, France
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.For more information, see http://aitp-conference.org/2020.
14 - 20 September 2020, The Joint Ontology Workshops Episode 6 (JOWO 2020), Bolzano, ItalyLocation: Bolzano, Italy
The Joint Ontology WOrkshops (JOWO) is a venue of workshops that, together, address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics.
Workshops and tutorials at JOWO 2020 are events whose scientific program is independently established by the workshop organizers. Workshops can be events that provide a forum for the discussion of topics broadly related to ontologies, formal ontology, and knowledge management and their application in information science or other areas. JOWO is especially suitable for interdisciplinary and innovative formats.
18 - 21 September 2020, 25th International Conference on Conceptual Structures (ICCS 2020), Bolzano, ItalyLocation: Bolzano, Italy
The International Conferences on Conceptual Structures (ICCS) focus on the formal analysis and representation of conceptual knowledge, at the crossroads of artificial intelligence, human cognition, computational linguistics, and related areas of computer science and cognitive science. The ICCS conferences evolved from a series of seven annual workshops on conceptual graphs, starting with an informal gathering hosted by John F. Sowa in 1986. Recently, graph-based knowledge representation and reasoning (KRR) paradigms are getting more and more attention. With the rise of quasi-autonomous AI, graph-based representations provide a vehicle for making machine cognition explicit to its human users. This year ICCS 2020 is a part of 'Bolzano Summer of Knowledge' which will take place in Bolzano, Italy during the month of September, 2020.
20 - 26 September 2020, 5th International Autumn School "Proof and Computation" , Fischbachau, GermanyLocation: Fischbachau, GermanyTarget audience: Graduate or PhD students and young postdoctoral researchers
The aim of the autumn school "Proof and Computation" is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.For more information, see http://www.mathematik.uni-muenchen.de/~schwicht/pc20.php or contact xu at math.lmu.de.
23 - 26 September 2020, CL2020: Colloquium Logicum 2020, Konstanz, GermanyLocation: Konstanz, Germany
The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG).The conference will cover the whole range of mathematical logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences, logic in philosophy, and logic in computer science and artificial intelligence. In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.
Keynote Speakers: Laurent Bienvenu (Bordeaux), Catrin Campbell-Moore (Bristol), Wesley Holliday (Berkeley), Christian Ikenmeyer (Liverpool), Angeliki Koutsoukou-Argyraki (Cambridge), Alison Pease (Dundee) and Margaret Thomas (West Lafayette).
(Updated) 24 - 25 September 2020, Third International Workshop on Formal Methods in Artificial Intelligence (FMAI 2020), London, EnglandLocation: London, England
The aims of FMAI 2020 are to:
- Present success stories about the application of formal methods in AI.
- Discuss strategies for bringing the Formal Methods and the AI communities closer together.
- Consolidate collaborations between these two communities and foster new ones.
Invited Speakers: Giuseppe de Giacomo (Sapienza Universita' di Roma, Italy) and Jane Hillston (University of Edinburgh, UK).For more information, see https://www.doc.ic.ac.uk/~fbelard/Workshop/.
30 October - 1 November 2020, 2nd Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, Beijing, ChinaLocation: Beijing, China
Monotonicity, in various forms, is a pervasive phenomenon in logic, linguistics, and related areas. In theoretical linguistics, monotonicity properties are relevant to a large array of semantic phenomena and to the presence of pragmatic inferences such as scalar implicatures. In logic and mathematics, monotonicity guarantees the existence of fixed points and the well-formedness of inductive definitions. Also, monotonicity is closely tied to reasoning, in formal as well as natural languages. Recent logical and linguistic work on monotonicity has also found its way into computation systems for natural language processing and cognitive models of human reasoning. The goal of our workshop is to bring together researchers working on monotonicity or related properties, from different fields and perspectives.
The first day of the workshop is devoted to two tutorials:
1. Jakub Szymanik (University of Amsterdam): Monotonicity in Logic
2. Gennaro Chierchia (Harvard University): Monotonicity in Language
The remaining two days consist of invited and contributed talks.For more information, see http://tsinghualogic.net/JRC/?page_id=1576.
25 - 28 January 2021, Computer Science Logic (CSL'21), Ljubljana, SloveniaLocation: Ljubljana, Slovenia
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.