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
6 - 9 September 2021, Twenty-fourth International Conference on Text, Speech and Dialogue (TSD2021), Olomouc (Czech Republic) or VirtualLocation: Olomouc (Czech Republic) or VirtualDeadline: Sunday 18 April 2021
The 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 (keynote speeches), oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions.
TSD2021 is going to take place in the beautiful city of Olomouc, Czech Republic. Thus, it is nicely colocated with Interspeech 2021 which is going to be held in Brno, Czech Republic. But as the situation in September 2021 cannot be easily predicted, the TSD2021 organizing committee is ready to organize a virtual conference, if necessary.
The organizing committee invites papers to be presented during the conference, as well as proposals for workshops and demonstrations. 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.
6 - 9 September 2021, The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021), Birmingham (UK) and VirtualLocation: Birmingham (UK) and VirtualDeadline: Monday 19 April 2021
TABLEAUX is the main international conference at which research on all aspects -- theoretical foundations, implementation techniques, systems development and applications -- of tableaux-based reasoning and related methods is presented.
TABLEAUX 2021 will be co-located with the 13th International Symposium on Frontiers of Combining Systems (FroCoS 2021). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions.
Submissions are invited in the following two categories: (A) research papers reporting original theoretical research or applications, with length up to 15 pages excluding references; (B) system descriptions, with length up to 9 pages excluding references.
Topics of interest include but are not limited to:
* tableau methods for classical and non-classical logics (including first-order, higher-order, modal, temporal, description, hybrid, intuitionistic, linear, substructural, fuzzy, relevance and non-monotonic logics) and their proof-theoretic foundations;
* sequent, natural deduction, labelled, nested and deep calculi for classical and non-classical logics, as tools for proof search and proof representation;
* related methods (SMT, model elimination, model checking, connection methods, resolution, BDDs, translation approaches);
* flexible, easily extendable, light-weight methods for theorem proving; novel types of calculi for theorem proving and verification in classical and non-classical logics;
* systems, tools, implementations, empirical evaluations and applications (provers, proof assistants, logical frameworks, model checkers, etc.);
* implementation techniques (data structures, efficient algorithms, performance measurement, extensibility, etc.);
* extensions of tableau procedures with conflict-driven learning;
* techniques for proof generation and compact (or humanly readable) proof representation;
* theoretical and practical aspects of decision procedures;
* applications of automated deduction to mathematics, software development, verification, deductive and temporal databases, knowledge representation, ontologies, fault diagnosis or teaching.
We also welcome papers describing applications of tableau procedures to real-world examples. Such papers should be tailored to the TABLEAUX community and should focus on the role of reasoning and on logical aspects of the solution.
(New) 21 July 2021, The Seventh International Workshop on Proof eXchange for Theorem Proving (PxTP 2021), VirtualLocation: VirtualDeadline: Wednesday 21 April 2021
The progress in computer-aided reasoning, both automatic and interactive, during the past decades, has made it possible to build deduction tools that are increasingly more applicable to a wider range of problems and are able to tackle larger problems progressively faster. In recent years, cooperation of such tools in larger verification environments has demonstrated the potential to reduce the amount of manual intervention. Examples include the Sledgehammer tool providing an interface between Isabelle and (untrusted) automated provers, and collaboration of the HOL Light and Isabelle systems in the formal proof of the Kepler conjecture.
Cooperation between reasoning systems relies on availability of theoretical formalisms and practical tools for exchanging problems, proofs, and models. The PxTP workshop strives to encourage such cooperation by inviting contributions on suitable integration, translation, and communication methods, standards, protocols, and programming interfaces. The workshop welcomes developers of automated and interactive theorem proving tools, developers of combined systems, developers and users of translation tools and interfaces, and producers of standards and protocols. We are interested both in success stories and descriptions of current bottlenecks and proposals for improvement.
Topics of interest for this workshop include all aspects of cooperation between reasoning tools, whether automatic or interactive. Researchers interested in participating are invited to submit either an extended abstract (up to 8 pages) or a regular paper (up to 15 pages). Submitted papers should describe previously unpublished work, and must be prepared using the LaTeX EPTCS class. Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Short submissions that could stimulate fruitful discussion at the workshop are particularly welcome. We expect that one author of every accepted paper will present their work at the workshop.For more information, see https://pxtp.gitlab.io/2021.
13 - 16 September 2021, 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), Bolzano (Italy) and VirtualLocation: Bolzano (Italy) and VirtualDeadline: Thursday 22 April 2021
The FOIS conference is a meeting point for all researchers with an interest in formal ontology. Formal ontology is the systematic study of the types of entities and relations making up the domains of interest represented in modern information systems. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA) and aims to be a nexus of interdisciplinary research and communication, inclusive of researchers from many domains engaging with formal ontology.
FOIS 2021 is planned as a hybrid event: there will be a physical meeting in Bozen-Bolzano, Italy, with a remote participation option. FOIS 2021 includes a number of activities: FOIS conference (single track program), workshops, tutorials, an early-career symposium, a demo and industry track, and an ontology show and tell.
FOIS 2021 seeks three types of full-length (14 page) high-quality papers on a wide range of topics: Foundational papers (addressing content-related ontological issues, their formal representation, and their relevance to some aspect of information systems), Application papers (addressing novel methods and systems related to building, evaluating, or using ontologies, emphasizing the impact of ontology contents on the application) and Domain ontology papers (describing a novel ontology for a specific realm of interest, clarifying ontological choices against requirements and foundational theory, and showing ontology use).
Related activities, such as workshops and tutorials, may specify different submission formats, for example, short papers or posters.For more information, see https://fois2021.inf.unibz.it/.
CfP special issue of "Linguistics and Philosophy" (L&P) on "Super Linguistics"Deadline: 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.
26 July - 13 August 2021, ESSLLI 2021 Student SessionLocation: OnlineTarget audience: PhD and Master studentsDeadline: Sunday 25 April 2021
The Student Session of the 32nd European Summer School in Logic, Language, and Information (ESSLLI) will take place online during ESSLLI 2021 at Utrecht University, the Netherlands, August 2nd to 13th, 2021.
We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions from PhD and Master (and Bachelor) students are welcome. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally. 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 long presentations and one for short presentations. This means that papers are directly submitted either as long or short. Reviewing and ranking will be done separately. We particularly encourage submissions for short papers, as they offer an excellent opportunity to present smaller research projects and research in progress.
11 July 2021, 10th International Workshop on Theorem Prover Components for Educational Software (ThEdu'21), VirtualLocation: VirtualDeadline: Sunday 25 April 2021
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'21 will be virtual as part of the 28th International Conference on Automated Deduction (CADE-28), the exact details will be in the workshop Web-page as soon as possible. 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. All accepted extended abstracts and demonstrations will be presented at the workshop. The extended abstracts will be made available online. Extended abstracts and demonstration proposals should be approximately 5 pages in length and are to be submitted in PDF format. At least one author of each accepted extended abstract/demonstration proposal is expected to attend ThEdu'21 and presents his/her extended abstract/demonstration.
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/ThEdu21.
19 - 24 July 2021, Logic Colloquium 2021 (LC 2021), VirtualLocation: VirtualDeadline: Friday 30 April 2021
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 special sessions on Set Theory, Model Theory, Modal and Epistemic Logic, Proofs and Programs, Computability, and Logic in Cognitive Science and Linguistics.
Due to public health concerns regarding COVID-19, the ASL Executive Committee, in consultation with the local organizers and the ASL European Committee, has made the decision to postpone the 2020 Logic Colloquium. It will take place on July 19-24, 2021, approximately a year later than originally scheduled, as an on-line event.
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.
CfP special issue of Logic & Logical Philosophy on "Relating Logic & Relating Semantics"Deadline: Friday 30 April 2021
We invite contributions to the Special Issue of Logic and Logical Philosophy (LLP): "Relating Logic and Relating Semantics". Guest editors: Tomasz Jarmużek (Nicolaus Copernicus University in Toruń) and Francesco Paoli (University of Cagliari, Italy).
High quality research papers concerning theory and applications of relating logics and relating semantics, including, but not limited to, the following topics, are welcome:
- applications of relating semantics,
- algebraic interpretation of relating logics,
- comparison of relating semantics with other formal semantics, - history of relating logics,
- modal extensions of relating logics,
- model theory of relating logics,
- philosophical logics defined by relating semantics,
- proof theory for relating logics,
- philosophical foundations of relating logics,
- other related topics (like dependence logic, set-assignment semantics etc.).
Contributions are welcome from philosophers, logicians, mathematicians, linguists, and computer scientists.
27 June 2021, 5th Women in Logic Workshop (WiL 2021), VirtualLocation: VirtualDeadline: Friday 30 April 2021
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 2021 is a satellite event of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'21) to be held virtually on June 29-July 2, 2021.
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.
Invited speakers: Simona Ronchi Della Rocca, Rineke Verbrugge.
Are you a woman working in logic? Are you planning to participate at LICS 2021? Please join us on June 27 at WiL, give a talk, and enjoy a day with Women in Logic!Please submit an abstract of 1-2 pages by April 30, 2021 via EasyChair. This will help us provide an interesting program, with only a light-weight selection procedure.For more information, see https://sites.google.com/g.uporto.pt/wil2021.
6 - 8 October 2021, Special Session on Computational Linguistics, Information, Reasoning, and AI 2021 (CompLingInfoReasAI'21) at DCAI'21, Salamanca, Spain and OnlineLocation: Salamanca, Spain and OnlineTarget audience: Computational linguists, LogiciansDeadline: Friday 30 April 2021
Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, agents, and context dependency, which are signature features of information in nature, natural languages, and reasoning.
The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of thought, mental states, reasoning, and other cognitive processes.
We invite contributions relevant to the session topics, without being limited to them, across approaches, methods, theories, implementations, and applications. The papers must consist of original, relevant and previously unpublished sound research results related to any of the topics of the Special Session CompLingInfoReasAI'21.
DCAI Special Session papers must be formatted according to the Springer AISC Template, with a maximum length of 10 pages in length, including figures and references. All proposed papers must be submitted in electronic form (PDF format) using the Paper Submission Page.
Accepted papers will be included in DCAI Proceedings. At least one of the authors will be required to register and attend the symposium to present the paper in order to include the paper in the conference proceedings. All accepted papers will be published by Advances in Intelligent Systems and Computing series of Springer Verlag.For more information, see https://www.dcai-conference.net/special-sessions/clirai or contact Roussanka Loukanova at rl.stpuu at gmail.com.
21 - 24 September 2021, Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: Saturday 1 May 2021
The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, applications, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.
For ECSQARU 2021 we invite submissions of original papers on the conference topics. Authors are requested to prepare their conference papers in the LNCS/LNAI format. Submitted papers must be at most 12 pages, original and not under review in a journal or another venue with formally published proceedings. They will be evaluated by peer reviews based on originality, significance, technical soundness, and clarity of exposition. Authors of accepted papers are expected to attend the conference to present their work: at least one author of each paper must register for the conference.
In accordance with the previous conferences, the proceedings of ECSQARU 2021 will be published in the Springer Lecture Notes in Artificial Intelligence series. In addition to that, extended versions of selected papers will be published in a special issue of the International Journal of Approximate Reasoning.For more information, see http://ecsqaru.utia.cas.cz/.
17 - 20 June 2021, Boise Extravaganza in Set Theory (BEST 2021), VirtualLocation: VirtualDeadline: Saturday 1 May 2021
BEST is an international conference featuring talks on a broad range of recent advances in research in set theory and related fields. Researchers from all areas of set theory and logic are welcome. BEST particularly aims to support the careers of young researchers. The conference is organized by the Set Theory group at Boise State University.
We are currently welcoming applications to speak at BEST from researchers in set theory and related fields. We hope to receive your application by May 1, but we will continue accepting applications as long as there is space.
(Updated) 27 - 29 October 2021, 6th International Conference on the History and Philosophy of Computing (HaPoC 2021), Virtual & Zürich (Switzerland)Location: Virtual & Zürich (Switzerland)Deadline: Monday 3 May 2021
The growing cultural import of computing practices has become ever more pressing in our days in all dimensions of social life. The global and collective nature of the challenges our epoch is facing (e.g. climate change, global pandemics, systemic inequalities, resurgence of totalitarianism, to name a few) requires a comprehensive perspective on computing, where social and cultural aspects occupy a central position. For these reasons, thinking about machines asks today for an interdisciplinary approach, where art is as necessary as engineering, anthropological insights as important as psychological models, and the critical perspectives of history and philosophy as decisive as the axioms and theorems of theoretical computer science.
For more than a decade, the 'History and Philosophy of Computing' Conference (HaPoC) has contributed to building such an interdisciplinary community and environment. We aim to bring together historians, philosophers, computer scientists, social scientists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, to take part in the collective construction of a comprehensive image of computing.
For HaPoC 2021, we welcome contributions from researchers from different disciplinary horizons who intend to participate in the debate on the impact of computers on culture, science, and society from the perspective of their area of expertise, and who are open to engage in interdisciplinary discussions across multiple fields. Topics include but are not limited to:
- Historical and philosophical perspectives on computing knowledge, objects and practices - Social, cultural and pedagogical aspects of computing - Computing and the human sciences - Epistemological dimensions of computing - Impact of computing technologies - Computing and the arts.
(New) 12 July 2021, 2nd Workshop on Verification of Session Types (VEST 2021), OnlineLocation: OnlineDeadline: Monday 3 May 2021
Stateful entities offer services in a non-uniform way (one cannot pop from an empty stack). Traditional type systems cannot guarantee that operations are only invoked when the entity is in the right state. Session types are abstract representations of the sequences of operations that computational entities (such as channels or objects) must perform. Although the foundations of session types are now well established, and new works build on approaches that have become standard, there is still a lack of reusable libraries, namely machine-verified ones.
The goal of the VEST workshop is to gather the researchers working on mechanisations of behavioural types using various theorem provers, such as Agda, Coq, Isabelle or any other. The workshop will be a platform to present both the now well-established efforts and the ongoing works the community has put on verification. The workshop will also be a forum to discuss strengths and weaknesses of existing approaches, potential obstacles and to foster collaboration.
We request two types of research contributions.
Type 1: Short presentations (1 page) of work published elsewhere;
Type 2: Presentations (2-5 pages) of ongoing original work.
Submissions of Type 1 will consist of 1 page papers presenting the work, the publication venue and the significance of the results; the PC will select the submissions with a ranking system.
Submissions of Type 2 will consist of 2 - 5 page papers submitted to a light reviewing process.
There will be no proceedings of VEST'21, but rather the aim is to strengthen and further expand our community.For more information, see https://sites.google.com/view/vest21/home.
20 - 27 September 2021, 37th International Conference on Logic Programming (ICLP 2021), VirtualLocation: VirtualDeadline: Monday 3 May 2021
Since the first conference held in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming.
Besides the main track, ICLP 2021 will host additional tracks and special sessions:
- Applications Track
- Recently Published Research Track
- MentorLP - Mentoring Workshop on Logic Programming
- Fall School on Logic and Constraint Programming
- Doctoral Consortium: the Doctoral Consortium (DC) on Logic
- Tutorials and Co-located Workshops.
Contributions are sought in all areas of logic programming, including but not restricted to Foundations, Languages issues, Programming support, Implementation, Related Paradigms and Synergies, and Applications. Both regular and short papers will be accepted for the main track (for the additional tracks, please follow the specific CFP). Submissions will be done via EasyChair. All accepted regular papers and technical communications will be presented during the conference. All submissions must be written in English.
The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience. Those interested in organizing a workshop at ICLP 2021 are invited to submit a workshop proposal.
5 - 10 September 2021, 6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021), Virtual & Aussois (France)Location: Virtual & Aussois (France)Deadline: Wednesday 5 May 2021
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, mathematics, physics, relations to general AI, 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.
We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls. Submission is via EasyChair. We will consider an open call for post-proceedings in an established series of conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR).For more information, see http://aitp-conference.org/2021.
23 - 27 August 2021, 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), VirtualLocation: VirtualDeadline: Friday 7 May 2021
The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
FMICS 2021 is part of the QONFEST umbrella conference. This year, a special session will be included on Formal Methods for Blockchain-based Smart Contracts along with a panel on this topic. Keynote Speaker: Joe Kiniry (Galois Inc. and Free & Fair, US).
We welcome contributions of different categories:
- Regular papers that describe original research work and results. Length: 15 pages + 2 pages of references.
- Short papers that describe work-in-progress, or positions on the future of formal methods. Length: 6 pages + 2 pages of references.
- Tool papers that describe software artefacts. The paper must contain a link to a publicly available video of at most 10 minutes length. Length: 6 pages + 2 pages of references.
- Journal-first papers that summarize a paper recently published in a journal and not yet presented in a conference. The main aim of this category is to allow authors present archived work in a public forum. The original journal paper should have been published between January 1st, 2020 and the date of submission. Length: 2 pages + 1 page of references.
Submissions should be formatted according to the LNCS style (Springer). A Springer-sponsored award will be presented to the authors of the submission selected by the Program Committee as the FMICS 2021 Best Paper.For more information, see https://qonfest2021.lacl.fr/fmics21.php.
12 July 2021, Formal Methods Education Online: Tips, Tricks & Tools (FOMEO'21), VirtualLocation: VirtualDeadline: Saturday 8 May 2021
Online instruction of formal methods has been a challenge in the last year, including teaching of basics of logics and automata theory, formal verification, theorem proving etc. This satellite workshop of ICALP brings together instructors of formal methods as well as developers of teaching support systems for formal methods to (1) present tools supporting teaching of formal methods education, and (2) discuss tips, tricks & experiences in online instruction gained in the last year.
You can submit your contribution at EasyChair. Submissions should contain a title, a short abstract (to be published as part of the program) as well as a short description of how you plan to present (e.g. talk/live demo and/or poster/demo exhibition booth). The time slots for presentations can vary, as we expect short presentations of tips&tricks but also some longer demos of tools. In the gather-town-like sessions, every presenter/project will have a presentation area where demos, poster presentation, etc. (presenters have complete freedom) are possible.For more information, see https://www7.in.tum.de/~kretinsk/fomeo.html.
(Updated) 16 - 18 October 2021, The Eighth International Conference on Logic, Rationality and Interaction (LORI-VIII), Xi'an (China)Location: Xi'an (China)Deadline: Friday 14 May 2021
The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.
We invite submission of contributed papers on any of the broad themes of the LORI series. Submitted papers should be at most 12 pages long, with one additional page for references, in PDF format following the Springer LNCS style. Submission is via the EasyChair for LORI-VIII. Accepted papers will be collected as a volume in the FoLLi series on Logic, Language and Information, and extended versions of some will later be considered for publication in a special issue of a journal (to be announced). A best student paper award will be given at the conference.
2 - 5 November 2021, 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2021), Marseille, FranceLocation: Marseille, FranceDeadline: Friday 14 May 2021
The RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodologica tools in computer science and beyond.
Submissions in the general fields of algebras relevant to computer science and applications of such algebras are invited. Topics include but are not limited to:
*** Theory ***
- algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales
- their connections with program logics and other logics
- their use in the theories of automata, concurrency, formal languages, games, networks and programming languages
- the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories
- their formalisation with theorem provers
*** Applications ***
- tools and techniques for program correctness, specification and verification
- quantitative and qualitative models and semantics of computing systems and processes
- algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control
- industrial applications
(Updated) 5 - 9 July 2021, 17th Conference on Computability in Europe (CiE 2021): Connecting with computability, VirtualLocation: VirtualDeadline: Saturday 15 May 2021
CiE 2021 is the seventeenth conference organized by the Association Computability in Europe. The 'Computability in Europe' conference (CiE) series has built up a strong tradition for developing a scientific program which is interdisciplinary at its core bringing together all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in CS and other disciplines such as biology, mathematics, history, philosophy, and physics.
Due to the current pandemic CiE 2021 will be held as a virtual conference. CiE 2021 will be the second CiE conference that is organized as a virtual event and aims at a high-quality meeting that allows and invites active participation from all participants. It will be hosted virtually by Ghent University.
The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in computability related areas for presentation at the conference and inclusion in the proceedings. Papers building bridges between different parts of the research community are particularly welcome. Papers should be in English and anonymized. They must be submitted in PDF format, using the LNCS style and should have a maximum of 10 pages. Deadline: 17 jan 2021.
Continuing the tradition of past CiE conferences, in addition to the formal presentations based on the LNCS proceedings volume, CiE 2021 will host a track of informal presentations, that are prepared very shortly before the conference and inform the participants about current research and work in progress. The deadline for the submission of abstracts for informal presentations is May 15th, 2021.For more information, see https://www.cie2021.ugent.be/.
5 - 8 October 2021, 27th Workshop on Logic, Language, Information and Computation (WoLLIC 2021), VirtualLocation: VirtualDeadline: Saturday 15 May 2021
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. The twenty-seventh WoLLIC will be held online from October 5 to 8, 2021.
WoLLIC 2021 is planned to have a special session with the exhibition of a one-hour documentary film 'Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani' about 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. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. 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.For more information, see http://wollic.org/wollic2021/.
23 - 25 June 2021, 2021 Australasian Association for Logic conference (AAL 2021), Virtually (Zoom)Location: Virtually (Zoom)Deadline: Saturday 15 May 2021
The Australasian Association for Logic will hold its annual conference online via Zoom from Wednesday, June 23 to Friday, June 25, 2021. It will be hosted by the University of Queensland and the University of Melbourne.
There will be three keynote speakers. The keynote speakers confirmed are Xavier Caicedo (Los Andes), Catarina Dutilh Novaes (VU Amsterdam) and Katalin Bimbó (Edmonton).
We invite submission of abstracts in any area of logic, broadly construed. To submit, send an anonymized short abstract (?2 pages) and title to australasianassoclogic2021 at gmail.com with the subject 'AAL 2021'. The soft deadline for submissions is Saturday, May 15. Submissions will be accepted for consideration until the hard deadline of Saturday, May 22. Decisions will be sent out in early June. We would like to encourage submissions from members of groups that are underrepresented in logic.For more information, see https://hpi.uq.edu.au/profile/3738/guillermo-badia or contact australasianassoclogic2021 at gmail.com.
20 - 21 September 2021, International Joint Workshop on “Semantic Web and Ontology Design for Cultural Heritage” (SWODCH 2021), Virtual and Bolzano, ItalyLocation: Virtual and Bolzano, ItalyDeadline: Saturday 15 May 2021
SWODCH 2021 is the association of the 2nd edition of WODHSA and the 4th edition of SW4CH. It is also in continuation of the 1st edition of ODOCH and the special issue of the Semantic Web journal on "Semantic Web for Cultural Heritage".
The purpose of WODHSA is to gather original research work about both application and foundational issues emerging from the design of conceptual models, ontologies, and Semantic Web technologies for the Digital Humanities (DH). The aim of SW4CH is to bring together stakeholders from various scientific fields, Computer Scientists, Data Scientists and Digital Humanists, involved in the development or deployment of Semantic Web solutions for Cultural Heritage. The overall goal of SWODCH 2021 is to provide a scientific forum where scholars and stakeholders will have the opportunity to exchange ideas, experiences, and analyses, while presenting realizations and outcomes of relevant projects and discussing the related challenges.
Due to the COVID-19 restrictions, the workshop will have a hybrid format, allowing both physical and virtual participation.
We seek original and high-quality submissions related (but not limited) to one or more of the conference topic areas. We will accept two different types of contributions: Research Articles for presenting original unpublished work, neither submitted to, nor accepted for, any other venue, and Extended Abstracts for presenting work in progress, brief descriptions of doctoral theses, or general overviews of research projects. All the contributions to the workshop must be submitted according to the LNCS format and must comply with the LNCS formatting guidelines.For more information, see https://swodch2021.inf.unibz.it/.
16 - 19 September 2021, Third international workshop "Concepts in Action, Representation, Learning, & Application" (CARLA 2021), Bolzano (Italy) and VirtualLocation: Bolzano (Italy) and VirtualDeadline: Sunday 16 May 2021
"Concepts in Action: Representation, Learning, and Application" (CARLA) is an international workshop aimed at fostering interdisciplinary exchange about research on concepts. The workshop is open for research on any aspect of concepts, but there are three overarching topics that are of special interest with the following (not exhaustive) list of exemplary subtopics:
- 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?
This workshop provides an excellent opportunity to present and discuss ongoing research on concepts, both from theoretical/formal and applied/experimental viewpoints. CARLA 2021 is currently planned to be conducted as a *hybrid* event allowing for both physical and virtual attendance. Invited Speakers: Monique Flecken and Antonio Lieto.
We invite concept researchers from all fields related to cognitive science to submit abstracts to the workshop. 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 abstracts should use two 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_2021.html.
(New) 13 - 15 September 2021, 22th Italian Conference on Theoretical Computer Science (ICTCS 2021), Virtual (Bologna, Italy)Location: Virtual (Bologna, Italy)Deadline: Monday 17 May 2021
The Italian Conference on Theoretical Computer Science (ICTCS) is the conference of the Italian Chapter of the European Association for Theoretical Computer Science. The purpose of ICTCS is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, ICTCS provides an ideal environment where junior researchers and PhD students can meet senior researchers.
Contributions in any area of theoretical computer science are warmly invited from researchers of all nationalities. Two types of contributions, written in English and formatted accordingto Springer LNCS style, are solicited: Regular papers (up to 12 pages PLUS bibliography, presenting original results not appeared or submitted elsewhere) and Communications (up to 5 pages PLUS bibliography, suitable for extended abstracts of papers already appeared/submitted or to be submitted elsewhere, as well as papers reporting ongoing research on which the authors wish to get feedback and overviews of PhD theses or research projects). Authors are invited to submit their manuscripts in PDF format via EasyChair.For more information, see http://helm.cs.unibo.it/ictcs2021/index.html.
8 - 10 September 2021, The 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), VirtualLocation: VirtualDeadline: Tuesday 18 May 2021
Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects etc.). Powerful algorithms have been developed during the past decades for the major subareas of symbolic computation: computer algebra and computational logic. Meanwhile, artificial intelligence methods and machine learning algorithms are widely used nowadays in various domains and, in particular, combined with symbolic computation. Several approaches mix artificial intelligence and symbolic methods and tools deployed over large corpora to create what is known as cognitive systems. Cognitive computing focuses on building systems which interact with humans naturally by reasoning, aiming at learning at scale.
The purpose of SCSS 2021 is to promote research on theoretical and practical aspects of symbolic computation in software science, combined with modern artificial intelligence techniques.
SCSS 2021 solicits submissions on all aspects of symbolic computation and their applications in software science, in combination with artificial intelligence and cognitive computing techniques. Original submissions are invited in two categories: regular research papers and tool papers. Regular research papers must not exceed 12 pages with up to 3 additional pages for technical appendices. Tool papers must not exceed 6 pages.For more information, see https://www.risc.jku.at/conferences/scss2021/.
23 - 27 August 2021, The 15th International Conference on Grammatical Inference (ICGI 2020/21), OnlineLocation: OnlineDeadline: Tuesday 25 May 2021
Initially scheduled on August 26-28 2020 at NYC SUNY Global Center, ICGI’20 will be held on-line at the end of the summer 2021. 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.
21 - 23 June 2021, Formal Philosophy 2021, Moscow (Russia)Location: Moscow (Russia)Target audience: logicians, philosophersCosts: -Deadline: Tuesday 25 May 2021
The "Formal Philosophy" is an annual conference organized by the HSE International Laboratory for Logic, Linguistics and Formal Philosophy. The confernce will be dedicated to various topics in the fields of philosophical logic, formal epistemology, formal ontology, philosophy of logic, epistemology of logic, and other branches of formal and mathematical philosophy.
This year we are also planning two special sessions:
- session on formal ethics
- special session dedicated to the centennial of the publication of the "Tractatus Logico-Philosophicus".
Authors are asked to submit an abstract up to 1000 words. We accept abstracts in PDF format only (12pt, single spacing, 2cm margin). Abstracts should be prepared for blind review (all identifying information should be removed from the abstract). Abstracts are to be submitted exclusively via the EasyChair system. The submitted materials will undergo a double-blind review. The Programme Committee reserves the right to reject abstracts that do not fit into the scope of the conference.
Notification of acceptance will be on June 3, 2021.
16 July 2021, The Third International ARCADE (Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements) Workshop, VirtualLocation: VirtualDeadline: Sunday 30 May 2021
The main goal of this workshop is to bring together key people from various subcommunities of automated reasoning -such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving - to discuss the present, past, and future of the field. The intention is to provide an opportunity to discuss broad issues facing the community. What are the current challenges, applications, directions, or exemplary achievements of Automated Reasoning?
The structure of the workshop will be informal. At the event, contributions will be grouped into similar themes and authors will be invited to make their case within discussion panels. After the workshop, they will be welcome to extend their abstracts for inclusion in post-proceedings (EPiC or similar), taking into account the discussion.
We invite extended abstracts (2-4 pages, using the EasyChair class style) in the form of non-technical position statements aimed at prompting lively discussion. The title of the workshop is indicative of the kind of discussions we would like to encourage.For more information, see http://arcade2021.net/.
20 - 22 September 2021, 25th Workshop on the Semantics and Pragmatics of Dialogue (SemDial 2020 / PotsDial), Virtual and/or Potsdam (Germany)Location: Virtual and/or Potsdam (Germany)Deadline: Monday 31 May 2021
PotsDial will be the 25th 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 2021 the workshop will be hosted by the Department of Linguistics at the University of Potsdam, Germany. (If the pandemic situation allows for it, there will be a local component for those who want to travel to Potsdam, but fully remote participation, including presentation, will be possible. Please see the website for updates closer to the date.)
We invite papers on all topics related to the semantics and pragmatics of dialogue. Authors should submit an anonymous paper at most 8 pages of content (additional pages are allowed for references). SemDial 2021 cannot accept work for publication or presentation that will be (or has been) published elsewhere.
There will be a later call for 2-page abstracts describing system demonstrations and/or ongoing projects relevant to the topics of the workshop, with submission deadline 20 August. Submission to this track can be non-archival on request.
CfP special issue of the journal "Theoria" on Thin ObjectsDeadline: Tuesday 1 June 2021
In his recent book 'Thin Objects: An Abstractionist Account' (Oxford University Press, 2018), Øystein Linnebo claims that mathematical objects are thin in the sense that "very little is required for their existence". Linnebo articulates this view in terms of Fregean abstraction principles, arguing that it is sufficient for abstract objects to exist that some nonabstract objects, or pluralities thereof, stands in the appropriate equivalence relations. Linnebo set up, among others, a defence of predicative vis-á-vis impredicative abstraction, and articulates a 'dynamic' approach to abstraction itself, on which abstraction is taken to extend the domain of objects available for quantification, and predicative abstraction is iterated over larger and larger domains.
The goal of this Special Issue is to bring together contributions addressing both the philosophical and the technical aspects of Linnebo's book, also in connection to similar proposals in the philosophy of mathematics and logic. Contributions to the Special Issue should consist in short papers (4000-6000 words). Øystein Linnebo will contribute a précis of his book, opening the issue, and a 'Reply to Critics', closing the issue.For more information, see https://onlinelibrary.wiley.com/page/journal/17552567/open_calls_for_papers or contact Massimiliano Carrara at massimiliano.carrara at unipd.it.
(Updated) 9 - 10 August 2021, ESSLLI Workshop on Logics of Dependence & Independence (LoDE 2021), OnlineLocation: OnlineDeadline: Tuesday 1 June 2021
Logics of dependence and independence are novel extensions of 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.
This workshop is organized as part of the 32nd European Summer School in Logic, Language and Information (ESSLLI 2021): https://www.esslli.eu. The workshop has a 2-day program. The exact dates will be announced soon, see ESSLLI homepage for updates.
We invite submissions of 1-page abstracts of contributed talks. Abstracts must be submitted electronically through EasyChair.
(New) 31 August - 3 September 2021, 9th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), Virtual and/or Salzburg (Austria)Location: Virtual and/or Salzburg (Austria)Deadline: Thursday 3 June 2021
CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). It aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. The 9th edition will be held in Salzburg, Austria, colocated with MFPS XXXVII.
Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions.
1. Regular papers that report * results on theoretical foundations * novel methods and techniques for software development * experiences with the technology transfer to industry.
2. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way.
3. Early ideas abstracts that lead to * presentations of work in progress * proposals for original venues of research.
4. Tool presentation papers that * report on the features and uses of algebraic/coalgebra-based tools.For more information, see https://www.coalg.org/calco-mfps2021/calco/.
(New) 30 August - 2 September 2021, 37th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXVII / MFPS 2021), Virtual and/or Salzburg (Austria)Location: Virtual and/or Salzburg (Austria)Deadline: Monday 7 June 2021
MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.
MFPS 2021 is co-located with the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Due to the pandemic situation, the conference will take place online. Should the situation improve and allow some international travel, we will do our best to organize a small component of the meeting in Salzburg for those participants who wish to attend the meeting in person.
Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; logic; probabilistic systems; process calculi; programming-language theory; quantum computation; security; topological models; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example.
8 - 19 August 2022, 33rd European Summer School in Logic, Language and Information (ESSLLI 2022), Galeway, IrelandLocation: Galeway, IrelandDeadline: Tuesday 15 June 2021
Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.
The main focus of ESSLLI 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 evening lectures.
Proposals for courses and workshops at ESSLLI 2022 are invited in all areas of Logic, Linguistics and Computer Sciences. Cross-disciplinary and innovative topics are particularly encouraged.
Course proposals should fall under one of the categories Foundational Courses, Introductory Courses, Advanced Courses or Workshops. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one.
19 - 22 September 2021, 34th International Workshop on Description Logics (DL 2021), Bratislava, Slovenia or VirtualLocation: Bratislava, Slovenia or VirtualDeadline: Wednesday 16 June 2021
The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.
We invite contributions on all aspects of description logics.
Submissions may be of two types: regular papers of up to 11 pages (excluding references), and abstracts of up to 2 pages (excluding references). Both regular papers and abstracts must be formatted using the Springer LNCS style. Accepted submissions of both types will be selected for either oral or poster presentation at the workshop. Submissions will be judged solely based on their content, and the type of submission will have no bearing on the decision between oral and poster presentation.
20 - 22 September 2021, Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Virtual and/or Padua (Italy)Location: Virtual and/or Padua (Italy)Deadline: Wednesday 23 June 2021
The aim of GandALF 2021 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-fertilization.
This year, GANDALF will be organised together with the 3rd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2021). The OVERLAY workshop focuses on the relationships between Artificial Intelligence and Formal Methods, and discusses on the opportunities and challenges at the border of the two areas.
GANDALF 2021 is planned to be a hybrid conference. We aim at organizing an in-presence event, but there will be possibilities for virtual participation for delegates affected by travel restrictions.
Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers focused on formal methods are especially welcome. Papers discussing new ideas that are at an early stage of development are also welcome.
Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) 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://gandalf2021.math.unipd.it/.
20 - 22 October 2021, Fourth International Conference on Logic and Argumentation (CLAR 2021), Hangzhou (China) or virtualLocation: Hangzhou (China) or virtualDeadline: Wednesday 30 June 2021
CLAR 2021 will be held in Hangzhou at Zhejiang University City College. Due to the uncertainties of the epidemiological situation, the conference will be held in a HYBRID format (virtual and physical attendance both accepted), and we encourage physical participation if possible.
The CLAR 2021 conference will highlight recent advances in logic and argumentation and foster interaction between these areas within and outside China.
CLAR 2021 invites contributions from logic, artificial intelligence, philosophy, computer science, linguistics, law, and other areas studying logic and formal argumentation. We invite two types of submissions: full papers (12 - 20 pages) describing original and unpublished work and extended abstracts (5 - 8 pages) of preliminary original work or extended abstracts of already published work, from either the field of logic or the field of formal argumentation. Submissions must be prepared in LaTeX, using the Springer LNCS style.
(New) 18 - 20 November 2021, 32nd Novembertagung on the History and Philosophy of Mathematics "Mathematics in Times of Crisis", VirtualLocation: VirtualDeadline: Thursday 1 July 2021
The Novembertagung on the History and Philosophy of Mathematics is an annual international conference aimed at graduate students in the history and philosophy of mathematics and neighboring fields. It provides an opportunity for young researchers to present and discuss their research in a safe, informal environment, and serves as a place for them to share experience and advice, as well as to establish new contacts. Participants are welcome from around the world.
On the Theme: Crisis, instability and times of uncertainty undoubtedly influenced the development of the sciences, and mathematics is no exception. Throughout history, mathematicians found themselves facing wide-ranging challenges, both internal and external to mathematics, to which they had to respond in new and creative ways. Inspired by contemporary global events, this conference is interested in the ways that times of crisis shaped the development of mathematics. The time of uncertainty might be frustrating and confounding for the mathematicians, but from a historical perspective it can be viewed as an engine of mathematical creativity.
Abstracts, of around 250 words, should be submitted as a PDF file via email to novembertagung2021 at gmail.com. In your email, please also include your full name and affiliation as they should appear on the conference program. Please note that the theme serves as a guide, not a criterion for exclusion, and as such it is not necessary for a submission to engage with the theme to be accepted. However, establishing links with the theme will allow for more fruitful discussions, and as such is recommended.
14 - 19 February 2022, CSL 2022: Computer Science Logic, Göttingen (Germany) & VirtualLocation: Göttingen (Germany) & VirtualDeadline: Monday 5 July 2021
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.
CSL'22 will be held on February 14 - 19, 2022, in Göttingen, Germany. Currently, we expect that the conference will be organized in a hybrid way: both with an in-presence component and an online component.
Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.
Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.
11 - 13 October 2021, Third Workshop on Argument Strength (ArgStrength2021), Koblenz, GermanyLocation: Koblenz, GermanyDeadline: Monday 19 July 2021
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.
Originally planned for 2020, after consideration the organizers decided to postpone the workshop in light of the current COVID-19 crisis.
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://argstrength2021.argumentationcompetition.org/.
(New) 1 - 11 April 2022, 7th World Congress and School on Universal Logic (UNILOG 2021), Chania/Crete (Greece)Location: Chania/Crete (Greece)Deadline: Wednesday 21 July 2021
UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.
Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. In one year the event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include 20 workshops, the World Logic Prizes Contest and a Secret Speaker.Talks related to any aspect of logic are welcome, as are proposals for tutorals for the school related to any aspect of logic. You can also submit a workshop related to any aspect of logic. Send a one page description of the workshop to UNILOG'2021 before July 1st, 2020.For more information, see https://sites.google.com/view/unilog-2022/.
22 - 23 April 2021, 15th International Conference on Formal Concept Analysis (ICFCA 2021:15), Virtual (Tokyo, Japan)Location: Virtual (Tokyo, Japan)
The International Research Conference is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation within the conference program. Events will run over a span of time during the conference depending on the number and length of the presentations. With its high quality, it provides an exceptional value for students, academics and industry researchers.
ICFCA 2021:15 aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of Formal Concept Analysis. It also provides a premier interdisciplinary platform for researchers, practitioners and educators to present and discuss the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Formal Concept Analysis.For more information, see https://waset.org/formal-concept-analysis-conference-in-april-2021-in-tokyo.
(New) 22 April 2021, KNAW-webinar: De logica van AILocation: Zoom
Artificiële intelligentie moet ons leven verrijken, maar er niet mee aan de haal gaan. Het moet zich houden aan door mensen gehanteerde logica en principes voor rationaliteit, moraliteit en consistentie. Kortom, wij willen machinaal handelen kunnen begrijpen en sturen. Mens en machine moeten elkaar in voldoende mate verstaan om op de gewenste manier met elkaar om te gaan.
Vier sprekers (Catholijn Jonker, Jan Broersen, Rineke Verbrugge en Bart Jacobs) leggen uit welke rol logica, in combinatie met probabilistisch denken, speelt in het onderzoek naar de vervulling van deze wensen.For more information, see https://www.knaw.nl/nl/actueel/agenda/de-logica-van-ai or contact congresbureau at knaw.nl.
30 April 2021, Workship on the application of formal theories of truth to expressively rich languages, VirtualLocation: Virtual
The ERC-Starting Grant Truth and Semantics (TRUST 803684) at the University of Bristol is organizing a one-day online workshop on the application of formal theories of truth to expressively rich languages, e.g., languages with generalized quantifiers, conditionals, modalities etc.
Confirmed Speakers: Catrin Campbell-Moore (Bristol), Hartry Field (NYU), Michael Glanzberg (Rutgers), Lorenzo Rossi (MCMP), Johannes Stern (Bristol).For more information, see https://www.truthandsemantics.xyz/event/exprtruth/ or contact Johannes Stern at johannes.stern at bristol.ac.uk.
3 - 7 May 2021, 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2021), London, UKLocation: London, UK
AAMAS is the largest and most influential conference in the area of agents and multiagent systems, bringing together researchers and practitioners in all areas of agent technology and providing and internationally renowned high-profile forum for publishing and finding out about the latest developments in the field
3 - 4 May 2021, International Workshop on Logical Aspects of Multi-Agent Systems & Strategic Reasoning (LAMAS & SR 2021), VirtualLocation: Virtual
Logics and strategic reasoning play a central role in multi-agent systems. Logics can be used, for instance, to express the agents' abilities, knowledge, and objectives. Strategic reasoning refers to algorithmic methods that allow for developing good behavior for the agents of the system. At the intersection, we find logics that can express existence of strategies or equilibria, and can be used to reason about them.
The LAMAS&SR workshop merges two international workshops: LAMAS, which focuses on all kinds of logical aspects of multi-agent systems from the perspectives of artificial intelligence, computer science, and game theory, and SR, devoted to all aspects of strategic reasoning in formal methods and artificial intelligence. Over the years the communities and research themes of both workshops got closer and closer. LAMAS&SR unifies LAMAS and SR under the same flag, formally joining the two communities in order to expose each of them to a wider range of work relevant to their research.
LAMAS&SR 2021 will be held with AAMAS 2021 Online.
Postponed, 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).
Due to the continuing coronavirus pandemic, the event in May 2021 has been suspended, but the organizers hope to hold the conference in Kyiv as soon as circumstances permit, as well as hold the regular conference in May 2022.
17 May - 16 June 2021, Tractatus at 100: A Series of Centennial LecturesLocation: OnlineCosts: none
The Tsinghua-Uva Joint Research Center in Logic organises a series of on-line lectures to commemorate that Wittgenstein's Tractatus first appeared in 1921. There will be two lectures per week between May 17 and June 16. Lectures will be given by:Kevin Cahill (University of Bergen), Eli Friedlander (Tel Aviv University), Dimitris Gakis (Catholic University Leuven), Hans-Johann Glock (Universität Zürich), Oskari Kuusela (University of East Anglia), Benjamin de Mesel (Catholic University of Leuven), Sami Pihlström (University of Helsinki), Göran Sundholm (Leiden University), Thomas Ricketts (University of Pittsburgh), Ben Ware (King’s College London).
24 - 28 May 2021, Thirteenth NASA Formal Methods Symposium (NFM 2021), Virtual and Norfolk VA, U.S.A.Location: Virtual and Norfolk VA, U.S.A.
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.
New developments and emerging applications like autonomous 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. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be 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.
The symposium will be held in an in-person/virtual hybrid format in Norfolk, VA, USA, possibly transitioning to fully virtual depending on the COVID-19 situation.
(Updated) 26 May 2021, First ENCODE Workshop "Let's Talk Models!", Rotterdam, The Netherlands or VirtualLocation: Rotterdam, The Netherlands or Virtual
"Let's Talk Models!" is the kick-off workshop for the NWO VIDI project ENCODE: Explicating Norms of Collective Deliberation. As part of this project, we will organize workshops on a regular basis at the EIPE/ESPhil (Erasmus University of Rotterdam).
The theme of this edition is Formal Models of Deliberative Norms. In particular, a range of different models (logical, agent-based, game-theoretic and/or argument-based) of group deliberation and its norms will be presented and discussed. The ultimate aim is to understand how these models shed light on trade-offs and tensions among such norms, and on different recipes for checking and monitoring their satisfaction.
The conference takes place online via Zoom. Confirmed speakers are Hun Chung (Waseda University), Erica Yu (Erasmus University of Rotterdam), Olivier Roy (University of Bayreuth) and Soroush Rafiee Rad (University of Bayreuth & University of Amsterdam), and Nina Gierasimczuk (Danish Technical University). The full programme, incl. titles and abstracts of the talks can be found at https://www.dropbox.com/s/ua61j4fg477izrc/Kickoff%20ENCODE%20programme%20and%20abstracts.docx?dl=0.For more information, see https://www.eur.nl/en/esphil/events/lets-talk-models-first-encode-workshop-2021-05-26 or contact Dr. Frederik Van De Putte at vandeputte at esphil.eur.nl.
7 - 9 June 2021, Logic of Conceivability Conference 2021, OnlineLocation: Online
The ability to think about non-actual possibilities is crucial for rational decision and action. When deciding what to do in situations of uncertainty or risk, we use our powers of imagination and conception to surveil the ways the world might be for all we know, and ponder the possible consequences of our actions. What is the logic of conceivability? Do thinking and imagining exhibit sufficient structure so to be amenable to precise modeling? Under what conditions does an imaginative episode establish a non-actual scenario as a real possibility? What are the special features of thought, talk and knowledge about mere possibility and conditionality? The aim of this conference is to facilitate the conversation on these questions by bringing together both senior and rising young researchers from around the world.For more information, see http://projects.illc.uva.nl/conceivability/LoC-Conference/.
7 - 10 June 2021, 8th International Workshop on Computational Social Choice (COMSOC-2021), Haifa, IsraelLocation: Haifa, Israel
The aim of the COMSOC workshop series is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organise societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures; and last but not least people coming from social choice theory itself.For more information, see https://comsoc2021.net.technion.ac.il/.
9 - 13 June 2021, Conference on Boolean Algebras, Lattices, Algebraic Logic and Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology (BLAST 2021), New Mexico State University / OnlineLocation: New Mexico State University / Online
BLAST is a conference series focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology, and Point-free Topology. The series circulates between different universities. The central BLAST web page, with links to past meetings, can be found here: http://math.colorado.edu/blast/
This year's installment of BLAST will take place at New Mexico State University. The scientific program will include invited lectures, tutorial lectures, two special sessions, and contributed talks. Due to the current pandemic, the conference will be entirely online.
14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music
From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.For more information, see https://abc.uva.nl/content/events/conferences/2021/june/abc-summer-school-2021.html.
14 - 18 June 2021, Second NAtural LOgic meets MAchine Learning Workshop (NALOMA'21), Online, NetherlandsLocation: Online, Netherlands
After the successful completion of NALOMA'20 (NAtural LOgic Meets MAchine Learning), NALOMA'21 seeks to continue the series and attract exciting contributions. NALOMA'21 is set out to address two main issues of the NLI community. First, the approaches and systems currently used to address NLI are too one-dimensional: they are either purely DL or purely symbolic but do not attempt to combine the two worlds. A second issue concerns datasets: existing NLI datasets are either complex enough but too small to be used for proper learning, or large enough but too easy to be claimed to represent human inference. The workshop aims to bridge the gap between ML/DL and symbolic/logic-based approaches to NLI, and it is perhaps the only workshop organized to do so. It will take place from June 14-June 18, 2021, during the International Conference on Computational Semantics (IWCS 2021) organized by the University of Groningen but taking place fully online due to the pandemic.For more information, see https://typo.uni-konstanz.de/naloma21/.
14 - 18 June 2021, First Workshop on Multimodal Semantic Representations (MMSR 2021): Beyond Language, VirtualLocation: Virtual
The demand for more sophisticated natural human-computer and human-robot interactions is rapidly increasing as users become more accustomed to conversation-like interactions with AI and NLP systems. Such interactions require not only the robust recognition and generation of expressions through multiple modalities (language, gesture, vision, action, etc.), but also the encoding of situated meaning.
This workshop intends to bring together researchers who aim to capture elements of multimodal interaction such as language, gesture, gaze, and facial expression with formal semantic representations. We provide a space for both theoretical and practical discussion of how linguistic co-modalities support, inform, and align with 'meaning' found in the linguistic signal alone. MMSR 2021 is co-located with IWCS 2021.
14 - 18 June 2021, Workshop on Semantic Spaces at the Intersection of NLP, Physics, & Cognitive Sciences (SemSpace2021), OnlineLocation: Online
Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2021) is the latest edition of a series of workshops that brings together research at the intersection of NLP, Physics, and Cognitive Science. Using the common ground of vector spaces, the workshop offers researchers in these areas an appropriate forum for presenting their uniquely motivated work and ideas. The interplay between the 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.
This year we are excited to be (virtually) co-located with IWCS.For more information, see https://sites.google.com/view/semspace2021/.
14 - 19 June 2021, 27th International Conference on Types for Proofs and Programs (TYPES 2021), VirtualLocation: Virtual
The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.
This year's TYPES will be held virtually (online), possibly in combination with a physical meeting in Leiden in the Netherlands if the political situation permits that. TYPES 2021 will not only consist of presentations, but also a setup of working groups that get together throughout the week. The hope is that we can retain at least some of the exchange and chatter that is the heart of the TYPES conference series.
15 - 19 June 2021, Logical Perspectives 2020/2021, 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.
In view of the developing situation with COVID-19 in Russia,
Logical Perspectives 2020 has moved to June 2021.
24 - 25 June 2021, 20th annual Philosophy of Logic, Mathematics, and Physics (LMP) Graduate Conference, VirtualLocation: Virtual
The LMP Graduate Student Conference will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. We are pleased to announce our keynote speaker this year is James Owen Weatherall from the University of California, Irvine.
25 - 27 June 2021, Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021), Beijing, China and/or VirtualLocation: Beijing, China and/or Virtual
The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Computer Science, Artificial Intelligence, Game Theory, Decision Theory, Philosophy, Logic, Linguistics, and Cognitive Science, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held bi-annually around the world. Topics of interest: include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.For more information, see http://tsinghualogic.net/JRC/?page_id=2034.
25 June 2021, ABC Networking Event 2021Location: Online
The ABC Networking Event provides you with the opportunity to discover all research treasures that ABC holds, and connect with other ABC researchers. All researchers (PhDs, post-docs, assistant/associate/full professors) are invited to attend and actively participate.
The Networking Event will consist of:
For more information, see https://abc.uva.nl/content/events/conferences/2021/june/abc-networkingevent-2021.html.
- ABC Pitch talks: Flash talks that are all about getting to know each other, to foster fresh collaborations, and, possibly, to team-up for grant proposals. In small groups you present your research and/or listen to and discuss all the great research ABC has to offer.
- Networking session: in an informal atmosphere, the discussions continue in break-out rooms. These are small gatherings focused on a certain topic or just to get to know each other, it’s up to you!
28 June - 2 July 2021, 16th Computer Science Symposium in Russia (CSR 2021), Sochi (Russia) or VirtualLocation: Sochi (Russia) or Virtual
CSR is an annual international conference held in Russia that is designed to cover a broad range of topics in Theoretical Computer Science.
Topics include, but are not limited to: (i) algorithms and data structures (ii) computational complexity, including hardness of approximation and parameterized complexity (iii) randomness in computing, approximation algorithms, fixed-parameter algorithms (iv) combinatorial optimization, constraint satisfaction, operations research (v) computational geometry (vi) string algorithms (vii) formal languages and automata, including applications to computational linguistics (viii) codes and cryptography (ix) combinatorics in computer science (x) computational biology (xi) applications of logic to computer science, proof complexity (xii) database theory (xiii) distributed computing (xiv) fundamentals of machine learning, including learning theory, grammatical inference and neural computing (xv) computational social choice (xvi) quantum computing and quantum cryptography (xvii) theoretical aspects of big data.
Opening lecture: Tim Roughgarden (Columbia University, USA).
29 June - 2 July 2021, 16th International Conference on Formal Concept Analysis (ICFCA 2021:16), Strasbourg, FranceLocation: Strasbourg, France
Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory in order to promote better communication between lattice theorists and potential users of lattice theory. Since its early years, Formal Concept Analysis has developed into a research field in its own right with a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including visualization, data analysis (mining) and knowledge management and discovery.
The ICFCA conference series aims at bringing together researchers and practitioners working on theoretical or applied aspects of Formal Concept Analysis within major related areas such as Mathematics and Computer and Information Sciences and their diverse applications to fields like Software Engineering, Linguistics, Life and Social Sciences, etc.
30 June - 3 July 2021, Sixth International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 2021), VirtualLocation: Virtual
The meeting will be held as a Virtual Conference, through Zoom provided by Chapman University.
5 - 17 July 2021, 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.
Due to the Corona-outbreak, the edition of 2020 had to be cancelled. The next edition will be in 2021.
11 - 16 July 2021, The 28th International Conference on Automated Deduction (CADE-28), Pittsburgh PA (U.S.A.) or VirtualLocation: Pittsburgh PA (U.S.A.) or Virtual
CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond STEM, implementations, and the use/contribution of automated deduction in AI, are solicited. CADE-28 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction.
CADE will carefully monitor the development of the COVID-19 pandemic, and take guidance from from the health authorities, to determine whether CADE-28 will be physical or online.For more information, see http://www.cade-28.info/.
13 - 16 July 2021, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Glasgow (Scotland) or VirtualLocation: Glasgow (Scotland) or Virtual
ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on 12 July 2021.
We are closely monitoring the development of the COVID-19 pandemic. If it is not viable to hold ICALP 2021 as a physical conference, we will run it virtually on the same dates. We will decide in January 2021 at the latest.
17 - 24 July 2021, Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021), VirtualLocation: Virtual
FSCD is a series of annual conferences started in 2016 in Porto, merging and replacing the RTA (Rewriting Techniques and Applications) andTLCA (Typed Lambda Calculi and Applications) conferences. Building on the RTA and TLCA communities, FSCD updates and modernizes the RTA and TLCA core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms).
FSCD 2021 will be the sixth edition of the International Conference on Formal Structures for Computation and Deduction. Due to the Covid 19 pandemic situation, the 2021 edition of FSCD and its satellite workshops will be held online.For more information, see https://fscd2021.dc.uba.ar.
17 July 2021, Tenth Workshop on Intersection Types and Related Systems (ITRS 2021), VirtualLocation: Virtual
ITRS workshops have been held every two years (with the exception of 2020). The ITRS 2021 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Invited Speaker: Jeremy Siek (Indiana University Bloomington). ITRS 2021 is affiliated with FSCD.
17 - 24 July 2021, Course "Using Logic as a Tool for Modelling" at the Vrjie Universiteit Amsterdam summer schoolLocation: Vrije Universiteit Amsterdam or virtualTarget audience: Advanced BSc students, MSc students, PhD candidatesCosts: please see the website for details
Logic is not merely the study of different forms of reasoning, but also a powerful tool for representing and analyzing diverse phenomena. This course, at the summer school of the Vrije Universiteit Amsterdam, provides an introduction to logic and its application to a variety of fields, from computer science to linguistics and the social sciences. Throughout the course, we will encourage students to think about how they can apply logic to other disciplines they are interested in and discuss their ideas with lecturers and peers based on the information in the tutorials.For more information, see https://www.vu.nl/en/programmes/short/summer-school/courses/using_logic_as_technology_for_modelling/index.aspx or contact Apostolos Tzimoulis at a.tzimoulis at vu.nl.
18 - 23 July 2021, Summer School on Mathematical Philosophy for Female Students 2021, 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)
Because of the current situation the summer school for 2020 is cancelled, but postponed into 2021!For more information, see https://www.mathsummer.philosophie.uni-muenchen.de/ or contact mathsummer2020 at lrz.uni-muenchen.de.
18 July 2021, 35th International Workshop on Unification (UNIF 2021), VirtualLocation: Virtual
Unification is concerned with the problem of identifying given (first- or higher-order) terms, either syntactically or modulo a theory. It is a fundamental technique that is employed in various areas of Computer Science and Mathematics. In particular, unification algorithms are key components in completion of term rewriting systems, resolution-based theorem proving, and logic programming. But unification is, for example, also investigated in the context of natural language processing, program analysis, types, modal logics, and in knowledge representation.
UNIF 2021 is the 35th in a series of annual workshops on unification and related topics. Just as it predecessors', the purpose of UNIF 2021 is to bring together researchers interested in unification theory and its applications, as well as closely related topics, such as matching (i.e., one-sided unification), anti-unification (i.e., the dual problem to unification), disunification (i.e., solving equations and inequations) and the admissibility problem (which generalizes unification in modal logics). It will provide a forum for presenting recent (even unfinished) work, and discuss new ideas and trends in this and related fields. UNIF 2021 is associated with FSCD 2021 and will be a purely virtual event.For more information, see https://www.uoh.cl/unif-2021/.
19 - 23 July 2021, 25th International Conference on Implementation & Application of Automata (CIAA 2021), Bremen, GermanyLocation: Bremen, Germany
The CIAA conferences concern research on all aspects of implementation and application of automata and related structures, including theoretical aspects. Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. The purpose of these conferences is to bring together members of the academic, research and industrial community who have an interest in implementation and application of automata to demonstrate and analyze their work and to explain the problems they have been solving.
Note: Remote attendance will be possible, regardless of whether or not there will be a physical meeting.For more information, see http://wwwdb.informatik.uni-bremen.de/ciaa2021/.
21 - 24 July 2021, 15th International Conference on Deontic Logic and Normative Systems (DEON 2020/21), MCMP MunichLocation: MCMP MunichCosts: No registration fees
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/21 will encourage a special focus on the topic 'Norms in Social Perspective'.
Keynote speakers: 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).
We hope the global and local situation will allow us to hold the conference in person. If that will not be the case, we are prepared to hold the conference online, partially or totally. Contributors will be informed in advance.For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/deon-2021/ or contact Alessandra Marra and Frederik Van De Putte at Alessandra.Marra at lrz.uni-muenchen.de; frederik.vandeputte at ugent.be.
26 July - 13 August 2021, 32nd European Summer School in Logic, Language and Information (ESSLLI 2021), OnlineLocation: Online
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.
The circumstances around the coronavirus (COVID-19) pandemic forced the organizers to postpone the 32nd edition of ESSLLI, planned for 2020 in Utrecht as ESSLLI-2020, to 26 july-13 august 2021, as well as hold it online. In view of the online format, the program is spread over three weeks so as to facilitate attendance.
27 - 30 July 2021, 37th Conference on Uncertainty in Artificial Intelligence (UAI) , VirtualLocation: Virtual
The Conference on Uncertainty in Artificial Intelligence (UAI) is one of the premier international conferences on research related to learning and reasoning in the presence of uncertainty. UAI 2021 will be held fully online from 27 to 30 July 2021.
1 - 4 August 2021, Spatial Cognition 2020/1 (SC 2020/1), 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.
The initial conference was scheduled August 2020; this is the postponed version of it; the organizers are carefully observing the circumstances and will be hosting a virtual or a hybrid conference (with some talks in physical co-presence and some – virtually).
9 - 13 August 2021, 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.
9 - 13 August 2021, ESSLLI-2021 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.
9 - 11 August 2021, 17th Algorithms and Data Structures Symposium (WADS 2021), Virtual or Halifax NS, CanadaLocation: Virtual or Halifax NS, Canada
The Algorithms and Data Structures Symposium, WADS, which alternates with the Scandinavian Symposium and Workshops on Algorithm Theory, SWAT, is intended as a forum for researchers in the area of design and analysis of algorithms and data structures.
WADS 2021 will most likely be fully online. It may have an in-person component (depending on the covid-19 situation), which will be held at Dalhousie University, Halifax, Nova Scotia, Canada. CCCG 2021, the 33rd Canadian Conference on Computational Geometry, is planned for August 10-12 at the same location.For more information, see https://projects.cs.dal.ca/wads2021/.
10 - 14 August 2021, ESSLLI Workshop "Computing Semantics with Types, Frames, & Related Structures", Utrecht, The NetherlandsLocation: Utrecht, The Netherlands
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.
16 - 20 August 2021, 25th International Conference on Developments in Language Theory (DLT 2021), Porto, PortugalLocation: Porto, Portugal
DLT is International Conference Series under the auspices of the European Association for Theoretical Computer Science (EATCS). The purpose of this conference is to bring together members of the academic, research, and industrial community who have an interest in formal languages, automata theory, and related areas.
We will monitor the global travel situation and consider the conditions the conference will be held.
27 - 28 August 2021, 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.
The conference has been postponed to 2021 due to the COVID-19 epidemic.For more information, see https://silviajonas.wixsite.com/mathematicsanalogies or contact Silvia Jonas at silvia.jonas at lmu.de.
1 - 3 September 2021, Third Biennial Conference on Language, Data and Knowledge (LDK2021), Zaragoza (Spain) and virtualLocation: Zaragoza (Spain) and virtual
This conference aims at bringing together researchers from across disciplines concerned with the acquisition, curation and use of language data in the context of data science and knowledge-based applications. This builds upon the success of the inaugural event held in Galway, Ireland in 2017 and the second LDK in Leipzig, Germany in 2019.
In order to allow more people to attend the Conference physically, and due to the current state in the COVID-19 pandemic in Europe, we decided to postpone LDK 2021 to early September. The conference will allow remote presentations by participants who cannot attend the conference in person owing to COVID-19 travelling restrictions, but we do think that physical encounter and gossip leads to better research.For more information, see http://2021.ldk-conf.org/.
September 2021, 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).
Postponed (due to pandemic) to September 2021.
5 - 8 September 2021, 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".
Unfortunately, due to the current Covid-19 pandemic it is impossible to hold our congress as planned (6th – 9th September 2020). It is not yet clear whether it would even be legally possible to hold it this year. However, it is clear that it would require very severe restrictions, so that essential goals of the congress could not be achieved. The congress is therefore postponed by one year.For more information, see https://dgphil2020.fau.de/en/.
9 - 10 September 2021, Seventh International Workshop on Controlled Natural Language (CNL 2020)Location: AmsterdamTarget audience: researchers and practitionersCosts: €200 (small changes are possible)
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.
Due to Covid-19, the workshop is postponed to 2021!
12 - 18 September 2021, 5th International Autumn School "Proof and Computation" , Herrsching, GermanyLocation: Herrsching, 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.
Unfortunately because of the present situation we had to cancel the event. More precisely, it will be shifted to September 12-18, 2021.For more information, see http://www.mathematik.uni-muenchen.de/~schwicht/pc20.php or contact xu at math.lmu.de.
13 - 17 September 2021, Logic, Algebra and Truth Degrees 2020 (LATD 2020) , Tbilisi, GeorgiaLocation: Tbilisi, Georgia
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 regret to announce that due to the coronavirus pandemic LATD has been postponed to September 2021.For more information, see https://www.logic.at/latd2020/.
20 - 24 September 2021, 14th-15th International Conference on Language and Automata Theory and Applications (LATA 2020 & 2021), Milan, ItalyLocation: Milan, Italy
LATA is a conference series on theoretical computer science and its applications. LATA 2020 & 2021 will consist of invited talks and peer-reviewed contributions, and reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
LATA 2020 & 2021 will merge the scheduled program for LATA 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.
Keynote speakers: Eric Allender (Rutgers University), Laure Daviaud (City, University of London), Christoph Haase (University College London), Artur Jeż (University of Wrocław), Jean-Éric Pin (CNRS), and Thomas Place (University of Bordeaux).For more information, see https://irdta.eu/lata2020-2021/.
22 - 25 September 2021, 10th International Conference on Non-Classical Logics, Theory & Applications, Łódź, PolandLocation: Łódź, Poland
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.
Due to the current situation concerning COVID-19 and very uncertain predictions about what will happen in the autumn, after several consultations the organizers of the conference decided to postpone it until the year 2021.For more information, see http://ncl.uni.lodz.pl/.
28 - 30 September 2021, 12th International Conference on the Theory and Application of Diagrams (Diagrams 2021), VirtualLocation: Virtual
Diagrams 2021 is the twelth conference in the 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.
In addition to the Philosophy track, Diagrams 2021 will have two further tracks: Main, and Psychology and Education.For more information, see http://www.diagrams-conference.org/2021.
7 - 9 October 2021, 13th French Philosophy of Maths Workshop (FPMW 13), Nice (France) or VirtualLocation: Nice (France) or Virtual
The thirteenth edition of the French Philosophy of Mathematics Workshop (FPMW) will be held from the 7th to the 9th of October 2021 at the Université Côte d'Azur in Nice - with the possibility of modifications linked to the ongoing health crisis.
Each year, the workshop program consists of five talks by invited speakers, and five contributed talks,
This year, the invited speakers are: Hourya BENIS SINACEUR (CNRS, IHPST), Valeria GIARDINO (CNRS, Institut Jean-Nicod), Patrick POPESCU-PAMPU (Université de Lille, laboratoire Paul-Painlevé), Dominique PRADELLE (Sorbonne Université, Archives Husserl) and Dirk SCHLIMM (McGill University).
6 - 12 November 2021, 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021), Hanoi, VietnamLocation: Hanoi, Vietnam
Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR 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. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.
The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.For more information, see https://kr2021.kbsg.rwth-aachen.de.
14 - 18 July 2022, 13th Panhellenic Logic Symposium (PLS13), Volos (Greece) or VirtualLocation: Volos (Greece) or Virtual
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
PLS13 will have Special Sessions on Computer Science and Philosophical Logic, as well as Tutorials, Invited and Contributed Talks, a Poster Session and a Mentoring Session.
The meeting is postponed to July 2022, due to the uncertainties related to the pandemic. Exact dates will be decided at a later stage.