Universiteit van Amsterdam

Events

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.

Sections

Headlines Calls for Paper

Headlines Upcoming conferences

Calls for Paper

  • CfP topical collection of Synthese on "Concept Formation in the Natural & Social Sciences"

    Deadline: Wednesday 30 September 2020

    Concept formation has recently become a widely discussed topic in philosophy under the headings of “conceptual engineering”, “conceptual ethics”, and “ameliorative analysis”. While recent philosophical discussions on concept formation have addressed natural sciences such as physics as well as various life sciences, so far there is only little direct engagement with the social sciences. To address this shortcoming is important because many debates about socially relevant concepts such as power, gender, democracy, riskjustice, or rationality, may best be understood as engaging in conceptual engineering. This topical collection addresses the nature and structure of concept formation in the natural and the social sciences alike, both as a process taking place within science and as an activity that aims at a broader impact in society.

    We aim at expanding the scope of the philosophical debate about concept formation more generally. We will consider projects that use either a systematic, a historical, or an empirical approach. We are particularly interested in experimental-philosophical work (e.g., questionnaire studies, corpus analysis) that discusses its use and/or its consequences for explicating or engineering socially-relevant concepts.

    For more information, see https://philevents.org/event/show/82750 or contact Georg Brun at , Catherine Herfeld at , or Kevin Reuter at .
  • CfP special issue of Logic and Logical Philosophy on "Logics & their interpretations"

    Deadline: Wednesday 30 September 2020

    Logical systems of classical and non-classical sorts are often endowed with a variety of interpretations: semantic, proof-theoretic, metaphysic, epistemic, pragmatic, informational, dialogical, and more. Work along these lines has led to the connection of logic to many other areas of knowledge and research. The attempt to draw these connections is, however, sometimes met with a number of criticisms. On the one hand, many of these interpretations have been subject to discussion, trying to determine if the conceptual and the formal aspects align as required. On the other hand, scholars who reject some contentions interpretations of certain formal systems debate whether these logics should be dispensed with in light of their philosophical interpretations, or whether it is possible to embrace them without endorsing such interpretations. Examples of the above are the debates between the fictionalist and the realist interpretations of possible worlds for modal logics, and between the dialetheic and the epistemic interpretations of paraconsistent logics. Furthermore, there is a question of which if any is the canonical application of logic as a discipline and therefore of any given logical system. In this vein, some scholars believe that a distinction between pure logic and applied logic needs to be taken into account, which may or may not resemble the medieval divide between logica docens and logica utens.

    The aim of this special issue is to discuss these topics and to assess the effect of the answers provided in the relation between logic and the many disciplines related to it. Contributions are welcome from philosophers, logicians, mathematicians, linguists, and computer scientists. Submissions must be in English and use the form of a source LaTeX file.

    For more information, see http://llp.umk.pl/inf4a.html or contact Henrique Antunes (UFMG) at , or Damian Szmuc (IIF-SADAF-CONICET & UBA) at .
  • aamas2021.jpg

    3 - 7 May 2021, 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2021), London, UK

    Date: 3 - 7 May 2021
    Location: London, UK
    Deadline: Friday 2 October 2020

    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

    We welcome the submission of technical papers describing significant and original research on all aspects of the theory and practice of autonomous agents and multiagent systems.

    For more information, see https://aamas2021.soton.ac.uk/ or contact Ulle Endriss at .
  • 27 March - 1 April 2021, 24th European Joint Conferences on Theory and Practice of Software (ETAPS 2021), Luxembourg, Luxembourg

    Date: 27 March - 1 April 2021
    Location: Luxembourg, Luxembourg
    Deadline: Thursday 15 October 2020

    ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops:

    • ESOP: European Symposium on Programming
    • FASE: Fundamental Approaches to Software Engineering
    • FoSSaCS: Foundations of Software Science and Computation Structures
    • TACAS: Tools and Algorithms for the Construction and Analysis of Systems

    A number of satellite workshops will take place before the main conferences. TACAS '21 will also host the 10th Competition on Software Verification (SV-COMP).

    The four main conferences of ETAPS 2021 solicit contributions of the following types: ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, tool demonstration papers of max 6 pp + mandatory appendix of max 6 pp, * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp.

    For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden.

    For more information, see https://etaps.org/2021 or contact .
  • 1 - 5 March 2021, 14th-15th International Conference on Language and Automata Theory and Applications (LATA 2020 & 2021), Milan, Italy

    Date: 1 - 5 March 2021
    Location: Milan, Italy
    Deadline: Monday 19 October 2020

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

     

     

     

    Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series. If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.

    For more information, see https://irdta.eu/lata2020-2021/.
  • CfP Humanities Bulletin

    Deadline: Sunday 25 October 2020

    Humanities Bulletin is a multidisciplinary peer-reviewed Journal which features original studies and reviews in the various branches of Humanities, including History, Literature, Philosophy, Arts.
    This journal is not allied with any specific school of thinking or cultural tradition; instead, it encourages dialogue between ideas and people with different points of view. Our aim is to bring together different international scholars, in order to promote the dialogue between cultures, ideas and new academic researches.

  • Spanish UNILOG Logic Prize

    Deadline: Friday 30 October 2020

    UNILOG LOGIC PRIZE is an international initiative to award one prize per country to an original manuscript on logic. The spanish incarnation is open to all researchers who are (or have been in the last 10 years) affiliated with any university or research institution based in Spain, regardless of their position, nationality, gender or age. This includes not only professors and researchers from these institutions, but also current postgraduate students and doctors who presented their Ph. Dissertations less than 10 years ago.

    Participants are asked to submit an original manuscript written in English, between 15 and 30 pages, on any topic that can be considered to be related to logic (according to the standards of the international logic community).

     

    For more information, see http://www.uni-log.org/logic-prize-spain.
  • CfP topical collection of Synthese on "Anti-exceptionalism about logic"

    Deadline: Saturday 31 October 2020

    The historical consensus seems to be that logic is somehow special.The traditionally exceptional properties of logic are that it is purely formal, has normative force, and that logical evidence is both foundational and a priori. Anti-exceptionalism about logic (AEL) is the denial of at least one of these properties. Our hope is that this Topical Collection advances the area of research, concentrating particularly on four important themes: Properties of Logic, Logical Methodology, Metaphysics of Logic, and Objections.

    Guest Editors: Filippo Ferrari (University of Padua), Ben Martin (University of Bergen), Maria Paola Sforza Fogliani (School for Advanced Studies IUSS Pavia).

  • 7 - 9 April 2021, 10th International Conference on Artificial Intelligence in Music, Sound, Art and Design (EvoMUSART), Seville, Spain

    Date: 7 - 9 April 2021
    Location: Seville, Spain
    Deadline: Sunday 1 November 2020

    The 10th International Conference on Artificial Intelligence in Music, Sound, Art and Design (EvoMUSART) will be held in Seville, Spain, on 7?9 April 2021, as part of the evo* event.

    The main goal of EvoMUSART is to bring together researchers who are using Artificial Intelligence techniques (e.g. Artificial Neural Network, Evolutionary Computation, Swarm, Cellular Automata, Alife) for artistic tasks such as Visual Art, Music, Architecture, Video, Digital Games, Poetry, or Design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.

    We welcome submissions which use Artificial Intelligence techniques in the generation, analysis and interpretation of Art, Music, Design, Architecture and other artistic fields. Submissions must be at most 16 pages long, in Springer LNCS format. Each submission must be anonymised for a double-blind review process. The deadline for submission is 1 November 2020. Accepted papers will be presented orally or as posters at the event and included in the EvoMUSART proceedings published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science series.

    For more information, see http://www.evostar.org/2021/evomusart/.
  • CfP special issue of "Social Choice and Welfare" on deliberation & aggregation

    Deadline: Sunday 15 November 2020

    Social Choice and Welfare (SCW) mainly publishes high-quality papers studying models of welfare economics and collective choice. Conceptual or philosophical papers that are of exceptional quality and close to the core topics of the journal will also be considered for this special issue.

    The goal of this special issue is to put together a number of original articles that further our understanding of how, and when, deliberation and aggregation can be conjoined in order to arrive at better processes of collective attitude formation. The overarching question is how deliberation can be better geared towards aggregation, and how to enrich current models of belief and preference aggregation to make them more amenable to the results of deliberation.

    For more information, see https://www.springer.com/journal/355/updates/17940930 or contact Mikaël Cozic at , or Olivier Roy at .
  • CfP special issue of South American Journal of Logic on "The Heterodox in Logic" (dedicated to Francisco Miro Quesada Cantuarias)

    Deadline: Monday 30 November 2020

    José Francisco Miró Quesada Cantuarias (1918-2019) was the most important Peruvian philosopher of logic and mathematics. He was mainly concerned with constructing a theory of reason adequate for understanding the most important logical and mathematical discoveries of his time: Gödel’s incompleteness theorems and heterodox logics —named coined by him.

    He also coined the name paraconsistent logic, which designates those logical systems for which the principles of contradiction and explosion do not hold generally. He has also been a pioneer in the fields of deontic logic and logic of law.

    This special issue of the South American Journal of Logic will consist of works based on his legacy. We welcome both papers that concern directly FMQC's works and original papers that simply address the same research topics.

    For more information, see https://spel.org.pe/sajl-2021/ or contact .
  • 29 June - 2 July 2021, 16th International Conference on Formal Concept Analysis (ICFCA 2021:16), Strasbourg, France

    Date: 29 June - 2 July 2021
    Location: Strasbourg, France
    Deadline: Monday 18 January 2021

    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.

    We invite scientific publications on theory and applications of Formal Concept Analysis. Papers of up to sixteen pages may be submitted in the PDF format via the Easychair system. Main topics of interest include, but are not limited to:
    - Fundamental aspects of FCA
    - Bridging FCA to information sciences and artificial intelligence
    - Understanding, modelling real-world data and phenomena with FCA

  • 9 - 13 August 2021, Computational and Experimental Explanations in Semantics and Pragmatics

    Date: 9 - 13 August 2021
    Location: Utrecht
    Deadline: Monday 15 February 2021

    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.

  • 11 - 16 July 2021, The 28th International Conference on Automated Deduction (CADE-28), Pittsburgh PA (U.S.A.) or Virtual

    Date: 11 - 16 July 2021
    Location: Pittsburgh PA (U.S.A.) or Virtual
    Deadline: Monday 15 February 2021

    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.

    Paper submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. Submissions can be made in two categories: + Regular papers. Up to 15 pages in LNCS style. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix. Reviewers may consider additional material in appendices, but submissions must be self- contained within the page limit. + Short papers (including system descriptions, user experiences, domain models, etc.) Up to 10 pages in LNCS style.

    Additionally, proposals are sollicited for workshops, tutorials andcompetitions. Workshops and tutorials will take place before the conference. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a core automated reasoning specialization, as well as those with a broader, more applied focus, are welcome. Tutorials are expected to be either half-day or full-day events, with a theoretical or applied focus, on a topic of interest to CADE-28. Proposed competitions should foster the development of automated reasoning systems and applications, in all areas relevant to automated deduction in a broad sense. Proposal submission deadline: 16 November 2020.

    For more information, see http://www.cade-28.info/.
  • 10 - 14 August 2021, ESSLLI Workshop "Computing Semantics with Types, Frames, & Related Structures", Utrecht, The Netherlands

    Date: 10 - 14 August 2021
    Location: Utrecht, The Netherlands
    Deadline: Saturday 17 April 2021

    The goal of this workshop is to bring together people interested in structured representations of semantic information, especially from a computational perspective. In recent years, there has been a growing body of research which aims to integrate structured entities into formal semantic accounts. Important developments in this direction are the introduction of rich type systems and the use of frame-based representations, among others. The workshop is open to both foundational issues of structured semantic representations and applications to specific linguistic phenomena.

    A first edition of the workshop took place in Gothenburg as part of IWCS 2019.

    Topics for submissions include, but are not limited to:
    * Richly typed formalisms for natural language semantics.
    * Frame-based approaches to formal and computational semantics.
    * Applications of dependent types in semantics.
    * Semantic computation with structured representations.
    * Interactions between lexical semantic structures and compositional semantics.

    Papers should not exceed 8 pages in length, excluding references, and should be formatted in accordance with the ACL style sheets.

  • 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

  • 31 August - 7 October 2020, The Joint Ontology Workshops Episode 6 (JOWO 2020), Virtual

    Date: 31 August - 7 October 2020
    Location: Virtual

    The Joint Ontology WOrkshops (JOWO) is a venue of workshops that, together, address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics.

    Workshops and tutorials at JOWO 2020 are events whose scientific program is independently established by the workshop organizers.  Workshops can be events that provide a forum for the discussion of topics broadly related to ontologies, formal ontology, and knowledge management and their application in information science or other areas. JOWO is especially suitable for interdisciplinary and innovative formats.

    At the JOWO 2020 "The Bolzano Summer of Knowledge" Edition, workshops and tutorials will be taking place virtually between August 31st and October 7th 2020, and will be affiliated with the conferences EKAW, FOIS, and ICBO.

    For more information, see https://iaoa.org/jowo/2020/ or contact .
  • 21 September - 19 October 2020, 15th International Workshop on Coalgebraic Methods in CS (CMCS 2020), Virtual

    Date: Weekly on mondays, 21 September - 19 October 2020
    Location: Virtual

    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.

    CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

    For more information, see https://www.coalg.org/cmcs20/.
  • 1 October 2020, Symposium retirement Jos Baeten

    Date & Time: Thursday 1 October 2020, 13:00-18:00
    Location: Online

    The Centrum Wiskunde & Informatica (CWI) of the NWO Institute Organisation and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam organize a symposium on the occasion of the retirement of Jos Baeten as general director of CWI and professor of theory of computing of ILLC on Thursday 1 October 2020.

  • October 2020, Formal Philosophy 2020, Moscow, Russia

    Date & Time: 4 - 5 October 2020, 10:00-20:00
    Location: Moscow, Russia
    Costs: free

    "Formal Philosophy 2020" is the 3rd annual international conference, organized by the International Laboratory for Logic, Linguistics and Formal Philosophy in National Research University Higher School of Economics, Moscow, Russia. Formal Philosophy-2020 will be dedicated to various topics in the field of formal epistemology, formal ontology, formal ethics, philosophy of logic, an epistemology of logic and other branches of formal and mathematical philosophy.

    "Formal Philosophy 2020" is postponed until October 2020.

  • 7 - 9 October 2020, Special Session on Natural Language and Argumentation 2020 (NLA'20) at DCAI'20, L'Aquila, Italy

    Date & Time: 7 - 9 October 2020, 23:59
    Location: L'Aquila, Italy

    We are in the reality of natural and computational systems of argumentation provided by reasoning, with natural and artificial languages. Intelligent systems of argumentation target advanced methods for exchanging, saving, reasoning, accessing, and updating information in memory. There will be a Special Session on Natural Language and Argumentation 2020 (NLA'20) at DCAI'20, the 17th International Conference on Distributed Computing and Artificial Intelligence. This special session will cover both theories and applications.

    For more information, see https://www.dcai-conference.net/special-sessions/nla20 or contact Roussanka Loukanova at .
  • October 2020, 2020 Midwest PhilMath Workshop, Virtual

    Date: Wednesdays in October 2020
    Location: Virtual

    Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

    For more information, see https://philosophy.nd.edu/news/events/mwpmw-2020/ or contact Paddy Blanchette at .
  • 9 - 10 October 2020, 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLi 2020), Prague, Czech Republic or Virtual

    Date: 9 - 10 October 2020
    Location: Prague, Czech Republic or Virtual

    Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.

    Invited Speakers: Natasha Alechina and Johan van Benthem.

    Given the improving epidemiological situation, in the Czech Republic and elsewhere, our intention is to organize the event as originally planned. In case the situation worsens, DaLi 2020 will be held as an online conference.

    For more information, see http://www.cs.cas.cz/dali2020/ or contact , or .
  • 12 - 16 October 2020, Hilbert-Bernays Summer School on Logic & Computation, Virtual

    Date: 12 - 16 October 2020
    Location: Virtual

    The Mathematical Institute of the Georg-August-University Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation" as an online event. This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

    Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, The Axioms of Zermelo and Fraenkel, Recursion and Complexity and Connexive logic. Students may anticipate a high professional outcome in a dedicated international environment.

  • 12 - 14 October 2020, Third Workshop on Argument Strength (ArgStrength2020), cancelled/postponed

    Date: 12 - 14 October 2020
    Location: Koblenz, Germany

    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.

    After consideration the organizers decided to postpone ArgStrength2020 in light of the current COVID-19 crisis. It seems unlikely that ArgStrenght2020 could have taken place in normal fashion. As the workshop aims at presenting preliminary works and rests upon discussions, personal communication is a central component.

  • 14 - 16 October 2020, Conference on Probability and Meaning (PaM), Gothenburg, Sweden

    Date: 14 - 16 October 2020
    Location: Gothenburg, Sweden

    Probability and Meaning (PaM) is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP).  PaM will bring together researchers interested in computationally relevant probabilistic approaches to natural language meaning. PaM will include symbolic, machine learning and experimental approaches to this task, as well as hybrid models.

    In addition to the main conference, on 5th June 2020 CLASP and the AI Competence for Sweden are organising a one day workshop on AI and Natural Language with emphasis on industrial collaboration. The aim of the workshop is to present cutting edge research in Natural Language Processing and Computational Linguistics and its relation to AI and to bring together researchers and industrial partners mainly from Sweden and the Nordic countries in these areas.

    For more information, see https://sites.google.com/view/pam2020/home.
  • 19 - 23 October 2020, ATVA 2020: Automated Technology for Verification & Analysis, Hanoi, Vietnam

    Date: 19 - 23 October 2020
    Location: Hanoi, Vietnam

    ATVA 2020 is the 18th in the ATVA series of symposia intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in Asia by providing a forum for interaction between the regional and international research communities and industry in the field.

    Invited speakers: Tobias Nipkow (Munich, Germany), Klaus Havelund (CalTech / NASA JPL) and David Dill (Standford, USA).

    For more information, see http://fit.uet.vnu.edu.vn/atva2020/.
  • (New) 23 - 24 October 2020, PLM Workshop on Delusion in Language and Mind, Amsterdam/Virtual

    Date & Time: 23 - 24 October 2020, 09:00-18:00
    Location: Amsterdam/Virtual
    Target audience: Philosophers, linguists, psychologists
    Costs: None

    The European Network for the Philosophy of Language and Mind (PLM) organizes a workshop on Delusion in Language and Mind at the ILLC/University of Amsterdam, October 23--24.

    The workshop includes 8 presentations on the subject plus detailed commentaries on the papers, both by expert members of the network. The workshop will be held on-line and on-location, if the situation permits.

    For more information, see https://projects.illc.uva.nl/PLM/delusion.html or contact Paul Dekker at .
  • 26 - 30 October 2020, ICAPS 2020 Workshop on Epistemic Planning (EpiP 2020), Virtual

    Date: 26 - 30 October 2020
    Location: Virtual

    Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge. Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning.

  • 30 October - 1 November 2020, 2nd Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, Beijing, China

    Date: 30 October - 1 November 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/?page_id=1576.
  • 2 - 3 November 2020, The Fifteenth International Workshop on Ontology Matching (OM-2020), Virtual

    Date: 2 - 3 November 2020
    Location: Virtual

    Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or navigation over knowledge graphs. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate.

    This International Semantic Web Conference (ISWC) Workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI 2020 campaign. 3. To examine similarities and differences from other, old, new and emerging, techniques and usages, such as web table matching or knowledge embeddings.

    For more information, see http://om2020.ontologymatching.org/.
  • 15 - 17 November 2020, Logic and Engineering of Natural Language Semantics 17 (LENLS17), Virtual

    Date: 15 - 17 November 2020
    Location: Virtual

    LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held online as one of the workshops of the JSAI International Symposia on AI (JSAI-isAI2020) sponsored by the Japan Society for Artificial Intelligence (JSAI).

    Invited Speakers: Patrick Elliott (Massachusetts Institute of Technology) and Yohei Oseki (University of Tokyo).

  • 19 - 20 November 2020, 24th SIGNLL Conference on Computational Natural Language Learning (CoNLL 2020), Virtual conference

    Date: 19 - 20 November 2020
    Location: Virtual conference

    CoNLL is a yearly conference organized by SIGNLL (ACL's Special Interest Group on Natural Language Learning). This year, CoNLL will be colocated with EMNLP 2020, and like EMNLP will be a fully virtual conference. In this edition, we explicitly invite submissions that focus on theoretically, cognitively and scientifically motivated approaches to computational linguistics, rather than on work driven by particular engineering applications.

    For more information, see https://www.conll.org or contact Raquel Fernández at .
  • 26 - 28 November 2020, 31st Novembertagung: Axiomatics: Ancient and Contemporary Perspectives, Berlin, Germany

    Date: 26 - 28 November 2020
    Location: Berlin, Germany

    The Novembertagungis an international graduate conference on the history and philosophy of mathematics and neighbouring fields. It aims to provide an opportunity for graduate students at all levels to present and discuss their research in an informal and safe environment. It also allows young researchers to share experiences, get advice and establish new contacts.

    On the theme: While Euclid (c. 3rd century BC) is usually celebrated as the beginning of axiomatic science, many features that are nowadays taken to be essential to axiomatics appear to be alien to ancient mathematics. A major contemporary change in the view on axiomatics was initiated by the adoption of the set-theoretic axiomatic framework as a foundation of mathematics in the first half of the 20thcentury. Proof theory and model theory subsequently developed as independent research fields and had a wide impact on philosophical thought.On the other hand, some philosophers also argue that the axiomatic view on mathematics may be harmful in that it omits fundamental aspects of mathematical practice and idealizes mathematical reasoning in an unfaithful way.

  • 3 - 5 December 2020, 6th Workshop on Connexive Logics, Bochum (Germany)

    Date & Time: 3 - 5 December 2020, 09:00-20:00
    Location: Bochum (Germany)

    After five workshops on connexive logics in Istanbul (June 2015), Raesfeld Castle (June 2016), Kyoto (September 2017), and Bochum (October 2018 and November 2019), a sixth workshop on connexive logics will take place in Bochum (Germany) on December 3 and 4, 2020.

    Originally this workshop was to be held in Puebla (Mexico) from August 31st to September 2nd, 2020, and co-located with the Second Bilateral Meeting UNAM-UniCa on Analytic Philosophy happening in Mexico City on August 27th and 28th, 2020. The workshop was postponed and the venue changed due to the Covid-19 pandemic,

    For more information, see here or contact Hitoshi Omori at , or Luis Estrada-González at .
  • 10 - 11 December 2020, Thirteenth Latin American Workshop on New Methods of Reasoning 2020 (LANMR 2020), Virtual

    Date: 10 - 11 December 2020
    Location: Virtual

    LANMR 2020 is the thirteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The aim of the workshop is to bring together researchers from academia and industry worldwide to present recent research results on theory and applications on Logic, Languages, Algorithms and Reasoning Methods. Researchers, engineers and experts are invited to submit high-quality papers to share and to discuss their latest research results.

    For more information, see http://www.lanmr.unam.mx/.
  • December 2020, Workshop "Intuition & rigour in geometrical thinking from antiquity to the 19th century", Prague, Czech Republic

    Date: December 2020
    Location: Prague, Czech Republic

    From the end of the 19th century, mathematical and philosophical literature has often portrayed a contrast between visual intuition and logical rigor. However, the terms "rigour" and "intuition" have rich associations and connotations in different historical contexts, and well before the turn of the 20th century. The goal of our workshop is to study the historical evolution of these notions within the mathematical practice, and the epistemological debates that they have raised.

    Confirmed keynote speakers are: Helena Durnova (Masaryk University, Brno) Michael Friedman (Humboldt University, Berlin) Eduardo Giovannini (University of Wien) Marco Panza (CNRS, Universit́e Paris 1/Chapman University) Vincenzo de Risi (CNRS, Universit́e Paris 7).

    For more information, see here or contact .
  • 18 - 19 January 2021, Certified Programs & Proofs (CPP 2021), Virtual and (possibly) Copenhagen, Denmark

    Date: 18 - 19 January 2021
    Location: Virtual and (possibly) Copenhagen, Denmark

    Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.

    CPP 2021 will take place on January 18-19, 2021 as a virtual or hybrid physical-virtual meeting. This means that the authors will be able to present their papers online. The POPL and CPP organizers are monitoring the COVID-19 situation, and in September/October they will make an announcement on whether there will also be a physical meeting in Copenhagen; but irrespective of that decision, the online paper presentation option will be guaranteed.

    For more information, see https://popl21.sigplan.org/home/CPP-2021 or contact Cătălin Hriţcu at , or Andrei Popescu at .
  • Early 2021, Computability, Complexity, and Randomness 2020 (CCR 2020) and its satellite Leeds Computability Days 2020 (LCD 2020), Cambridge & Leeds (UK)

    Date: Postponed until 2021
    Location: Cambridge & Leeds (UK)

    We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020 will take place in June and July 2020. Leeds Computability Days will be held at the University of Leeds in Leeds, UK during 24-26 June 2020. Computability, Complexity, and Randomness will be held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK during 29 June ? 3 July 2020.

    Both conferences are sponsored by the Association for Symbolic Logic, and so student members of the ASL may apply for travel grants to attend.

    Due to the COVID-19 crisis the conferences have been postponed until 2021.

    For more information, see http://www.computability.org/LCD2020/.
  • 25 - 28 January 2021, Computer Science Logic (CSL'21), Ljubljana, Slovenia AND/OR Virtual

    Date: 25 - 28 January 2021
    Location: Ljubljana, Slovenia AND/OR Virtual

    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 here or at https://www.eacsl.org/?page_id=62 or contact .
  • March 2021, CL2020: Colloquium Logicum 2020, Konstanz, Germany

    Date: 3 - 6 March 2021
    Location: 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 March 2021.

    For more information, see https://colloquiumlogicum2020.com/ or contact .
  • Spring 2021, Third International Workshop on Formal Methods in Artificial Intelligence (FMAI 2020), London, England

    Date: 27 - 28 March 2021
    Location: London, England

    The aims of FMAI 2020 are to:
     - Present success stories about the application of formal methods in AI.
     - Discuss strategies for bringing the Formal Methods and the AI communities closer together.
     - Consolidate collaborations between these two communities and foster new ones.

    Invited Speakers: Giuseppe de Giacomo (Sapienza Universita' di Roma, Italy) and  Jane Hillston (University of Edinburgh, UK).

    Due to the current COVID-19 pandemic, the workshop has been postponed to Spring 2021.

    For more information, see https://www.doc.ic.ac.uk/~fbelard/Workshop/.
  • 28 March - 7 April 2021, 7th World Congress and School on Universal Logic (UNILOG 2021), Chania/Crete (Greece)

    Date: 28 March - 7 April 2021
    Location: Chania/Crete (Greece)

    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.

    The Universal Logic School will feature  an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session. The Universal Logic Congress will have invited and contributing speakers, workshops, a secret speaker (as in previous editions), and a contest: the 2nd World Logic Prizes Contest. This contest is a competition between winners of logic prizes of different countries. To the winner is awarded the Universal Logic Prize.

    For more information, see https://sites.google.com/view/unilog-2021/.
  • 22 - 23 April 2021, 15th International Conference on Formal Concept Analysis (ICFCA 2021:15), Tokyo, Japan

    Date: 22 - 23 April 2021
    Location: 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.

  • 12 - 14 May 2021, Trends in Logic XX "Logic and Reasoning: Formal and Informal", Kyiv, Ukraine

    Date: 12 - 14 May 2021
    Location: Kyiv, Ukraine
    Target audience: Researchers in logic
    Costs: 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).

    For more information, see http://www.studialogica.org/ or contact .
  • 15 - 19 June 2021, Logical Perspectives 2020/2021, Moscow, Russia

    Date: 15 - 19 June 2021
    Location: 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.

    For more information, see http://lp2020.mi-ras.ru/ or contact .
  • June-July 2021, The 15th International Conference on Grammatical Inference (ICGI 2020), New York NY, U.S.A.

    Date: June-July 2021
    Location: New York NY, U.S.A.

    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.

    Initially scheduled on August 26-28 2020 at NYC SUNY Global Center, ICGI’20 will be held during summer 2021

    For more information, see https://icgi2020.lis-lab.fr.
  • 5 - 17 July 2021, Seventh EPICENTER Spring Course in Epistemic Game Theory 2020, Maastricht University, Maastricht, The Netherlands

    Date: 5 - 17 July 2021
    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.

    Due to the Corona-outbreak, the edition of 2020 had to be cancelled. The next edition will be in 2021.

    For more information, see https://www.epicenter.name/?page_id=434 or contact Andrés Perea at .
  • 18 - 23 July 2021, Summer School on Mathematical Philosophy for Female Students 2021, Munich, Germany

    Date: 18 - 23 July 2021
    Location: Munich, Germany
    Costs: 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!

  • 19 - 24 July 2021, Logic Colloquium 2021 (LC 2021), Poznan, Poland

    Date: 19 - 24 July 2021
    Location: Poznan, Poland

    The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and critical discussion of scholarly work in this area of inquiry.

    The program will feature tutorials by Krzysztof Krupiński (University of Wrocław) and Andrew Marks – (University of California, Los Angeles), and special sessions on Set Theory, Model Theory, Modal and Epistemic Logic, Proofs and Programs, Computability Logic, and Cognitive Science and Linguistics.

    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, in the same location: Poznan, Poland.

    For more information, see https://lc2020.pl/ or contact .
  • 2 - 13 August 2021, 32nd European Summer School in Logic, Language and Information (ESSLLI 2021), Utrecht, The Netherlands

    Date: 2 - 13 August 2021
    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.

    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 2-13 august 2021.

    For more information, see https://www.esslli.eu or contact .
  • Early mAugust 2021, Spatial Cognition 2020 (SC 2020), Riga, Latvia

    Date: Early August 2021
    Location: 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.

    Due to the unclear situation regarding COVID-19 and the reluctance of some colleagues to attend any events in August or September, and after discussing several options with the Steering Committee, we have decided to postpone the conference to 2021, likely to the first days of August 2021.

    For more information, see http://sc2020.lu.lv/ or contact .
  • 9 - 13 August 2021, ESSLLI-2021 Workshop "Approaches to Implicature", Utrecht, Netherlands

    Date: 9 - 13 August 2021
    Location: 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 .
  • 27 - 28 August 2021, Mathematics & Analogical Reasoning, Munich, Germany

    Date: 27 - 28 August 2021
    Location: 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 .
  • 5 - 8 September 2021, Logic @ DGPhil, Erlangen, Germany

    Date: 5 - 8 September 2021
    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".

    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/.
  • logo.png

    9 - 10 September 2021, Seventh International Workshop on Controlled Natural Language (CNL 2020)

    Date: 9 - 10 September 2021
    Location: Amsterdam
    Target audience: researchers and practitioners
    Costs: €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!

    For more information, see http://www.sigcnl.org/cnl2020.html or contact Tobias Kuhn at .
  • 12 - 18 September 2021, 5th International Autumn School "Proof and Computation" , Herrsching, Germany

    Date: 12 - 18 September 2021
    Location: Herrsching, Germany
    Target 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.

  • 13 - 17 September 2021, Logic, Algebra and Truth Degrees 2020 (LATD 2020) , Tbilisi, Georgia

    Date: 13 - 17 September 2021
    Location: 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/.
  • 13 - 16 September 2021, 11th International Conference on Formal Ontology in Information Systems (FOIS 2020), Bolzano (Italy)

    Date: 13 - 16 September 2021
    Location: Bolzano (Italy)

    The advent of complex information systems that rely on robust, coherent and formal representations of their subject matter, has led to the exploitation of ontological analysis and ontology-based representation. The systematic study of such analysis and representation is at the center of the modern discipline of formal ontology, which is a general theory of the types of entities and relations making up domains of interest. Researchers in many domains engage with formal ontology to provide a solid foundation for their work.

    The FOIS conference is a meeting point for all researchers with an interest in formal ontology. FOIS 2020 includes a number of activities: FOIS conference (single track program), workshops (in conjunction with EKAW 2020 and ICBO 2020) ,tutorials (in conjunction with EKAW 2020 and ICBO 2020), a young researchers symposium, a demo and industry track, and an ontology show and tell. As in previous years, FOIS 2020 aims to be a nexus of interdisciplinary research and communication.

    Unfortunately, because of the Corona situation we had to postpone FOIS XI by one year. Thus, the conference will occur in September 13-16, 2021 in Bozen.

    For more information, see https://fois2020.inf.unibz.it/.
  • 22 - 25 September 2021, 10th International Conference on Non-Classical Logics, Theory & Applications, Łódź, Poland

    Date: 22 - 25 September 2021
    Location: Łó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/.