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.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << March 2025 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
||||||
|
2
|
3
|
4
|
5
|
6
|
7
|
8
|
|
9
|
10
|
11
|
12
|
13
|
14
|
15
|
|
16
|
17
|
18
|
19
|
20
|
21
|
22
|
|
23
|
24
|
25
|
26
|
27
|
28
|
29
|
|
30
|
31
|
|||||
(New) 23 - 26 September 2025, 5th European Conference on Argumentation (ECA 2025): Argumentation in the Digital Society, Warsaw, Poland
The European Conference on Argumentation (ECA) is a biennial pan-European initiative aiming to consolidate and advance research on argumentation. After four successful editions, ECA will be hosted in 2025 by the Warsaw University of Technology, in Warsaw, Poland. We aim to attract scholars on argumentation worldwide from various disciplines, dealing with a range of themes and adopting a variety of approaches.
The special theme of this conference is Argumentation in the Digital Society. The main objective of the conference is to identify the key research areas related to the dynamics of change and development in today's digitised society. There is a need to develop the theoretical tools of argumentation and related disciplines that allow discussion and argument to be founded on trust, charity, and goodwill. The conference aims to explore these topics and ensure a high-quality exchange of research results.
The ECA 2025 summer school organized by Barbara Konat and Leonard Kupś (Faculty of Psychology and Cognitive Sciences) will take place at Adam Mickiewicz University, in Poznań, Poland, before the ECA conference, from 17th to 20th September 2025. The summer school allows Early Career Researchers to explore current methods in the empirical analysis of natural language argumentation. This includes a variety of topics such as formal and informal logic, erotetic logic, computational approaches, conversation and discourse analysis, and experimental methods in psychology with a strong focus on practical, hands-on analysis.
We invite submissions from all sub-disciplines of argumentation, on all relevant topics, and employ a variety of methods and approaches. Submissions outside of the scope of the special theme Argumentation in the Digital Society are also accepted. Submissions will open on 20 January 2025 via the Easy Chair platform.
4 - 7 March 2025, 42nd International Symposium on Theoretical Aspects of Computer Science (STACS'25), Jena, Germany
STACS 2025 will consist of two tracks, A and B. Track A focuses on algorithms, data structures and complexity, while track B focuses on automata, logic, semantics, and theory of programming.
The conference includes talks by invited speakers Daniel Dadush (CWI Amsterdam), Anupam Das (University of Birmingham) and Susanna F. de Rezende (Lund University), and a tutorial by Albert Atserias (UPC Barcelona) on "Proof complexity and its relations to SAT solving".
(New) 30 June - 4 July 2025, European Conference on Object-Oriented Programming (ECOOP 2025), Bergen, Norway
ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense. ECOOP was originally focused on object orientation, but now includes all practical and theoretical investigations of programming languages, systems and environments. ECOOP solicits innovative solutions to real problems as well as evaluations of existing solutions.
Submissions will be done through HotCRP but are not yet open at the time of this writing. Authors are asked to pick one of the following paper categories: Research, Replication Experience, or Pearls/Brave New Ideas. Submission must not have been published, or have major overlap with previous work. ECOOP uses double-anonymous reviewing. Each paper will be evaluated based on the following criteria: Soundness, Significance and Presentation. There is no page limit on submissions, but authors must understand that reviewers have a fixed time budget for each paper, so the length of the feedback is likely to be unaffected by length. Brevity is a virtue.
4 - 7 March 2025, 42nd International Symposium on Theoretical Aspects of Computer Science (STACS'25), Jena, Germany
STACS 2025 will consist of two tracks, A and B. Track A focuses on algorithms, data structures and complexity, while track B focuses on automata, logic, semantics, and theory of programming.
The conference includes talks by invited speakers Daniel Dadush (CWI Amsterdam), Anupam Das (University of Birmingham) and Susanna F. de Rezende (Lund University), and a tutorial by Albert Atserias (UPC Barcelona) on "Proof complexity and its relations to SAT solving".
4 - 7 March 2025, 42nd International Symposium on Theoretical Aspects of Computer Science (STACS'25), Jena, Germany
STACS 2025 will consist of two tracks, A and B. Track A focuses on algorithms, data structures and complexity, while track B focuses on automata, logic, semantics, and theory of programming.
The conference includes talks by invited speakers Daniel Dadush (CWI Amsterdam), Anupam Das (University of Birmingham) and Susanna F. de Rezende (Lund University), and a tutorial by Albert Atserias (UPC Barcelona) on "Proof complexity and its relations to SAT solving".
4 - 7 March 2025, 42nd International Symposium on Theoretical Aspects of Computer Science (STACS'25), Jena, Germany
STACS 2025 will consist of two tracks, A and B. Track A focuses on algorithms, data structures and complexity, while track B focuses on automata, logic, semantics, and theory of programming.
The conference includes talks by invited speakers Daniel Dadush (CWI Amsterdam), Anupam Das (University of Birmingham) and Susanna F. de Rezende (Lund University), and a tutorial by Albert Atserias (UPC Barcelona) on "Proof complexity and its relations to SAT solving".
16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China
The International 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 also aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.
Invited speakers: Zoé Christoff (University of Groningen),Tim French (University of Western Australia), Aybüke Özgün (University of Amsterdam), François Schwarzentruber (ENS Lyon), Marija Slavkovik (University of Bergen) and Hongjun Zhou (Shaanxi Normal University, Xi’an)
We invite submissions of contributed papers to LORI-10 in the broad scope of interdisciplinary themes of the LORI series, spreading over logic, philosophy, AI, computer science, and game theory.
We invite two types of submissions: 1. Regular papers with original, unpublished, and not currently submitted elsewhere contributions, and 2. Short papers (extended abstracts), reporting on ongoing or recently published work.
31 July - 1 August 2025, 29th Conference on Computational Natural Language Learning (CoNLL 2025), Vienna, Austria
CoNLL is a yearly conference organized by SIGNLL (ACL's Special Interest Group on Natural Language Learning). This year, CoNLL will be colocated with ACL 2025. The focus of CoNLL is on theoretically, cognitively and scientifically motivated approaches to computational linguistics, rather than on work driven by particular engineering applications.
SIGNLL invites submissions to the 29th Conference on Computational Natural Language Learning (CoNLL 2025). We welcome work targeting any aspect of language and its computational modeling. Submitted papers must be anonymous and use the same template as the ACL 2025. Submitted papers may consist of up to 8 pages of content plus unlimited space for references. CoNLL 2025 will refuse papers that are currently under submission, or that will be submitted to other meetings or publications, including ACL.
(New) 27 June 2025, HGGS Summer Forum 2025, Heidelberg (Germany)
The Heidelberg Graduate School for Social Sciences and Humanities (HGGS) is hosting its annual Summer Forum 2025 on Friday, June 27, 2025. This interdisciplinary forum provides a platform for researchers to share their work, ideas, and experiences from a variety of perspectives, foster collaboration across institutions and disciplines, and engage in meaningful dialogue.
This year's theme, “Us and Them,” invites submissions from all areas of study. Whether you wish to present recent research findings, explore innovative ideas, or share work-in-progress, we warmly encourage contributions that resonate with this theme. We hope this will be an opportunity to connect with researchers beyond HGGS and create a rich, diverse discussion around this year's theme. Should you have any questions or require additional information, please do not hesitate to contact us directly.
14 March 2025, Heyting Day 2025 - Models of intuitionism and computability: symposium in honour of Jaap van Oosten
Can we imagine a world in which computability is built-in into the very fabric of reality? The answer is a resounding yes. However, it took us almost 40 years to get the first detailed picture of such a world. Our speakers will give you a scenic tour around worlds of computability. They will introduce the relevant concepts and discuss the many amazing properties of such worlds. The symposium marks the retirement of Jaap van Oosten and will be conducted in English.
Invited speakers: Andy Pitts (University of Cambridge), Andrej Bauer (University of Ljubljana), Sebastiaan Terwijn (Radboud University) and Jaap van Oosten (Utrecht University),
4 - 12 September 2025, 15th International Conference on Formal Ontology in Information Systems (FOIS 2025), , 08-12 September 2025 (Catania, Italy), 04-05 September 2025 (online)
FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology. Common application areas include conceptual modeling, database design, knowledge engineering and management, software engineering, organizational modeling, artificial intelligence, robotics, computational linguistics, the life sciences, bioinformatics and scientific research in general, geographic information science, information retrieval, library and information science, as well as the Semantic Web.
FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA), a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology.
The conference encourages submissions of high quality, not previously published results on both theoretical issues and practical advancements. FOIS 2025 seeks full-length high-quality papers on three tracks: - Foundational track: for papers that address content-related ontological issues, their formal representation, and their relevance to some aspect of information systems. - Application and Methods track: for papers that address novel systems, methods, and tools related to building, evaluating, or using ontologies, emphasizing the impact of ontology contents. - Domain Ontology track: for papers that describe a novel ontology for a specific realm of interest, clarifying ontological choices against requirements and foundational theory, and showing ontology use.
(New) 16 - 20 June 2025, 41st Conference on Mathematical Foundations of Programming Semantics (MFPS 2025), Glasgow, Scotland
MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.
MFPS 2025 is co-located with the 11th Conference on Algebra and Coalgebra in Computer Science (CALCO). The programme will include special sessions on Quantitative Semantics, Mathematics of Natural Language, and Types and the Extraction of Correct Programs.
Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming language theory; quantum computation; security; topological models; logic; type systems; type theory; denotational and operational semantics; rewrite theory; proof theory. We also welcome contributions that address applications of semantics to novel areas.
Submissions are made through EasyChair. Papers can be at most **15 pages** long, excluding bibliography, and should be prepared using the MFPS macros.