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

  • 10 - 13 July 2023, 16th International Conference on Grammatical Inference (ICGI 2023), Rabat, Morocco

    Date: 10 - 13 July 2023
    Location: Rabat, Morocco
    Deadline: Saturday 10 June 2023

    Grammatical Inference is the research area at the intersection of Machine Learning and Formal Language Theory. Since 1993, the International Conference on Grammatical Inference (ICGI) is the meeting place for presenting, discovering, and discussing the latest research results on the foundations of learning languages, from theoretical and algorithmic perspectives to their applications (natural language or document processing, bioinformatics, model checking and software verification, program synthesis, robotic planning and control, intrusion detection...).

    This 16th edition of ICGI will be held in-person in Rabat, the modern capital with deep-rooted history of Morocco located on the Atlantic Coast. To celebrate the 30th anniversary of the ICGI conference, the program will include a distinguished lecture by Dana Angluin. The program will also include two invited talks, on recent advances of Grammatical Inference for Natural Language Processing and Bioinformatics by Cyril Allauzen (Google NY) and Ahmed Elnaggar (TU München), a half-day tutorial at the beginning of the conference on formal languages and neural models for learning on sequences by Will Merrill, as well as oral presentations of accepted papers.

    We welcome three types of papers:

    • Formal and/or technical papers describe original contributions (theoretical, methodological, or conceptual) in the field of grammatical inference. A technical paper should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested, and the benefits of the contribution.
    • Position papers can describe completely new research positions, approaches, or open problems. Current limits can be discussed. In all cases, rigor in the presentation will be required. Such papers must describe precisely the situation, problem, or challenge addressed, and demonstrate how current methods, tools, or ways of reasoning, may be inadequate.
    • Tool papers describing a new tool for grammatical inference. The tool must be publicly available and the paper has to contain several use-case studies describing the use of the tool. In addition, the paper should clearly describe the implemented algorithms, input parameters and syntax, and the produced output.

    Deadline for submissions: March 12th, 2023.

    Additionally we invite extended abstracts on work in progress that may be of interest to the grammatical inference community. You will get the opportunity to present and discuss your work in progress at ICGI in Rabat, Morocco, July 10-13th. Extended abstracts of work in progress will not appear in the proceedings (as they will not be formally peer reviewed), but will be available on the website. Deadline: June 10th, 2023.

    For more information, see
  • 17 - 19 November 2023, 20th Pacific Rim International Conference on Artificial Intelligence (PRICAI2023), Jakarta, Indonesia

    Date: 17 - 19 November 2023
    Location: Jakarta, Indonesia
    Deadline: Monday 12 June 2023

    The Pacific Rim International Conference on Artificial Intelligence (PRICAI) is an annual international event which concentrates on AI theories, technologies and their applications in the areas of scientific, social, and economic importance for countries in the Pacific Rim. The 20th PRICAI (2023) will be held as a hybrid conference with both physical and online options in Jakarta, Indonesia. PRICAI-2023 aims to bring together researchers, practitioners, educators and users in AI and related communities for in-depth intellectual exchanges, research cooperation and professional development.

    The Program Committee invites technical papers on substantial, original, and unpublished research in all aspects of Artificial Intelligence. Presenters of the accepted papers are highly recommended to attend the conference physically.

    PRICAI-2023 will feature an AI Impact track, and invites researchers, developers, entrepreneurs, emerging startups and organisations that focus on AI solutions for real world products and services, to share experiences and insights with academic experts and other industry focused researchers. Short papers may consist of up to 4 pages of content, plus unlimited references and appendix. Accepted papers will be included in the PRICAI-2023 AI Impact Proceedings. See Call for AI Impact Track for more details.

    For more information, see or contact Fenrong Liu at .
  • 21 - 22 November 2023, 5th Multidisciplinary International Symposium on Disinformation in Open Online Media (MISDOOM 2023), Amsterdam, the Netherlands

    Date: 21 - 22 November 2023
    Location: Amsterdam, the Netherlands
    Deadline: Friday 30 June 2023

    The Multidisciplinary International Symposium on Disinformation in Open Online Media (MISDOOM) is returning for its 5th edition on 21 and 22 November 2023. This time, the conference will be hosted by the National Research Center for Mathematics and Computer Science (CWI) at Amsterdam Science Park (Netherlands).

    MISDOOM values multidisciplinary research and is designed to be inclusive of different academic disciplines and practices.

    The symposium provides a platform for researchers, industry professionals, and practitioners from various disciplines such as communication science, computer science, computational social science, political science, psychology, journalism, and media studies to come together and share their knowledge and insights on online disinformation.

    Given that we welcome both social scientists and computer scientists, and that the publication strategies of these fields differ, we solicit two types of contributions that, upon acceptance, result in the same opportunity to present at MISDOOM:
    - Papers to be published with Springer LNCS proceedings. Up to 15 pages (including references) in Springer Lecture Notes in Computer Science (LNCS) format describing original unpublished and new research. The work should be structured like a research paper, and cover the context of the problem studied, the research question, approach/methodology, and results in 6 to 15 pages.

    - Authors can also choose to submit an Extended Abstract. The extended abstract should not exceed 500 words, excluding references, and can pertain to previously published work, ongoing projects, or new research ideas. Submissions are not archival and are not formally published. Additionally, authors must submit a conference program abstract of no more than 150 words.

    For more information, see or contact Atefeh Keshavarzi at .
  • 26 - 28 October 2023, Workshop on Reasoning with Imperfect Information in Social Settings, Pisa, Italy

    Date & Time: 26 - 28 October 2023, 09:00-19:00
    Location: Pisa, Italy
    Costs: No fee
    Deadline: Friday 30 June 2023

    The workshop “Reasoning with Imperfect Information in Social Settings” at the Scuola Normale Superiore (University of Pisa), aims to bring together researchers in logic, formal and social epistemology, computer science, who are exploring the intricacies of information dynamics in social scenarios. Relevant topics include belief revision and merging, judgment and preference aggregation, multi-agent non-monotonic reasoning, multi-agent epistemic and deontic logic, as well as formal methods for representing social epistemic attitudes.

    To submit, please send an anonymized abstract of 800-1000 words (excluding references) to no later than June 30st. Notification of acceptance will be sent by the end of July.
    Session times will be 45 min., divided into 30 min. for the presentation followed by 10 min. of discussion. Individuals belonging to underrepresented groups in the field of logic are strongly encouraged to submit their work.

    A peer review process will select papers for publication in a volume of the Edizioni della Normale series.

    For more information, see here or at or contact Mario Piazza at , Matteo Tesi at , or Pietro Vigiani at .
  • 18 September 2023, 3rd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2023)

    Date & Time: Monday 18 September 2023, 23:59
    Location: Antwerp, Belgium
    Deadline: Friday 30 June 2023

    RADICAL is a workshop aligned within the intersection between concurrency and logic, broadly construed. Admittedly broad, such an intersection has been explored from very diverse angles for many years now. More recently, the interplay of concurrency and logic with applications such as, for instance verification, synthesis and multi-agent systems has received much attention.

    These areas have become increasingly consolidated, and start to have profound impact in neighboring communities such as programming languages, AI and knowledge representation. As an unfortunate side effect, however, the important unifying role that concurrency plays in all of them seems hard to find in a single scientific event. Indeed, there do not seem to exist appropriate venues in which different research communities interested in concurrency and logic can meet closely, cross-fertilize, and share their most exciting recent results. RADICAL intends to fill that gap.

    Note that RADICAL will be an informal venue, oriented to interaction, and so it will have no formal proceedings. Rather than regular paper submissions, authors should submit short talk proposals.

    For more information, see or contact Giuseppe Perelli at .
  • CfP Studia Logica special issue on "Information Sharing in Networks"

    Deadline: Friday 1 September 2023

    Topics of interest are:
    - combinatorial and computational aspects of gossip and broadcasting
    - epistemic gossip protocols,
    - social epistemology,
    - logics for social networks.

    The guest editors for the special issue will be:
    Louwe Kuijer (University of Liverpool)
    Hans van Ditmarsch (University of Toulouse, CNRS, IRIT)
    Wiebe van der Hoek (University of Liverpool)

    For more information, see here or contact Louwe Kuijer at .
  • CFP special issue of Review of Analytic Philosophy on "Logics of Communicative Interaction"

    Deadline: Saturday 30 September 2023

    We invite submissions to a Special Issue on 'Logics of Communicative Interaction'. This special issue will appear in the peer-reviewed international journal called the 'Review of Analytic Philosophy', which was first launched in 2021 as a new Open Access journal in analytic philosophy. More specifically, this special issue welcomes work on the following topics:

    - Dynamic Logics of Communication
    - Logics of Speech Acts
    - Logics for Belief Change and Knowledge Updates
    - Dynamic Epistemic Logics
    - Logical analysis of Communication in Social Networks
    - Dynamic Deontic Logic
    Please follow the instructions for authors as specified in the Call For Papers. Papers accepted for publication in this special issue will be published free of charge. The submission deadline is 30th September 2023.

    For more information, see here or at or contact The Review of Analytic Philosophy at .

