These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Calls for Paper
Headlines Upcoming conferences
Calls for Paper
CfP special issue of IJAR on logics for the new AI springDeadline: Wednesday 1 March 2023
We invite submissions for a Special Issue on Logics for the new AI Spring, to be published with the International Journal of Approximate Reasoning.
The development of logics capable of representing human-like reasoning has always been one of the central objectives of logic-based Artificial Intelligence. In addition to providing very successful tools for knowledge representation and reasoning, logic-based AI is now facing the new and pressing challenge related to the integration of symbolic and sub-symbolic AI. In pursuing it, logic can once again shape significantly the future developments of AI. The primary goal of this special issue is to gather cutting-edge contributions which will jointly provide a comprehensive state-of-the-art in the subject.
To achieve this, the scope of the special issue focuses on, but is not limited to, the following topics: (1) Logical methods in symbolic AI; (2) Logical methods in machine learning; (3) Machine learning in a logical setting; (4) Reasoning and (interactive) decision making under uncertainty.For more information, see https://www.sciencedirect.com/journal/international-journal-of-approximate-reasoning/about/forthcoming-special-issues or contact tommaso at iiia.csic.es.
(New) 10 - 13 July 2023, 16th International Conference on Grammatical Inference (ICGI 2023), Rabat, MoroccoLocation: Rabat, MoroccoDeadline: Wednesday 1 March 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:
For more information, see http://www.fsr.ac.ma/icgi2023/.
- 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.
(New) 23 June 2023, LLRC conference: curriculum and course design for language teaching, Leiden, the NetherlandsLocation: Leiden, the NetherlandsDeadline: Wednesday 15 March 2023
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.
We invite foreign language teachers and researchers to send in an abstract for the conference. The following topics would fit the theme:
- Research on language teaching course design
- Research on curriculum design including foreign language teaching
- Research on changes in language teaching
- Good practice in language teaching course design
- Good practice in curriculum design including foreign language teaching
- Good practice in changes in language teaching
We welcome abstracts for a variety of presentation types: research presentations, good practice presentations, or workshops.
18 - 22 September 2023, Fourteenth International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), Telavi, GeorgiaLocation: Telavi, GeorgiaDeadline: Friday 17 March 2023
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:
- Language: Peter Sutton (UPF, Barcelona)
- Logic & Computation: Frank Wolter (University of Liverpool)
- 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"
The Programme Committee invites submissions for contributions on all aspects of logic, language, and computation. Work of an interdisciplinary nature is particularly welcome.
Authors can submit an abstract for presentation at the symposium of up to 3 pages excluding references, and max 4 pages including references. Abstracts should report on original, unpublished work. Submissions should be done via the EasyChair conference system. All accepted abstracts will be compiled into an informal proceedings volume which will be made available electronically in advance of the symposium.
After the symposium, authors of accepted abstracts will be invited to submit a full-length paper to the post-proceedings of the symposium, which will be published in the LNCS series of Springer. The full-length submissions will undergo a new single-blind peer review process.
18 - 24 September 2023, 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023), Oslo, NorwayLocation: Oslo, NorwayDeadline: Monday 20 March 2023
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
We are looking for high-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications that involve rule-based representation and reasoning.
We accept the following submission formats for papers:
* Long papers (up to 15 pages in LNCS style including references)
* Short papers (up to 8 pages in LNCS style including references)
Long papers should present original and significant research and/or development results. Short papers should concisely describe general results or specific applications, systems, or position statements. All submissions must be prepared in Springer's LNCS style.
Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Papers put on arXiv are also allowed as long as they are not refereed (i.e., formally reviewed by peers). Papers can be submitted using EasyChair.
(New) 26 - 29 October 2023, 9th International Conference on Logic, Rationality and Interaction (LORI-2023) , Shandong University, ChinaLocation: Shandong University, ChinaDeadline: Monday 15 May 2023
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.
Papers should be submitted via EasyChair for LORI-IX.For more information, see http://golori.org/lori2023/.
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)
6 - 17 February 2023, The São Paulo School of Advanced Science on Contemporary Logic, Rationality and Information (SpLogIC 2023), Campinas, BrazilLocation: Campinas, Brazil
After having been postponed due to the COVID pandemics,the “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information – SPLogiC”,promoted by the Centre for Logic, Epistemology and the History of Science (CLE) of the University of Campinas (Unicamp), Brazil, will be held at Unicamp from February 6th to 17th, 2023.
The School, funded by the Sao Paulo Research Foundation (FAPESP), celebrates the 90th anniversary of Newton da Costa and the 45 years of CLE, and aims at (1) Providing an overview of the state-of-art methodology and research on contemporary logic (featuring non-classical logics), rationality. and information, and (2) attracting qualified candidates to work at research institutions in the State of São Paulo. The program comprises 8 courses and 9 plenary talks delivered in English by experts in each topic, as well as oral presentations (LED Talks) and poster sessions by the students.
The event will select 100 fully-funded participants (50 grantees from all states of Brazil and 50 international grantees). Funding includes airfare, medical insurance, accommodation and meals throughout the two weeks. Undergraduate, graduate students and postdoctoral fellows (up to 5 years after completion of the Ph.D) from all countries are encouraged to apply. Deadline for applications: 30 october 2022.
13 - 17 February 2023, Computer Science Logic 2023 (CSL’23), Warsaw, PolandLocation: Warsaw, Poland
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
CSL'23 will be held on February 13 - 16, 2023, in Warsaw, Poland, with satellite workshops on February 17. It is planned as an on-site event, with support for remote presence for those participants who are unable to come for pandemic reasons. Keynote speakers: Claudia Faggian (Université de Paris, France), Nina Gierasimczuk (Danish Technical University, Denmark), Dale Miller (Inria Saclay, France), Michał Pilipczuk Pilipczuk (University of Warsaw, Poland) and Davide Sangiorgi (University of Bologna, Italy).For more information, see https://csl2023.mimuw.edu.pl/.
6 - 8 March 2023, Conference on the history of logic in the islamic world, Tehran (Iran) & VirtualLocation: Tehran (Iran) & Virtual
The Iranian Institute of Philosophy (IRIP) in collaboration with the Institute for Interdisciplinary Research in Fundamental Sciences (IRFS) in Iran is organizing an international conference on the history of logic in the Islamic world. The event will be held in a hybrid format where, depending on their choice, some speakers will talk virtually and others will attend in person at the Iranian Institute of Philosophy (IRIP) in Tehran.
A. Pre-Avicennan Logic
B. Avicenna’s Logic
C. Post-Avicennan Logic
D. Comparative logic
27 - 28 March 2023, 1st Amsterdam/Saint-Etienne Workshop on Social ChoiceLocation: De Doelenzaal, University Library, Singel 425, AmsterdamCosts: free
We invite everyone working in the area of social choice to join us on 27-28 March 2023 in Amsterdam for the 1st Amsterdam/Saint-Etienne Workshop on Social Choice.
Local colleagues and students are very welcome to attend but are asked to register by the deadline indicated.For more information, see https://sites.google.com/view/amsterdam-saint-etienne-2023/ or contact Ulle Endriss at ulle.endriss at uva.nl.
22 - 27 April 2023, 26th European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, FranceLocation: Paris, France
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:
- 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
accompanied by satellite workshops.
ETAPS 2023 is the twenty-sixth event in the series. New in 2023 is:
- The SPIN symposium will be co-located with ETAPS.
- TACAS will use a double-blind reviewing process.
- ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
- Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
- A plenary session for TOOLympics will be organised.
- There will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.
ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.For more information, see https://etaps.org/2023.
16 - 18 May 2023, 15th NASA Formal Methods Symposium (NFM 2023), Houston TX, U.S.A.Location: Houston TX, U.S.A.
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of this symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.For more information, see https://conf.researchr.org/home/nfm-2023.
13 - 16 June 2023, The 13th International Symposium on Algorithms and Complexity (CIAC 2023), Batumi, GeorgiaLocation: 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).
3 - 14 July 2023, Eighth EPICENTER Summer Course in Epistemic Game Theory 2023, Maastricht University, Maastricht, The NetherlandsLocation: 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.
17 - 21 July 2023, Summer School on Computational Social ChoiceLocation: LAB42, Science Park 900, AmsterdamCosts: 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.
31 July - 11 August 2023, 34th European Summer School in Logic, Language and Information (ESSLLI 2023), Ljubljana, SloveniaLocation: 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.
21 - 25 August 2023, 11th European Congress of Analytic Philosophy (ECAP 11), Vienna, AustriaLocation: Vienna, AustriaTarget 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).