Universiteit van Amsterdam


Institute for Logic, Language and Computation

News and Events: Conferences

These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.


Headlines Calls for Paper

Headlines Upcoming conferences

Calls for Paper

  • 8 - 13 December 2019, 1st World Congress of the Brazilian Academy of Philosophy (CREATIVITY 2019) in Honor of Newton da Costa 90th Birthday, Rio de Janeiro, Brazil

    Date: 8 - 13 December 2019
    Location: Rio de Janeiro, Brazil

    The event will take place in Rio de Janeiro, Brazil, December 8-13, 2019 Everybody is welcome to join us for a major philosophical event in one of the most beautiful and fascinating cities in the world.

    All papers related in one way or another to creativity are welcome, in particular those dealing with the following issues:
    - Creativity in Art, Science, Philosophy and Nature
    - How to create? Inspiration? Methodology?
    - How does creation appear, develop, manifest?

  • 17 - 21 June 2020, 4th international conference on Logic, Relativity, & Beyond (LRB 2020), Simontornya, Hungary

    Date: 17 - 21 June 2020
    Location: Simontornya, Hungary
    Deadline: Sunday 8 December 2019

    There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.

    The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful interdisciplinary cooperation leading to joint research and publications.

    We invite you to submit your abstract via EasyChair. Topics include (but are not restricted to):
    - Special and general relativity
    - Axiomatizing physical theories
    - Foundations of spacetime
    - Computability and physics
    - Relativistic computation
    - Cosmology
    - Relativity theory and philosophy of science
    - Knowledge acquisition in science
    - Temporal and spatial logic
    - Branching spacetime
    - Equivalence, reduction and emergence of theories
    - Cylindric and relation algebras
    - Definability theory
    - Concept algebras and algebraic logic

    For more information, see https://conferences.renyi.hu/lrb20/ or contact Gergely Székely at .
  • 11 - 15 May 2020, Twelfth NASA Formal Methods Symposium (NFM 2020), Moffett Field CA, U.S.A.

    Date: 11 - 15 May 2020
    Location: Moffett Field CA, U.S.A.
    Deadline: Thursday 12 December 2019

    The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems.

    New developments and emerging applications like autonomous on-board Software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The focus of these symposiums are on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

    We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory, robotics, and quantum computing among others.

    For more information, see https://ti.arc.nasa.gov/events/nfm-2020/.
  • 16 - 17 April 2020, Workshop "Alternative Approaches to Scientific Realism", Munich, Germany

    Date: 16 - 17 April 2020
    Location: Munich, Germany
    Deadline: Sunday 15 December 2019

    There has been a recent move in philosophy of science towards views that in some sense reject the strict dichotomy between realism and anti-realism, or otherwise situate themselves between these two extremes. These include varieties of structuralism, perspectivalism, and pluralism/relativism, and have been applied across various scientific domains, including physics, mathematics, biology, cognitive science, and computer science. This conference will bring together representatives of each of these viewpoints, in order to compare the respective progress made by each approach, and to develop a shared foundation for the future development of alternatives to traditional scientific realism and anti-realism.

    Confirmed Keynote Speakers: James Ladyman (Bristol), Michela Massimi, (Edinburgh) and Martin Kusch (Vienna).

    Up to three additional speaking slots are reserved for early career researchers, to be filled on a competitive basis. We welcome submission of 500 word abstracts on any topic related to the themes of the conference. Abstracts should be suitably blinded, and submitted to Easychair.

  • 6 - 9 April 2020, 3rd International Conference on Logic and Argumentation (CLAR 2020), Hangzhou, China

    Date: 6 - 9 April 2020
    Location: Hangzhou, China
    Deadline: Sunday 15 December 2019

    CLAR 2020 will be held in Hangzhou, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZJULogAI 2020). With a special focus on 'methods and tools for explainable AI', a core objective of ZJULogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, trustworthy and accountable, both in China as well as in the rest of the world. All participants to CLAR 2020 have access to all other events of ZJULogAI as well.

    CLAR 2020 conference highlights recent advances in the two fields of logic and argumentation and promotes communication between researchers in logic and argumentation within and outside China.

    CLAR 2020 invites interdisciplinary 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 (between 8 and 20 pages) describing original and unpublished work and extended abstracts (max 5 pages) of preliminary original work or extended abstracts of already published work, from either the field of logic or the field of formal argumentation.

    Proceedings with accepted submissions will be available during the conference, and extended versions will be published after the conference in special issues of the Journal of Logic and Computation and the Journal of Applied Logics.

  • 28 - 29 May 2020, 16th International Workshop on the ACL2 Theorem Prover and Its Application (ACL2 2020), Austin TX, U.S.A.

    Date: 28 - 29 May 2020
    Location: Austin TX, U.S.A.
    Deadline: Sunday 15 December 2019

    The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. ACL2-2020 is a two-day workshop to be held in Austin, Texas, USA, on May 28-29, 2020. It is the 16th in the series of ACL2 workshops, which occur approximately every 18 months. The workshop will feature invited keynotes, technical papers, and rump sessions that discuss ongoing research.

    We invite ACL2 users, experts and beginners alike, users of other theorem provers, and persons interested in the applications of theorem proving technology to submit papers to the Workshop. We strongly encourage submissions from new members of the ACL2 community, including graduate students and researchers who are primarily involved with other theorem provers or formal methods. The ACL2 Workshop accepts both long papers (up to sixteen pages) and extended abstracts (up to two pages).

    For more information, see http://acl2-2020.info/.
  • 28 February - 2 March 2020, 21st Szklarska Poręba Workshop on the Roots of Pragmasemantics, Szklarska Poręba, Poland

    Date: 28 February - 2 March 2020
    Location: Szklarska Poręba, Poland
    Target audience: logicians, semanticists, philosophers, computational linguists
    Deadline: Sunday 15 December 2019

    The 21st Workshop on the Roots of Pragmasemantics will be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on February 28 - March 2, 2020. On top of our general theme, this year's special theme is Reference.

    This year's invited speakers are:

    Maria Aloni (University of Amsterdam)
    Ethan Nowak (King's College London)
    Peter Sutton (Heinrich Heine University Düsseldorf)
    Sarah Zobel (University of Oslo)

    We especially invite papers on this year's special theme "Reference". We also welcome contributions relevant to any of the more classical subjects of this workshop series. Experimental as well as theoretical approaches are welcome. We in particular encourage the presentation of innovative ideas, even if still in need of later refinement and submissions by students who have no previous experience presenting at international workshops. We invite submission of blind abstracts in PDF format, to be sent by *December 15, 2019.*

    For more information, see https://sites.google.com/view/21st-szklarska-porba-workshop/ or contact Katherine Fraser at .
  • 22 - 24 February 2020, ICAART Session "Natural Language Processing in Artificial Intelligence" (NLPinAI 2020), Valletta, Malta

    Date & Time: 22 - 24 February 2020, 08:00-21:00
    Location: Valletta, Malta
    Target audience: researchers
    Deadline: Thursday 19 December 2019

    Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions.

    This ICAART 2020 Special Session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.

    We invite contributions relevant to the session topics.
    All accepted papers will be published in a special section of the conference proceedings book, and be made available at the SCITEPRESS Digital Library. We expect a post-conference, post-proceedings Special Issue with extended publications based on selected papers presented at NLPinAI 2020.

    For more information, see http://www.icaart.org/NLPinAI.aspx?y=2020 or contact Roussanka Loukanova at .
  • 7 - 9 April 2020, 5th Asian Workshop on Philosophical Logic (AWPL 2020), Hangzhou, China

    Date: 7 - 9 April 2020
    Location: Hangzhou, China
    Deadline: Saturday 28 December 2019

    Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences.

    The AWPL 2020 workshop is an event in the Zhejiang Logic for AI Summit. All AWPL participants are invited to attend other events as well.

    All submissions should present original works not previously published. Submissions should be typeset in English, using the LNCS template. be prepared as a PDF file with at most 12 pages (including reference list, appendixes, acknowledgements, etc.), and be sent to the workshop electronically via EasyChair. It is assumed that, once a submission is accepted, at least one of its authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and submit to a post conference proceedings, to be published in the 'Logic in Asia' series.

    For more information, see https://www.xixilogic.org/events/awpl2020/.
  • 29 June - 3 July 2020, 16 Conference on Computability in Europe (CiE 2020), Salerno, Italy

    Date: 29 June - 3 July 2020
    Location: Salerno, Italy
    Deadline: Friday 3 January 2020

    CiE 2020 is the 16th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

    The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

    The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in all areas related to the conference for presentation at the conference and inclusion in the proceedings of CiE 2020 at EasyChair.

    Papers must be submitted in PDF format, using the LNCS style and must have a maximum of 12 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome.

  • 13 - 15 May 2020, Trends in Logic XX "Logic and Reasoning: Formal and Informal", Kyiv, Ukraine

    Date: 13 - 15 May 2020
    Location: Kyiv, Ukraine
    Target audience: Researchers in logic
    Costs: Conference fee: 160/190 EUR
    Deadline: Monday 6 January 2020

    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).

    Abstracts of at most three pages length (including references) should be submitted electronically as pdf documents using the EasyChair submission page. At least one author of each accepted paper must register for, and attend the conference to present her or his work.

    For more information, see https://trends2020.knu.ua/ or contact .
  • (Updated) 25 - 26 April 2020, 15th International Workshop on Coalgebraic Methods in CS (CMCS 2020), Dublin, Ireland

    Date: 25 - 26 April 2020
    Location: Dublin, Ireland
    Deadline: Monday 6 January 2020

    In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

    We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. They should not exceed 20 pages in length in Springer LNCS style. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system.

    For more information, see https://www.coalg.org/cmcs20/.
  • 8 - 12 July 2020, Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Beijing, China

    Date: 8 - 12 July 2020
    Location: Beijing, China
    Deadline: Monday 6 January 2020

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2020 will be hosted in Beijing, China during 8–12 July 2020, in co-location with ICALP 2020.

    We invite submissions on the conference topics.

    Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. Every full paper must be submitted in the ACM SIGPLAN Proceedings 2-column 10pt format and may be at most 12 pages, excluding references. The extended abstract must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops.

    For more information, see https://lics.siglog.org/lics20/.
  • 7 - 10 July 2020, Eighth Biennial Conference of the Society for Philosophy of Science in Practice (SPSP 2020), East Lansing MI, U.S.A.

    Date: 7 - 10 July 2020
    Location: East Lansing MI, U.S.A.
    Deadline: Friday 10 January 2020

    The Society for Philosophy of Science in Practice (SPSP) is an interdisciplinary community of scholars who approach the philosophy of science with a focus on scientific practice and the practical uses of scientific knowledge. The SPSP conferences provide a broad forum for scholars committed to making detailed and systematic studies of scientific practices - neither dismissing concerns about truth and rationality, nor ignoring contextual and pragmatic factors. The conferences aim at cutting through traditional disciplinary barriers and developing novel approaches.

    Keynote speakers: Karen Barad, University of California at Santa Cruz; Till Grüne-Yanoff, Royal Institute of Technology (KTH) Stockholm.

    We welcome contributions from not only philosophers of science, but also philosophers working in epistemology and ethics, as well as the philosophy of engineering, technology, medicine, agriculture, and other practical fields. Additionally, we welcome contributions from historians and sociologists of science, pure and applied scientists, and any others with an interest in philosophical questions regarding scientific practice. SPSP welcomes both proposals for individual papers, and also strongly encourage proposals for whole, thematic sessions with coordinated papers, particularly those which include multiple disciplinary perspectives and/or input from scientific practitioners.

  • 27 - 29 April 2020, PhDs in Logic XII, Berlin

    Date: 27 - 29 April 2020
    Location: Berlin
    Target audience: PhD students, master students, first-year postdocs
    Costs: No registration fees
    Deadline: Friday 10 January 2020

    “PhDs in Logic” is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20-25 minutes) presentations by PhD students, master students and first-year postdocs on their research.
    The 12th edition of “PhDs in Logic” will take place at the Freie Universität Berlin, Germany, from April 27 to 29, 2020.

    We welcome students to participate in PhDs in Logic XII regardless of whether they want to submit a contribution. Students interested in participating, even without giving a talk, are kindly asked to register.

    PhD students, master students and first-year postdocs in logic from disciplines, that include but are not limited to philosophy, mathematics and computer science are invited to submit an extended abstract on their research.

    Submitted abstracts should be no longer than 2 pages, including the relevant references. Each abstract will be anonymously reviewed by the scientific committee. Accepted abstracts will be presented by their authors in a short presentation during the conference.

    The deadline for abstract submission is 10th January 2020, and the notification of acceptance will be sent by 28th February 2020. Please submit your blinded abstract in the Easychair format via EasyChair.

    For more information, see https://www.mi.fu-berlin.de/phdsinlogic2020/ or contact Sara Ayhan at .
  • (New) 19 - 24 July 2020, IEEE World Congress on Computational Intelligence (WCCI 2020), Glasgow, Scotland

    Date: 19 - 24 July 2020
    Location: Glasgow, Scotland
    Deadline: Wednesday 15 January 2020

    The IEEE World Congress on Computational Intelligence (IEEE WCCI) is the world’s largest technical event in the field of computational intelligence. WCCI 2020 features the flagship conference of the Computational Intelligence Society: The 2020 International Joint Conference on Neural Networks (IJCNN 2020), the 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2020), and the 2020 IEEE Congress on Evolutionary Computation (IEEE CEC 2020) under one roof. It encourages cross-fertilisation of ideas among the three big areas and provides a forum for intellectuals from all over the world to discuss and present their research findings on computational intelligence.

    Papers for IEEE WCCI 2020 should be submitted electronically using the Congress websit and will be refereed by experts in the fields and ranked based on the criteria of originality, significance, quality and clarity. Papers submitted to the special sessions will undergo the same review procedure as that for regular papers.

    For more information, see https://wcci2020.org/.
  • 29 June - 5 July 2020, The 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France

    Date: 29 June - 5 July 2020
    Location: Paris, France
    Deadline: Thursday 16 January 2020

    IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods). JCAR 2020 will be co-located with the conference FSCDThe IJCAR 2020 technical program will consist of presentations of high-quality original research papers, short papers describing interesting work in progress, system descriptions, and invited talks.

    Woody Bledsoe Travel Awards will be available to support selected students attending the conference.

    IJCAR 2020 invites submissions related to all aspects of automated or interactive reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems or proof assistants are solicited.

    For more information, see https://ijcar2020.org.
  • 30 March - 1 April 2020, Workshop "The wisdom and madness of crowds: argumentation, information exchange and social interaction"

    Date & Time: 30 March - 1 April 2020, 18:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    Deadline: Sunday 19 January 2020

    Argumentation and exchange of information help groups to coordinate, deliberate and decide. On the other hand, debates often generate detrimental large-scale phenomena such as polarization, informational cascades and echo-chambers, where the behavior of entire groups shifts in seemingly irrational ways.

    Understanding the deep mechanisms of informational and social influence that underlie these phenomena in the age of social media is a challenge that engages methods from different disciplines, including philosophy, artificial intelligence, computer and social sciences and psychology.

    This workshop brings together scholars with different theoretical approaches. Its broader aim is to foster an interdisciplinary understanding of the mechanisms that determine the behavior of individuals in a social context from multiple perspectives. The workshop will last two and a half days. The first half-day of it will be dedicated to an introductory seminar on abstract argumentation, held by Professor Pietro Baroni (Brescia).

    Submissions are invited on the general field of argumentation theory, logic and formal epistemology, including, but not
    restricted to
    * Abstract and structured argumentation
    * Dynamic epistemic logics for correlated information change
    * Logical aspects of argumentation
    * Informal logic
    * Bayesian epistemology
    * Computational approaches to argumentation, social choice and deliberation in multi-agent networks
    All papers must be original and not simultaneously submitted to another journal or conference.

    For more information, see https://sites.google.com/view/workshop-arginfoexchange/home or contact Carlo Proietti at .
  • 24 - 28 August 2020, 11th International Conference on the Theory and Application of Diagrams (Diagrams 2020), Tallinn, Estonia

    Date: 24 - 28 August 2020
    Location: Tallinn, Estonia
    Deadline: Friday 24 January 2020

    Diagrams 2020 is the eleventh conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.

    Diagrams solicits research contributions falling within the scope of the conference. Diagrams 2020 will include presentations of refereed Papers, Abstracts, and Posters, alongside tutorials, workshop sessions, and a graduate symposium. In addition to the main track, Diagrams 2020 will have the special tracks of philosophy of diagrams and psychology of diagrams.

    For more information, see http://www.diagrams-conference.org/2020/.
  • 12 - 18 September 2020, 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, Greece

    Date: 12 - 18 September 2020
    Location: Rhodes, Greece
    Deadline: Friday 24 January 2020

    Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents. The biennial International Conference on the Principles of Knowledge Representation and Reasoning (KR) is a leading forum for timely, in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.

    For its 2020 edition, KR will solicit proposals for both the Tutorial and Workshop tracks. Tutorials and workshops will be held prior to the KR main technical program, which will run from 12th to 18th of September 2020. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference.

    For more information, see http://kr2020.inf.unibz.it or contact Anni-Yasmin Turhan at , or Renata Wassermann at .
  • 25 April 2020, 5th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2020), Dublin, Ireland

    Date: Saturday 25 April 2020
    Location: Dublin, Ireland
    Deadline: Saturday 25 January 2020

    Today's IT systems, and the interactions between them, become increasingly complex. Power grid blackouts, airplane crashes, failures of medical devices and malfunctioning automotive systems are just a few examples of incidents that affect system safety. They are often due to component failures and unexpected interactions of subsystems under conditions that have not been anticipated during system design and testing. Determining the root cause(s) of a system-level failure and elucidating the exact scenario that led to the failure is today a complex and tedious task that requires significant expertise. Formal approaches for automated causality analysis, fault localization, explanation of events, accountability and blaming have been proposed independently by several communities - in particular, AI, concurrency, model-based diagnosis, software engineering, security engineering and formal methods. Work on these topics has significantly gained speed during the last years.

    The goals of this workshop are to bring together and foster exchange between researchers from the different communities, and to present and discuss recent advances and new ideas in the field.

    Submissions should be prepared in EPTCS style with a length of up to 15 pages. All contributions must be submitted via the EasyChair submission web site for CREST 2020. All contributed papers will be reviewed by at least 3 PC members. Revised versions of selected papers will be published as formal post-workshop proceedings in the Electronic Proceedings in Theoretical Computer Science. At least one of the authors of an accepted paper needs to register for the workshop and present the paper in order for it to be included in the post-workshop proceedings.

    For more information, see https://sites.google.com/view/crest2020.
  • CfP special issue of Information on Emerging Techniques for Cryptography

    Deadline: Friday 31 January 2020

    Cryptography forms the underlying basis for many security solutions in today's computer systems and networks, securing data while it is being stored, transferred, and processed. As security and privacy problems increase in real-world applications with emerging threats, new and innovative cryptography solutions are needed in order to ensure our computer systems and networks are protected.

    This Special Issue will specifically focus on new and innovative cryptography solutions aiming to address emerging threats and existing threats in more efficient manner. The particular topics of interest for this Special Issue include, but are not limited to, the following:
    - Foundational theory and mathematics for emerging computer systems and networks
    - Provable security of emerging techniques for cryptography
    - The proposal and analysis of cryptographic primitives for emerging computer systems and networks
    - Cryptanalytic attacks on emerging computer systems and networks
    - Cryptographic applications in cloud computing and IoT

    Research articles, review articles as well as short communications are invited. Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All papers will be peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 31 January, 2020.

  • 26 - 28 August 2020, Spatial Cognition 2020 (SC 2020), Riga, Latvia

    Date: 26 - 28 August 2020
    Location: Riga, Latvia
    Deadline: Saturday 1 February 2020

    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.

    Submissions for Oral Presentations (short papers) presenting original and unpublished work are solicited in all areas of spatial cognition. Short papers should not exceed 1,200 words (including figures, tables, and references). Some short paper submissions may be accepted for poster presentation.

    Submissions for Poster Presentations (abstracts) are solicited in all areas of spatial cognition. Poster abstracts should not exceed 500 words (including figures, tables, and references).

    For more information, see http://sc2020.lu.lv/ or contact .
  • 29 June - 5 July 2020, Fifth International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Paris, France

    Date: 29 June - 5 July 2020
    Location: Paris, France
    Deadline: Thursday 6 February 2020

    FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas.

    Submissions can be made in two categories. Regular research papers are limited to 15 pages (including references, with the possibility to add an annex for technical details, e.g. proofs) and must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages (including references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools.

    The suggested, but not exclusive, list of topics for submission is:
    1. Calculi
    2. Methods in Computation and Deduction
    3. Semantics
    4. Algorithmic Analysis and Transformations of Formal Systems
    5. Tools and Applications
    6. Semantics and Verification in new challenging areas

    For more information, see http://fscd2020.org/ or contact .
  • 8 - 12 July 2020, 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), Beijing, China

    Date: 8 - 12 July 2020
    Location: Beijing, China
    Deadline: Wednesday 12 February 2020

    The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place in Beijing (China) on 8 - 12 July 2020. ICALP 2020 will have the two traditional tracks A (Algorithms, Complexity and Games) and B (Automata, Logic, Semantics and Theory of Programming). ICALP 2020 will be hosted at Peking University, in co-location with LICS 2020.

    Authors are invited to submit an extended abstract of no more than 12 pages, excluding references and the front page(s) (authors, affiliation, keywords, abstract, ...), presenting original research on the theory of computer science. All submissions must be formatted in the LIPIcs style and submitted via Easychair to the appropriate track of the conference. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed.

    For more information, see http://econcs.pku.edu.cn/icalp2020/.
  • 10 - 14 August 2020, Computational and Experimental Explanations in Semantics and Pragmatics

    Date: 10 - 14 August 2020
    Location: Utrecht
    Deadline: Saturday 15 February 2020

    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.

    Topics of potential interest include but are not limited to:
    * Experimental semantics and pragmatics
    * Graded/non-categorical semantic theories and explanations
    * Information-theoretic measures and explanations in semantics and pragmatics
    * Semantic universals
    * Learnability and evolution of semantics and pragmatics
    * Bayesian approaches to semantics and pragmatics
    * Probing neural models for learned semantic representations
    * Semantics in emergent communication protocols
    * The methodology of semantics

    We invite anonymized submission of abstracts of 2 pages (12 pt font; 1in or 2.5cm margins) — with an extra page for references of figures — on new research on topics related to those listed above by February 15.

  • (New) 5 - 9 July 2020, 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020), Alghero, Italy

    Date: 5 - 9 July 2020
    Location: Alghero, Italy
    Deadline: Saturday 15 February 2020

    The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.

    SAT 2020 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Topics include, but are not restricted to: Theoretical advances, Practical search algorithms, Knowledge compilation, Implementation-level details of SAT solving tools, Problem encodings and reformulations, Applications, and Case studies based on rigorous experimentation.

    Submissions to SAT 2020 are solicited in three categories, describing original contributions: Long papers (9 to 15 pages, excluding references), Short papers (up to 8 pages, excluding references) and Tool papers (up to 6 pages, excluding references).

    For more information, see http://sat2020.idea-researchlab.org/ or contact .
  • 8 - 10 July 2019, Fourteenth Conference on Logic and the Foundations of Game and Decision Theory (LOFT2020), Groningen, The Netherlands

    Date: 8 - 10 July 2019
    Location: Groningen, The Netherlands
    Deadline: Sunday 1 March 2020

    This is the 14th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. The three-day conference will give opportunity for paper presentations and discussions.

    Among the topics of particular relevance are:
    - Modal logics for games and protocols
    - Foundations of game and decision theory
    - Learning and information-processing models
    - Bounded rationality approaches to game and decision theory

    Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. Papers that have appeared in print, or are likely to appear in print before the conference, should not be submitted for presentation at LOFT.

    For more information, see http://loft2020.ai.rug.nl/.
  • 1 - 5 June 2020, 17th International Conference on Quantum Physics and Logic (QPL 2020), Paris-Saclay, France

    Date: 1 - 5 June 2020
    Location: Paris-Saclay, France
    Deadline: Friday 6 March 2020

    The conference brings together researchers working on the mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, category-theoretic structures, formal languages, semantic methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.

    QPL 2020 will be co-located with the 36th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2020).

    Prospective speakers are invited to submit original contributions   Submission of substantial albeit partial results of work in progress is encouraged. Extended abstracts describing work submitted/published elsewhere will also be considered, provided the work is recent and relevant to the conference. There will be an award for the best student paper at the discretion of the programme committee.

    For more information, see https://www.monoidal.net/paris2020/qpl/.
  • 17 - 21 August 2020, Advances in Modal Logic 2020 (AiML 2020), Helsinki, Finland

    Date: 17 - 21 August 2020
    Location: Helsinki, Finland
    Deadline: Wednesday 11 March 2020

    Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2020 is the 13th conference in the series.

    We invite submissions on all aspects of modal logic. Papers on related subjects will also be considered. There will be two types of submissions for AiML 2020: full papers (for publication in the proceedings and presentation at the conference) and short presentations (intended for presentation at the conference but not for the published proceedings).

  • 8 - 9 June 2020, Fourth International Conference on Computational Linguistics in Bulgaria (CLIB 2020), Sofia, Bulgaria

    Date: 8 - 9 June 2020
    Location: Sofia, Bulgaria
    Deadline: Sunday 15 March 2020

    CLIB covers a broad spectrum of areas related to natural language processing and computational linguistics focused on but not limited to Bulgarian.

    CLIB 2020's invited speakers will be: Prof. Galya Angelova (Institute of Information and Communication Technologies, Bulgarian Academy of Sciences Assoc), Prof. Svetla Boytcheva (Institute of Information and Communication Technologies, Bulgarian Academy of Sciences) and Dr. Preslav Nakov (Qatar Computing Research Institut). A special session on wordnets and ontologies is also envisaged.

    CLIB invites contributions on original research, including, but not limited to the following topics: semantics, syntax, grammar and the lexicon; cognitive, mathematical and computational models of language processing; lexical semantics and ontologies; linguistic annotation; word sense disambiguation; MWE recognition; information extraction; text analysis and summarisation; NLP methods and applications; corpus linguistics; multilingual processing and applications, machine translation and translation aids.

    There will be two categories of research papers: oral and poster presentations. All accepted papers will be included in the Conference proceedings.

    For more information, see http://dcl.bas.bg/clib/ or contact .
  • 4 - 7 August 2020, 27th Workshop on Logic, Language, Information and Computation (WoLLIC 2020), Lima, Peru

    Date: 4 - 7 August 2020
    Location: Lima, Peru
    Deadline: Wednesday 15 April 2020

    WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. WoLLIC 2020 is planned to also have a special session with the exhibition of a one-hour documentary film about Maryam Mirzakhani, a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death.

    Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors.

    For more information, see http://wollic.org/wollic2020/.
  • 22 - 23 September 2020, Second international workshop "Concepts in Action: Representation, Learning, and Application" (CARLA 2020), Bolzano, Italy

    Date: 22 - 23 September 2020
    Location: Bolzano, Italy
    Deadline: Thursday 30 April 2020

    "Concepts in Action: Representation, Learning, and Application" (CARLA) is an international workshop aimed at fostering interdisciplinary exchange about research on concepts.  Although the workshop is open for research on any aspect of concepts, there exists a set of core topics that are of special interest:

     - Representation: How can we formally describe and model concepts?
      - Learning: Where do concepts come from and how are they acquired?
     - Application: How are concepts used in cognitive tasks?

    Invited Speakers: Mattis List and Marianna Bolognesi.

    We invite concept researchers to submit abstracts to the workshop for oral or poster presentations. We invite contributions from all fields related to cognitive science, including (but not limited to) linguistics, artificial intelligence, psychology, philosophy, logic, and computer science. The extended abstracts can use up to three pages (including references) and should be uploaded as pdf based on a template downloadable from the conference website.

  • 26 - 28 August 2020, The 15th International Conference on Grammatical Inference (ICGI 2020), New York NY, U.S.A.

    Date: 26 - 28 August 2020
    Location: New York NY, U.S.A.
    Deadline: Friday 1 May 2020

    This bi-annual conference  focuses on all aspects of grammar learning, including (but not limited to) theoretical and experimental analysis of different models of grammar induction, and algorithms for induction of different classes of languages and automata.

    This edition will provide a particular insight  on the relation with connectionist models such as neural networks: tutorials of the first day will focus on that subject and authors are encouraged to submit works on that subject.

    ICGI 2020 is the place to present your work on learning formal grammars, finite state machines, context-free grammars, Markov models, or any models related to language theory, stochastic or not. Both theoretical work and experimental analyses are welcomed as submissions. This year we especially encourage submissions related to connectionist models such as neural networks, since the tutorials of the first day will focus on that topic. We welcome three types of papers: formal and/or technical papers, position papers, and tool papers.

    For more information, see https://icgi2020.lis-lab.fr.
  • 6 - 9 September 2020, 1st Symposium on Formal Approaches to Vagueness in Relation to Mereology (FVRM'20), Sofia, Bulgaria

    Date: 6 - 9 September 2020
    Location: Sofia, Bulgaria
    Deadline: Friday 15 May 2020

    Mereology is a very plural subject in which individual researchers may work in multiple potentially incompatible perspectives. It is well-known that mereological methods are important in AI and formalizing human reasoning. In particular, these are relevant in formal approaches to vagueness and point-free reasoning. The main aim of the symposium session is to connect researchers in formal approaches to vagueness and ontology from applied mereological perspectives. All submissions are expected to have a strong focus on applications or potential applications.

    Authors are invited to submit draft papers (as Postscript, PDF file). The total length of a paper should not exceed 10 pages IEEE style. Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop.

    For more information, see https://www.fedcsis.org/2020/fvrm or contact .
  • Call for manuscript submissions: L&P special issue of 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.

Upcoming conferences

  • 9 December 2019, Symposium in Honour of Julia Robinson's Centenary, Berkeley CA, U.S.A.

    Date: Monday 9 December 2019
    Location: Berkeley CA, U.S.A.

    A Symposium on the occasion of Julia Robinson's 100th birthday will be held on Monday December 9, 2019 at MSRI. Julia Robinson (1919-1985) was a leading mathematical logician of the twentieth century, and notably a first in many ways, including the first woman president of the American Mathematical Society and the first woman mathematician elected to membership in the National Academy of Sciences. Her most famous work, alongside others including Martin Davis and Hilary Putnam, led to Yuri Matijasevich's solution in the negative of Hilbert's Tenth Problem, showing that there is no general algorithmic solution for Diophantine equations. She contributed in other topics as well. Her 1948 thesis linked the undecidability of the field of rational numbers to Godel?s proof of undecidability of the ring of integers.

    Confirmed participants in this day-long celebration of her work and of current mathematics insprired by her research include: Lenore Blum, who will give a public lecture, Lou van den Dries, Martin Davis, Kirsten Eisentrager, and (provisionally yes) Yuri Matijasevich.

    For more information, see http://www.msri.org/workshops/955.
  • 9 - 10 December 2019, Workshop "Speaking the Unspeakable: Paradoxes between Truth and Proof", Campinas, Brazil

    Date: 9 - 10 December 2019
    Location: Campinas, Brazil

    This conference is intended to investigate recent proposals for characterizing and solving paradoxes. More precisely, the aim is to create a bridge between the truth-theoretic, set-theoretic, and proof-theoretic traditions in the analysis of paradoxes.

    For more information, see https://speaktheunspeakable.wordpress.com/ or contact Giorgio Venturi at , or Mattia Petrolo at .
  • 11 December 2019, 4th International Workshop on MIning and REasoning with Legal texts (MIREL 2019), Madrid, Spain

    Date: Wednesday 11 December 2019
    Location: Madrid, Spain

    MIREL-2019 workshop aims at bridging the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic, in line with the objectives of the MIREL (MIning and REasoning with Legal texts) project.

    The workshop aims at fostering the scientific discussion between approaches based on language technologies applied to the legal domain (representing legal knowledge) and those based on legal reasoning (using the legal knowledge to build specialized services and applications).

  • 11 - 13 December 2019, 39th conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), Mumbai, India

    Date: 11 - 13 December 2019
    Location: Mumbai, India

    The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

    Invited Speakers:
     - Karthikeyan Bhargavan, INRIA Paris
     - Robert Krauthgamer, The Weizmann Institute of Science
      - Ranko Lazic, Warwick University
      - Toniann Pitassi, University of Toronto
      - Tim Roughgarden, Columbia University
      - Alexandra Silva, University College London

    Workshops and co-located events:
     - SAT/SMT winter school: December 8-9
     - Complexity in Algorithmic Game Theory: December 10
     - Extension Complexity and Lifting Theorems: December 14
     - Trends in Transformations: December 10
     - GALA: Gems of Automata, Logic and Algebra: December 14

    For more information, see https://www.fsttcs.org.in/2019/.
  • 11 December 2019, Truthmakers Semantics Workshop

    Date & Time: Wednesday 11 December 2019, 09:30-16:15
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

    Speakers: Mark Jago (Nottingham), Peter Hawke (Amsterdam / St Andrews), Aybüke Özgün (Amsterdam / St Andrews), Janneke van Lith (Utrecht), Johannes Korbmacher (Utrecht), Maria Aloni (Amsterdam).

  • (New) 14 December 2019, Set Theory in the United Kingdom 4 (STUK 4), Oxford, England

    Date: Saturday 14 December 2019
    Location: Oxford, England

    We are happy to announce the fourth installment of the Set Theory in the UK series! This will take place in the Mathematical Institute at Oxford on the 14th of December.

    The two main speakers are Philipp Schlicht and Carolin Antos. Shorter talks will be given by John Howe, Joel David Hamkins, Philip Welch and Asaf Karagila.

    The day opens with tea and coffee at 10:30am, with the first talk beginning in lecture room L3 at 11:00am. We conclude with a social dinner at 7:30pm in The Crown on Cornmarket Street.

  • 15 - 19 December 2019, The 4th Advanced School in Computer Science and Engineering: The Mathematics of Quantum Computation, Jerusalem, Israel

    Date: 15 - 19 December 2019
    Location: Jerusalem, Israel

    On 15-19 December 2019, we will be organizing a math-oriented quantum computation school in the IIAS at the Hebrew university. No prior knowledge on quantum will be assumed. The school will introduce TCS and math students and faculty, who are interested in the more mathematical side of the area, to the beautiful and fascinating mathematical open questions in quantum computation, starting from scratch. We hope to reach a point where participants gain initial tools and basic perspective to start working in this area.

    To achieve this, we will have several mini-courses, each of two or three hours, about central topics in the area. These will include quantum algorithms, quantum error correction, quantum supremacy, delegation and verification, interactive proofs, cryptography, and Hamiltonian complexity. We will emphasize concepts, open questions, and links to mathematics. We will have daily TA sessions with hands-on exercises, to allow for a serious process of learning.

    For more information, see http://ias.huji.ac.il/SchoolCSE4.
  • 16 - 20 December 2019, XVIIIth Simposio Latino Americano de Logica Matematica (SLALM 2019), Conception, Chile

    Date: 16 - 20 December 2019
    Location: Conception, Chile

    The SLALM was conceived in the late 1960s by Abraham Robinson, who at the time was President of the ASL. It brings together the community of researchers in logic in Latin America and is nourished by the crucial participation of researchers from around the world.

    For more information, see http://slalmxviii.udec.cl.
  • AC_logo.jpg

    18 - 20 December 2019, 22nd Amsterdam Colloquium, Amsterdam Science Park

    Date: 18 - 20 December 2019
    Location: Amsterdam Science Park
    Target audience: Linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages

    The 22nd Amsterdam Colloquium will be held on 18-20 December, 2019 to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

    The Amsterdam Colloquium will feature two workshops: one on Semantic Universals, featuring Terry Regier (Berkeley) and Susan Rothstein (Bar-Ilan); and one on Super Linguistics, featuring Cornelia Ebert (Berlin) and Gabe Greenberg (UCLA).

    The regular programme will feature talks by Kathryn Davidson (Harvard), Lucas Champollion (NYU), Imogen Dickie (St Andrews) and Fabrizio Cariani (Northwestern). The Amsterdam Colloquium will also feature one evening lecture by Ian Rumfitt (Oxford), jointly organized with the E.W. Beth Foundation.

    For more information, see http://events.illc.uva.nl/AC/AC2019/ or contact Floris Roelofsen at .
  • 18 - 20 December 2019, Workshop 'Foundations & Applications of Univalent Maths', Herrsching, Germany

    Date: 18 - 20 December 2019
    Location: Herrsching, Germany

    This is a project kickoff workshop.

    It focuses on both the foundation of univalent mathematics and the applications of the univalent innovations.

    For more information, see http://cj-xu.github.io/faum/ or contact Chuangjie Xu at .
  • 18 - 19 December 2019, "Formalization of Proofs, Formalisation of Programs", Paris, France

    Date: 18 - 19 December 2019
    Location: Paris, France

    The workshop intends to reconsider the relations or lack thereof between Computer science and mathematics. Whereas, originally, mathematics was used to provide a disciplinary identity to computing, today, this is clearly no longer the case, and this makes urgent to rethink the possible relations between the two fields. The workshop aim to do it by studying notions and practices of formalization and computation in both contexts.

    The workshop results from a collaboration between two ANR research projects: the FFIUM Project and the PROGRAMme project.

  • 4 - 7 January 2020, Symposium on Logical Foundations of Computer Science (LFCS 2020), Deerfield Beach FL, U.S.A.

    Date: 4 - 7 January 2020
    Location: Deerfield Beach FL, U.S.A.

    The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.

    For more information, see https://lfcs.ws.gc.cuny.edu/.
  • 5 - 6 January 2020, Workshop "The Structure & Development of Understanding Actions & Reasons", Salzburg, Austria

    Date: 5 - 6 January 2020
    Location: Salzburg, Austria

    This workshop is organized by the interdisciplinary research group investigating the Structure and Development of Understanding Actions and Reasons, funded by the German Research Foundation (DFG), the Swiss National Fund (SNF) and the Austrian Science Fund (FWF).

    Invited Speakers: Caroline T. Arruda, Daniel Povinelli,  Eva Rafetseder and Michael Tomasello.

  • 6 - 10 January 2020, Formal Methods in Mathematics / Lean Together 2020, Pittsburgh PA, U.S.A.

    Date: 6 - 10 January 2020
    Location: Pittsburgh PA, U.S.A.

    *Formal Methods in Mathematics / Lean Together 2020* will run from Monday, January 6 to Friday, January 10, 2020 at Carnegie Mellon University, in Pittsburgh, Pennsylvania. The meeting is a successor to Lean Together 2019.

    The first three days will focus on formal methods in pure and applied mathematics, including interactive theorem proving, automated reasoning, verification of symbolic and numeric computation, and general mathematical infrastructure. The last two days will be devoted to specifically to the Lean Theorem Prover and its core library, mathlib. Users and library developers will have opportunities to present work in progress and discuss plans for the future.

    Attendance is free and open to the public, but we ask you to let us know by December 6 if you plan to come.

    For more information, see http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020 or contact Jeremy Avigad at , or Robert Y. Lewis at .
  • 6 - 8 January 2020, 16th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2020), Fort Lauderdale FL, U.S.A.

    Date: 6 - 8 January 2020
    Location: Fort Lauderdale FL, U.S.A.

    The International Symposium on Artificial Intelligence and Mathematics (ISAIM), is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This will be the sixteenth Symposium in the series, sponsored by Florida Atlantic University and the Annals of Mathematics and Artificial Intelligence. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.

    For more information, see http://isaim2020.cs.ou.edu/ or contact .
  • 8 - 10 January 2020, British Postgraduate Model Theory Conference 2020, Leeds, England

    Date: 8 - 10 January 2020
    Location: Leeds, England

    This meeting aims to bring together young researchers interested in model theory. It will feature a mini-course, invited talks by established academics, and contributed talks by postgraduate researchers. Accommodation will be provided for a limited number of participants. Supported by LMS, University of Leeds, and the British Logic Colloquium.

    For more information, see https://conferences.leeds.ac.uk/BPGMTC20/ or contact Rosario Mennuni at .
  • 8 - 9 January 2020, Workshop "Universals' Locales: The International and Global History and Sociology of Modern Theoretical and Mathematical Sciences", Edinburgh, Scotland

    Date: 8 - 9 January 2020
    Location: Edinburgh, Scotland

    We are seeking early career scholars (by your own definition) interested in the history or sociology of the modern theoretical and mathematical sciences for an interdisciplinary 2-day workshop exploring the methods and implications of studying the local and global scales of seemingly universal knowledge. Conversations will be guided by a fantastic group of senior scholars: Martina Merz (Alpen-Adria-Universität), Tatiana Roque (Universidade Federal do Rio de Janeiro), David Aubin (Sorbonne Universit́é), and Ursula Martin (Oxford and Edinburgh).

    For more information, see http://mathglobal.org/locales.html or contact .
  • 13 - 14 January 2020, Tribute to Kurt Gödel 2020 (conference), Brno, Czech Republic

    Date: 13 - 14 January 2020
    Location: Brno, Czech Republic
    Target audience: logicians, mathematicians, philosophers
    Costs: 100 EUR

    Kurt Gödel's unparalleled results in logic grant him a prominent place among logicians. Apart from extraordinary results in the theory of formal systems, he influenced research in set theory, non-classical logics, physical model of the universe, and in philosophy. The event is organised to commemorate the anniversaries (14 January) of the death of Kurt Gödel (Brno 1906 - Princeton 1978) as well as the birth of Alfred Tarski (Warsaw 1901 - Berkeley 1983); January 14 may thus be viewed as World Logic Day.

    For more information, see http://physics.muni.cz/~godel/tribute2020/ or contact Jiri Raclavsky at .
  • 13 - 16 January 2020, CSL 2020: Computer Science Logic, Barcelona, Spain

    Date: 13 - 16 January 2020
    Location: Barcelona, Spain

    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.

    For more information, see http://www.cs.upc.edu/csl2020/ or contact Maribel Fernandez at , or Anca Muscholl at .
  • 18 - 21 January 2020, Fifth International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 2020), Zuerich, Switzerland

    Date: 18 - 21 January 2020
    Location: Zuerich, Switzerland

    Keynote speakers: Gisele Secco (Univ. Federal de Santa Maria, Brasil), Jemma Lorenat (Pitzer College, USA), Øystein Linnebo (Univ. of Oslo, Norway), Jeremy Avigad (Carnegie Mellon University, USA), Vincenzo De Risi (Laboratoire SPHère, CNRS-Univ. Paris 7, France).

    For more information, see http://www.hpm.ethz.ch/apmp2020.html.
  • 20 - 21 January 2020, Conference on Digital Curation Technologies (Qurator 2020), Berlin, Germany

    Date: 20 - 21 January 2020
    Location: Berlin, Germany

    Digital curation is a complex time and knowledge intensive process, in which knowledge workers create new content artifacts and knowledge insights from heterogeneous sources (content, data, knowledge). The work required for this includes, e.g., selecting, summarizing, scheduling, translating, localising, structuring, condensing, enriching, visualizing and explaining the various contents, from sources such as online newspapers, news portals, social media, linked data, business information systems, IoT data streams etc. AI, in particular from the field of language and semantic knowledge technologies, are used to support these tasks and thereby accelerate and qualitatively improve them.

    The conference provides a forum on the use of digital curation technologies in application domains for, e.g., media, journalism, logistics, cultural heritage, health care and life sciences, energy, industry. Of particular relevance are papers that demonstrate the applied use of digital curation technologies and tools in domain-specific use cases and that bridge traditional boundaries between disciplines such as Artificial Intelligence and Semantic Web, data analytics and machine learning, information/content and knowledge management systems, information retrieval, knowledge discovery, and computational linguistics.

    For more information, see https://qurator.ai/konferenz-qurator-2020/.
  • 30 - 31 January 2020, Social Choice, Game Theory, and Applications: Conference in Honour of Hans Peters, Maastricht, The Netherlands

    Date: 30 - 31 January 2020
    Location: Maastricht, The Netherlands
    Costs: free

    A conference to celebrate Hans Peters' contributions to social choice and game theory, on the occasion of his retirement.

  • 1 - 4 February 2020, Workshop "Mathematical Language & Practical Type Theory", Bonn, Germany

    Date: 1 - 4 February 2020
    Location: Bonn, Germany

    Formal Mathematics aims at the complete formalization and formal checking of mathematical statements and proofs. In recent years practically efficient computer assisted systems have been developed and used to formally verify outstanding mathematical results. However, formalizations in the currently dominating systems are written in languages that resemble computer code and are neither accessible nor attractive to the wider mathematical community. The workshop will be looking into ways to overcome this barrier by using (controlled) natural language  input for proof systems.

    The workshop will bring together invited experts from linguistics, formal mathematics, type theory and the LEAN prover system. After some invited talks on Saturday we envisage intense interactions of various groups with ample time for discussion and exploratory experiments. Participants will be asked to give brief contributed presentations of their research relevant to the conference topic.

    The Workshop  is able to offer five scholarships for PhD students and new PhDs with previous experience in formal mathematics. The workshop will cover local costs and give travel support. Apply before November 30, 2019.

  • 17 - 21 February 2020, Eleventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020), Dortmund, Germany

    Date: 17 - 21 February 2020
    Location: Dortmund, Germany

    The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research.

  • 2 - 6 March 2020, 14th International Conference on Language and Automata Theory and Applications (LATA 2020), Milan, Italy

    Date: 2 - 6 March 2020
    Location: Milan, Italy

    LATA is a conference series on theoretical computer science and its applications. LATA 2020 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.

    For more information, see https://lata2020.irdta.eu/ or contact .
  • 22 - 27 March 2020, 5th Conference on Artificial Intelligence and Theorem Proving (AITP 2020), Aussois, France

    Date: 22 - 27 March 2020
    Location: Aussois, France

    Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.

    There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.

    For more information, see http://aitp-conference.org/2020.
  • 30 March - 2 April 2020, 23rd International Conference on Database Theory (ICDT 2020), Copenhagen, Denmark

    Date: 30 March - 2 April 2020
    Location: Copenhagen, Denmark

    ICDT is an international conferences series that addresses the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the international conference on extending database technology.

    As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out Track that calls for novel formal frameworks or directions for database theory and/or connections between principles of data management and other communities.

    For more information, see https://databasetheory.org/icdt-pages.
  • 3 - 5 April 2020, Conference "The 'end' of philosophy of mathematics", Princeton NJ, U.S.A.

    Date: 3 - 5 April 2020
    Location: Princeton NJ, U.S.A.

    Organized by John P. Burgess and Silvia De Toffoli

    Speakers: Jeremy Avigad (Carnegie Mellon University), Silvia De Toffoli (Princeton University), Marcus Giaquinto (University College London), Juliette Kennedy (Helsinki University), Saul Kripke (CUNY Graduate Center), Danielle Macbeth (Haverford College), Paolo Mancosu (UC Berkeley), Friederike Moltmann (CNRS / New York University), Ben Morison (Princeton University), Marco Panza (CNRS / Chapman University), Richard Pettigrew (Bristol University) and Sun-Joo Shin (Yale University).

  • 6 - 9 April 2020, 6th Global Conference on Artificial Intelligence (GCAI 2020), Hangzhou, China

    Date: 6 - 9 April 2020
    Location: Hangzhou, China

    The 6th Global Conference on Artificial Intelligence (GCAI 2020) will be held in Hangzhou, China, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZjuLogAI 2020). With its special focus theme on "Explainable AI and Responsible AI", the summit intends to promote the interplay between logical approaches and machine learning based approaches in order to make AI more transparent, responsible and accountable.

    For more information, see http://www.gcai-2020.info/.
  • 6 - 9 April 2020, Zhejiang Conferences on Logics in AI (ZJULogAI 2020), Hangzhou, China

    Date: 6 - 9 April 2020
    Location: Hangzhou, China

    The Zhejiang Conferences on Logics in Artificial Intelligence (ZjuLogAI 2020) is organized by the Zhejiang University - University of Luxembourg Joint Laboratory on AIs, Robotics and Reasoning (ZLAIRE). With its special focus theme on Explainable AI, the summit intends to promote the interplay between logical approaches and machine learning based approaches in order to make AI more transparent and accountable.

    ZJULogAI consists of
    - 5th Asian Workshop on Philosophical Logic (AWPL 2020)
    - 3rd International Conference on Logic and Argumentation (CLAR 2020)
    - 6th Global Conference on Artificial Intelligence (GCAI 2020)
    ZjuLogAI will be accompanied by an AI and ART exhibition demonstrating the latest application of AI and robotics.
    Keynotes (confirmed): Gabriella Pigozzi (Université Paris Dauphine) and Fei Wu (Zhejiang University)

    For more information, see http://www.xixilogic.org/zjulogai/.
  • 10 - 12 April 2020, 2nd Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, Beijing, China

    Date: 10 - 12 April 2020
    Location: Beijing, China

    Monotonicity, in various forms, is a pervasive phenomenon in logic, linguistics, and related areas. In theoretical linguistics, monotonicity properties are relevant to a large array of semantic phenomena  and to the presence of pragmatic inferences such as scalar implicatures. In logic and mathematics, monotonicity guarantees the existence of fixed points and the well-formedness of inductive definitions. Also, monotonicity is closely tied to reasoning, in formal as well as natural languages. Recent logical and linguistic work on monotonicity has also found its way into computation systems for natural language processing and cognitive models of human reasoning. The goal of our workshop is to bring together researchers working on monotonicity or related properties, from different fields and perspectives.

    The first day of the workshop is devoted to two tutorials:
    1. Jakub Szymanik (University of Amsterdam): Monotonicity in Logic
    2. Gennaro Chierchia (Harvard University): Monotonicity in Language
    The remaining two days consist of invited and contributed talks.

    For more information, see http://tsinghualogic.net/JRC/?p=1489.
  • 15 - 17 April 2020, EvoStar 2020: Bio-inspired computation, Seville, Spain

    Date: 15 - 17 April 2020
    Location: Seville, Spain

    EvoStar comprises of four co-located conferences run each spring at different locations throughout Europe. These events arose out of workshops originally developed by EvoNet, the Network of Excellence in Evolutionary Computing, established by the Information Societies Technology Programme of the European Commission, and they represent a continuity of research collaboration stretching back over 20 years. EvoStar is organised by SPECIES, the Society for the Promotion of Evolutionary Computation in Europe and its Surroundings. This non-profit academic society is committed to promoting evolutionary algorithmic thinking, with the inspiration of parallel algorithms derived from natural processes. It provides a forum for information and exchange.

    The four conferences include:
     - EuroGP 23rd European Conference on Genetic Programming
     - EvoApplications 23rd European Conference on the Applications of Evolutionary and bio-inspired Computation
     - EvoCOP 20th European Conference on Evolutionary Computation in Combinatorial Optimisation
     - EvoMUSART 9th International Conference (and 14th European event) on Computational Intelligence in Music, Sound, Art and Design

    For more information, see http://www.evostar.org/2020/.
  • 8 - 12 June 2020, 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain

    Date: 8 - 12 June 2020
    Location: Santiago de Compostela, Spain

    The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier venue for presenting scientific results in AI. Under the general theme 'Paving the way towards Human-Centric AI', the 24th edition of ECAI will be held in Santiago de Compostela, a UNESCO's World Heritage City which is the destination of unique Routes that cross all Europe since the Middle Ages.

    For more information, see http://www.ecai2020.eu/.
  • 22 June - 4 July 2020, Seventh EPICENTER Spring Course in Epistemic Game Theory 2020, Maastricht University, Maastricht, The Netherlands

    Date: 22 June - 4 July 2020
    Location: 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.

    For more information, see http://www.epicenter.name/springcourse/ or contact Andrés Perea at .
  • 22 - 25 June 2020, XXIII European Symposium of Medieval Logic and Semantics (ESMLS XXIII), Warsaw, Poland

    Date: 22 - 25 June 2020
    Location: Warsaw, Poland

    We would like to invite you to the next European Symposium of Medieval Logic and Semantics, which will take place at the University of Warsaw on 22-25 June 2020. The topic of the conference is 'Time, Tense, and Modality', and covers logical, semantical, and grammatical problems related to time. It is meant to include a wide range of issues occurring in medieval writings, not restricted to narrowly understood field of artes.

    For more information, see http://esmls2020.uw.edu.pl or contact Dr. Marcin Trepczyński at .
  • 6 - 10 July 2020, ISR 2020: International School on Rewriting, Madrid, Spain

    Date: 6 - 10 July 2020
    Location: Madrid, Spain

    Rewriting is a powerful model of computation that underlies much of declarative programming and is ubiquitous in mathematics, logic, theorem proving, verification, model-checking, compilation, biology, chemistry, physics, etc. The school is aimed at Master and PhD students, researchers and practitioners interested in the use or the study of rewriting and its applications.

    We intend to offer on the one hand a basic track on rewriting and on lambda calculus, and on the other hand an advanced track on more specialized topics, related to state-of-the-art research and novel applications. The typical day will contain 4 slots of 90 minutes.

    For more information, see http://cbr.uibk.ac.at/ifip-wg1.6/summerschool.html or contact Narciso Marti-Oliet at .
  • 12 - 17 July 2020, 9th North American Summer School in Logic, Language and Information (NASSLLI 2020), Waltham MA, U.S.A.

    Date: 12 - 17 July 2020
    Location: Waltham MA, U.S.A.

    NASSLLI 2020 will consist of a series of courses and workshops, most running daily from Monday July 13 - Friday July 17. In addition, there will be intensive mini-courses the day prior to the start of courses (Sunday July 12). The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, AI, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. The 2020 NASSLLI will also have a theme - Formal and Computational Pragmatics and Models of Dialogue.

    For more information, see http://nasslli2020.brandeis.edu/ or contact .
  • 3 - 14 August 2020, 32nd European Summer School in Logic, Language and Information (ESSLLI 2020), Utrecht, The Netherlands

    Date: 3 - 14 August 2020
    Location: Utrecht, The Netherlands

    Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world.

    The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures.

    For more information, see https://www.esslli.eu or contact .
  • 6 - 9 September 2020, Logic @ DGPhil, Erlangen, Germany

    Date: 6 - 9 September 2020
    Location: Erlangen, Germany

    There will be a section on Logic and Philosophy of Mathematics at the XXVth Congress of the German Society for Philosophy (DGPhil), "The True, the Good, and the Beautiful".

    For more information, see https://dgphil2020.fau.de/en/.