Upcoming conferences

  • 13 - 16 June 2023, The 13th International Symposium on Algorithms and Complexity (CIAC 2023), Batumi, Georgia

    Date: 13 - 16 June 2023
    Location: Batumi, Georgia

    The 13th International Symposium on Algorithms and Complexity is planned to take place from 13 June to 16 June 2023 in Batumi, Georgia. It will follow the recent, very successful editions of CIAC 2021 in Larnaca, Cyprus, CIAC 2019 in Rome, Italy, CIAC 2017 in Athens, Greece, CIAC 2015 in Paris, France and CIAC 2013 in Barcelona, Spain.

    Invited speakers (confirmed): Friedhelm Meyer auf der Heide (University of Paderborn, Germany), Giuseppe Persiano (University of Salerno, Italy), and Paul Spirakis (University of Liverpool, UK and CTI, Greece).

    For more information, contact , or .
  • 15 June 2023, 2nd International Workshop on Automatic Translation for Signed and Spoken Languages, Tampere, Finland

    Date & Time: Thursday 15 June 2023, 18:00
    Location: Tampere, Finland

    Machine Translation (MT) is a core technique for reducing language barriers for spoken languages. Although MT has come a long way since its inception in the 1950s, it still has a long way to go to successfully cater to all communication needs and users. When it comes to the deaf and hard of hearing communities, MT is in its infancy. The complexity of the task to automatically translate between SLs or sign and spoken languages, requires a multidisciplinary approach.

    The rapid technological and methodological advances in deep learning, and in AI in general, that we see in the last decade, have not only improved MT, recognition of image, video and audio signals, the understanding of language, the synthesis of life-like 3D avatars, etc., but have also led to the fusion of interdisciplinary research innovations that lays the foundation of automated translation services between sign and spoken languages.

    The AT4SSL workshop aims to open a (guided) discussion between participants about current challenges, innovations and future developments related to the automatic translation between sign and spoken languages. To this extent, AT4SSL will host a moderated round table around the following three topics: (i) quality of recognition and synthesis models and user-expectations; (ii) co-creation - deaf, hearing and hard-of-hearing people joining forces towards a common goal and (iii) sign-to-spoken and spoken-to-sign translation technology in media.

    For more information, see or contact Floris Roelofsen at .
  • 16 June 2023, Logic: Norms and Forms, Utrecht (the Netherlands)

    Date & Time: Friday 16 June 2023, 09:00-17:30
    Location: Room 005, Drift 21, Utrecht (the Netherlands)

    New work on the philosophy of logic, formality, proofs, normativity, and pluralism.

    Speakers: Rachel Boddy (Utrecht), Leon Commandeur (Bergen), Robin Martinot (Utrecht), Evelina Lissoni (ILLC), Sabina Domínguez Parrado (ILLC), Sebastian Speitel (Bonn), Pilar Terrés (UCLouvain).

    Keynote Address: Catarina Dutilh Novaes (VU Amsterdam).

    For more information, see or contact Colin R. Caret at .
  • 16 June 2023, Workshop on Topic Modelling

    Date & Time: Friday 16 June 2023, 12:00-15:00
    Location: P.C. Hoofthuis Room 5.55, Spuistraat 134, Amsterdam
    Target audience: Students and staff, accessible to people with humanities backgrounds

    Topic modelling is one of the most popular methods for explorative research in large collections of documents, and topic models can also be foundational to various other language technology such as search engines. Recently, it has found many applications in the humanities as well, for example for exploring collections of reviews of media, trends in social media posts or by correlating topics to sociolinguistic variables in text corpora. In this workshop, we will cover some basics of topic modelling and we will do some hands-on practice, both with easy-to-use tools and with Python for those who have programming experience (but programming experience is not required to participate in the workshop).

    The workshop is led by Jelke Bloem and Viktorija Kostadinova. There will be coffee, tea, and sandwiches, kindly sponsored by the ACLC. If you're interested in participating, please register by June 9th.

  • tepla.jpg

    18 - 22 June 2023, Logica 2023, Tepla Monastery, Czech Republic

    Date & Time: 18 - 22 June 2023, 16:30
    Location: Tepla Monastery, Czech Republic
    Costs: 500 EUR for participants, 370 EUR for accompanying persons.

    The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2023', the 36th in the series of annual international symposia devoted to logic, to be held in Tepla Monastery, Czech Republic, on Sunday 18 June -- Thursday 22 June 2023. Invited speakers: David Corfield (University of Kent), Wesley Holliday (UC Berkeley), Gillian Russell (Australian Catholic University), Sara Uckelman (Durham University)

    For more information, see or contact Vit Puncochar & Igor Sedlar at .
  • aclic_logo.png

    20 - 21 June 2023, Algebra, Categories and Logic in Computing (ACLiC), St Erme, France

    Date: 20 - 21 June 2023
    Location: St Erme, France

    Algebra, category theory and logic have traditionally played an important role in our understanding of computing. Recently, there has been a surge in new ways of understanding how these disciplines can help in tackling challenges in the theory and applications of computing. Examples are: combining machine learning and proof-theoretic approaches to natural language; reasoning about multi-agent systems; developing programming languages and compositional models; and specifying and analyzing systems and protocols.

    The aim of this workshop is to bring together both leading and upcoming researchers who use such approaches, with the goal of promoting collaborations across the different disciplines.

    This workshop is the first event in a program aimed at offering Farsi-speaking mathematicians — as well as any mathematician interested in building cross-cultural connections — opportunities to build a network and receive mentoring from leading Farsi-speaking mathematicians. The workshop will be held in a bilingual Farsi-English setting, and participants do not need to be fluent in both languages to attend.

    For more information, see here or at or contact Nima Motamed at .
  • 23 June 2023, LLRC conference: curriculum and course design for language teaching, Leiden, the Netherlands

    Date & Time: Friday 23 June 2023, 09:00-18:00
    Location: Leiden, the Netherlands

    In higher education, curricula and courses are often not cast in stone. They need adaptations regularly, for instance because another course in the curriculum changes. In secondary education, changes are less common. However, in the Netherlands, a curriculum reform is planned to be implemented in the next years, also concerning foreign languages. A question that arises in this context is how reforms are best effectuated, and how courses in existing curricula can be changed?

    On June 23rd, 2023, LLRC will organize a one-day conference on precisely this topic. We are very happy to announce that Dr. Marjon Tammenga-Helmantel (SLO) has agreed to give the keynote lecture. She is a specialist in foreign language teaching and currently involved in facilitating the process of curriculum reform in secondary education. Her keynote will start the day with a brief overview about curriculum development at national, school and classroom levels. Concrete tools to facilitate curriculum changes or adaptations in foreign language education will be discussed.

  • 11924scr_59946afcaa2e3ca.jpg

    23 June 2023, Dutch Logic PhD Day 2023, Groningen

    Date & Time: Friday 23 June 2023, 10:00-18:00
    Location: Groningen
    Target audience: PhD students in logic (and related areas) in the Netherlands (if places are available, the event is also open to master's students).
    Costs: Free

    The Dutch Logic PhD Day 2023 is a VvL event that brings together PhD students in Logic and related areas (Philosophy, Computer Science and AI) with the aim of fostering exchanges of ideas and collaborations between young researchers from all over the Netherlands.

    The event is planned as a full-day event, during which PhDs students will have the possibility to present their research in the form of contributed talks.

  • 23 June 2023, ILLC Midsummer Colloquium 2023 and Current Affairs Meeting

    Date & Time: Friday 23 June 2023, 15:30-18:30
    Location: ILLC, Science Park 107, Amsterdam

    The ILLC Colloquium is a festive event that brings together the six research units at the ILLC. Each colloquium consists of three talks by representatives from different units, sometimes followed by Wild Idea Talks.

    From this time onwards the ILLC colloquium will be preceded by the Current Affairs Meeting.

    As in previous editions, the Current Affairs Meeting, the purpose of this meeting is to inform you about issues that are currently of importance in the ILLC and/or the Master of Logic programme. We will also use this opportunity to welcome new members of staff and to provide you with an update about upcoming and other plans.

    For more information, see
  • TARKvenue.jpg

    28 - 30 June 2023, Nineteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), Oxford, U.K.

    Date: 28 - 30 June 2023
    Location: Oxford, U.K.
    Target audience: CS, logic, game theory, philosophy

    The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Computer Science, Artificial Intelligence, Game Theory, Decision Theory, Philosophy, Logic, Linguistics, and Cognitive Science, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held bi-annually around the world. The information of all previous TARK conferences can be accessed at

    Topics of interest:
    These include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, computational social choice, algorithmic game theory, and foundations of multi-agent systems.

    For more information, see or contact Rineke Verbrugge (PC chair), Mike Wooldridge (OC chair) at .
  • 30 June 2023, ABC Day 2023

    Date & Time: Friday 30 June 2023, 12:00-21:00
    Location: De Brakke Grond, Nes 45, Amsterdam

    Join us for a unique and exciting event that will explore the past, present, and future of Amsterdam Brain and Cognition and brain research at the UvA:
    - The Past: Highlights from ABC success stories
    - The Present: Ongoing projects, cutting edge science
    - The Future: Young ABC members, poster session (and best poster prize!)
    and lots of Networking.

  • 1 July 2023, 7th Women in Logic Workshop (WiL 2023), Rome, Italy

    Date: Saturday 1 July 2023
    Location: Rome, Italy

    Women in Logic 2023 is a satellite event of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) to be held in Rome, Italy, from July 1 to July 6, 2023.

    The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community.

    For more information, see here or at or contact Tephilla Prince at .
  • 3 - 14 July 2023, Eighth EPICENTER Summer Course in Epistemic Game Theory 2023, Maastricht University, Maastricht, The Netherlands

    Date: 3 - 14 July 2023
    Location: Maastricht University, Maastricht, The Netherlands

    The EPICENTER, our 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.

    The course is primarily meant for advanced bachelor students, master students and PhD students all over the world, but researchers are also very welcome.

    For more information, see or contact Andrés Perea at .
  • PosterSummerSchool.png

    17 - 22 July 2023, CfA: 1st Bayreuth Summer School in Philosophy & Computer Science, Bayreuth (Germany)

    Date: 17 - 22 July 2023
    Location: Bayreuth (Germany)

    The focus of this event is on AI and its role in our modern society. We’re bringing together experts from philosophy, computer science and AI research to discuss about topics such as (Artificial) Intelligence, Machine Ethics, Explainability, Algorithmic Bias, Fairness, Privacy & Security, AI in Healthcare, …

    Speakers: Aldo Faisal, Sine Fazelpour, Susanne Gaube, Henrik Heuer, Eva Lermer, Dimitri Coelho Mollo, Wojciech Samek, Elizabeth Seger, Tobias Seitz, Mariya Toneva, Kate Vredenburgh, Herbert Zech.
    Keynotes: Joe Halpern, Marija Slavkovik, Johanna Thoma.

    Attendance: Keynotes are free to attend and open to everyone. To participate in the full summer school program, students (advanced BA-level or higher) must apply through our website. A limited number of travel bursaries is available. Senior researchers interested in attending (some of) the talks can contact us directly at ; we’ll make seats in the lectures available as room capacity permits.

    For more information, see or contact Olivier Roy at .
  • sp.png

    17 - 21 July 2023, Summer School on Computational Social Choice

    Date & Time: 17 - 21 July 2023, 18:00
    Location: LAB42, Science Park 900, Amsterdam
    Costs: EUR 100

    During the week of 17-21 July 2023, the ILLC will be hosting a Summer School on Computational Social Choice. The school is specifically intended for individuals pursuing a PhD in or related to social choice (not only of the computational variety). But others—from different fields or at different career stages—are also very welcome. The international team of lecturers is composed of leading figures in the field. They will be covering axiomatic, algorithmic, and behavioural aspects of social choice, discussing both foundations and applications. Besides a rich set of lectures, the programme will include a poster session and a number of social activities.

    Please note that registration is required by 31 March 2023.

    For more information, see or contact Ulle Endriss at .
  • humbo.png

    (Updated) 24 - 25 July 2023, MCMP Workshop "Causality for Ethics and Society"

    Date: 24 - 25 July 2023
    Location: Munich (Germany)

    Sander Beckers (ILLC, Amsterdam) and Naftali Weinberger (MCMP/LMU Munich) are organising an interdisciplinary workshop on all topics that relate causal models, and causality more broadly, to ethical and/or societal issues. This workshop will bring together participants from a range of academic fields in order to present and discuss the most recent developments on employing formal causal reasoning in ethics and in social contexts.

  • (Updated) 31 July - 11 August 2023, 34th European Summer School in Logic, Language and Information (ESSLLI 2023), Ljubljana, Slovenia

    Date: 31 July - 11 August 2023
    Location: Ljubljana, Slovenia

    Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

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

    Registration is now open. Early bird registration deadline: June 14th (extended).

    For more information, see or contact Ivano Ciardelli at .
  • 31 July - 4 August 2023, Procedural and computational models of semantic and pragmatic processes, University of Ljubljana, Slovenia

    Date & Time: 31 July - 4 August 2023, 16:30-18:00
    Location: University of Ljubljana, Slovenia

    Procedural and computational modeling frameworks have been applied successfully to various aspects of semantic and pragmatic processes, yielding not only a good fit to empirical data but also insights of theoretical relevance. On the one hand, computational (e.g., Bayesian or information theoretic) models rationalize speaker behavior and explain how a listener can use given information efficiently to infer the intended meaning from an utterance. However, these models often leave the stepwise processing of linguistic information unspecified. On the other hand, procedural (e.g., automata or ACT-R) models explain step-by-step cognitive processes behind meaning-related computations, e.g., the process of building sentence representations. However, they often lack the means to combine different information types in an interactive fashion. The goal of this workshop is to bring together researchers applying these two modeling methodologies to discuss their strengths and weaknesses and work towards an integrated approach.

    For more information, see or contact Sonia Ramotowska at .
  • 7 - 8 August 2023, ESSLLI2023 Workshop "Modalities in substructural logics: Applications at the interfaces of logic, language and computation"

    Date: 7 - 8 August 2023
    Location: Ljubljana, Slovenia
    Target audience: Logicians, Linguists, Computer Scientists
    Costs: ESSLLI Registration Fee

    Substructural logics have brought to the fore new forms of reasoning and provided applications for a variety of disciplines. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management.The focus of this workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning.

    The workshop is held with the support of the Horizon 2020 MSCA-Rise project MOSAIC.

  • 7 - 8 August 2023, ESSLLI Workshop "Modalities in substructural logics: applications at the interfaces of logic, language and computation" (AMSLO23)

    Date: 7 - 8 August 2023
    Location: Ljubljana, Slovenia
    Target audience: Logicians, Linguists, Computer Scientists
    Costs: ESSLLI Registration Fee

    By calling into question the implicit structural rules that are taken for granted in classical logic, substructural logics have brought to the fore new forms of reasoning with applications in many interdisciplinary areas of interest. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management.

    The focus of the workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning. The workshop welcomes contributions on topics including, but not limited to,

    Modalities in extended typelogical grammarsRefinements of the linear exponential: prooftheoretic and semantic aspectsModalities and the dynamics of NL interpretation: ellipsis, gapping, pronoun resolutionSubstructural Dynamic Epistemic Logic, Intuitionistic Public Announcement logicEpistemic substructural logics, e.g. Epistemic Separation LogicIntuitionistic Modal LogicsQuantum Dynamic Logic

    For more information, see or contact Mehrnoosh Sadrzadeh at .
  • 7 - 11 August 2023, ESSLLI 2023 Workshop on First-order Modal and Temporal Logics: State of the art and perspectives

    Date & Time: 7 - 11 August 2023, 09:00-14:00
    Location: Ljubljana
    Target audience: researchers and graduate students
    Costs: Registration fee at ESSLLI 2023

    The workshop will comprise five 90-min sessions, one per day, with invited and contributed talks. It is intended to bring together active researchers in the areas of first-order modal and temporal logics and graduate students interested in these areas, to discuss the state of the art and the most important directions and perspectives for future developments in the areas.Topics of interest include, but are not limited to the following for first-order modal and temporal logics:- languages, models, and semantics;- proof theory, deductive systems, and completeness/incompleteness results;- decidability, undecidability, complexity;- problems and applications in philosophy, mathematics, computer science and artificial intelligence.

    For more information, see or contact Dmitry Shkatov at .
  • cropped-logo.jpg

    21 - 25 August 2023, 11th European Congress of Analytic Philosophy (ECAP 11), Vienna, Austria

    Date & Time: 21 - 25 August 2023, 09:00-18:00
    Location: Vienna, Austria
    Target audience: Analytic Philosophers

    The European Society for Analytic Philosophy organizes a major congress every three years. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. The 11th European Congress of Analytic Philosophy (ECAP11) will take place from 21-25 Aug 2023 in Vienna and is being organized jointly by the Central European University and the University of Vienna.  The current president of the ESAP is Prof. Katalin Farkas (CEU).

    For more information, see or contact Nikhil Mahant at .
  • 30 August - 1 September 2023, The Eleventh Workshop on Combining Probability and Logic (Progic 2023), Utrecht, the Netherlands

    Date: 30 August - 1 September 2023
    Location: Utrecht, the Netherlands
    Target audience: Anybody interested in combining probabilistic and logical tools (including philosophers, computer scientists, economists, mathematicians..)

    The special focus of PROGIC2023 is Knowledge representation and reasoning. Classically, logic and probability offer competing representations of partial or incomplete information, with the former assuming a qualitative perspective on uncertainty and the latter focusing on a quantitative account. Both provide their own policies for updating on new information, combining evidence from different sources, and acting under partial information.

    Invited Speakers: Didier Dubois (IRIT, France), Joe Halpern (Cornell University), Aybüke Özgün (University of Amsterdam) and Jon Williamson (University of Kent).

    For more information, see or contact Dominik Klein, Dragan Doder at .
  • 11 - 15 September 2023, Logic, Algebra and Truth Degrees 2023 (LATD 2023), Tbilisi (Georgia)

    Date: 11 - 15 September 2023
    Location: Tbilisi (Georgia)

    The assumption that “truth comes in degrees” has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.
    The Logic Algebra and Truth Degrees (LATD) conference series started as an official meeting of the working group on Mathematical Fuzzy Logic (the subdiscipline of mathematical logic dealing with graded truth) and 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.

    LATD 2023 will take place in Tbilisi (Georgia) from 11 to 15 of September. It will be co-located with the Seventeenth International Tbilisi Summer School in Logic and Language (TBILISI 2023), 6-9 September. Moreover, after LATD, 18-22 September, there will be the Symposium on Logic, Language and Computation in nearby Telavi (Khacheti).

    For more information, see
  • 15 - 16 September 2023, 5th Workshop on Dynamic Logic - New trends and applications (DaLí 2023), Tbilisi, Georgia

    Date: 15 - 16 September 2023
    Location: Tbilisi, Georgia

    Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions. The aim of the DaLí 2023 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations.

    In 2023, DaLí will take place in Tbilisi, Georgia, immediately after the Logic, Algebra and Truth Degrees conference 2023 (, and immediately before the 14th TbiLLC 2023 symposium (

    For more information, see or contact Nina Gierasimczuk at .
  • 18 - 24 September 2023, 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023), Oslo, Norway

    Date: 18 - 24 September 2023
    Location: Oslo, Norway

    The 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning.

    The RuleML+RR 2023 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2023 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.

    For more information, see or contact Raoul Koudijs at .
  • 18 - 22 September 2023, Fourteenth International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), Telavi, Georgia

    Date & Time: 18 - 22 September 2023, 18:00
    Location: Telavi, Georgia

    The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. The Symposium is organised by the TSU Razmadze Mathematical Institute, the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences, the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

    The programme will include the following tutorials and a series of invited lecturers:
    Tutorial speakers:
      - Language: Peter Sutton (UPF, Barcelona)
      - Logic & Computation: Frank Wolter (University of Liverpool)
    Invited speakers:
      - Language: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin)
      - Logic & Computation: Balder ten Cate (University of Amsterdam), one more speaker to be confirmed
    There will be two workshops embedded in the conference programme:
     - "The Semantics of Hidden Meanings"
     - "Learning and Logic"

    For more information, see or contact Peter van Ormondt at .
  • 21 September 2023, TbiLLC 2023 Workshop on Learning and Logic

    Date & Time: Thursday 21 September 2023, 09:00-19:00
    Location: Telavi, Georgia

    This workshop will take place as part of the 14th International Tbilisi Symposium on Language, Logic and Computation (TbILLC 2023). It brings together researchers who are working on topics at the intersection of learning and logic, ranging from the epistemology and ethics of machine learning and the logical foundations of learnability, to computational learning theory, and machine learning for knowledge representation and reasoning.

    The program of the workshop will consist of 4 presentations by invited speakers: Victor Dalmau (Barcelona), Konstantin Genin (Tübingen), Dick de Jongh (Amsterdam) and Ana Ozaki (Oslo/Bergen).

    For more information, see or contact Aybüke Özgün at .
  • 26 - 29 October 2023, 9th International Conference on Logic, Rationality and Interaction (LORI-2023) , Shandong University, China

    Date: 26 - 29 October 2023
    Location: Shandong University, China

    The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.

    For more information, see