News Archives 2024

Please note that these newsitems have been archived, and may contain outdated information or links.

Sections

Headlines Past Events

Headlines Calls for Paper

Headlines Past Conferences

Headlines MoL and PhD defenses

Headlines Projects and Awards

Headlines Funding, Grants and Competitions

Headlines Open Positions at ILLC

Headlines Open Positions, General

No Past appointments

Headlines Miscellaneous

No Former Regular Events

Past Events

  • 16 July 2024, DaDriH Seminar Series, Stefan Hessbrüggen-Walter

    Date & Time: Tuesday 16 July 2024, 15:00-16:30
    Speaker: Stefan Hessbrüggen-Walter
    Title: Early Modern Dissertations in French Libraries" (EMDFL): Some Lessons Learned
    Location: Online

    The Concepts in Motion group at the University of Amsterdam (ILLC) is happy to announce the second season of the online Data-Driven History of Ideas (DaDriH) seminar series, where speakers are senior researchers, as well as the PhD-in-DaDriH seminar series, where speakers are PhD students. Like our inspiring first couple of sessions the series will cover datasets, formats, tools, and best practices for working with data relevant to the history of ideas.

    We will kick off the DaDriH series on July 16th between 15:00 and 16:30 (CEST), when Stefan Hessbrüggen-Walter (Freie Universität Berlin) will give a talk titled "Early Modern Dissertations in French Libraries" (EMDFL): Some Lessons Learned". Stefan will discuss the methodological challenges encountered in compiling a bibliographical dataset derived from appr. 56.000 records of early modern dissertations from French libraries.

  • 16 - 17 July 2024, IAS Workshop on Logic and AI

    Date & Time: 16 - 17 July 2024, 09:00-18:00
    Location: Oude Turfmarkt 145-147, Amsterdam, The Netherlands / Online via Zoom

    This workshop is part of a research project on the topic of “Logic and AI”. It will bring together international experts to explore the promising interaction of logic and modern artificial intelligence (AI). While AI struggles with explainability, interpretability, and verifiability, logic excels at this. So can logic help AI? And if so, how?

    Speakers include Giuseppe Marra (KU Leuven), Levin Hornischer (LMU Munich), Martin Grohe (RWTH Aachen), Lena Strobl (Umeå University), Herbert Jaeger (University of Groningen), Atticus Geiger (Pr(Ai)²R), Thomas Icard (Stanford University).

    For more information, see https://ias.uva.nl/content/events/2024/07/logic-and-ai.html or contact Levin Hornischer at .
  • 9 July 2024, Virtual Ethical Innovation Lecture Series, Aleksandra Vuèkoviæ

    Date & Time: Tuesday 9 July 2024, 13:00-13:45
    Speaker: Aleksandra Vuèkoviæ (University of Belgrade)
    Title: Can AI Contribute to Fairness in Education?

    The upcoming Virtual Ethical Innovation Lecture Series (hosted by the Ethical Innovation Hub of the University of Lübeck, Germany) will feature a diverse lineup of speakers addressing critical topics at the intersection of ethics and innovation with a particular focus on issues of artificial intelligence. Each session will consist of a short talk and a pen Q&A session.

    For more information, see https://www.eih.uni-luebeck.de/veilseries.
  • 8 July 2024, HPC Workshop "Introduction to High-Performance Deep learing part 1 and part2"

    Date: Monday 8 July 2024
    Location: Room L3.36 at LAB42, Amsterdam Science Park 900

    In July, we will be hosting a series of workshops on High Performance Computing and Big Data. These workshops are an excellent opportunity for PhD students and researchers interested in advancing their knowledge and skills in these areas.

    For more information, see https://hpc.uva.nl/Roadmaps/.
  • 8 - 12 July 2024, Computability in Europe 2024: Twenty years of theoretical and practical synergies, Amsterdam, The Netherlands

    Date: 8 - 12 July 2024
    Location: Amsterdam, The Netherlands
    Deadline: Saturday 10 February 2024

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

    The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. CiE 2024 will be an anniversary event. It is the 20th conference organized by Ci , in the same place as the first edition, Amsterdam.

  • 4 July 2024, HPC Workshop "Introduction to cluster computing"

    Date: Thursday 4 July 2024
    Location: Room L3.36 at LAB42, Amsterdam Science Park 900

    In July, we will be hosting a series of workshops on High Performance Computing and Big Data. These workshops are an excellent opportunity for PhD students and researchers interested in advancing their knowledge and skills in these areas.

    For more information, see https://hpc.uva.nl/Roadmaps/.
  • 1 July 2024, HPC Workshop "Introduction to High Performance Computing and Big Data + Linux "

    Date: Monday 1 July 2024
    Location: Room L3.36 at LAB42, Amsterdam Science Park 900
    Target audience: Phd students & researchers

    In July, we will be hosting a series of workshops on High Performance Computing and Big Data. These workshops are an excellent opportunity for PhD students and researchers interested in advancing their knowledge and skills in these areas.

    For more information, see https://hpc.uva.nl/Roadmaps/.
  • 28 June 2024, STiHAC Joint Meeting, Deborah Kant

    Date & Time: Friday 28 June 2024, 16:00-18:00
    Speaker: Deborah Kant (Hamburg)
    Title: Forcing, models, and set-theoretic practice: What do we learn about ontology?
    Location: Online via Zoom
  • Where_olive_trees_weep_-_poster_2.jpg

    25 June 2024, Documentary screening: Where Olive Trees Weep

    Date & Time: Tuesday 25 June 2024, 17:30-20:00
    Location: Room L1.02, ILLC LAB42, Science Park 900, Amsterdam
    Target audience: Everyone
    Costs: Free (donations welcome on site)

    This film offers "a searing window into the struggles and resilience of the Palestinian people under Israeli occupation. It explores themes of loss, trauma, and the quest for justice. We follow, among others, Palestinian journalist and therapist Ashira Darwish, grassroots activist Ahed Tamimi, and Israeli journalist Amira Hass". As the repression of Palestinian and other critical voices is only increasing, we want to take the chance to bring to this space and resonate the perspectives and realities of those that the media and the dominant powers want to erase. Join us to watch, reflect and learn together.

  • 24 June 2024, Computational Linguistics Seminar, Cassandra Jacobs

    Date & Time: Monday 24 June 2024, 16:00
    Speaker: Cassandra Jacobs (University at Buffalo)
    Title: Understanding constraint satisfaction and prediction in large language models with information flow
    Location: Room L3.36, ILLC Lab42, Science Park 900, Amsterdam / Online
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 21 June 2024, Current Affairs Meeting cancelled

    Date & Time: Friday 21 June 2024, 15:30-17:30

    We already had the ILLC Colloquium as part of the ILLC Open Day and we do not have many topics to discuss. Therefore we decided to cancel the Current Affairs Meeting (CAM) this Friday.

    For more information, contact Peter van Ormondt at .
  • 21 June 2024, Dutch Logic PhD Day 2024, Vrije Universiteit Amsterdam

    Date: Friday 21 June 2024
    Location: Vrije Universiteit Amsterdam
    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
    Deadline: Friday 24 May 2024

    The Dutch Logic PhD Day 2024 is a VvL event that brings together PhD students in Logic and related areas (such as philosophy, computer science and AI) to foster 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.

  • 20 June 2024, The Utrecht Logic in Progress Series (TULIPS), Karolina Krzyżanowska

    Date & Time: Thursday 20 June 2024, 15:30-17:00
    Speaker: Karolina Krzyżanowska (ILLC)
    Title: Indicative conditionals in health communication
    Location: Janskerkhof 13, room 0.06, Utrecht
    This is a hybrid talk.
    For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at .
  • 18 June 2024, Language Evolution and Learning (LELA), Polina Tsvilodub

    Date & Time: Tuesday 18 June 2024, 13:00-15:00
    Speaker: Polina Tsvilodub
    Title: How to be relevantly overinformative to a polar question: Reasoning about questioner goals to provide more relevant answers
    Location: P.C. Hoofthuis Room 4.11, Spuistraat 134, Amsterdam / Online via Zoom (Meeting ID: 504 634 9544)

    Imagine you are working as a barista at a coffeeshop. A customer asks a polar question like “Do you have iced tea?” but you've run out. In this situation, you might likely provide an overinformative answer going beyond a simple “yes” or “no” (e.g., “No, but we've got iced coffee!”), but what principles guide the selection of additional information? This talk proposes that such answers draw on learning about our interlocutors from language; they present a non-trivial instance of pragmatic communication which depends for complex reasoning drawing on these inferences about the interlocutors and world knowledge. The talk will feature a combination of Bayesian pragmatic models and LLM results.

    For more information, see https://sites.google.com/view/lela-amsterdam or contact Fausto Carcassi at .
  • 17 June 2024, VvL Logic at Large Lectures, Larry Moss

    Date & Time: Monday 17 June 2024, 16:00
    Speaker: Larry Moss (Mathematics Department, Indiana University, Bloomington)
    Title: A Place for Logic in the Computer Processing of Language
    Location: Online (Zoom)

    The Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) is happy to announce the Logic at Large Lecture 2024. The Logic at Large Lectures are an annual, public VvL event for a broad audience, featuring prominent researchers in logic and its applications. This year, Larry Moss will speak about A Place for Logic in the Computer Processing of Language. Please register through https://forms.gle/uUEFyAisxoxSZfnM8.

  • 17 June 2024, FOAM Seminar, Yuri Gurevich

    Date & Time: Monday 17 June 2024, 14:30-15:45
    Speaker: Yuri Gurevich
    Title: On Logic and AI (and Mathematics)
    Location: Room L3.36 at LAB42, Amsterdam Science Park 900
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk15b/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 17 June 2024, PhD assembly meeting

    Date & Time: Monday 17 June 2024, 12:00-13:00
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam
    Target audience: ILLC PhD students

    The next PhD assembly meeting, where PhD students can ask questions to the Management Team of the ILLC, is on Monday 17 June from 12.00 till 13.00 in the Common Room of SP107. Lunch will be arranged.

    For more information, contact Tugba Altin at .
  • 14 June 2024, DIP Colloquium, Robert C. May

    Date & Time: Friday 14 June 2024, 16:00-17:30
    Speaker: Robert C. May (UC Davis)
    Title: Frege's Logic: From Begriffsschrift to Grundgesetze
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 14 June 2024, STiHAC Joint Meeting, Fatima Scha

    Date & Time: Friday 14 June 2024, 16:00-18:00
    Speaker: Fatima Scha (Amsterdam)
    Title: Contemporary research on paraconsistent set theory: an overview
    Location: Online via Zoom
  • 14 June 2024, FOAM Seminar, Bernhard Nebel

    Date & Time: Friday 14 June 2024, 15:00-16:15
    Speaker: Bernhard Nebel (Freiburg)
    Title: On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs
    Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam

    Abstract:
    “Multi-agent pathfinding”, also called “pebble motion on graphs” or “cooperative pathfinding”, is the problem of deciding the existence of or generating a collision-free movement plan for a set of agents moving on a graph. While the non-optimizing variant of multi-agent pathfinding on undirected graphs is known to be a polynomial-time problem since forty years, a similar result for directed graphs was missing. In the talk, it will be shown that this problem is NP-complete. For strongly connected directed graphs, however, the problem is polynomial. And both of these results hold even if one allows for synchronous rotations on fully occupied cycles.

    For more information, see https://events.illc.uva.nl/FOAM/posts/talk15/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 14 June 2024, EDEV Online Seminar, Antonio Yuste Ginel

    Date & Time: Friday 14 June 2024, 11:30-13:00
    Speaker: Antonio Yuste Ginel (UCM Madrid)
    Title: Structured argumentation frameworks with qualitative uncertainty
    Location: Online (https://meet.google.com/ykg-hdam-xso)

    The EDEV Online Seminars are part of the PRO3 project "Understanding Public Data: Experts, Decisions, Epistemic Values" promoted by SNS Pisa, IMT Lucca and IUSS Pavia. The project aims to explore the scaffoldings of the epistemological framework, which underlies public decision-making when confronted with complex scientific data. The methodological assumption underlying the project is that the tools provided by logic, epistemology, philosophy of science, and critical reasoning can make a substantial contribution to a number of pressing issues.

  • 10 - 12 June 2024, Workshop "Using Artificial Neural Networks for Studying Human Language Learning and Processing"

    Date: 10 - 12 June 2024
    Location: ILLC, Amsterdam (the Netherlands)

    Artificial Neural Networks (ANNs) have proven to be powerful learning devices for language-related tasks, as demonstrated by recent progress in artificial intelligence driven by large, Transformer-based language models. But how can ANNs inform us about human language learning and processing? Our three-day workshop brings together researchers working on cognitively motivated and linguistic questions in studying the language processing mechanisms and learning trajectories of ANNs.

    For the first two days of the programme, we hope to stimulate discussion on the workshop theme through contributed presentations from our workshop participants and keynote speakers. The final day is focussed on active interactions and collaboration between participants, through small-scale tutorials and joint group work on a collaborative task.

    For more information, see https://ann-humlang.github.io/workshop/#programme or contact Tamar Johnson at .
  • 7 June 2024, ILLC Open Day and Reunion

    Date & Time: Friday 7 June 2024, 13:00-22:00
    Location: ILLC, Science Park, Amsterdam

    On June 7th, the ILLC will organise an Open Day, similar to the open day held in 2019. The Open Day will be followed by an ILLC Reunion for all former and current staff and students.

    Click here for the program and latest updates about both events and to register for the reunion. 

    For more information, see here or at https://www.illc.uva.nl/Open-days-and-reunions/Open-day-and-reunion-2024/ or contact Alexandra (Alex) Zieglerová at .
  • 5 June 2024, Joint NiHil-DIP Session, Guillermo Del Pinal

    Date & Time: Wednesday 5 June 2024, 16:00-17:30
    Speaker: Guillermo Del Pinal (UMASS)
    Title: Logicality and exhaustification: Towards an explanatory account of meaning-based distributional constraints
    Location: Room L1.17, ILLC LAB42, Science Park 900, Amsterdam
  • 5 June 2024, LLAMA seminar, Lutz Schröder

    Date & Time: Wednesday 5 June 2024, 11:00-12:00
    Speaker: Lutz Schröder (Friedrich-Alexander-Universität Erlangen-Nürnberg)
    Title: Spectra of behavioural metrics via graded semantics
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-schroeder-2024 or contact Tobias Kappé at .
  • 4 June 2024, Computational Linguistics Seminar, Tanise Ceron

    Date & Time: Tuesday 4 June 2024, 16:00
    Speaker: Tanise Ceron (University of Stuttgart)
    Title: Evaluating political biases in LLMs: framework, challenges, and societal implications
    Location: Room L3.36, ILLC Lab42, Science Park 900, Amsterdam / Online

    Due to the widespread use of large language models (LLMs) in ubiquitous systems, we need to understand whether they embed a specific worldview and what these views reflect. Recent studies report that, prompted with political questionnaires, LLMs show left-liberal leanings. However, it is as yet unclear whether these leanings are reliable (robust to prompt variations) and whether the leaning is consistent across policies and political leaning. In this talk, I will present the results of our study where we propose a series of tests which assess the reliability and consistency of LLMs' stances on political statements based on a dataset of voting-advice questionnaires collected from seven EU countries and annotated for policy domains. We then evaluate LLMs ranging in size from 7B to 70B parameters and observe to what extent they are consistent in terms of political worldview and political orientation. Finally, I’ll discuss the importance of taking these biases into account, and how they raise relevant design questions in use case applications.

    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 4 June 2024, Virtual Ethical Innovation Lecture Series, Markus Gottschling

    Date & Time: Tuesday 4 June 2024, 13:00-13:45
    Speaker: Markus Gottschling (Universität Tübingen)
    Title: Persuasive Machines and the Rhetoric of Generative AI

    The upcoming Virtual Ethical Innovation Lecture Series (hosted by the Ethical Innovation Hub of the University of Lübeck, Germany) will feature a diverse lineup of speakers addressing critical topics at the intersection of ethics and innovation with a particular focus on issues of artificial intelligence. Each session will consist of a short talk and a pen Q&A session.

    For more information, see https://www.eih.uni-luebeck.de/veilseries.
  • 3 June 2024, Nordic Online Logic Seminar, Ivano Ciardelli

    Date & Time: Monday 3 June 2024, 16:00-17:30
    Speaker: Ivano Ciardelli
    Title: Inquisitive modal logic—an overview
    Location: Zoom

    The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

    See the announcement for the next talk below. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.

  • 3 June 2024, Symposium: The Quantum Leaps of Harry Buhrman

    Date & Time: Monday 3 June 2024, 12:30
    Location: Turing room, CWI, Science Park 125 , Amsterdam

    On June 3, CWI and the UvA organize a farewell symposium to celebrate the many contributions Harry Buhrman has made to theoretical computer science and to quantum computing over the course op his 30+ years in Amsterdam, including his co-founding (together with Kareljan Schoutens) of the research center QuSoft in 2015.
    This special symposium will include talks by close colleagues Lance Fortnow and Gilles Brassard, as well as by many colleagues from Amsterdam. More info can be found on the CWI website.

    Please register if you like to attend this symposium, also on the CWI website.
    Participations is free of costs and reservations are on first-come, first served basis.
    We are looking forward to meeting you at this special event.

    For more information, see https://www.cwi.nl/en/events/farewell-symposium-harry-buhrman/ or contact Susanne van Dam at .
  • 31 May 2024, STiHAC Joint Meeting, Luke Gardiner

    Date & Time: Friday 31 May 2024, 16:00-18:00
    Speaker: Luke Gardiner (Cambridge)
    Title: Infinite exponent partition relations on higher analogues of the reals
    Location: Online via Zoom
  • 30 May 2024, Logic and Interactive Rationality (LIRa), Adam Bjorndahl

    Date & Time: Thursday 30 May 2024, 16:30-18:00
    Speaker: Adam Bjorndahl (Carnegie Mellon University)
    Title: Belief and Causation
    Location: ILLC seminar room F1.15 in Science Park 107 and online.
  • 29 May 2024, LLAMA seminar, Todd Schmid

    Date & Time: Wednesday 29 May 2024, 16:00-17:00
    Speaker: Todd Schmid (St. Mary's College of California)
    Title: From Regular Expressions to Star Fragments
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-schmid-2024 or contact Tobias Kappé at .
  • 24 May 2024, EDEV Online Seminar, Carlo Martini

    Date & Time: Friday 24 May 2024, 11:30-13:00
    Speaker: Carlo Martini (San Raffaele University, Milan)
    Title: Knowledge Brokers in Crisis: Public Communication of Science During the COVID-19 Pandemic
    Location: Online (https://meet.google.com/ykg-hdam-xso)

    The EDEV Online Seminars are part of the PRO3 project "Understanding Public Data: Experts, Decisions, Epistemic Values" promoted by SNS Pisa, IMT Lucca and IUSS Pavia. The project aims to explore the scaffoldings of the epistemological framework, which underlies public decision-making when confronted with complex scientific data. The methodological assumption underlying the project is that the tools provided by logic, epistemology, philosophy of science, and critical reasoning can make a substantial contribution to a number of pressing issues.

  • 17 May 2024, FOAM Seminar, Emir Demirovic

    Date & Time: Friday 17 May 2024, 15:00-16:15
    Speaker: Emir Demirovic (TU Delft)
    Title: Decision trees in a formal world: machine learning (with constraints), controller verification, and unsatisfiability proofs for graph problems
    Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk14/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 16 May 2024, Logic and Interactive Rationality (LIRa), Francisca Silva

    Date & Time: Thursday 16 May 2024, 16:30-18:00
    Speaker: Francisca Silva (University of St Andrews)
    Title: Epistemic Logic with Partial Grasp
    Location: online only
  • 15 May 2024, LLAMA seminar, Simone Ramello

    Date & Time: Wednesday 15 May 2024, 16:00-17:00
    Speaker: Simone Ramello (University of Münster)
    Title: Understanding valued fields via model theory
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-ramello-2024 or contact Tobias Kappé at .
  • 8 May 2024, LLAMA seminar, Neer Bhardwaj

    Date & Time: Wednesday 8 May 2024, 16:00-17:00
    Speaker: Neer Bhardwaj (Weizmann Institute of Science)
    Title: Integer-valued o-minimal functions
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-bhardwaj-2024 or contact Tobias Kappé at .
  • 3 May 2024, STiHAC Joint Meeting, Philipp Lücke

    Date & Time: Friday 3 May 2024, 16:00-18:00
    Speaker: Philipp Lücke (Hamburg)
    Title: Ordinal definability and very large cardinals
    Location: Online via Zoom
  • 1 May 2024, LLAMA seminar, Lide Grotenhuis

    Date & Time: Wednesday 1 May 2024, 16:00-17:00
    Speaker: Lide Grotenhuis (ILLC)
    Title: Intuitionistic μ-calculus with the Lewis arrow
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-grotenhuis-2024 or contact Tobias Kappé at .
  • 26 April 2024, STiHAC Joint Meeting, Lukas Schembecker

    Date & Time: Friday 26 April 2024, 16:00-18:00
    Speaker: Lukas Schembecker (Hamburg)
    Title: Coding into the orbits of cofinitary permutations
    Location: Online via Zoom
  • 26 April 2024, Computational Linguistics Seminar, Pushkar Mishra AI Research)

    Date & Time: Friday 26 April 2024, 13:00
    Speaker: Pushkar Mishra (Meta (Facebook) AI Research)
    Title: Making Large Language Models Safe: A case study of Llama2
    Location: Room L1.01 at LAB42, Amsterdam Science Park, plus live streaming on Zoom
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 25 April 2024, Computational Linguistics Seminar, Paul Röttger

    Date & Time: Thursday 25 April 2024, 16:00
    Speaker: Paul Röttger (Università Bocconi)
    Title: Evaluating Values and Opinions in Large Language Models
    Location: Room L3.33 at LAB42, Amsterdam Science Park 900, plus live streaming on Zoom

    Much recent work seeks to evaluate values and opinions in large language models (LLMs), motivated by concerns around real-world LLM applications. For example, politically-biased LLMs may subtly influence society when they are used by millions of people. Such real-world concerns, however, stand in stark contrast to the artificiality of current evaluations using multiple-choice surveys and questionnaires: real users do not ask LLMs survey questions. In my talk, I will present recent work in which we challenge the prevailing constrained evaluation paradigm for values and opinions in LLMs. I will also outline the steps we are now taking to build more realistic unconstrained evaluations for political values and opinions in LLMs.

    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 24 April 2024, MoL thesis presentations - Logic, Language and Philosophy

    Date & Time: Wednesday 24 April 2024, 17:00-19:10
    Speaker: MoL students
    Title: MoL thesis presentations - Logic, Language and Philosophy
    Location: Room C1.12. Science Park 904, Amsterdam

    In April 2024 the MoL students planning to graduate this summer will present their ongoing thesis projects to the ILLC community. This session will include our students in Logic, Language and Philosophy.

    Speakers: Flip Lijnzaad, Teodor-Ștefan Zotescu, Alex Stan, Paul Talma, Ruiting Hu, Urtė Jakubauskaitė, Frank Goossens, Arunavo Ganguly and Radu Ghita.

    For more information, see here or contact Maria Aloni at .
  • 24 April 2024, FOAM Seminar, Michael Benedikt

    Date & Time: Wednesday 24 April 2024, 16:00-17:25
    Speaker: Michael Benedikt
    Title: Logic and asymptotic combinatorics of Graph Neural Networks
    Location: Room L1.08, ILLC Lab42, Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk13b/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 22 - 23 April 2024, CIBD: Workshop on Theory and Applications of Craig Interpolation and Beth Definability

    Date: 22 - 23 April 2024
    Location: Amsterdam, the Netherlands
    Costs: Free
    Deadline: Friday 15 March 2024

    The aim of this workshop is to bring together experts from different research communities (such as proof theory, model theory, proof complexity, verification, database theory, knowledge representation, automated reasoning, automata theory, philosophy, linguistics) in order to discuss and disseminate recent and ongoing research pertaining to Craig interpolation and Beth definability.

    Invited speakers: Michael Benedikt (University of Oxford, tbc), Raheleh Jalali (Czech Academy of Sciences), Jean Christoph Jung (TU Dortmund University), George Metcalfe (University of Bern), Thomas Place (LaBRI Bordeaux) and Philipp Ruemmer (University of Regensburg).

    For more information, see https://cibd.bitbucket.io/ or contact Balder ten Cate at .
  • EDIT2DSC_1862.JPG

    19 April 2024, SignLab Open House

    Date & Time: Friday 19 April 2024, 18:15-22:00
    Location: Doelenzaal (Spui 425, room C0.07)
    Costs: Free
    Deadline: Friday 12 April 2024

    Op 19 april organiseert het Signlab weer een open avond. Kom je ook?
    Aanmelden is verplicht en kan uiterlijk tot 12 april.

    Het programma is als volgt:
    18.15 Inloop
    18.30-20.30 Lezingen en demo's
    20.30-22.00 Borrel!

    Er zijn de hele avond tolken NGT-NL aanwezig. Vragen of opmerkingen? Mail ons gerust op signlab.amsterdam at gmail.com. Ook vragen we je om ons te mailen als je je hebt aangemeld, maar toch niet meer kan komen. Misschien is er dan nog plek voor iemand anders.

  • 19 April 2024, DIP Colloquium, Rick Nouwen

    Date & Time: Friday 19 April 2024, 16:00-17:30
    Speaker: Rick Nouwen (Utrecht)
    Title: Asserting untrue alternatives
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 19 April 2024, FOAM Seminar, Tim van Erven

    Date & Time: Friday 19 April 2024, 15:00-16:25
    Speaker: Tim van Erven
    Title: How Fast Can We Compute (Approximate) Nash Equilibria in Zero-sum Matrix Games?
    Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk13/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 19 April 2024, EDEV Online Seminar, Costanza Larese

    Date & Time: Friday 19 April 2024, 11:30-13:00
    Speaker: Costanza Larese
    Title: Towards Bounded Epistemic Logics
    Location: Online (https://meet.google.com/ykg-hdam-xso)

    The EDEV Online Seminars are part of the PRO3 project "Understanding Public Data: Experts, Decisions, Epistemic Values" promoted by SNS Pisa, IMT Lucca and IUSS Pavia. The project aims to explore the scaffoldings of the epistemological framework, which underlies public decision-making when confronted with complex scientific data. The methodological assumption underlying the project is that the tools provided by logic, epistemology, philosophy of science, and critical reasoning can make a substantial contribution to a number of pressing issues.

  • 18 April 2024, Logic and Interactive Rationality (LIRa), Hans van Ditmarsch

    Date & Time: Thursday 18 April 2024, 16:30-18:00
    Speaker: Hans van Ditmarsch (University of Toulouse, CNRS, IRIT)
    Title: Distributed Knowledge Revisited
    Location: ILLC seminar room F1.15 in Science Park 107 and online
  • 14comsoc300.png

    18 April 2024, Computational Social Choice Seminar, Federico Fioravanti

    Date & Time: Thursday 18 April 2024, 14:00
    Speaker: Federico Fioravanti
    Title: Voting with Partial Orders: The Plurality and Anti-Plurality Classes
    Location: Room L1.13, Lab42, Science Park 900, Amsterdam
    For more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .
  • 17 April 2024, LLAMA seminar, Chase Ford

    Date & Time: Wednesday 17 April 2024, 16:00-17:00
    Speaker: Chase Ford (Leiden University)
    Title: Graded Monads and Behavioural Equivalence Games
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/ or contact Tobias Kappé at .
  • 16 April 2024, Computational Linguistics Seminar, Anouck Braggaar

    Date & Time: Tuesday 16 April 2024, 16:00
    Speaker: Anouck Braggaar (Tilburg University)
    Title: Evaluating Task-oriented Dialogue Systems: A Systematic Review of Measures, Constructs and their Operationalisations
    Location: Room L3.36 at LAB42, Amsterdam Science Park, plus live streaming on Zoom.
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 12 April 2024, STiHAC Joint Meeting, James Hindmarch, Reuben Mason

    Date & Time: Friday 12 April 2024, 16:00-18:00
    Speaker: James Hindmarch (Cambridge), Reuben Mason (Cambridge)
    Location: Online via Zoom
  • 1IAI_panel_raffle_borrel.jpg

    11 April 2024, Panel discussion: Diversity and Inclusion, and AI

    Date & Time: Thursday 11 April 2024, 17:30-19:30
    Location: Room L1.01 at LAB42, Amsterdam Science Park 900

    The Inclusive AI community is excited to invite you to a thought-provoking panel discussion about Diversity and Inclusion, and Artificial Intelligence. Organized by our community, this event promises to create a safe environment where we can bring our authentic selves and talk about sensitive topics like diversity and inclusion.

    We delve into two pivotal questions:
    · Why should we prioritize diversity and inclusion?
    · How can AI be harnessed for societal benefit?

    For more information, see here or contact Fina Polat at .
  • 11 April 2024, Logic and Interactive Rationality (LIRa), Alexandru Baltag

    Date & Time: Thursday 11 April 2024, 17:00
    Speaker: Alexandru Baltag (ILLC, Amsterdam)
    Title: Simple Recursion Laws for DEL and its extensions
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • 11 April 2024, DaDriH Seminar Series, Eugenio Petrovich & Sander Verhaegh

    Date & Time: Thursday 11 April 2024, 15:00-16:30
    Speaker: Eugenio Petrovich & Sander Verhaegh
    Title: EDHIPHY: Enriching Data for the History of Philosophy through Mention Indexing
    Location: Online

    On the 11th of April at 15:00, Eugenio Petrovich & Sander Verhaegh (Tilburg University) will be presenting their dataset 'EDHIPHY' in Concepts in Motion's DaDriH Seminar Series. EDHIPHY is a relational database that facilitates studying the history of 20th century Anglo-American philosophy and contains data of ca. 23.000 journal articles, enriched using mention extraction, a technique that extracts mention of philosophers from full text. The talk will cover the technique of mention extraction, as well as a case study on the impact of the migration of European intellectuals on US philosophy between 1930 and 1960. Please register here.

  • 11 - 13 April 2024, Polar Question Meaning[s] across Languages

    Date: 11 - 13 April 2024
    Location: Workshop space Humanities Labs (F0.01), Bushuis/Oost-Indisch Huis, Kloveniersburgwal 48, Amsterdam

    The last decade has seen a steady increase in work on question meaning, in particular polar question meaning, with relatively new notions like bias becoming front and center. At the same time, the empirical field has widened to include some understanding of various forms fulfilling the polar question function. Spanning not only interrogatives but also declaratives, tags, and alternatives, these forms raise important questions for the relationship between form and meaning. This workshop brings together work that continues this line of research. Topics range from fromal accounts of aspects of polar(-like) question forms across languages to manifestations of meaning in pragmatic and social levels that connect to formal grammatical events such as clausal structure, negation, focus and intonation.

    Invited speakers: Diti Bhadra (University of Minnesota), Regine Eckardt (Konstanz University), Lisa Matthewson (University of British Columbia) and Deniz Rudin (University of Southern California).

    For more information, see https://sites.google.com/view/poqal-amsterdam/ or contact Beste Kamali at .
  • 10 April 2024, MoL thesis presentations - Logic and Computation

    Date & Time: Wednesday 10 April 2024, 17:00-19:10
    Speaker: MoL students
    Title: MoL thesis presentations - Logic and Computation
    Location: Room C1.12. Science Park 904, Amsterdam

    In April 2024 the MoL students planning to graduate this summer will present their ongoing thesis projects to the ILLC community. This session will include our students in Logic and Computation.

    Speakers: Daan Schoneveld, Hannah Van Santvliet, Wietse Bosman, Xiaoshuang Yang, Wouter Smit, Yilun Wang, Michael Mueller, Raufs Dunamalijevs and Amity Aharoni.

    For more information, see here or contact Maria Aloni at .
  • 10 April 2024, LLAMA seminar, Timo Lang

    Date & Time: Wednesday 10 April 2024, 16:00-17:00
    Speaker: Timo Lang (University College London)
    Title: Cut-elimination, Cut-restriction
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-lang-2024 or contact Tobias Kappé at .
  • 9 April 2024, 20 Years of MBCS

    Date & Time: Tuesday 9 April 2024, 13:00-17:30
    Location: Pakhuis de Zwijger, Piet Heinkade 179, Amsterdam
    Deadline: Monday 1 April 2024

    As you may have already heard, the research master Brain and Cognitive Sciences (MBCS) is celebrating its 20th anniversary on April 9, from 13:00 - 17:30 in Pakhuis de Zwijger. As many of ILLC members have been instrumental in making the programme a success, you are of course also very welcome to join us in the festivities. If you are interested, please sign up before 1 april 2024.

    For more information, see here or contact Vincent Tijms at .
  • 9 - 11 April 2024, 1st Conference of the European Network for Digital Democracy (EDDY), Rotterdam

    Date & Time: 9 - 11 April 2024, 09:00-17:00
    Location: Rotterdam
    Deadline: Thursday 1 February 2024

    In recent years, digital democracy has become a subject of academic research and is being put into practice around the world. However, the scientific investigations and practices of digital democracy are currently still living mostly in separate universes. The aim of this conference is to further advance digital democracy, by bringing together academics and practitioners actively working on or with digital democracy. This way we want to foster collaboration and knowledge exchange.

  • 5 April 2024, STiHAC Joint Meeting, Jozef Fülöp, Tianyiwa Xie, Richard Webb

    Date & Time: Friday 5 April 2024, 16:00-18:00
    Speaker: Jozef Fülöp (Cambridge), Tianyiwa Xie (Cambridge), Richard Webb (Cambridge)
    Location: Online via Zoom
  • 5 April 2024, Language Evolution Amsterdam (LEA), Marieke Woensdregt

    Date & Time: Friday 5 April 2024, 11:00
    Speaker: Marieke Woensdregt (RU Nijmegen)
    Location: P.C. Hoofthuis Room 4.04, Spuistraat 134, Amsterdam / Online via Zoom
    For more information, see https://sites.google.com/view/lela-amsterdam or contact Marieke Schouwstra at .
  • 4 April 2024, The Utrecht Logic in Progress Series (TULIPS), Davide Grossi

    Date & Time: Thursday 4 April 2024, 15:30-17:00
    Speaker: Davide Grossi (Groningen/Amsterdam)
    Title: Deliberative Consensus
    Location: Janskerkhof 13, room 006, Utrecht University.

    This is a hybrid talk. Please contact the organizer for a link.

    For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at .
  • 13comsoc300.png

    4 April 2024, Computational Social Choice Seminar, Federico Fioravanti

    Date & Time: Thursday 4 April 2024, 14:00
    Speaker: Federico Fioravanti
    Title: Fuzzy Classifications
    Location: Room L3.33, Lab42, Science Park 900, Amsterdam
    For more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .
  • 3 April 2024, Understanding Science and Technology: From Fundamental Science to Technology, Quantum and Society

    Date & Time: Wednesday 3 April 2024, 12:30-17:00
    Location: Institute for Advanced Study (IAS), Oude Turfmarkt 145-147, 1012 GC Amsterdam

    This workshop explores the philosophy of understanding, especially in the light of complex scientific phenomena, technological innovations such as quantum and AI, and science communication. It will address the nature and scope of both expert and public understanding of science and technology.

  • 2 April 2024, Computational Linguistics Seminar, Matthias Lindemann

    Date & Time: Tuesday 2 April 2024, 16:00
    Speaker: Matthias Lindemann (University of Edinburgh)
    Title: Structural Inductive Biases for Better Systematic Generalization with Sequence-to-Sequence Models
    Location: Room L3.36 at LAB42, Amsterdam Science Park, plus live streaming on Zoom.
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 27 March 2024, Logic and Interactive Rationality (LIRa), Tim French

    Date & Time: Wednesday 27 March 2024, 16:30-18:00
    Speaker: Tim French (The University of Western Australia)
    Title: Aleatoric Reasoning: The World as an Urn of Marbles
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • 26 March 2024, PhD-in-DaDriH Seminar Series, Filippo Mosca

    Date & Time: Tuesday 26 March 2024, 15:00-16:30
    Speaker: Filippo Mosca
    Title: An attempt to apply topic modeling techniques to Wittgenstein’s Nachlass
    Location: Online

    This talk will explore the application of Latent Dirichlet Allocation (LDA) Model to the writings of Ludwig Wittgenstein. Specifically, it will highlight what topic modeling is and why it can be useful for philosophical interpretation, show the two main stages of how LDA works in practice (data preprocessing and model execution), and address some major challenges in assembling the corpus of Wittgenstein's writings. Finally, initial results will be shown and the limitations and problems associated with these results will be pointed out.

  • 25 March 2024, Nordic Online Logic Seminar, Albert Visser

    Date & Time: Monday 25 March 2024, 16:00-17:30
    Speaker: Albert Visser
    Title: Restricted Sequential Theories
    Location: Zoom

    The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic .

  • 22 March 2024, DIP Colloquium cancelled

    Date & Time: Friday 22 March 2024, 16:00-17:30
  • 22 March 2024, EDEV Online Seminar, Antonio Piccolomini d'Aragona

    Date & Time: Friday 22 March 2024, 11:30-13:00
    Speaker: Antonio Piccolomini d'Aragona
    Title: Proof-theoretic Semantics: On Why, When and How Epistemic Concerns Meet Proof Theory
    Location: Online (https://meet.google.com/ykg-hdam-xso)

    The EDEV Online Seminars are part of the PRO3 project "Understanding Public Data: Experts, Decisions, Epistemic Values" promoted by SNS Pisa, IMT Lucca and IUSS Pavia. The project aims to explore the scaffoldings of the epistemological framework, which underlies public decision-making when confronted with complex scientific data. The methodological assumption underlying the project is that the tools provided by logic, epistemology, philosophy of science, and critical reasoning can make a substantial contribution to a number of pressing issues.

  • 21 March 2024, Logic and Interactive Rationality (LIRa), Daniel Greco

    Date & Time: Thursday 21 March 2024, 16:30-18:00
    Speaker: Daniel Greco (Yale University)
    Title: Idealization in Epistemology
    Location: Online only
  • WiL_Online_-_Valeria_de_Paiva_1.jpg

    20 March 2024, Women in Logic Online, Valeria de Paiva

    Date & Time: Wednesday 20 March 2024, 17:00
    Speaker: Valeria de Paiva
    Title: Women in Logic Online - Network Mathematics
    Location: online via zoom

    This is the first talk in a new series of seminars we are calling "Women in Logic Online". Valeria will talk about the initiative "Women in Logic", and then move on to discuss her project "Network Mathematics", which puts together previous strands of work in language, logic, and mathematics. You will learn about three small prototypes designed to make use of the new tools of AI to improve access to mathematics, especially to Category Theory.

    For more information, see https://www.vcla.at/2024/02/women-in-logic-online/ or contact Andrea Hackl at .
  • 20 March 2024, LLAMA seminar, Sonia Marin

    Date & Time: Wednesday 20 March 2024, 16:00-17:00
    Speaker: Sonia Marin (University of Birmingham)
    Title: On intuitionistic diamonds (and lack thereof)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk- or contact Tobias Kappé at .
  • 19 March 2024, NihiL Seminar, Justin Bledin

    Date & Time: Tuesday 19 March 2024, 16:00-17:30
    Speaker: Justin Bledin (Johns Hopkins University)
    Title: Free Choice With Arbitrary Objects (joint seminar talk with DIP)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://projects.illc.uva.nl/nihil/seminar or contact Søren Brinck Knudstorp at .
  • 19 March 2024, Joint NiHil-DIP Session, Justin Bledin

    Date & Time: Tuesday 19 March 2024, 16:00-17:30
    Speaker: Justin Bledin (Johns Hopkins University)
    Title: Free Choice With Arbitrary Objects
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 14 March 2024, Computational Linguistics Seminar, Christopher Summerfield

    Date & Time: Thursday 14 March 2024, 16:00
    Speaker: Christopher Summerfield (University of Oxford)
    Title: Using language models to help people find common ground
    Location: Room L3.33 at LAB42, Amsterdam Science Park 900, plus live streaming on Zoom
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 14 March 2024, The Utrecht Logic in Progress Series (TULIPS), Dragan Doder

    Date & Time: Thursday 14 March 2024, 15:30-17:00
    Speaker: Dragan Doder (Utrecht)
    Title: Interplay between beliefs and intentions in dynamic environments
    Location: Janskerkhof 13, room 006, Utrecht.

    This is a hybrid talk, please contact the organizer for a link.

    For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at .
  • 13 March 2024, LLAMA seminar, Wolfgang Poiger

    Date & Time: Wednesday 13 March 2024, 16:00-17:00
    Speaker: Wolfgang Poiger (University of Luxembourg)
    Title: Algebraic and coalgebraic analysis of some many-valued modal logics
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-poiger-2024 or contact Tobias Kappé at .
  • 8 March 2024, STiHAC Joint Meeting, Fatima Scha

    Date & Time: Friday 8 March 2024, 16:00-18:00
    Speaker: Fatima Scha (Amsterdam)
    Title: Introducing Intuitionistic Logic of Paradox: Gluts in Kripke Models
    Location: Online via Zoom
  • 8 March 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Kristin Yvonne Rozier

    Date & Time: Friday 8 March 2024, 15:00-16:25
    Speaker: Kristin Yvonne Rozier
    Title: On the Effectiveness of Mission-time Linear Temporal Logic (MLTL) in AI Applications
    Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam

    Abstract:

    Temporal logics have become essential tools of many AI applications, from verification to planning to synthesis. Mission-time Linear Temporal Logic (MLTL) adds closed-interval integer bounds on the temporal operators of LTL, enabling unit-agnostic specification over finite traces. It is arguably the most-used variation of MTL, and the most-used subset of STL in industrial and AI applications. M...

    For more information, see https://events.illc.uva.nl/FOAM/posts/talk12/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 7 March 2024, Logic and Interactive Rationality (LIRa), Cat Saint-Croix

    Date & Time: Thursday 7 March 2024, 16:30-18:00
    Speaker: Cat Saint-Croix (University of Minnesota, Twin Cities)
    Title: Standpoint Epistemology for Bayesians
    Location: Online (only), via Zoom
  • 1 March 2024, Joint NihiL-MLC Seminar, Giorgio Sbardolini

    Date & Time: Friday 1 March 2024, 16:00-17:30
    Speaker: Giorgio Sbardolini (ILLC)
    Title: Something from Nothing
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • 28 February 2024, LLAMA seminar, Philip Dittmann

    Date & Time: Wednesday 28 February 2024, 16:00-17:00
    Speaker: Philip Dittmann (TU Dresden)
    Title: Asymptotic theories: from finite structures to infinite fields
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-dittmann-2024 or contact Tobias Kappé at .
  • 27 February 2024, CLS Mini-workshop: Evaluation of Dutch Language Models

    Date & Time: Tuesday 27 February 2024, 16:00-17:15
    Location: Room L3.36 at LAB42, Amsterdam Science Park 900

    16h00-16h45: Wietse de Vries (GroningenNLP): DUMB: A Benchmark for Smart Evaluation of Dutch Models (joint work with Martijn Wieling, Malvina Nissim)

    16h45-17h15: Zoë Prins (ILLC, UvA), Blimp-NL: Building a large Dutch corpus to measure knowledge of grammar and grammaticality judgments in language models and humans (joint work with Michelle Suijkerbuijk, Marianne de Heer Kloots, Jelle Zuidema & Stefan Frank -- CLS Radboud & ILLC UvA)

    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 27 February 2024, Launch of SSH Concept and SSH Impact Fund

    Date & Time: Tuesday 27 February 2024, 15:45-18:00
    Location: Workshop space Humanities Labs (F0.01), Bushuis/Oost-Indisch Huis, Kloveniersburgwal 48, Amsterdam

    Research in the Social Sciences and Humanities (SSH) requires its own approach and facilities to increase the impact of research results. To support this, two funds have been set up: the SSH Impact Fund and the SSH Concept Fund. The funds, aimed at all researchers in the alpha and gamma disciplines, will be festively launched for Faculty of Humanities academics at Humanities Labs.

  • 26 February 2024, Nordic Online Logic Seminar, Lauri Hella

    Date & Time: Monday 26 February 2024, 16:00-17:30
    Speaker: Lauri Hella
    Title: Game characterizations for the number of quantifiers
    Location: Zoom

    The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic .

  • 23 February 2024, DIP Colloquium, Judith Tonhauser

    Date & Time: Friday 23 February 2024, 16:00-17:30
    Speaker: Judith Tonhauser (Stuttgart)
    Title: What are presuppositions?
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 23 February 2024, STiHAC Joint Meeting, Yurii Khomskii

    Date & Time: Friday 23 February 2024, 16:00-18:00
    Speaker: Yurii Khomskii (Amsterdam & Hamburg)
    Title: Trees, Transcendence, & Quasi-generics
    Location: Online via Zoom
  • 22 February 2024, Logic and Interactive Rationality (LIRa), Chenwei Shi

    Date & Time: Thursday 22 February 2024, 16:30-18:00
    Speaker: Chenwei Shi (Tsinghua University)
    Title: Reasoning about Dependence, Preference and Coalitional Power
    Location: ILLC seminar room F1.15 in Science Park 107 and online.
  • 20 February 2024, Computational Linguistics Seminar, Pia Sommerauer

    Date & Time: Tuesday 20 February 2024, 16:00
    Speaker: Pia Sommerauer (Vrije Universiteit Amsterdam)
    Title: Analyzing linguistic subtleties in language models: detecting shifts in connotation and removing biases
    Location: Room L3.36 at LAB42, Amsterdam Science Park 900, plus live streaming on Zoom.
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 20 February 2024, Language Evolution Amsterdam (LEA), Dan Dediu

    Date & Time: Tuesday 20 February 2024, 12:00
    Speaker: Dan Dediu (UB Barcelona)
    Title: Linguistic diversity: from weak individual biases to large-scale structural differences between languages
    Location: P.C. Hoofthuis Room TBA, Spuistraat 134, Amsterdam / Online via Zoom
    For more information, see here or contact Tomasz Klochowicz at .
  • 16 February 2024, DIP Colloquium, Federico Pailos

    Date & Time: Friday 16 February 2024, 16:00-17:30
    Speaker: Federico Pailos (Buenos Aires)(Abstract)
    Title: Preserving suspension of judgement
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 16 February 2024, STiHAC Joint Meeting, Clara List

    Date & Time: Friday 16 February 2024, 16:00-18:00
    Speaker: Clara List (Hamburg)
    Title: Proving upper bounds in the predicate modal logic of forcing, Part III
    Location: Online via Zoom
  • 16 February 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Matthijs Spaan

    Date & Time: Friday 16 February 2024, 15:00-16:25
    Speaker: Matthijs Spaan
    Title: Exploiting Epistemic Uncertainty for Deep Exploration in Reinforcement Learning
    Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam

    In this talk I discuss how estimating and propagating epistemic uncertainty benefits generalization and deep exploration in reinforcement learning (RL) by focusing on two recent contributions. First, I consider model-free distributional RL, which aims to learn the distribution of returns rather than their expected value. Second, I discuss how propagating epistemic uncertainty estimates can be leveraged in a model-based RL setting, by embedding them in Monte-Carlo Tree Search (MCTS).

    For more information, see https://events.illc.uva.nl/FOAM/posts/talk11/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 16 February 2024, EDEV Online Seminar, Saùl Pérez González

    Date & Time: Friday 16 February 2024, 11:30-13:00
    Speaker: Saùl Pérez González
    Title: Beyond the Surface: Exploring the Potential of Mechanisms in Evidence-Based Policy
    Location: Online (https://meet.google.com/ykg-hdam-xso)

    The EDEV Online Seminars are part of the PRO3 project "Understanding Public Data: Experts, Decisions, Epistemic Values" promoted by SNS Pisa, IMT Lucca and IUSS Pavia. The project aims to explore the scaffoldings of the epistemological framework, which underlies public decision-making when confronted with complex scientific data. The methodological assumption underlying the project is that the tools provided by logic, epistemology, philosophy of science, and critical reasoning can make a substantial contribution to a number of pressing issues.

  • 1phimath_new.jpg

    16 February 2024, Philosophy of Mathematics (Φ-Math) Reading Group

    Date & Time: Friday 16 February 2024, 18:00
    Title: Reading Meeting 20: Structuralism in Mathematics
    Location: Room A1.12, Science Park 907, Amsterdam / Online

    For our final meeting on structuralism, we cover the modal set-theoretic structuralism from Parsons and Linnebø. This rounds out the book we have been following and also our time with structuralism (for now).

    For more information, see https://sites.google.com/view/phi-math/meetings or contact Jan Gronwald at , or Alexander Lind at .
  • 15 February 2024, Logic and Interactive Rationality (LIRa), Larry Moss

    Date & Time: Thursday 15 February 2024, 16:30-18:00
    Speaker: Larry Moss (Indiana University Bloomington)
    Title: Markov Decision Processes and Coinduction
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • 15 February 2024, The Utrecht Logic in Progress Series (TULIPS), Federico Pailos

    Date & Time: Thursday 15 February 2024, 15:30-17:00
    Speaker: Federico Pailos (CONICET/Buenos Aires)
    Title: Suprastructural logics
    Location: Janskerkhof 13, room 0.06, Utrecht University

    This is a hybrid talk, please contact the organizer for a link.

    For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at .
  • 15 February 2024, DaDriH Seminar Series, Daniele Morrone

    Date & Time: Thursday 15 February 2024, 15:00-16:30
    Speaker: Daniele Morrone
    Title: TheSu XML
    Location: Online

    On the 15th of February at 15:00, Daniele Morrone (KU Leuven) will discuss his 'TheSu XML' project in the Concepts in Motion's DaDriH seminar series. TheSu ('Thesis Support') XML is an XML annotation schema designed for digitally analyzing, indexing, and mapping ideas and their contexts of expression in various sources, specifically tailored to aid research in the history of ideas, philosophy, science, and technology. If you wish to attend this seminar, please register here.

    NB, speakers in this series are established researchers in the field of data-driven humanities reseach. For our PhD seminar series see here.

  • 14 February 2024, LLAMA seminar, Larry Moss

    Date & Time: Wednesday 14 February 2024, 16:00-17:00
    Speaker: Larry Moss (Indiana University)
    Title: Final Coalgebras and Corecursive Algebras in Continuous Mathematics
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-moss-2024 or contact Tobias Kappé at .
  • 12 February 2024, Responsible Digital Transformations (RDT) Monthly Meeting, FemData. Identifying bias in data

    Date & Time: Monday 12 February 2024, 11:00-13:00
    Speaker: Myrthe Blösser, Paulina von Stackelberg
    Title: RDT Monthly Meeting: FemData. Identifying bias in data
    Location: Roeterseilandcampus Building A, Nieuwe Achtergracht 166, Amsterdam

    Data have a very powerful influence: they can sustain prevailing societal inequalities, but they also have the potential to transform them. To stimulate discussion about bias in data and to connect stakeholders, FemData was started in August 2023. FemData focuses on the ways that gender biases can distort the model outcomes by influences the collection, labeling, and interpretation of data, leadin to skewed insights, and perpetuating inequality. In this talk, Paulina and Myrthe will introduce their initiative and provide some examples from previous research on the topic of gender bias in data applications.

  • 9 February 2024, Meaning, Logic, and Cognition (MLC) Seminar, Fausto Carcassi

    Date & Time: Friday 9 February 2024, 16:00-17:30
    Speaker: Fausto Carcassi
    Title: Semantic space and the evolution of quantificational conservativity
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 8 - 9 February 2024, Workshop on Formal Models of Social Networks and Democracy, Groningen, The Netherlands

    Date: 8 - 9 February 2024
    Location: Groningen, The Netherlands

    The goal of the workshop is to bring together researchers interested in the impact of (online) social networks on democratic decision making from different backgrounds and perspectives, among which logic, graph theory, social choice theory, philosophy, social network analysis, and economics. The event is funded by Zoé Christoff's NWO VENI (2020) research project "Democracy on Social Networks".

    A preliminary program is available on the workshop webpage. Attendance of the workshop is free of costs but registration is necessary, as we have a limited number of seats.

  • 7 February 2024, LLAMA seminar, Margarete Ketelsen

    Date & Time: Wednesday 7 February 2024, 16:00-17:00
    Speaker: Margarete Ketelsen (University of Münster)
    Title: Definable henselian valuations in positive residue characteristic
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-ketelsen-2024 or contact Tobias Kappé at .
  • 7 February 2024, PhD-in-DaDriH Seminar Series, Maria Chiara Parisi

    Date & Time: Wednesday 7 February 2024, 15:00-16:30
    Speaker: Maria Chiara Parisi
    Title: Tracing Mathematics in Ancient Philosophy: a data-driven investigation
    Location: Online

    On the 7th of February at 14:30, Maria Chiara Parisi (University of Amsterdam) presents her work on mathematics and explanation in Antiquity in Concepts in Motion's PhD-in-DaDriH seminar series. Maria Chiara combines conceptual analysis with quantitative and computational techniques on a 'big-data' ancient Greek corpus. She will present her research questions, conceptual models, expert term lists, and paragraph annotation techniques. If you wish to attend this seminar series, please register here.
    NB, this event is specifically tailored for PhD students. For our DaDriH seminar series featuring later-career researchers see here. This meeting was previously scheduled for the 30th of January.

  • 2 February 2024, STiHAC Joint Meeting, Clara List

    Date & Time: Friday 2 February 2024, 16:00-18:00
    Speaker: Clara List (Hamburg)
    Title: Proving upper bounds in the predicate modal logic of forcing, Part III
    Location: Online via Zoom
  • 2 February 2024, Joint NiHil-DIP Session, Larry Moss

    Date & Time: Friday 2 February 2024, 15:10-16:10
    Speaker: Larry Moss (Indiana University)
    Title: Semantic Foundations of Polarity Tagging
    Location: Room 0.01, Bushuis, Kloveniersburgwal 48, Amsterdam / online via Zoom

    As part of the NihiL workshop, there will be a special joint NihiL-DIP session featuring a talk by Larry Moss from Indiana University.

  • 1 February 2024, Memorial Jeroen Groenendijk

    Date & Time: Thursday 1 February 2024, 17:00-19:00
    Location: Room 001, Bushuis, Kloveniersburgwal 48, Amsterdam
    This event commemorates Jeroen Groenendijk, who has made groundbreaking contributions to formal semantics and has been a teacher, mentor, and a dear friend to many of us. Jeroen sadly passed away on the 17th of October 2023.
  • 1 February 2024, Joint NihiL/LIRa session, Hannes Leitgeb

    Date & Time: Thursday 1 February 2024, 15:10-16:10
    Speaker: Hannes Leitgeb (Münich)
    Title: The Logic of Theoretical Reasons. An Axiomatic Account
    Location: Room 0.01, Bushuis, Kloveniersburgwal 48, Amsterdam / online via Zoom

    As part of the NihiL workshop, there will be a special joint NihiL-LIRa session featuring a talk by Hannes Leitgeb.

  • 31 January - 2 February 2024, Nihil workshop

    Date & Time: 31 January - 2 February 2024, 10:00-18:00
    Location: Room 0.01, Bushuis, Kloveniersburgwal 48, Amsterdam
    Costs: Free

    The goal of the workshop is to bring together linguists, philosophers, logicians, and cognitive scientists who share an interest in the interfaces between (non-classical) logic, language and cognition. 

    For more information, see https://projects.illc.uva.nl/nihil/workshops or contact Maria Aloni at .
  • 29 January 2024, Nordic Online Logic Seminar, Peter Pagin

    Date & Time: Monday 29 January 2024, 16:00-17:30
    Speaker: Peter Pagin
    Title: Switcher Semantics and quantification
    Location: Zoom

    The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.  If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic .

  • 29 - 30 January 2024, Workshop on Proof Systems for Modal Fixed Point Logics

    Date & Time: 29 - 30 January 2024, 09:00-11:30
    Location: Room F0.01 at the Bushuis, Kloveniersburgwal 48. Amsterdam

    On 29 and 30 January 2024 the workshop Proof Systems for Modal Fixed Point Logics takes place at the University of Amsterdam. The workshop is associated with two public PhD Defences. Guillermo Menéndez Turata will defend his thesis Cyclic Proof Systems for Modal Fixpoint Logics on 30 January at 13:00 in the Agnietenkapel. Jan Rooduijn will defend his thesis Fragments and Frame Classes: Towards a uniform proof theory for modal fixed point logics on 31 January at 11:00 in the Aula.

    For more information, see https://staff.fnwi.uva.nl/j.m.w.rooduijn/workshop/ or contact Jan Rooduijn at .
  • 24 January 2024, LLAMA seminar, Daniël Otten

    Date & Time: Wednesday 24 January 2024, 16:00-17:00
    Speaker: Daniël Otten (ILLC)
    Title: Models for Static Type Theory
    Location: KdVI seminar room F3.20, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-otten-2024 or contact Tobias Kappé at .
  • 22 January 2024, DIP Colloquium, Daniel W. Harris

    Date & Time: Monday 22 January 2024, 14:00-15:30
    Speaker: Daniel W. Harris (Hunter College and the CUNY Graduate Center)
    Title: Common Ground as an Idealization
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • 19 January 2024, DIP Colloquium, Limor Raviv

    Date & Time: Friday 19 January 2024, 16:00-17:30
    Speaker: Limor Raviv (Nijmegen)
    Title: Linking Language acquisition, evolution, and diversity: How social and cognitive pressures shape learning and communication
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom

    Due to unforeseen circumstances, the speaker will not be able to come to Amsterdam in person but will give the talk through Zoom. You can join the talk in room F1.15 at Science Park 107, or on Zoom.

  • 19 January 2024, STiHAC Joint Meeting, Cancelled

    Date & Time: Friday 19 January 2024, 16:00-18:00
    Speaker: Cancelled
    Location: Online via Zoom
  • 19 January 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Yasamin Nazari

    Date & Time: Friday 19 January 2024, 15:00-16:25
    Speaker: Yasamin Nazari
    Title: Distance Structures and their Algorithmic Applications
    Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk10/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 19 January 2024, EDEV Online Seminar, Mario Günther

    Date & Time: Friday 19 January 2024, 11:30-13:00
    Speaker: Mario Günther
    Title: When Should We Attribute Beliefs to AI Systems?
    Location: Online (https://meet.google.com/ykg-hdam-xso)

    The EDEV Online Seminars are part of the PRO3 project "Understanding Public Data: Experts, Decisions, Epistemic Values" promoted by SNS Pisa, IMT Lucca and IUSS Pavia. The project aims to explore the scaffoldings of the epistemological framework, which underlies public decision-making when confronted with complex scientific data. The methodological assumption underlying the project is that the tools provided by logic, epistemology, philosophy of science, and critical reasoning can make a substantial contribution to a number of pressing issues.

  • 18 January 2024, LAB42 Insight and Idea Lunch

    Date & Time: Thursday 18 January 2024, 12:00-13:30
    Location: ILLC LAB42, Science Park 900, Amsterdam
    Deadline: Friday 19 January 2024

    LAB42 is in development, and we'd like to hear your thoughts! On 18 January 12.00, we're hosting an Insight and Idea Lunch (lunch will be provided ????). We'll share brief presentations about our latest projects and seek your thoughts on upcoming endeavors.

    For more information, see here or at https://forms.office.com/e/hBysLPr8nC.
  • 17 January 2024, LLAMA seminar, Anna de Mase

    Date & Time: Wednesday 17 January 2024, 16:00-17:00
    Speaker: Anna de Mase (University of Campania "Luigi Vanvitelli")
    Title: Value groups of finitely ramified henselian valued fields and model completeness
    Location: KdVI seminar room F3.20, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-demase-2024 or contact Tobias Kappé at .
  • 16 January 2024, PhD-in-DaDriH Seminar Series, Maud van Lier

    Date & Time: Tuesday 16 January 2024, 15:00-16:30
    Speaker: Maud van Lier
    Title: Modelling Artificial Agency
    Location: Online

    The first speaker in the PhD-in-DDriH Seminar Series is Maud van Lier (University of Konstanz) who is setting up a corpus-based investigation of the concept of artificial agency.

  • 12 January 2024, Vienna World Logic Day Lecture, Prof. Adnan Darwiche

    Date & Time: Friday 12 January 2024, 17:00-19:00
    Speaker: Prof. Adnan Darwiche (UCLA)
    Title: “Beyond truth and falsehood: Logic as a Calculus of Events
    Location: Online

    Dear colleagues,

    We cordially invite you to attend the Vienna World Logic Day Lecture, which will be held by Prof. Adnan Darwiche (UCLA):

    "Beyond truth and falsehood: Logic as a Calculus of Events"

    When? Friday, January 12, 2024, 17:00 CET

    Where? Online via Zoom with a livestream on Youtube

    For more information, see here or at https://logicday.vcla.at/ or contact Andrea Hackl at .
  • 12 January 2024, STiHAC Joint Meeting, Clara List

    Date & Time: Friday 12 January 2024, 16:00-18:00
    Speaker: Clara List (Hamburg)
    Title: Proving upper bounds in the predicate modal logic of forcing, Part II
    Location: Online via Zoom
  • 12 January 2024, NihiL Seminar, Angelica Hill

    Date & Time: Friday 12 January 2024, 16:00-17:30
    Speaker: Angelica Hill (UMass Amherst)
    Title: Priming abstract modal representations: The case of causatives and modals
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://projects.illc.uva.nl/nihil/seminar or contact Søren Brinck Knudstorp at .
  • news.png

    11 January 2024, LAB42 meet-up x Quantum Experience

    Date & Time: Thursday 11 January 2024, 16:00-18:00
    Location: ILLC Lab42 (3rd floor bridge), Science Park 900, Amsterdam
    Deadline: Thursday 11 January 2024

    The next LAB42 meetup is planned on January 11th starting at 16.00. During this month's edition we're arranging an excursion to our neighbours at the Quantum Experience! Join and explore the potentials and future of quantum technology. Following that, we'll gather on the third floor of LAB42 at 16:30 to raise a toast to the upcoming year.

    Please RSVP promptly due to limited spots for the Quantum Experience.

    For more information, see here or at https://forms.office.com/e/6ygCkKkKB1.

Calls for Paper

  • 28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)

    Date: 28 July - 8 August 2025
    Location: Bochum (Germany)
    Deadline: Wednesday 10 July 2024

    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, when 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 levels that run from foundational to introductory to advanced, 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 on 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.

    Proposals for courses and workshops at ESSLLI 2025 are invited in all areas of Logic, Linguistics and Computer Science. Cross-disciplinary and innovative topics are particularly encouraged. Proposals should fall under one of the categories Foundational Courses, Introductory Courses, Advanced Courses or Workshops. During submission you will be asked to select one of three tracks “Language and Computation (LaCo)”, “Language and Logic (LaLo)”, “Logic and Computation (LoCo)”. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one.

    Course and Workshop proposals can be submitted by no more than two lecturers/organizers and can be presented by no more than these two lecturers/organizers. All instructors and organizers must possess a PhD or equivalent degree by the submission deadline. Proposals of Courses given at ESSLLI in the previous year will have a lower priority of being accepted in the current year.

  • 26 - 29 November 2024, 13th Latin-American Symposium on Dependable and Secure Computing (LADC 2024), Recife (Brazil)

    Date: 26 - 29 November 2024
    Location: Recife (Brazil)
    Deadline: Friday 5 July 2024

    The Latin-American Symposium on Dependable and Secure Computing (LADC) is the major event on dependability and security of computer systems in Latin America. LADC 2024 will feature technical sessions, workshops, tutorials, fast abstracts, keynote talks from international experts in the area, and an industrial track.

    LADC'2024 will be co-located with the XIV Brazilian Symposium on Computing Systems Engineering (SBESC), in Recife, Brazil, November 26 to 29 2024.

    Prospective authors are invited to submit original research papers for presentation at the symposium in two categories: (1) full research (regular) papers, and (2) practical experience reports.

    Papers will be assessed with criteria appropriate to each category. LADC looks for works exploring new territory, continuing significant research, or reflecting on practical experience. While full research manuscripts should explore a specific technology problem and propose a complete solution to it, with extensive results, practical experience reports are expected to provide an in-depth exposition of practitioner experience and empirical studies. 

    All aspects of dependable and secure systems and networks are within the scope of LADC, including fault-tolerant architectures, protocols, and algorithms, models for performance and dependability evaluation, as well as, experimentation and assessment of dependable and secure systems and networks. Authors are invited to submit original papers on research and practice of creating, validating, deploying, and maintaining dependable and secure systems and networks.

    For more information, see https://ladc.sbc.org.br/2024/.
  • 2 - 4 November 2024, The 22nd International Workshop on Nonmonotonic Reasoning (NMR24), Hanoi, Vietnam

    Date: 2 - 4 November 2024
    Location: Hanoi, Vietnam
    Deadline: Friday 19 July 2024

    NMR is the premier forum for results in the area of nonmonotonic reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KRR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, deontic reasoning, argumentation, causality, and many other related topics including systems and applications (see NMR page, https://nmr.cs.tu-dortmund.de).

    NMR 2024 is co-located with the 21th International Conference on Principles of Knowledge Representation and Reasoning (KR2024). As in previous editions, NMR 2024 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. We especially invite papers on systems and applications, as well as position papers and papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers.

    There are two types of submissions:
    - Full papers: should be at most 10 pages including references, figures and appendices, if any.
    - Extended Abstracts:should be at most 3 pages (excluding references and acknowledgements). The abstracts should introduce work that has recently been published or is under review, or ongoing research at an advanced stage.

    Papers already published, accepted for publication or under review at other conferences are also welcome. Submitting already published material may require a permission by the copyright holder.

    For more information, see http://nmr.krportal.org/2024/ or contact Nina Gierasimczuk at .
  • 19 - 24 October 2024, 27th European Conference on Artificial Intelligence (ECAI-2024), Santiago de Compostela, Spain

    Date: 19 - 24 October 2024
    Location: Santiago de Compostela, Spain
    Deadline: Thursday 25 April 2024

    The 27th European Conference on Artificial Intelligence (ECAI-2024) will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. Join us to mark the 50th birthday since the first AI conference was held in Europe back in 1974.

    We invite all members of the international AI research community to submit their best work to ECAI. We welcome submissions on all aspects of AI. Submissions will be subject to double-blind peer review by the programme committee. They will be evaluated based on relevance, clarity, significance, originality, soundness, reproducibility, scholarship, and quality of presentation.

    We furthermore invite proposals for workshops and tutorials to be held during the first two days of the conference. Proposals from all subfields of AI, and organisers and presenters of all levels of seniority are welcome. Deadlines for Workshop and Tutorial proposals are respectively Monday, 15 January 2024 and Thursday, 15 February 2024.

    For more information, see https://www.ecai2024.eu/.
  • 9 - 11 October 2024, The Making of the Humanities XI, Lund, Sweden

    Date: 9 - 11 October 2024
    Location: Lund, Sweden
    Deadline: Wednesday 1 May 2024

    The MoH conferences are organized by the Society for the History of the Humanities and bring together scholars and historians interested in the history of a wide variety of fields, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the modern day.

    This year’s special conference theme is "Shifting Cultures of Knowledge in the History of the Humanities". In 2024, we encourage papers that address the history of the humanities in relation to broader, multidisciplinary studies on knowledge and scholarship. 

    We welcome panels and papers on any period or region. We are especially interested in work that transcends the history of specific humanities disciplines by comparing scholarly practices across disciplines and civilisations. Abstracts of single papers (30 minutes including discussion) should contain the name of the speaker, full contact address (including email address), the title and a summary of the paper of maximally 250 words.  Although we invite submissions that explore this year's special conference theme, we remain fully open to abstracts addressing other subjects as well.

  • 7 - 9 October 2024, Colloqium Logicum 2024, Vienna, Austria

    Date: 7 - 9 October 2024
    Location: Vienna, Austria
    Deadline: Sunday 14 July 2024

    The Colloquium Logicum is organized every two years by the "Deutsche Verein igung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wis senschaften" (DVMLG). The next edition will be held from 7 to 9 October 202 4 in Vienna, Austria. The conference will cover the whole range of mathemat ical logic and the foundations of the exact sciences.

    Keynote Speakers: Carolin Antos (Konstanz, Germany), Libor Barto (Prague, Czech Republic), Moritz Müller (Passau, Germany), Aristotelis Panagiotopoulos (Wien, Austria), Francesca Poggiolesi (Paris, France), Nadja Valentin (Düsseldorf, Germany) and Hugh Woodin (Cambridge MA, U.S.A.; Young Academy Distinguished Lecture). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates, the award of the first ever Ernst Zermelo-Ring, and a session celebrating 150 years of set theory.

     

     

     

    The programme committee invites the submission of abstracts for talks in all fields of research covered by the DVMLG. Deadline: 14 July 2024. If there are still slots for talks available after the deadline, we may accept late submissions until the programme is filled.

    For more information, see https://collog2024.conf.tuwien.ac.at/en/ or contact .
  • 30 September - 4 October 2024, Workshop Continuity, Computability, Constructivity - From Logic to Algorithms (CCC2024), Nice, France

    Date: 30 September - 4 October 2024
    Location: Nice, France
    Deadline: Tuesday 16 July 2024

    CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.

    Invited Speakers (confirmed): Micaela Mayero (University Sorbonne Paris Nord) and Jean-Michel Muller (ENS Lyon). With other names to be announced.

    The workshop invites all contributions relating to computation where issues of continuity, computability and constructivity play major roles. Specific areas of interest include: Exact real number computation, Correctness of algorithms on infinite data, Computable analysis Complexity (of real numbers, real-valued functions, etc.), Effective descriptive set theory, Domain theory, Constructive analysis and topology, Constructive foundations, Category-theoretic approaches to computation on infinite data, Weihrauch degrees, Other related areas

    For more information, see https://www.lix.polytechnique.fr/CCC2024/.
  • 27 - 28 September 2024, Workshop on Truth, Definability and Quantification into Sentence Position, Vienna (Austria)

    Date: 27 - 28 September 2024
    Location: Vienna (Austria)
    Deadline: Wednesday 1 May 2024

    Can truth be defined? Frege argued that it couldn't. Ramsey argued that defining it would be easy if only we had an analysis of judgement. Today Horwich claims that truth cannot be defined explicitly because doing so would require quantification into sentence position and such quantification is not coherent. Instead he proposes a “minimal theory” of truth, which comprises all the unproblematic instances of the equivalence schema. Künne, by contrast, argues that quantification into sentence position is coherent and may actually be part of some natural languages. Künne uses such quantification to define truth explicitly: ∀x (x is true iff ∃p ((x is the proposition that p) & p)). Or in English: a representation (belief, assertion etc) is true just if things are as it represents them as being.

    Is truth definable? Is propositional quantification coherent? Do natural languages involve propositional quantification, and in what sense? What do the answers to these questions mean for philosophical attempts to define or explain truth? Is truth redundant if explicitly definable? Not redundant if not explicitly definable? We are interested in these and related questions (broadly conceived).

    Confirmed speakers are: Peter Fritz (Australian Catholic University), Paul Horwich (New York University), Wolfgang Künne (University of Hamburg), Poppy Mankowitz (University of Bristol)  and Cheryl Misak (University of Toronto).

    We invite submissions of extended abstracts (1000 words max.) for up to 3 further talks. Please send your anonymized abstracts by 22 March 2024 to . Selected speakers will be notified by mid April. We will cover accommodation of selected speakers (and on application offer them a travel subsidy of up to 400 Euros).

  • 24 September 2024, 10th Workshop on Formal and Cognitive Reasoning (FCR 2024), Würzburg (Germany)

    Date: Tuesday 24 September 2024
    Location: Würzburg (Germany)
    Deadline: Monday 1 July 2024

    In real-life AI applications, information is usually pervaded by uncertainty and subject to change, and thus requires non-classical systems. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanisms has to be considered, such as analogical or defeasible reasoning, possibly in combination with machine learning methods. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches.

    The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. A special focus is on papers that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal and experimental or heuristic issues. FCR'24 will be co-located with the 47th German Conference on Artificial Intelligence (KI 2024).

    We welcome papers on the following and any related topics: Action and change Agents and multiagent systems, Analogical reasoning, Argumentation theories, Belief change and belief merging, Cognitive modeling and empirical data, Common sense and defeasible reasoning, Computational thinking, Decision theory and preferences, Inductive reasoning and cognition, Knowledge representation in theory and practice, Learning and knowledge discovery in data, Neuro-symbolic AI, Nonmonotonic and uncertain reasoning, Ontologies and description logics, Probabilistic approaches of reasoning, Syllogistic reasoning.

    Papers should be formatted in CEUR style (2-column style) without enabled header and footer.  The length of each paper should not exceed 8-12 pages. All papers must be written in English and submitted in PDF format via the EasyChair system. One of the authors is expected to participate in the workshop and present their paper.

    For more information, see https://fcr.krportal.org/2024/ or contact Özgür L. Özçep at .
  • 18 - 20 September 2024, 10th International Conference on Computational Models of Argument (COMMA 2024), Hagen, Germany

    Date: 18 - 20 September 2024
    Location: Hagen, Germany
    Deadline: Thursday 18 April 2024

    The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation. This year the biennial COMMA event will be hosted at the FernUniversität in Hagen, Germany. COMMA 2024 will be preceded by the sixth edition of the Summer School on Argumentation (SSA 2024). In addition to the main conference track, COMMA 2024 will include system demonstrations, as well as workshops devoted to specific argumentation-related themes.

    We are happy to announce that the following workshops will take place prior to the COMMA 2024 conference:
     - 24th International Workshop on Computational Models of Natural Argument (CMNA 2024)
     - 2nd International Workshop on Argumentation for eXplainable AI (ArgXAI 2024)
     - 5th International Workshop on Systems and Algorithms for Formal (SAFA 2024)

    We invite submission of original and unpublished work. Parallel submission to journals or other conferences or workshops with published proceedings is not permitted. The conference includes a Regular Track and an Innovative Applications Track. As to the latter, we encourage the submission of original papers about innovative applications, e.g., in law, medicine, e-democracy, risk assessment, intelligent user interfaces, recommender systems, argument mining etc. Innovative applications papers will be assessed in an equally rigorous reviewing procedure as regular track papers. The reviewing process is single blind. The length of each submission for both Regular and Innovative Applications papers must not exceed 12 pages.

    We also invite submissions of demonstration of systems and tools. Authors of accepted submissions will be invited to present their demonstrations during a special demonstration session. All those intending to demonstrate a system should notify the demonstrations coordinator Tjitze Rienstra by e-mail no later than 04 April 2024.

  • 18 - 20 September 2024, 19th International Workshop on Logical and Semantic Frameworks with Applications (LSFA 2024), Goiânia (Brazil)

    Date: 18 - 20 September 2024
    Location: Goiânia (Brazil)
    Deadline: Friday 31 May 2024

    Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the for mal specification of systems and computational languages, supporting tool development and reasoning.

    LSFA topics of interest include, but are not limited to: * Automated deduction * Applications of logical and/or semantic frameworks * Computational and logical properties of semantic frameworks * Formal semantics of languages and systems * Implementation of logical and/or semantic frameworks * Lambda and combinatory calculi * Logical aspects of computational complexity * Logical frameworks * Process calculi * Proof theory * Semantic frameworks * Specification languages and meta-languages * Type theory.

    All papers must be unpublished and not simultaneously submitted to another journal or conference. The following paper categories are welcome: * Full papers with a maximum of 16 pages * Short papers with a maximum of 6 pages. The papers should be prepared in latex using EPTCS style, and submitted as a PDF file. All contributions should be written in English.

  • 17 September 2024, The Fifth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA2024), Hagen, Germany

    Date: Tuesday 17 September 2024
    Location: Hagen, Germany
    Deadline: Monday 8 July 2024

    Computational models of argumentation are approaches that deal with the representation and interaction of arguments and counterarguments. These models can be applied in all areas that benefit from automatic decision-support such as medicine, accounting, chemistry, and law. Many of these models were inspired by works within the fields of non-monotonic reasoning and logic programming and therefore share the sometimes considerable computational complexity of these approaches.

    Algorithmic aspects of computational models of argumentation are an important area, as witnessed by the popularity of the International Competition on Computational Models of Argumentation (ICCMA). This workshop aims at complementing the competition by providing a forum to present and discuss both systems and algorithms dealing with all aspects of computational argumentation, in particular those approaches addressing the tracks of the competition.

    This workshop welcomes technical contributions in all areas dealing with algorithms and systems of formal argument. The workshop specifically welcomes preliminary works on the above topics. In particular, no systematic evaluations are needed for inclusion in the program. Finally, we welcome position papers that propose new tracks for the competition or discuss general matters related to it.

  • 16 - 18 September 2024, 8th International Joint Conference on Rules and Reasoning (RuleML+RR 2024), Bucharest, Romania

    Date: 16 - 18 September 2024
    Location: Bucharest, Romania
    Deadline: Saturday 1 June 2024

    The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

    The RuleML+RR 2024 conference is part of the event “Declarative AI: Rules,
    Reasoning, Decisions, and Explanations” (https://2024.declarativeai.net) and
    is co-located with DecisionCAMP 2024 and the Reasoning Web Summer School. Apart from the main track, it features the Rule Challenge, a Doctoral Consortium, an Industry Track and a Project Networking Session as associated events.

    RuleML+RR welcomes research from all areas of Rules and Reasoning. High-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications concerning explainable algorithmic decision-making that involve rule-based representation and reasoning are solicited. Main track Title and abstract submission deadline: June 1st, 2024.
    Associated events (Rule Challenge, Doctoral Consortium, Industry Track, and Project
    Networking Session) Paper submission deadline: July 21st, 2024.

    For more information, see https://2024.declarativeai.net/events/ruleml-rr or contact Ahmet Soylou at .
  • 11 - 12 September 2024, 28th Workshop on the Semantics and Pragmatics of Dialogue (SemiDial 2024 / Trentologue), Trento, Italy

    Date: 11 - 12 September 2024
    Location: Trento, Italy
    Costs: cimec@unitn.it
    Deadline: Sunday 26 May 2024

    TrentoLogue will be the 28th edition of the SemDial workshop series  which aim to bring together researchers working on the semantics and  pragmatics of dialogue in fields such as formal semantics and  pragmatics, computational linguistics, artificial intelligence,  philosophy, psychology, and neuroscience.

    Keynote speakers: Uri Hasson, Princeton University Azzurra Ruggeri, Max Planck Institute Bernardo Magnini, Fondazone Bruno Kessler  (FBK).

    We welcome submissions with formal, computational, and empirical approaches to the semantics and pragmatics of dialogue.
    Long papers: Authors should submit an anonymous paper of at most 8  pages of content (up to 2 additional pages are allowed for references).
    Short papers: Authors should submit a non-anonymized paper of at most  2 pages of content (up to 1 additional page allowed for references). Submissions to this track can be non-archival on request.

  • 11 - 13 September 2024, Roots and New Trends in Logicism Workshop, Lisbon, Portugal

    Date: 11 - 13 September 2024
    Location: Lisbon, Portugal
    Deadline: Sunday 30 June 2024

    The "Roots and New Trends in Logicism" workshop brings together state of the art research on historical accounts and contemporary contributions to Logicism. The workshop aims to foster discussion on the interplay between mathematics, logic, metaphysics and epistemology, and stimulate future work on the field.

    The programme consists of 6 talks by invited speakers and a 4-6 contributed talks. Confirmed invited speakers: Ludovica Conti (IUSS Pavia), Fernando Ferreira (University of Lisbon), Salvatore Florio (University of Oslo), Sébastien Gandon (Clermont Auvergne University), Gregory Landini (University of Iowa) , Hannes Leitgeb (LMU Munich - MCMP).

    We welcome abstracts for the contributed talks on any topic related to (neo)Logicism, both from a historical and a philosophical perspective. Submissions by undergraduate students and young scholars are encouraged.  Contributed talks are expected to be 60 minutes-long (plus 30 minutes-long discussion).

  • 9 - 14 September 2024, 15th Conference on Interactive Theorem Proving (ITP 2024), Tbilisi, Georgia

    Date: 9 - 14 September 2024
    Location: Tbilisi, Georgia
    Deadline: Monday 11 March 2024

    The ITP conference series is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics. This will be the 15th conference in the ITP series, while predecessor conferences from which it has evolved have been going since 1988.

    ITP welcomes submissions describing original research on all aspects of interactive theorem proving and its applications. In addition to Regular papers we also welcome short papers, which can be used to describe interesting work that is still ongoing and not fully mature. All submissions are expected to be accompanied by verifiable evidence of a suitable implementation, such as the source files of a formalization for the proof assistant used.  Abstract submission deadline:         March 11, 2024.

    The ITP conference organizers are aslo soliciting proposals for affiliated workshops and tutorials. Workshops typically feature presentations of ongoing research that is not ready yet for formal publication, and tutorials may e.g. present extended demos of particular software.  The workshops and tutorials will take place 13-14 September (last two days of the conference).The deadline for submitting a proposal is March 5, 2024.

    For more information, see https://www.viam.science.tsu.ge/itp2024/ or contact .
  • 9 - 10 September 2024, 6th International Conference on Computational Linguistics in Bulgaria (CLIB 2024), Sofia, Bulgaria

    Date: 9 - 10 September 2024
    Location: Sofia, Bulgaria
    Deadline: Friday 15 March 2024

    Computational Linguistics in Bulgaria (CLIB) is an international conference that aims at exploring novel approaches and methods in computational linguistics and natural language processing (NLP), especially with a view to their application to small and less-resourced languages such as Bulgarian and the bridging of the discrepancies between big and small languages with respect to language technologies.

    CLIB invites contributions on original research, both long and short papers. Long papers must describe substantial, original, completed, and unpublished work. Long papers may consist of up to eight (8) pages of content.  Short paper submissions must describe original and unpublished work dealing with a small, focused contribution. Short papers may consist of up to four (4) pages. In order to encourage talented young researchers, the best paper with a Master/PhD student among the authors and presenting the work at the conference will be awarded a small prize and a diploma. CLIB 2024 also solicits submissions presenting project reports, new data resources, system demonstrations, position papers.

    For more information, see http://dcl.bas.bg/clib/ or contact .
  • 9 - 11 September 2024, 29th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2024), Milan, Italy

    Date: 9 - 11 September 2024
    Location: Milan, Italy
    Deadline: Thursday 25 April 2024

    The aim of the FMICS conference series is to provide a forum for researchers and practitioners who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

    FMICS 2024 is co-located with FM 2024 and will be held at Politecnico di Milano in Milan, Italy.

    Papers must describe original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference, or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated.

    Submissions should clearly motivate relevance to industrial applications. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Papers should not exceed 15 pages (excluding references) formatted according to the Springer author guidelines LNCS style. Papers must be written in English.

    For more information, see https://fmics.inria.fr/2024 or contact Anne Haxthausen at , or Wendelin Serwe: at .
  • 9 - 10 September 2024, 20th International Conference on Formal Aspects of Component Software (FACS 2024), Milan, Italy

    Date: 9 - 10 September 2024
    Location: Milan, Italy
    Deadline: Wednesday 8 May 2024

    FACS 2024 is concerned with how formal methods can be applied to component- based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The conference seeks to address the applications of formal methods in all aspects of software components and services. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions.

    Invited speakers: Ana Cavalcanti (University of York, UK), David Parker (University of Oxford, UK) and Geguang Pu (ECNU, China). FACS 2024 is co-located with the 26th international symposium on formal methods (FM 2024).

    We solicit high-quality submissions reporting on:
    A - full papers: original research, applications and experiences, or surveys (16 pages);
    B - short papers: tools and demonstrations (6 pages);
    C - Special track papers (16 pages);

    All submitted papers should be in LNCS format and unpublished and not submitted for publication elsewhere. Papers should be prepared in LaTeX, adhering to the Springer LNCS format and Guidelines. All accepted papers will have to be presented at the conference by one of their authors.

    For more information, see https://facs-conference.github.io/2024/.
  • 8 - 9 September 2024, 9th Workshop on Connexive Logics, Łódź (Poland)

    Date: 8 - 9 September 2024
    Location: Łódź (Poland)
    Costs: 100 euros
    Deadline: Saturday 15 June 2024

    Connexive logics are orthogonal to classical logic insofar as they validate certain non-theorems of classical logic involving mainly negation and implication. Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Since then, systems of connexive logic have been motivated by considerations on a content connection between the antecedent and consequent of valid implications, as well as by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications.

    As interests in topics related to connexive logics are growing, the ninth workshop aims at discussing directions for future research in connexive logics. Keynote speakers: Mateusz Klonowski (NCU, Toruń), Jacek Malinowski (IFiS PAN, Warsaw), Satoru Niki (RUB, Bochum), Grigory Olkhovikov (RUB, Bochum) and Francesco Paoli (UC, Cagliari).  This year, the WCL follows the NCL conference: we encourage you to participate in both events.

    Any papers related to connexive logics are welcome. Topics of interest include (but are not limited to) the following: - Philosophical and historical considerations of the notion of connexivity; - Examinations of various systems of connexive logics; - Relations between connexive logics and other non-classical logics, such as relevance logics, conditional logics or modal logics; - Empirical studies on the scope of connexivity.

    Submissions of extended abstracts (up to five pages) should be sent as a pdf file to the organizers.

    For more information, see https://easychair.org/smart-program/NCL'24/WCL.html or contact Tomasz Jarmużek at , Hitoshi Omori at , or Heinrich Wansing at .
  • 6 September 2024, 9th internatioinal workshop on Type-Driven Development (TyDe 2024), Milan, Italy

    Date: Friday 6 September 2024
    Location: Milan, Italy
    Deadline: Monday 27 May 2024

    The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development.

    We welcome all contributions, both theoretical and practical, on the workshop topics. Submissions should fall into one of two categories: regular research papers (12 pages) or extended abstracts (3 pages). Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines.

    For more information, see https://icfp24.sigplan.org/home/tyde-2024.
  • 6 - 7 September 2024, The 16th Latin American Workshop on New Methods of Reasoning, Oaxaca, Mexico

    Date: 6 - 7 September 2024
    Location: Oaxaca, Mexico
    Deadline: Saturday 1 June 2024

    LANMR 2024 is the sixteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The aim of this workshop is to bring together people from different fields such as programming languages foundations, formal verification, philosophy or artificial intelligence, around methods of reasoning and applications involving logic.

    LANMR 2024 will be an in-person event. The venue will be at the Universidad Benito Juárez de Oaxaca (Oaxaca, Mexico), it will happen as a satellite of the 7th World Congress of Paraconsistency.

    We call for extended abstracts. In particular you can present work in progress or work that is recently published elsewhere. Extended abstracts written in English limited to 3 pages including footnotes and appendices (but not references) are required. Abstracts are to be prepared for anonymous review and should be submitted, using the Easychair Latex Class, via EasyChair. The language of the workshop is English, authors of accepted contributions will be required to give a 20 minute in-person presentation, plus 10 minutes for questions and discussion.

    For more information, see http://www.lanmr.unam.mx.
  • 5 - 7 September 2024, British Logic Colloquium 2024 ((BLC 2024), Birmingham, UK

    Date: 5 - 7 September 2024
    Location: Birmingham, UK
    Target audience: All levels
    Deadline: Wednesday 10 July 2024

    The annual meeting of the British Logic Colloquium will be organised by the University of Birmingham from Thursday 5th September afternoon to Saturday 7th September morning.

    The programme will include invited and contributed talks on a range of topics including (but not restricted to) proof theory, set theory, model theory, computability and complexity, logical aspects of computer science, and philosophy of mathematics.

    Invited speakers: Michael Rathjen (University of Leeds), more TBC...

    The programme committee invites abstracts for contributed talks of up to 1 page (excluding bibliography). These can be on published or unpublished work, as well as work in progress. We especially encourage students and early-career researchers to present their work.

    There are no formal published proceedings, but accepted abstracts will be made available for the meeting. Please submit your abstracts via EasyChair.

    For more information, see https://blc24.github.io/ or contact Sonia Marin at .
  • 5 - 8 September 2024, 11th International Conference on Non-Classical Logics, Theory & Applications (NCL'24), Lodz, Poland

    Date: 5 - 8 September 2024
    Location: Lodz, Poland
    Deadline: Saturday 20 July 2024

    The Conference — devoted to non-classical logics — was initially held in Łódź in September 2008 and 2009. Later on, it was organized alternately in Toruń and Łódź. The conference serves as a forum to exchange novel results effectively and to survey works in non-classical logics, broadly construed, and their applications.

    In this year's, eleventh, edition of the Conference we particularly welcome submissions concerned with term-forming operators and formalisation of complex names, like definite descriptions, both with regard to their philosophical background and formal properties, as well as applications in mathematics and computer science (e.g., in databases or ontologies).

    This year's edition of the Conference will be co-located with the 9th Workshop on Connexive Logics which will be held on 8th and 9th September 2024.

     

    Participants are invited to submit their abstracts on all topics relevant to the conference. Cross-disciplinary contributions are particularly welcome . Abstracts should be in English and must not exceed 2 pages including references. All abstracts should be submitted via the Non-Classical Logics Easy Chair website. Authors of accepted abstracts will be allotted 15-minute slots in the short presentations session.

    For more information, see https://easychair.org/smart-program/NCL'24/ or contact Andrzej Indrzejczak at , Michał Zawidzki at , or Tomasz Jarmużek at .
  • 3 - 6 September 2024, 17th International Symposium on Algorithmic Game Theory (SAGT)

    Date & Time: 3 - 6 September 2024, 18:00
    Location: CWI, Amsterdam
    Deadline: Tuesday 21 May 2024

    SAGT brings together researchers from Computer Science, Economics, Mathematics, Operations Research, Psychology, Physics, and Biology to present and discuss original research at the intersection of Algorithms and Game Theory. The program of SAGT 2024 will include a tutorial day, invited lectures and presentations of peer-reviewed submissions. 

    Authors are invited to submit original research for possible presentation at the conference. Each paper will be evaluated on significance, originality, technical quality, and exposition. It should clearly establish the research contribution, its relevance, and its relation to prior research. Industrial application works and position papers presenting novel ideas, issues, challenges and directions are also welcome.

    For more information, see https://www.cwi.nl/sagt-2024/.
  • 26 - 28 August 2024, Seventh Philosophy of Language and Mind Network Conference (PLM7), Prague

    Date: 26 - 28 August 2024
    Location: Prague
    Target audience: Philosophers of language and mind
    Deadline: Thursday 29 February 2024

    PLM is a European network of centers devoted to the Philosophy of Language and Mind. PLM was founded in 2010 and organizes international conferences, workshop and master classes taught by leading experts in the field.

    We invite abstract submissions for 30-minute talks (with 10 minutes for discussion in a 40-minute slot) in the area of philosophy of language and mind (broadly construed).

    For more information, see https://plm7.auletris.com/ or contact .
  • Prague.jpg

    19 - 23 August 2024, 15th International Conference on Advances in Modal Logic (AiML 2024), Prague, Czech Republic

    Date: 19 - 23 August 2024
    Location: Prague, Czech Republic
    Deadline: Friday 8 March 2024

    Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2024 will be co-located with the 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024).

    We invite submissions on all aspects of modal and related logic. There will be two types of submissions for AiML 2024: (1) Full papers for publication in the proceedings and presentation at the conference, and (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page starting from January 29th, 2024. At least one author of each accepted paper or short presentation must register for and attend the conference.

    For more information, see https://www.cs.cas.cz/aiml2024/ or contact Agata Ciabattoni at , or David Gabelaia at .
  • 19 - 23 August 2024, Relational and Algebraic Methods in Computer Science (RAMiCS), Prague, Czechia

    Date & Time: 19 - 23 August 2024, 23:59
    Location: Prague, Czechia
    Deadline: Friday 14 June 2024

    Since 1994, the RAMiCS conference series has been the main venue for theory surrounding relation algebra. Theoretical aspects include semigroups, residuated lattices, semirings, Kleene algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories; their formalisation with theorem provers.

    Applications include tools and techniques for program correctness, specification and verification; quantitative and qualitative models and semantics of computing systems and processes; algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control.

    We are calling for submission of original work not published or under review for publication elsewhere. The proceedings will be published as part of Springer LNCS. As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. Deadline: 16 February 2024.

    Additionally to the standard CfP, RAMiCS is also calling for short contributions and posters. We are hence calling for presentations of original, unfinished, already published, or otherwise interesting work within the topics of the RAMiCS conferences. The submission can be in the form of a poster, an abstract, a paper submitted to or published at another conference, or any other format. Short contributions will *not* be published in the conference proceedings. Deadline: 14 June 2024.

    For more information, see https://ramics-conf.github.io/2024/ or contact Uli Fahrenberg at .
  • 29 July - 9 August 2024, ESSLLI 2024 Student Session, Leuven, Belgium

    Date: 29 July - 9 August 2024
    Location: Leuven, Belgium
    Deadline: Friday 1 March 2024

    The Student Session of the 35th European Summer School in Logic, Language, and Information (ESSLLI) will take place at ESSLLI 2024, on 29 July - 9 August 2024 in Leuven, Belgium. This is an excellent opportunity for students to receive valuable feedback from expert readers and to present their work to a diverse audience.

    We invite submissions of original, unpublished work from students in any area related to Logic & Language, Language & Computation, or Logic & Computation in the form of long (8 pages) or short (4 pages) papers (including references, figures, etc.). Submissions will be reviewed by several experts in the field. Accepted long papers will be presented as talks, while short papers will be presented as posters. Short papers are especially suited for smaller or in-progress research works.

    For both long and short papers, the best contributions (submission plus presentation) will receive an award. In previous years Springer has supported the ESSLLI Student Session by offering prizes of vouchers for Springer books. We aim to offer the same prizes this year. Such prizes will be awarded based on the content and quality of the paper and the presentation at ESSLLI . The ideas presented should be novel and promising. The presentation at ESSLLI should be adapted to the wide variety of backgrounds that ESSLLI participants come from: everybody should be able to learn/understand something new.

    For more information, see https://2024.esslli.eu/.
  • 15 - 26 July 2024, The 2nd European Summer School in Artificial Intelligence (ESSAI 2024), Athens, Greece

    Date: 15 - 26 July 2024
    Location: Athens, Greece
    Deadline: Wednesday 7 February 2024

    ESSAI 2024 is the second edition of the annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI 2024 will provide an interdisciplinary setting in which courses are offered in all areas of Artificial Intelligence and also from wider scientific, historical, and philosophical perspectives. ESSAI is a central meeting place for students and young researchers in Artificial Intelligence to discuss current research and share knowledge. Courses will consist of five 90-minute sessions, offered daily (Monday-Friday) in a single week, to allow students to develop in-depth knowledge of a topic.

    ESSAI aims to cover all subdisciplines of AI and the interactions between them. Proposals for courses at ESSAI 2024 are invited in all areas of Artificial Intelligence. Each course will consist of five 90-minute lectures, offered daily (Monday-Friday) in a single week. While introductory courses will typically focus on one subarea of AI, introductory and advanced courses are encouraged to present a broader perspective on AI and should be of interest beyond one specific area.

    For more information, see https://essai2024.di.uoa.gr/.
  • Greifswald_1652_Merian.jpg

    15 - 17 July 2024, Formal Ethics 2024 (FE2024), Greifswald, Germany

    Date: 15 - 17 July 2024
    Location: Greifswald, Germany
    Deadline: Friday 1 March 2024

    “Formal Ethics” is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts and theories in moral and political philosophy. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on freedom and responsibility, welfare economics and population ethics, deontic logic and natural language semantics, value theory, and the evolution of norms and conventions.

    Invited speakers: Justin Bruner (University at Buffalo), Fabrizio Cariani (University of Maryland) and Anne Schwenkenbecher (Murdoch University).

    Formal Ethics 2024 will feature a single track for contributed talks of 40-45 minutes. Authors should submit an extended abstract (1000 words max, pdf format) via Easychair. Submissions in all areas of formal ethics, broadly construed, are welcome. Contributions need not be formal in nature but should show familiarity with applying formal tools and results to ethical investigations. We welcome and strongly encourage submissions from members of underrepresented groups, as well as early career researchers and students. All submissions should be prepared for anonymous review.

    For more information, see https://www.wiko-greifswald.de/formal-ethics-2024/ or contact Allard Tamminga at .
  • 8 - 12 July 2024, 51st EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2024), Tallinn, Estonia

    Date: 8 - 12 July 2024
    Location: Tallinn, Estonia
    Deadline: Wednesday 14 February 2024

    ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 7.

    ICALP 2024 is co-located with Logic in Computer Science (LICS) 2024 and Formal Structures for Computation and Deduction (FSCD) 2024. The conference is planned as a physical, in-person event.  During the conference, the following awards will be delivered: the EATCS award,  the Gödel prize,  the Presburger award, the EATCS distinguished dissertation award, the best papers for each of the conference tracks, and the best student papers for each of the conference tracks.

    Papers presenting original research on all aspects of theoretical computer science are sought. Papers must present original research on the theory of computer science. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Submissions take the form of an extended abstract of no more than 15 pages, excluding references and a clearly labelled appendix. Submissions are anonymous and there is a rebuttal phase. The conference will employ a lightweight double-blind reviewing process.

    The conference has two tracks:
    - Track A: Algorithms, Complexity and Games
    - Track B: Automata, Logic, Semantics, and Theory of Programming

    For more information, see https://compose.ioc.ee/icalp2024/.
  • 8 July 2024, Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24), Tallinn, Estonia

    Date: Monday 8 July 2024
    Location: Tallinn, Estonia
    Deadline: Monday 29 April 2024

    Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.

    We solicit regular papers of up to 15 pages (including references). These must be original and not simultaneously submitted to another venue. They will be reviewed, and we plan to publish (pre- or post-) proceedings in a series like EPTCS or similar.

    In addition, we encourage the submission of abstracts (1-4 pages including references) describing work-in-progress, new ideas, challenges, or other interesting informal contributions.

    All submitted papers should be in PDF format following the EPTCS style guidelines.

  • 15-19 July 2024 & 8-9 July 2024, 14th International Conference on Formal Ontology in Information Systems (FOIS 2024), Enschede (Netherlands) & online

    Date: 15-19 July 2024 & 08-09 July 2024
    Location: Enschede (Netherlands) & online
    Deadline: Monday 8 July 2024

    Formal ontology is the systematic study of the types of entities and relations making up the domains of interest represented in modern information systems. 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. FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology.

    FOIS 2024 will be held both online (8-9 July 2024) and in Enschede, the Netherlands (15-19 July 2024), by the Semantics, Cybersecurity & Services group of the University of Twente. The conference includes the following: Contributed Lectures - Workshops - Joint Ontology Workshops (JOWO) - Tutorials - Ontology showcase - Demonstrations - Project exhibitions.

    The conference encourages the submission of high-quality, not previously published results on both theoretical issues and practical advancements. FOIS 2024 seeks three types of full-length (14 pages) high-quality papers on a wide range of topics:-  Foundational papers address content-related ontological issues, their formal representation, and their relevance to some aspects of information systems. - Application and Methods papers address novel systems, methods, and tools related to building, evaluating, or using ontologies, emphasizing the impact of ontology contents. - Domain ontology papers describe a novel ontology for a specific realm of interest, clarifying ontological choices against requirements and foundational theory, and showing ontology use.

    FIOS 2024 also currently calls for Workshop Proposals (submission deadline: 14 december) and

    Journal-first Paper submission (submission deadline: 17 April 2024).

  • 8 - 11 July 2024, Highlights in the Language Sciences Conference 2024, Nijmegen, the Netherlands

    Date: 8 - 11 July 2024
    Location: Nijmegen, the Netherlands

    The Language in Interaction Consortium (LiI) is pleased to announce the Highlights in the Language Sciences Conference 2024, celebrating the conclusion of our 10-year Gravitation Programme and the advances made in language-related disciplines including genetics, neuroscience, psychology, linguistics and computational modeling.

    The conference will take place 8-11 July 2024 at the Radboud University in Nijmegen. We are putting together an exciting programme with top-level key experts in the relevant fields of research. Confirmed speakers include David Poeppel (NYU, Strungmann Institute, Frankfurt), Ghislaine Dehaene-Lambertz (CNRS Paris), Vera Demberg (Universität des Saarlandes), Uri Hasson (Universiy of Princeton), Barbara Kaup (University Tübingen), Tal Linzen (NYU).

    Abstract submission for the poster session will open in October 2023.

  • 7 July 2024, 5th workshop on Learning & Automata (LearnAut 2024)

    Date & Time: Sunday 7 July 2024, 23:59
    Location: Talinn, Estonia
    Deadline: Thursday 18 April 2024

    Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms.

    The aim of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods. The LearnAut workshop will consists of a number of invited talks, other talks from researchers who submitted their work to the workshop, and discussions. An important amount of time will be kept for interactions between participants.

    We invite submissions of recent work, including preliminary research, related to the theme of the workshop. The Program Committee will select a subset of the abstracts for oral presentation. At least one author of each accepted abstract is expected to represent it at the workshop. Note that accepted papers will be made available on the workshop website but will not be part of formal proceedings (i.e., LearnAut is a non-archival workshop).

    For more information, see https://learnaut24.github.io/ or contact Matteo Sammartino at .
  • 3 - 11 July 2024, Toposes in Mondovì (School + Conference), Mondovì (Italy)

    Date: 3 - 11 July 2024
    Location: Mondovì (Italy)

    The event “Toposes in Mondovì” (3-11 September 2024) represents the fourth edition of the main international conference on topos theory. The format of the event is similar to that of the other three editions: it will consist of a four-day school (3-6 September 2024) offering introductory courses for the benefit of students and mathematicians who are not already familiar with topos theory, followed by a three-day conference (9-11 September 2024) featuring both invited and contributed presentations on new theoretical advances in the subject as well as applications of toposes in different fields such as algebra, topology, number theory, algebraic geometry, logic, homotopy theory, functional analysis, and computer science.

    The main aim of this conference series is to celebrate the unifying power and interdisciplinary applications of toposes and encourage further developments in this spirit, by promoting exchanges amongst researchers in different branches of mathematics who use toposes in their work and by introducing a new generation of scholars to the subject.

     

    There is room for a few short communications (20 minutes long) at the conference; if you wish to submit a one-page abstract for a short talk, please upload it through the conference website before the 30th of June 2024.

  • 1 - 6 July 2024, The 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France

    Date: 1 - 6 July 2024
    Location: Nancy, France
    Deadline: Monday 29 January 2024

    IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger conference of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods Topics).

    A two-day workshop and tutorial programme will be co-organized with the conference. In addition, the annual CADE ATP System Competition (CASC) will be held during the conference. 

    IJCAR 2024 invites submissions related to all aspects of automated or interactive logical reasoning, including foundations, implementations, and applications. All papers must be original and not simultaneously submitted to another peer-reviewed journal or conference. The following paper categories are welcome: Regular papers describing solid new research results (up to 15 pages), and Short papers describing implemented systems, user experiences, case studies and domain models (up to 7 pages). All submissions will be judged on relevance, originality, significance, correctness, and readability. IJCAR 2024 will recognize the most outstanding submissions with a best paper award and a best student paper award at the conference.

    For more information, see https://ijcar2024.loria.fr/.
  • 1 - 5 July 2024, 14th Panhellenic Logic Symposium (PLS14), Thessaloniki, Greece

    Date: 1 - 5 July 2024
    Location: Thessaloniki, Greece
    Deadline: Friday 22 March 2024

    The Panhellenic Logic Symposium (PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.

    The Scientific Committee invites all researchers in the areas of the conference to submit their papers for presentation at PLS14. Areas of interest include (but are not limited to) Computability theory, Model theory, Set theory, Proof theory, Categorical logic, Philosophical logic, Nonclassical and modal logics, and Logic in Computer Science. Accepted papers will appear in an informal, electronic proceedings volume, which will be posted on the event's webpage. During the actual event, each accepted paper should be presented by at least one of its authors.

    Graduate students and early-career researchers are invited to submit a short, 1-page abstract on preliminary work that may not be ready for a full talk yet. Those accepted will be able to present their work in poster form in a special poster session. The session will also feature a mentoring component in which senior researchers will discuss the posters and provide feedback to the authors.

  • 1 July 2024, 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (AQRNL 2024), Nancy, France

    Date: Monday 1 July 2024
    Location: Nancy, France
    Deadline: Monday 15 April 2024

    Non-classical logics - such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, relevance logic - have many applications in AI, Computer Science, Philosophy, Linguistics, and Mathematics. Hence, the automation of proof search in these logics is a crucial task. The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area.

    ARQNL 2024 is associated with IJCAR 2024, the International Joint Conference on Automated Reasoning.

    We welcome contributions from computer scientists, linguists, philosophers, and mathematicians. Topics of the ARQNL workshop will cover all aspects related to the automation of quantified non-classical logics. The contributions may range from theory to system descriptions and implementations. Contributions may also outline relevant applications, describe problem formalizations, example problems, and benchmarks.

    Submissions of papers are solicited in three categories: (A) Full papers (up to 15 pages excluding references) (B) Short papers (up to 8 pages excluding references) (C) Talk abstracts (up to 2 pages excluding references)

    For more information, see http://iltp.de/ARQNL-2024/.
  • 26 - 28 June 2024, Fifteenth Conference on Logic and the Foundations of Game and Decision Theory (LOFT15), Bayreuth, Germany

    Date: 26 - 28 June 2024
    Location: Bayreuth, Germany
    Deadline: Friday 9 February 2024

    This is the 15th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers that bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics, and mind sciences.

    Invited Speakers: Julia Staffel (University of Colorado Boulder), Thomas Bolander (Technical University of Denmark) and Willemien Kets (Utrecht University).

    Potential contributors should submit an extended abstract of approximately 5-10 pages (excluding references and appendices) as a PDF. Submissions exceeding 10 pages will not be considered. Submissions should be prepared for blind review and submitted through EasyChair by February 9th, 2024.
    Papers that have appeared in print, or are likely to appear in print before the conference, should not be submitted for presentation at LOFT.
  • 26 - 28 June 2024, DCAI Special Session on Computational Linguistics/ Information/ Reasoning/ and AI (CLIRAI), Salamanca, Spain

    Date: 26 - 28 June 2024
    Location: Salamanca, Spain
    Deadline: Friday 15 March 2024

    Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to the phenomena of partiality, underspecification, perspectives of agents, and context dependency. These phenomena are signature features of information in nature, natural languages, and reasoning.

    The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of language, thought, reasoning, and other related processes.

    We invite contributions relevant to the session topics, without being limited to them, across approaches, methods, theories, implementations, and applications. The papers must consist of original, relevant, and previously unpublished, sound research results related to any of the topics of the Special Session CLIRAI.

    DCAI Special Session papers must be formatted according to the Template of Lecture Notes in Networks and Systems (LNNS), Springer, with a maximum length of 10 pages in length, including figures and references. All accepted, registered, and presented papers will be published by the series Lecture Notes in Networks and Systems (LNNS), Springer. At least one of the authors of an accepted paper will be required to register and attend the symposium to present the paper in order to include it in the conference proceedings.

    For more information, see https://www.dcai-conference.net/tracks/special-sessions/clirai or contact Roussanka Loukanova at .
  • taclLogo.png

    25 June - 5 July 2024, Topology, Algebra, and Categories in Logic (TACL 2024), Barcelona, Spain

    Date: 25 June - 5 July 2024
    Location: Barcelona, Spain
    Deadline: Thursday 7 March 2024

    Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order and model theory. The programme of the conference TACL 2024 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical and topological methods.

    Programme:
    School: June 25-28, 2024 (Barcelona)
    Conference: July 1-5, 2024 (Barcelona)

    We welcome contributed talks on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science.
    Abstracts of proposed contributions must be submitted through Easychair and may be at most 2 pages, including references (using Easychair style). Contributed presentations will be 30 minutes long.

    For more information, see https://iiia.csic.es/tacl2024/ or contact Sara Ugolini at .
  • LOGO_Large.jpeg

    24 - 28 June 2024, Logic Colloquium 2024 (LC 2024), Gothenburg, Sweden

    Date: 24 - 28 June 2024
    Location: Gothenburg, Sweden
    Deadline: Friday 1 March 2024

    The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. In 2024, the meeting will be held 24-28 June at the University of Gothenburg in Sweden.

    The 2024 meeting will run for five days and comprise 10 plenary lectures, 3 tutorials and 6 special sessions as well as contributed talks. In addition, the 2024 Goedel Lecture will be delivered at the meeting.

    The programme committee invites proposals for contributed talks. These can be on published or unpublished work, as well as work in progress. Instructions for submission will be made available through the conference webpage.

    For more information, see https://lc2024.se or contact LC 2024 Organisers at .
  • 24 - 26 June 2024, Masterclass in the Philosophy of Mathematical Practices with Catarina Dutilh Novaes, Brussels, Belgium

    Date: 24 - 26 June 2024
    Location: Brussels, Belgium
    Deadline: Thursday 2 May 2024

    The Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its 6th Masterclass in the Philosophy of Mathematical Practices on June 24–26, 2024  with Catarina Dutilh Novaes (VU Amsterdam). We intend the masterclass to be a fully interactive in person event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. 

    We invite early career researchers who would be interested to present their work to send us an abstract of at most 250 words by May 2nd. Please submit your abstract, including your affiliation information, via the following Google form: https://forms.gle/5fwDu95LszU72hJY9 or by sending it to the following email address: Line.Edslev.Andersen at vub.be . The talks will be of a duration of around 20 minutes (not including discussion). Notification of acceptance will be sent out by the mid to late May. Notice that submitting an abstract is not mandatory for attending the Master class.

  • 19 - 20 June 2024, C-FORS Graduate Conference: Constructional Approaches in the Foundations of Mathematics and Philosophy, Oslo, Norway

    Date: 19 - 20 June 2024
    Location: Oslo, Norway
    Deadline: Sunday 14 April 2024

    The advanced ERC project "C-FORS: Construction in the Formal Sciences" led by Professor Øystein Linnebo (University of Oslo) is glad to announce its first graduate conference. The topic is constructional approaches to foundations of mathematics and philosophy. The aim of the conference is to bring together graduate students working in the Philosophy of Mathematics and Logic, in Metaphysics and in Ontology and that are interested in (or critical of) constructional (i.e., iterative or hierarchical) accounts in these disciplines.

    Beside the current members of C-FORS, the discussion shall be guided by the two invited keynotes, Joel David Hamkins (Notre Dame) and Jon Erling Litland (UT Austin), who are both leading experts on topics relevant to the main theme of the conference. In addition, the conference involves the assignment of a commentator to lead the discussion on the contributed talk by each participant. Comments will be provided by three scholars that are also experts in their fields, namely Deborah Kant (Hamburg), Sam Roberts (Konstanz) and Chris Scambler (Oxford).

    Graduate students and early-career researchers (within one year from completion of their PhD) are invited to *submit abstracts (up to 1500 words) on the subject of the conference and prepared for blind review*. We particularly *encourage submissions from underrepresented groups*. The proposals should be suitable for a 35-40 minute presentation. The conference is intended to be in-person.

  • 18 - 21 June 2024, 37th International Workshop on Description Logics (DL 2024), Bergen, Norway

    Date: 18 - 21 June 2024
    Location: Bergen, Norway
    Deadline: Monday 18 March 2024

    The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 37th edition will be held in Bergen, Norway, from June 18th to June 21st.

    We invite contributions on all aspects of description logics, including, but not limited to:
      • Foundations of description logics;
      • Extensions of description logics;
      • Integration of description logics with other formalisms;
      • Applications and use areas of description logics;
      • Systems and tools of all kinds around description logics.

    Submissions may be of two types:
     A – Regular papers of up to 11 pages (excluding references);
     B – Extended abstracts of 2–4 pages (excluding references).
    DL reviewing is single-blind by default, double-blind on request.

    For more information, see https://dl2024.w.uib.no/ or contact .
  • 18 - 21 June 2024, Cracow Logic Conference (CLoCk) 69 and Trends in Logic 24, Kraków, Poland

    Date: 18 - 21 June 2024
    Location: Kraków, Poland
    Deadline: Tuesday 18 June 2024

    The Department of Logic of the Jagiellonian University and Studia Logica organise a common event: Cracow Logic Conference 69 and Trends in Logic 24 -- 90 Years of Studia Logica with a historical lecture on Jan Łukasiewicz 1934 Studia Logica volume.

    Cracow Logic Conference (CLoCk) is the oldest Polish conference series on logic. For many years it existed under a deceptive name Konferencja Historii Logiki (Conference on the History of Logic), and was for the most part limited to the Polish logic community.  Since 2023 CLoCk went truly international and welcomes contributions on all areas of logic, as long as they are mathematical in the sense once conveyed by the name symbolic logic.

    Trends in Logic is the conference series of the journal Studia Logica aimed at worldwide promotion of logic and Studia Logica. The series began in 2003, and have been held annually at different logic centres. The series has been instrumental in increasing the visibility of Studia Logica and elevating its international standing.

    We call for papers on all areas of mathematical logic; we will also accept a limited number of non-mathematical contributions on history and/or philosophy of logic. Paper submission is via EasyChair.All papers must be original and not simultaneously submitted to another journal or conference. The list of our preferred topics include Algebraic logic, Model theory, Proof theory, Philosophical logic, History of logic.

    For more information, see https://iphils.uj.edu.pl/~trends-in-logic.
  • 17 - 21 June 2024, 21st International Conference on Unconventional Computation and Natural Computation (UCNC 2024), Pohang, Republic of Korea

    Date: 17 - 21 June 2024
    Location: Pohang, Republic of Korea
    Deadline: Wednesday 28 February 2024

    The International Conference on Unconventional Computation and Natural Computation (UCNC) series is a forum bringing together scientists from many different backgrounds who are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 21st International Conference on Unconventional Computation and Natural Computation (UCNC 2024) will be held at the Pohang University of Science and Technology, Pohang, Republic of Korea on June 17-21, 2024 and will continue the tradition of focusing on current important theoretical and experimental results and their critical evaluation.

    Authors are invited to submit original research papers (of, at most, 15 pages in LNCS format) through the conference EasyChair link. Papers must be submitted in Portable Document Format (PDF). Accepted papers will be published in the Springer Lecture Notes in Computer Science Series, and authors of selected papers will be invited to submit extended versions for publication in a special issue of Natural Computing. Papers must not be under simultaneous consideration by any other conference with published proceedings. All accepted papers must be presented at the conference.

    For more information, see https://sites.google.com/view/ucnc-2024/ or contact .
  • 14 - 16 June 2024, Twelfth Scandinavian Logic Symposium (SLSS 2024)

    Date & Time: 14 - 16 June 2024, 08:00-19:00
    Location: Reykjavik, Iceland
    Costs: Early registration: 350 euros (student) of 450 euros (non-student)
    Deadline: Sunday 7 April 2024

    The Scandinavian Logic Symposium (SLSS) is symposium organized by the Scandinavial Logic Society. In 2024, it takes place in June in Reykjavik, Iceland. The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.
    Invited Speakers: Fausto Barbero (University of Helsinki), Sara Negri (University of Genoa), Aybüke Özgün (ILLC, University of Amsterdam).

    Abstracts of contributed talks, in PDF format, not exceeding two A4 (11pt) pages, should be submitted through EasyChair: https://easychair.org/conferences/?conf=slss2024 by April 7 2024 (AoE).Abstracts should be typeset following the format of a LaTeX class file SLS2014.cls, or in a similar format if you prefer to not use LaTeX.

    For more information, see https://scool24.github.io/SLSS/ or contact Antonis Achilleos at .
  • 13 - 14 June 2024, 23rd Annual Philosophy of Logic, Mathematics and Physics Graduate Conference, London, Canada

    Date: 13 - 14 June 2024
    Location: London, Canada
    Deadline: Monday 1 April 2024

    The graduate students of the philosophy department at Western University (London, Ontario) are excited to announce our 23rd annual Graduate Student Conference, taking place in person on June 13th and June 14th, 2024. The aim of this conference is to promote cooperation and critical engagement amongst graduate students doing research in the philosophies of physics, mathematics, and logic. We are pleased to announce that Philosopher, Dr. Marius Stan (Boston College) will be our keynote speaker.

    Graduate students who have not yet defended their PhD thesis are invited to submit papers on any topic in philosophy of logic, philosophy of mathematics, and philosophy of physics. This year, we will prioritize papers on the history of the philosophies of logic, mathematics, and physics, with a focus on the developments of the 18th, 19th, and 20th centuries. We hope to generate discussions about the deeply intertwined nature of these disciplines and to foster an awareness of the historical influence exerted by each on the others.

    For more information, see https://www.logicmathphysics.uwo.ca/?page_id=593 or contact the LMP Committee at .
  • 4 - 6 June 2024, 16th NASA Formal Methods Symposium (NFM 2024), Moffett Field, California/US

    Date: 4 - 6 June 2024
    Location: Moffett Field, California/US
    Deadline: Friday 1 December 2023

    The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification processes. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.

    This year’s symposium extends the focus to safety assurance of machine learning enabled autonomous systems, formal methods for digital transformation, and accessibility for new industries. There will be a tool demonstration session at the conference, where tool developers get to showcase their tools interactively with the attendee.

    There are two categories of submissions: Regular Papers (15 pages including references), describing fully developed work and complete results, and Short Papers (6 pages including references), in one of the categories below:
    - Tool papers describing novel and publicly available tools
    - Case studies detailing applications of formal methods
    - New emerging ideas in the topics of interest

    All papers should be in English and describe original work that has not been published or submitted elsewhere. NFM24 will be a hybrid conference. Authors of accepted papers are encouraged to present their work in person at the conference.

  • 26 - 31 May 2024, 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-25), Balaclava (Mauritius)

    Date: 26 - 31 May 2024
    Location: Balaclava (Mauritius)
    Deadline: Thursday 25 April 2024

    The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications.

    In keeping with the tradition of LPAR, researchers and practitioners are in vited to submit short presentation papers (the papers can be full length, the presentation slots will be short), reporting on interesting work in progress, system and tool descriptions, experimental results, etc. They need not be original, and extended or revised versions of the papers may be submitted concurrently with or after LPAR to another conference or a journal.

    For more information, see https://lpar-25.info.
  • _2023-12-02_103938.png

    25 - 26 May 2024, International Workshop on Logic and Philosophy: “Agency and Intentionality: Collective and Individual”

    Date & Time: 25 - 26 May 2024, 10:00-17:00
    Location: Tsinghua University, Beijing
    Target audience: Scholars and students interested in the interaction of logic and philosophy
    Costs: free
    Deadline: Sunday 31 December 2023

    The theme of the workshop is "Agency and intentionality: collective and individual". Collective intentionality and collective agency, and closely related topics such as common knowledge, team reasoning, public announcement and other forms of group communication, are among the key issues that are being studied right now in a variety of frameworks.

    Some of these frameworks are parsimonious extensions of frameworks for individual agency and individual intentionality, whereas others employ a more extended conceptual and ontological apparatus. And some of the analyses are primarily analytical and conceptual, while others are logical and formal. The main goal of the workshop is to bring these together to exchange results and discuss different views.

    Invited speakers: Branden Fitelson (Northeastern University), Marc Slors (Radboud University Nijmegen), Sonja Smets (University of Amsterdam) and Deborah Tollefsen (The University of Memphis).

    The call for papers welcomes contributions on topics within the theme, such as:
    -intention, agency, decision-making
    -responsibility and norms
    -forms of identity
    -individuals in social networks
    -group dynamics
    Contributed papers on other topics in the area of logic and philosophy are welcome as well.

    Scholars who want to contribute should send an abstract of approximately 1200 words (not including references) to: logicandphilosophyworkshop at gmail.com. The abstract should be properly anonymised, so include a separate page with name, affiliation, and contact details. All submissions will be reviewed by an independent program committee.

    The possibility to publish selected papers in a special journal issue (of, e.g., Topoi or Philosophies) is actively being explored.

    For more information, see http://tsinghualogic.net/JRC/3rdilpw/ or contact Yiyan Wang at .
  • 24 - 25 May 2024, 2nd Logic and Philosophy: Historical and Contemporary Issues Conference, Vilnius, Lithuania

    Date: 24 - 25 May 2024
    Location: Vilnius, Lithuania
    Deadline: Friday 15 March 2024

    Logic and Philosophy is a biennial conference organised and hosted by Vilnius University. The conference is intended as a venue for philosophical discussions on logic broadly construed. We invite submissions that address philosophy of logic, philosophical issues related to classical or non-classical logics, the history of logic, and philosophical applications of logic.

    Invited speakers: Timothy Williamson (Oxford / Yale), Graham Priest (CUNY), Sara L. Uckelman (Durham), Iryna Khomenko (Kyiv). A special session, with contributions by Timothy Williamson and Graham Priest, dedicated to the nature of logic and validity is planned as part of the programme. Related talks are particularly welcome.

    Prospective authors are invited to submit abstracts suitable for anonymous review. Abstracts should not exceed 1000 words. Papers based on the presented talks will be considered for publication in Problemos Supplement, a philosophy journal run by Vilnius University Press. Authors of the selected talks are expected, though not required, to contribute.

  • 22 - 24 May 2024, Symposium "Engaging Rationality Today", Lille, France

    Date: 22 - 24 May 2024
    Location: Lille, France
    Deadline: Monday 8 January 2024

    The international symposium "Engaging Rationality Today" will bring together specialists from multiple disciplines (philosophy, logic, psychology, anthropology, linguistics, etc.) to reflect collectively on contemporary meanings and uses of rationality. The current Western cultural context, which is marked by numerous challenges (war, fake news, A.I., populism) and critiques (post-colonialism, feminism, etc.), requires a reevalutation of the classic notion of rationality. They show the limits of the classical notion, grounded on concepts like objectivity, universality, argumentation, and causal relationships. But accepting every new conception without criteria seems to give way to relativism, thus leading to a dilemma. The symposium "Engaging Rationality Today" aims at tackling this dilemma by creating a space of dialogue between various conceptions of rationality. To do so, it is not only a question of examing what rationality is, but also, and above all, a question of studying the limits, blindspots, and problematic uses of the proposed definitions of rationality. The aim of the present project is to provide a comprehensive view of how rationality is currently understood, from various perspectives (philosophy, psychology, linguistics, etc.). We hope that by examining rationality’s multifaceted aspects, including what falls outside of the proposed definitions, contributors will be encouraged to reevalute their own defninitions through dialogue with others.

    True to our multidisciplinary goals, we invite a broad variety of approaches and methods and welcome researchers from any background. If you would like to present, please submit an anomymous abstract (max.of 800 words) in a pdf format. In your application, please mention in which session (or sessions) your contribution would be most appropriate.

    To help make each conception of rationality clearer and to facilitate the comparison between conceptions, we ask that each contribution spell out what the author takes rationality to be, to not be, and what remains under-determined. In addition, contributions can (but do not have to) address one of the following pairs of guiding questions. They can also challenge the implied validity of these oppositions: What does rationality involve? What does it rule out? How do we recognize it? What could rationality also be? What are its applications and uses? What are its misapplications and misuses? Does it affect us? Can we resist it? What does it allow us to do? What does it keep us from doing? Does it have diverse articulations? Or, for it to be rationality, must it always be exactly the same?

  • 16 - 18 May 2024, Formal Methods and Science in Philosophy V, Dubrovnik, Croatia

    Date: 16 - 18 May 2024
    Location: Dubrovnik, Croatia
    Costs: 135 EUR / 100 EUR (retired participants, students)
    Deadline: Wednesday 31 January 2024

    The general subject of the conference are problems of philosophical ontology, epistemology, philosophy of science, and philosophy of mind that are formulated or solved using formal methods (as defined in logic, mathematics, formal linguistics, theoretical computer science, information science, AI) and/or with references to the results of natural and social sciences.

    The following special topics will be addressed:
    – use of formal methods in philosophy,
    – philosophical analysis of scientific notions (natural law, matter, change, cause, chance, time, space, uncertainty, quantum phenomena, probability, social interaction, etc.),
    – philosophical analysis of scientific methods (formalisms, rationality, values, norms, etc.),
    – the role and use of scientific notions and methods in philosophy (formal systems in philosophy, critical analysis, systematic philosophy, etc.).

    There will be a PhD student session with 20 minutes talks followed by 10 minutes discussion.

    Please, submit a 1200 characters abstract by January 31, 2024  to abrozek at uw.edu.pl, k.swietorzecka at uksw.edu.pl or skovac at ifzg.hr. Please, use the proposed templates. Indicate if the abstract is meant for a PhD student session (1200 characters). The notifications of acceptance by February 15, 2024. The conference will be held in-person.

    For more information, see https://www.ifzg.hr/fmsph/ or contact .
  • 26 April 2024, LogIn Project Workshop: Amplifying underrepresented voices in formal philosophy, London, UK

    Date: Friday 26 April 2024
    Location: London, UK
    Deadline: Thursday 1 February 2024

    The workshop aims to bring together researchers who work on formal philosophy broadly construed who are either members of traditionally underrepresented groups or who work outside of what is perceived as ``traditional’’ topics in logic and formal philosophy. It will be an occasion for dialogue between researchers who identify as members of underrepresented groups in academia and researchers who work on topics generally regarded as non-standard in the academic tradition.

    Confirmed speakers include: Gillian Russell (ANU), Sara Uckelman (Durham) and Frederique Jannsen-Lauret (Manchester). The workshop will be followed by a panel discussion on how to make formal academic philosophy a more inclusive environment.

    We invite submissions from members of traditionally underrepresented groups of extended abstracts (up to 1000 words) for 3 contributed talks. Any abstract related to logic or formal philosophy written by researchers who are either part of traditionally underrepresented groups or working on 'non-traditional' logic and formal philosophy is welcome. We particularly encourage submissions on formal topics from a more diverse and interdisciplinary perspective. We particularly encourage interdisciplinary submissions.

  • 25 April 2024, CfP: Abstract Concepts/ Perception/ and Language, 25th April 2024, Cambridge, UK

    Date: Thursday 25 April 2024
    Location: Cambridge, UK
    Deadline: Monday 5 February 2024

    This event, organised by members of the Semantics, Pragmatics, and Philosophy (SPP) research group of the University of Cambridge, aims to bring together those interested in abstract concepts across disciplinary boundaries. This workshop aims to encourage and explore innovative ways, both theoretical and experimental, of analysing and understanding the meaning of abstract concepts. This could include work on topics such as time, conceptual engineering, investigations into concepts such as freedom or justice, processing of abstract concepts, or diachronic investigations of scientific or social abstract concepts, to name just a few. 

    The workshop aims to be an environment in which PhD and graduate students may present their work and get feedback from their peers, as well as those who may not traditionally fall within their discipline's boundaries.  The event will also include talks from three academics: Dr. Sean Enda Power (University of Cork), Dr. Derek Ball (St Andrews University), and Prof. Kasia Jaszczolt (University of Cambridge). 

    We invite proposals for presentations consisting of 300 words plus bibliography. This will be a free, one-day event. PhD/Grad presentations will be 20-min long + 10 minutes for questions/discussion. Ongoing works will be considered and are explicitly encouraged.  Abstracts for poster presentations also accepted. 

  • Poster_Juniorendag2024.jpg

    19 April 2024, Anéla-/VIOT-Juniorendag 2024, Nijmegen, the Netherlands

    Date & Time: Friday 19 April 2024, 09:00
    Location: Nijmegen, the Netherlands
    Target audience: Researchers in the field of applied linguistics, including BA and MA students, PhD researchers and senior researchers
    Deadline: Friday 19 January 2024

    On Friday, 19 April 2024, the Radboud University of Nijmegen will host the Juniorendag, organized by Anela and VIOT. BA and MA students, recently graduated students, and PhD candidates can present their thesis or their doctoral research at the Juniorendag in the field of applied linguistics (language use, language acquisition, language teaching, language proficiency or communication) in an informal atmosphere. In addition, the Anela-VIOT Thesis Award will be awarded during this day to the best MA thesis in the field of applied linguistics.

    If you would like to apply for an oral or poster presentation, please upload your abstract through this link no later than 19 January 2024.

    The requirements for the abstract are as follows: *maximum 250 words (excl. references) *in Dutch or in English (write your abstract in the language in which you will present) *remove all personal information from the abstract itself (name, university).

    At the beginning of February we will let you know if your oral or poster presentation has been accepted.

  • 11 - 13 April 2024, Foundations of Mathematics, Truth, and Implicit Commitments (FOMTIC), Warsaw, Poland

    Date: 11 - 13 April 2024
    Location: Warsaw, Poland
    Deadline: Monday 15 January 2024

    In recent years, the notion of implicit commitments has received new attention in the Philosophy of Mathematics. Focusing on theories of foundational interest, in which substantial parts of mathematics can be reconstructed, philosophers, mathematicians, and logicians have been trying to determine the extent of the commitments (if there are any) implicit in foundational theories. This investigation started in the 60s with the work of Solomon Feferman and others on the so-called' reflection principles', statements expressing, for a given theory S, that S is sound. Famously, Feferman investigated whether, for a foundational theory S, such reflection principles are implicit commitments of S. Since the 60s, Feferman's investigation generated an enormous amount of literature and research programmes. Although much progress has been made in our understanding of implicit commitments, much work is still needed.

    Our conference aims to provide a platform to gather philosophers, mathematicians, and logicians working on implicit commitments and related notions in the context of philosophy and the foundation of mathematics.

    We invite submission of extended abstracts (up to 1000 words, prepared for blind review) for contributed talks. Please submit your abstract by email to the organisers at fomtic24 at gmail.com, and include your institutional affiliation, if you have one, and the title of your abstract in the body of the email. Submissions from underrepresented groups are particularly welcome.

    For more information, see here or contact .
  • 8 - 11 April 2024, 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), Sheffield, UK

    Date & Time: 8 - 11 April 2024, 18:00
    Location: Sheffield, UK
    Deadline: Friday 1 December 2023

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

    Invited Speakers:
    * Georg Gottlob, University of Oxford
    * Phokion Kolaitis, University of California Santa Cruz and IBM Research
    * Andrei Popescu, University of Sheffield
    * Uli Sattler, University of Manchester

    FoIKS 2024 solicits original contributions (as well as extensions of previously published contributions) dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, (parameterized) complexity theory, algorithmics and computation, statistics, and optimisation, among, of course, many others.

    For more information, see https://foiks2024.github.io/ or contact .
  • 6 - 7 April 2024, 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2024), Luxembourg City, Luxembourg (co-located with ETAPS)

    Date & Time: 6 - 7 April 2024, 23:59
    Location: Luxembourg City, Luxembourg
    Deadline: Monday 29 January 2024

    Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.

    CMCS 2024 will take place on April 6-7, 2024, as a satellite event of ETAPS 2024 in Luxembourg City. The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.

    The Programme Committee cordially invites all researchers to submit their papers for presentation.

    For more information, see https://www.coalg.org/cmcs24/ or contact Henning Urbat at .
  • 30 - 31 March 2024, 4th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM IV): "The Connectives in Logic and Language", Beijing, China

    Date: 30 - 31 March 2024
    Location: Beijing, China
    Deadline: Saturday 25 November 2023

    The propositional connectives – and, or, not, if-then, etc. – are fundamental building blocks in formal as well as natural languages. Propositional Logic is the fundament of practically all current systems of logic; every beginning logic course starts with it. Still, the proof theory and semantics of systems of propositional logic are far from trivial, and have been studied intensely by logicians in the last one and a half century, not least in recent decades. Perhaps the most familiar recent work in this area concerns conditionals in formal and natural languages. In this workshop we also focus on the apparently simpler connectives expressing (various versions of) conjunction, disjunction, and negation.

    Researchers working from a cross-linguistic perspective also focus on how the connectives are encoded in different languages, and ask whether classical logic is capable of capturing the variations and universals exhibited. There is also growing interest in the acquisition and processing of natural language connectives. In the context of the hotly discussed Large Language Models (LLMs), understanding connectives presents novel challenges that deserve in-depth exploration.

    The idea behind the TLLM workshops is to bring together logicians and linguists around a specific theme of common interest. Thus, we welcome contributions on any general or particular aspect of the propositional connectives in logic or languag.

    We invite submissions of 2-page abstracts (including references) on any of the broad themes related to the connectives in logic and language as suggested above. After a review procedure, authors of accepted abstracts will have the opportunity to present their papers at the workshop. After the workshop, a volume of full papers (properly refereed) will be published in the Springer LNCS – FoLLI series. Abstracts should be submitted via Easychair.

    For more information, see http://tsinghualogic.net/JRC/tllm/2024connectives/ or contact Jialiang Yan at .
  • 11 - 15 March 2024, Seventeenth International Conference on Computability, Complexity and Randomness (CCR2024), Nagoya, Japan

    Date: 11 - 15 March 2024
    Location: Nagoya, Japan
    Deadline: Friday 22 December 2023

    CCR 2024 is the 17th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics.

    Topic: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic.

    Authors are invited to submit an abstract in PDF format of typically about 1 or 2 pages via Easychair. No full papers will be required for this conference. After the deadline for submissions has expired, submissions may still be accepted for reviewing at the discretion of the PC chairs.

    For more information, see https://sites.google.com/view/ccr2024/.
  • 4 - 5 March 2024, 6th Asian Workshop on Philosophical Logic (AWPL 2024), Sapporo, Japan

    Date: 4 - 5 March 2024
    Location: Sapporo, Japan
    Deadline: Sunday 15 October 2023

    The 6th Asian Workshop on Philosophical Logic will be held on 4-6 March 2024 at Hokkaido University in Sapporo, Japan. The Asian Workshop on Philosophical Logic is a series of events initiated by a group of Asian logicians. Its first installment took place at JAIST in Japan in 2012. The primary goal of the workshop is to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. It emphasizes the interaction between philosophical ideas and formal theories. Topics of interest include, but are not restricted to, non-classical logics, philosophical logics, algebraic logic, as well as their applications in computer science, cognitive science, and social sciences.

    Invited speakers: Patrick Blackburn (University of Roskilde), Ryo Kashima (Tokyo Institute of Technology), Shawn Standefer (National Taiwan University) and Fan Yang (Utrecht University).

    All submissions should present original works that have not been previously published. Submissions should be written in English and follow the LNCS template. Please prepare your submission as a PDF file with a maximum of 12 pages, including the reference list, appendixes, acknowledgements, etc. Submissions should be sent electronically via EasyChair by the corresponding author within the specified deadline. It is expected that at least one of the authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and resubmit for the post-conference proceedings, which will be published in the "Logic in Asia" series.

    For more information, see https://sites.google.com/view/awpl2024/ or contact Katsuhiko Sano at .
  • 28 February - 1 March 2024, Computational approaches to metaphor & figurative language (DGfS 2024), Bochum, Germany

    Date: 28 February - 1 March 2024
    Location: Bochum, Germany
    Deadline: Friday 1 September 2023

    Workshop at the Annual Conference of the German Linguistic Society (DGfS 2024).

    Figurative and non-literal language, such as metaphor, metonymy, or personification, poses a special challenge for computational analysis, since these expressions are not used with their usual, ordinary meanings, as represented in corpus data or recorded in lexical resources, but with different, derived meanings.

    We aim to bring together computational linguists working on the automatic analysis of non-literal language. A special focus will be on non-conventionalized usages, such as novel metaphors or innovative forms of metonymy. In addition, we are particularly interested in approaches applicable to languages other than English, for example low-resource languages or domains.

    We welcome contributions dealing with the identification of (specific forms of) non-literal language, with the interpretation of figurative expressions, or with the relation between literal and non-literal meanings in distributional semantic representations. Further, we are interested in discussing how the meaning of figurative expressions is negotiated, for example in social media, and how distributional semantic representations can be enriched in order to reflect figurative meaning. The workshop language is English for both abstracts and talks.

  • 24 - 26 February 2024, ICAART 2024 Special Session on Large Language Models & Natural Language Processing in Artificial Intelligence (LLMaNLPinAI 2024), Rome, Italy

    Date & Time: 24 - 26 February 2024, 23:59
    Location: Rome, Italy
    Target audience: Computational Linguistics, Logic, Computer Science, AI
    Deadline: Thursday 21 December 2023

    Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Increased power of hardware and software allows collection of large language sources, which require Natural Language Processing (NLP). Large language models (LLM) are important for information processing. LLM and NLP are interrelated and significant in AI.
    This ICAART 2024 Special Session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote computational systems of intelligent language processing and related models of information, language, reasoning, etc.

    Papers must be submitted electronically via the web-based submission system. After thorough reviewing by the special session program committee, all accepted papers will be published in a special section of the conference proceedings book. All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. We expect a post-conference, post-proceedings Special Issue with extended publications based on selected papers presented at NLPinAI at ICAART 2021--2023 and LLMaNLPinAI24.

    For more information, see https://icaart.scitevents.org/LLMaNLPinAI.aspx or contact ICAART Secretariat at .
  • 19 - 23 February 2024, Computer Science Logic 2024 (CSL 2024), Naples, Italy

    Date: 19 - 23 February 2024
    Location: Naples, Italy
    Deadline: Monday 24 July 2023

    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'24 is planned as an on-site event, with support for remote presentations.

    Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.

    Submitted papers must be in English and must provide sufficient detail to allow the Program Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers’ discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The papers should be submitted via Easychair. Please note that the deadline listed is the deadline for abstracts; the deadline for full papers is July 31st.

    For more information, see https://csl2024.github.io/Home/.
  • 15 - 16 January 2024, 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), London, U.K.

    Date: 15 - 16 January 2024
    Location: London, U.K.
    Deadline: Thursday 31 August 2023

    VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

    The program of VMCAI 2024 will consist of refereed research papers as well as invited talks. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques.

    Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming. There will be three categories of papers: regular papers, tool papers, and case studies. Papers in each category have a different page limit and will be evaluated differently. Submissions will undergo a single-blind review process.

    VMCAI 2024 allows authors to submit an artifact along with a paper. Artifacts are any additional material that substantiates the claims made in the paper, and ideally makes them fully replicable.

    For more information, see https://popl24.sigplan.org/home/VMCAI-2024.
  • CfP: Special issue of Australasian Journal of Logic (AJL) on the work of Ross Brady

    Deadline: Monday 15 January 2024

    We are delighted to announce a special issue of the Australasian Journal of Logic (AJL) dedicated to celebrating the remarkable contributions of Ross Brady. Ross's work has made significant advancements in various areas of logic, both technically and philosophically. This special issue aims to honor his invaluable contributions and provide a platform for scholars to engage with his work.

    We invite submissions on topics related to Ross Brady's research interests. We also welcome submissions that explore related areas, recent research, and extensions of Ross Brady's work. Particularly, we encourage contributions focusing on the logic MC of meaning containment and its applications, as well as investigations into metavaluations and metacompleteness.

    For more information, see https://ojs.victoria.ac.nz/ajl/announcement/view/3 or contact Shay Logan at .
  • 14 January 2024, Dafny 2024

    Date & Time: Sunday 14 January 2024, 23:59
    Location: London, UK
    Deadline: Wednesday 11 October 2023

    Dafny is a verification-aware programming language that has native support for specifications and proofs, and is equipped with an auto-active static program verifier. The workshop aims to provide a platform for reports about applications of Dafny in industry, research on programming-language concepts that are relevant to Dafny, and talks about Dafny's role in teaching.

    To give a presentation at the workshop, please submit an anonymous extended abstract (2-6 pages, excluding references) via hotcrp. Please use the acmart two-column sigplan sub-format LaTeX style to prepare your submission. We don’t intend to publish the workshop’s submissions. However, presentations may be recorded and the videos may be made publicly available.

    For more information, see https://popl24.sigplan.org/home/dafny-2024 or contact Stefan Zetzsche at .
  • 12 - 15 January 2024, 1st South American LOgic MEeting (SALOME 1), Cusco, Peru

    Date: 12 - 15 January 2024
    Location: Cusco, Peru
    Deadline: Friday 1 September 2023

    SALOME 1 is the Inaugural meeting of the South American Logic Association. This is part of a project to develop logic in all its aspects (historical, philosophical, mathematical, computational, semiotical) in South America that started in 2015 with the launch of the South American Journal of Logic.

    The event will include the celebration on January 14, 2024 of the 6th edtion of the World Logic Day.

    Talks  related to any aspects of logic, from scholars from all over the world, are welcome.
    Send a one page abstract (in English, Spanish or Portuguese) by September 1st. After the congress, a selection of full papers will be published in the South American Journal of Logic.

    For more information, see https://www.salome2024.org/ or contact .
  • 11 - 12 January 2024, Third Graduate Conference of the Italian Network for the Philosophy of Mathematics (FilMat 2023), Rome, Italy

    Date: 11 - 12 January 2024
    Location: Rome, Italy
    Target audience: PhD students / early postdocs
    Deadline: Friday 15 September 2023

    The FilMat network promotes workshops and conferences open to Italian and international researchers in the philosophy of mathematics. To emphasize its attention to those at early stages of their careers, the network is glad to announce its third graduate conference, to be held at the Tor Vergata University of Rome. We expect to host up to 6-8 contributed talks by graduate and early career speakers of any nationality, selected by double-blind review.

    The conference will be held exclusively in person and no link will be provided to attend the conference remotely.

    Submissions of original contributions are invited in any area of philosophy of mathematics. In particular, topics of interest include the philosophy of mathematical practice, the study of the reciprocal influence between history and philosophy of mathematics, the study of philosophical aspects in the mathematical modelling of empirical and social sciences, the use of formal methods in foundational settings.

    Abstracts must be written in English, have a *maximum length of 1500 words (references included)*, and should be prepared for blind-review, with all identifying details (name, affiliation, email, and abstract title) in a separate file. Submissions should be sent in pdf format to: conference at filmatnetwork.com

Past Conferences

  • 2 - 5 July 2024, Leeds Computability Days 2024: Computability, Reverse Mathematics, and Topology (LCD 2024), Leeds, UK

    Date: 2 - 5 July 2024
    Location: Leeds, UK

    We are pleased to announce that Leeds Computability Days 2024: Computability, Reverse Mathematics, and Topology (LCD 2024) will take place 02-05 July 2024 at the University of Leeds.

    Student members of the ASL may apply for modest travel awards to attend (deadline 31 March 2024).

    For more information, see https://www.computability.org/lcd2024/ or contact Paul Shafer at .
  • 1 - 3 July 2024, International Logic Olympiad 2024, Stanford, (USA)

    Date: 1 - 3 July 2024
    Location: Stanford, (USA)

    Offering high school students worldwide a chance to showcase excellence in logic and problem-solving, this contest is designed by the Stanford Logic Group, with aims to internationalize logic education and culminates in an on-campus final round at Stanford University.

    For more information, see https://www.logicolympiad.org/.
  • 8 - 12 July 2024, 4th Tsinghua Logic Summer School, Beijing, China

    Date: 8 - 12 July 2024
    Location: Beijing, China
    The Tsinghua University University of Amsterdam Joint Research Centre for Logic initiated a Logic Summer School Program in the year 2021. The program is primarily aimed at advanced undergraduate students, graduate students, and early career researchers in philosophy, computer science, mathematics, linguistics, cognitive sciences, and so on. Students and colleagues can learn here about the latest developments in logic interfacing with the aforementioned disciplines, including their theoretical results and technical backgrounds. The courses are particularly designed to supplement the logic courses that are taught in the usual curriculum.

    Courses:
    * Team semantics: Linguistic and Philosophical Applications by Maria Aloni (UvA)
    * The Modal μ-calculus by Yde Venema (UvA)

    For more information, see http://tsinghualogic.net/JRC/toss/toss2024cfp/ or contact Chenwei Shi at .
  • 24 June - 5 July 2024, Vienna Inner Model Theory 2024, Vienna, Austria

    Date: 24 June - 5 July 2024
    Location: Vienna, Austria

    There will be two consecutive Inner Model Theory Events in Vienna this summer.

    1) June 24-28, 2024 at the Erwin Schrödinger Institute (ESI), Vienna
    This will be a conference focussing on new developments in inner model theory and connections to Large Cardinals, Determinacy and Forcing Axioms. The first week will be an invitation only workshop. Please let us know as soon as possible if you are interested in attending this meeting as space is limited.

    2) July 1-5, 2024 at TU Wien
    In this second week there will be three tutorials focussing on recent developments in inner model theory by Gabriel Goldberg, Nam Trang, and Farmer Schlutzenberg. The talks will take place in the mornings, followed by a light lunch buffet and ample of time for questions and discussions in smaller groups in the afternoons.

    For more information, see https://vimt2024.conf.tuwien.ac.at/ or contact Sandra Müller at .
  • 20 June 2024, Retirement Workshop of Klaas Pieter Hart on Logic, Set Theory andTopology

    Date & Time: Thursday 20 June 2024, 03:30-16:45
    Location: Delft (the Netherlands)

    An afternoon of talks in honour of KP Hart's retirement .
    Speakers: Alan Dow, Istvan Juhasz, Teun Koetsier and Ionica Smeets,

  • llrclogo.JPG

    13 June 2024, LLRC conference: Critical, ethical, and practical use of AI in the language classroom, Leiden, the Netherlands

    Date & Time: Thursday 13 June 2024, 09:00-17:00
    Location: Cleveringaplaats 1, Leiden, the Netherlands
    Target audience: language teachers, language learner researchers
    Costs: 20

    On June 13th 2024, the Language Learning Resource Centre (Leiden University) is organizing a one-day conference on the topic of Critical, ethical, and practical use of AI in the language classroom. The keynote will be held by Esther van der Stappen (lector Digital Education, Avans University of Applied Sciences). In addition to the keynote, the day will host a combination of good-practice presentations, two workshops, and research presentations on the topic. Please find the preliminary program and registration form on the website. Note thatearly bird registration ends on May 26th.

  • 11 - 14 June 2024, Workshop "Ramsey Theory in Logic, Combinatorics and Complexity" (RaTLoCC 2024), Pisa, Italy

    Date: 11 - 14 June 2024
    Location: Pisa, Italy

    The workshop wants to offer an opportunity for the communities working in proof theory of arithmetic, in reverse mathematics, in finite and infinite combinatorics of Ramsey theory, in proof complexity, and in bounded arithmetic, to be exposed to one another's recent results, methods, and goals.

    The goals of the workshop are to stimulate the interaction between researchers in the above-mentioned areas, to enhance the transfer of methods from one area to the other, as well as to set the ground for a unifying view on the logico-combinatorial study of combinatorial principles, such as Ramsey-type statements.

  • 10 - 13 June 2024, Nordic Logic Summer School, Reykjavik, Iceland

    Date & Time: 10 - 13 June 2024, 09:00-18:00
    Title: Fifth Nordic Logic Summer School (NLS 2024)
    Location: Reykjavik, Iceland
    Target audience: advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject
    Costs: 200 euros for early student registration

    The Fifth Nordic Logic Summer School (NLS 2024) takes place in Reykjavik in June 2024. NLS is organized by the Scandinavian Logic Society and its intended audience is advanced master students, PhD-students, postdocs, and experienced researchers wishing to learn the state of the art in a particular subject. As usual, this year we have an exciting lineup of five lecturers on a wide spectrum of topics: Jandson Ribeiro (Philosophical logic), Sandra Kiefer (Learning and logic), Miika Hannula (Model theory), Greg Restall (Proof theory), Rineke Verbrugge (Logic, CS and AI).

    For more information, see https://scool24.github.io/NLS/ or contact Nina Gierasimczuk at .
  • 3 - 7 June 2024, 10th Indian School on Logic and its Applications

    Date: 3 - 7 June 2024
    Location: Goa, India
    Target audience: Undergraduate students, post graduate students and research scholars
    Costs: INR 1000

    The Indian School on Logic and its Applications will take place at IIT GOA from 3rd to 7th June, 2024. ISLA is a biennial event of the Association for Logic in India (ALI). The summer school's short classes will focus on Automata & Semigroups and on Infinite Game Theory. The registration is open and will be available until May 20, 2024. The school welcomes students from all over the world and from diverse fields of study, including Mathematics, Philosophy, Computer Science, Linguistics, and other related areas.

    The invited speakers are:
    - Infinite Games:  Dr. Juan P. Aguilera (Vienna University of Technology)
    - Automata & Semigroups: Dr. K. Narayan Kumar (Chennai Mathematical Institute),  Dr. Kamal Lodaya (The Institute of Mathematical Sciences) and Dr. Amaldev Manuel (Indian Institute Of Technology, Goa)

    For more information, see https://iitgoa.ac.in/ISLA24/ or contact Amaldev Manuel at .
  • 3 - 21 June 2024, CMU Summer School in Logic and Formal Epistemology, Pittsburgh, USA

    Date: 3 - 21 June 2024
    Location: Pittsburgh, USA

    The Department of Philosophy at Carnegie Mellon University hosts a summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences. During this three-week, intensive program, we introduce a small group of approximately 25 promising students to cross-disciplinary fields of research at an early stage in their career, forging lasting links between these disciplines along with friendships and professional contacts. 

    Programme:
    June 3-7: Francesca Zaffora Blando & Krzysztof Mierzewski "Chance and Randomness"
    June 10-14: Jonas Frey & Reid Barton "Categorical Semantics and Synthetic Topology"
    June 17-21: Clark Glymour & Kun Zhang "The Logic of Discovery"

  • 13 - 17 May 2024, DiλLL 2024: Differential λ-Calculus and Differential Linear Logic - 20 Years Later, Marseille, France

    Date: 13 - 17 May 2024
    Location: Marseille, France

    Twenty years after the publication of Ehrhard and Regnier’s first seminal paper on the subject, we are delighted to announce a conference on Differential λ-calculus and Differential Linear Logic, nicknamed DiλLL 2024. The programme will consist in a series of invited talks, a good proportion of which will be tutorials, targeted at young researchers as well as non-specialists. It will also include surveys of the main advances obtained in the course of twenty years, as well as research talks on current topics. For young researchers, it will also be possible to display posters in the premises of the conference during the whole week, in order to foster discussion around your work.

  • poster-proofs-rules-and-meanings.png

    11 - 12 April 2024, Workshop "Proofs, Rules, and Meanings"

    Date: 11 - 12 April 2024
    Location: St Andrews (Scotland) and online
    Costs: free

    We invite registrations for the workshop 'Proofs, Rules, and Meanings'. This interdisciplinary event is set to take place at the Arché Research Centre, University of St Andrews, (and livestreamed via Microsoft Teams) on 11th and 12th April 2024. It explores the relationship between proofs, rules, and meanings through the lens of proof-theoretic semantics.

    Emphasizing the interdisciplinary nature of the topics, this workshop will feature presentations on:
     - the contemporary logical and philosophical dimensions of proof-theoretic semantics;
     - its historical roots and precursors; and
     - its fruitful applications in philosophy, linguistics, computer science, mathematics, and beyond.

  • 6 - 11 April 2024, 27th European Joint Conferences on Theory and Practice of Software (ETAPS 2024), Luxembourg City, Luxembourg

    Date: 6 - 11 April 2024
    Location: Luxembourg City, Luxembourg

    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. ETAPS 2024 is the twenty-seventh event in the series.

    Main 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

    For more information, see https://etaps.org/2024.
  • 7 - 8 March 2024, 14th Day on Computational Game Theory (CGT Day), Bonn, Germany

    Date: 7 - 8 March 2024
    Location: Bonn, Germany

    The Day of Computational Game Theory (CGT Day) serves as a platform for researchers in algorithmic game theory, social choice, and algorithmic mechanism design to connect. Especially young researchers are encourged to present and discuss their work in a relaxed and welcoming atmosphere. The CGT Day alternates every year between Germany and the Netherlands and this is its 14th edition.

    Invited Speakers: Michael Feldman (Tel-Aviv University), László A. Végh (London School of Economics and Political Science).

  • 8 - 10 February 2024, 7th Workshop on Generalised Baire Spaces, Bristol, UK

    Date: 8 - 10 February 2024
    Location: Bristol, UK

    This is the seventh in a series of workshops that have taken place from 2014. These workshops aim to connect researchers working in the descriptive set theory of Baire and Cantor spaces of functions on uncountable cardinals and its connections with infinite combinatorics and model theory. The upcoming workshop features several well-known speakers and aims to connect this area with large cardinals. There will be ample time for discussion and collaboration.

    If you wish to deliver a short contributed talk or be considered for funding support, please contact the organisers. Some funding is available for UK based Ph.D. students.

    For more information, see https://www.bristol.ac.uk/maths/events/2024/philip-welch-event-.html or contact Philipp Schlicht at , or Philip Welch at .
  • 15 January 2024, Formalize!(?) – 4: A philosophical & educational perspective on formalization in mathematics, Online

    Date: Monday 15 January 2024
    Location: Online

    A Zoom workshop to celebrate the World Logic Day 2024 (which is actually a day before this event. Registration is free of charge and everybody is welcome to attend.

    This series of events began with the theme of foundations in the context of automated theorem proving: What are the chances and problems of the act of formalization in the context of mathematics? After three years on the topic, we have realized that this context is too narrow to understand formalization and thus we have we added a yearly theme (although not all talks are necessarily aligned with it). This year we focus on historical perspectives: How were different formal systems implemented ? How much choice was there? Is our current view an ironed out history, written by the winner of the debate?

    For more information, see https://sites.google.com/view/wldzurich2024 or contact Jose Antonio Perez Escobar at , or Deniz Sarikaya at .
  • 9 - 12 January 2024, Lean Together 2024, Online

    Date: 9 - 12 January 2024
    Location: Online

    Lean Together is an annual meeting for users, developers, and fans of the Lean proof assistant and its library mathlib. At this meeting we discuss ongoing projects in formalized mathematics and software verification, as well as infrastructure and outreach for Lean and its community. We welcome participants from other proof assistant communities, as well as people who are inexperienced with proof assistants but want to learn more.

    For more information, see https://leanprover-community.github.io/lt2024/ or contact David Thrane Christiansen at , Robert Y. Lewis at , or Patrick Massot at .
  • 8 January 2024, Workshop on Directions and Perspectives in the Lambda-Calculus, Bologna, Italy

    Date: Monday 8 January 2024
    Location: Bologna, Italy
    Costs: Davide Barbarossa, Gabriele Vanoni

    The concept of computation is interesting in philosophy, mathematics, and of course computer science. The λ-calculus is certainly one of the main tools for studying this concept: after almost 100 years, why are we still working on this formalism (or related subjects)? And where are we going? What are the scientific or philosophical challenges that λ-calculus has proposed? What are the ones that it may propose in the future?

    The aim of the workshop is to gather mostly young (possibly non permanent) researchers together in order to address the above mentioned questions. The style will not necessarily be of a technical nature, but rather of overview and conceptual one.

MoL and PhD defenses

  • 4 July 2024, Master of Logic defense, Daan Schoneveld

    Date & Time: Thursday 4 July 2024, 13:00
    Title: On Quantum Data Structures
    Location: Room B1.25, Science Park 904, Amsterdam
    Supervisor: Ronald de Haan & Stacey Jeffery
  • 28 June 2024, PhD defense, Jana Sotáková

    Date & Time: Friday 28 June 2024, 11:00
    Title: Isogenies and cryptography
    Location: Aula, Oude Lutherse Kerk, Singel 411, Amsterdam / Online
    Promotor: Christian Schaffner
    Copromotor: Serge Fehr, Peter Bruin

    Should you not be able to attend the defense, you may still be able to watch it via the following link: https://hva-uva.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=171a3fab-6028-41a5-8285-b15600bef159

    For more information, contact Jana Sotakova at .
  • 25 June 2024, Master of Logic defense, Ludovico Deponte

    Date & Time: Tuesday 25 June 2024, 15:00
    Title: Fishing for biases: An experimental and theoretical inquiry with Semantic Match
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Giovanni Cina
  • 19 June 2024, Master of Logic defense, Lingyuan Ye

    Date & Time: Wednesday 19 June 2024, 13:00
    Title: Algebraic Monoidal Model Categories and Path Category Structures for Effective Kan Fibrations
    Location: Room L3.36, Science Park 900, Amsterdam
    Supervisor: Benno van den Berg
  • 6 June 2024, Master of Logic defense, Wessel Kroon

    Date & Time: Thursday 6 June 2024, 14:00
    Title: Knowledge as Issue-Relevant Information
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Alexandru Baltag
  • 5 June 2024, PhD Defence, Fatemeh Seifan

    Date & Time: Wednesday 5 June 2024, 17:00
    Title: Coalgebraic Fixpoint Logic: Expressivity and completeness results
    Location: Aula, Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Helle Hansen & Yde Venema
    Copromotor: Sebastian Enqvist
    For more information, contact Yde Venema at .
  • 22 May 2024, Master of Logic defense, Swapnil Ghosh

    Date & Time: Wednesday 22 May 2024, 10:00
    Title: An Exploration of Contraction Free Arithmetic
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Dick de Jongh & Lev Beklemishev
  • 17 May 2024, PhD Defense, Ece Takmaz

    Date & Time: Friday 17 May 2024, 11:00
    Title: Visual and Linguistic Processes in Deep Neural Networks: A Cognitive Perspective
    Location: Aula, Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Raquel Fernández
    Copromotor: Sandro Pezzelle
    For more information, contact Ece Takmaz at .
  • 14 May 2024, PhD Defence, Nicola De Cao

    Date & Time: Tuesday 14 May 2024, 16:00
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Promotor: Ivan Titov
    Copromotor: Wilker Aziz
    For more information, contact Nicola De Cao at .
  • 30 April 2024, Master of Logic defense, Fiona Spencer

    Date & Time: Tuesday 30 April 2024, 14:00
    Title: Wondering about Mood in Romance: the view from Italian inquisitive predicates
    Location: Room F3.20, Science Park 107, Amsterdam
    Supervisor: Maria Aloni & Tom Roberts
  • 26 April 2024, Master of Logic defense, Jori Koolstra

    Date & Time: Friday 26 April 2024, 09:00
    Title: Conceptualization as Explanatory Coherence: An Application to Set Theory's Potentialism vs. Minimalism Debate
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Thomas Schindler
  • 26 March 2024, Master of Logic defense, Pelle Nelissen

    Date & Time: Tuesday 26 March 2024, 13:00
    Title: Consistent Judgment Aggregation in Liquid Democracy: Utilizing Delegation Structure in the Ranked Agenda Rule
    Location: Room L2.07, Science Park 900, Amsterdam
    Supervisor: Ulle Endriss
  • 18 March 2024, Master of Logic defense, Ramón de Villegas

    Date & Time: Monday 18 March 2024, 13:00
    Title: Ramsey Sentences as a philosophical tool, a viability study
    Location: Room L3.36, ILLC Lab42, Science Park 900, Amsterdam
    Supervisor: Sebastian De Haro Ollé
  • 26 February 2024, Master of Logic defense, Elynn Weijland

    Date & Time: Monday 26 February 2024, 10:00
    Title: An Analysis of Visual and Morphosyntactic Cues in Biased Polar Questions in Dutch
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Floris Roelofsen & Marloes Oomen
  • Omslag_v5_Voorkant_buiten_klein.jpg

    23 February 2024, PhD Defense, Bas Cornelissen

    Date & Time: Friday 23 February 2024, 11:00
    Title: Measuring musics: Notes on modes, motifs, and melodies
    Location: Aula, Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Jelle Zuidema
    Copromotor: Ashley Burgoyne and Henkjan Honing

    On 23 February 2024 at 11.00, Bas Cornelissen will publicly defend his doctoral dissertation in the Aula. His dissertation develops computational methods to measure properties of musical traditions, with the aim of comparing them. It consists of a series of studies covering, amongst others, modality in Western plainchant, melodic contour, and rhythmic motifs in music and animal vocalizations. The dissertation proposes a method to classify the mode of chants by segmenting melodies in 'natural units' corresponding to textual units. This even works relatively well when only the contour of the melody is used. We then find that the principal components of melodies approximate cosine functions, which leads to the new 'cosine contour' representation. However, those melodic contours do not seem to cluster in discrete types, which argues for adopting a continuous view of contour typology. The dissertation ends with an algorithmic reconstruction of a piece by the composer Arvo Pärt, highlighting the formal character of his compositions.

    The ceremony will take place in the Aula of the University of Amsterdam (Oude Lutherse Kerk, Singel 411, Amsterdam) and is open for public. You can also follow the ceremony remotely via this live stream.

    For more information, see https://bascornelissen.nl/phd or contact Bas Cornelissen at .
  • 22 February 2024, Master of Logic defense, Abra Ganz

    Date & Time: Thursday 22 February 2024, 14:30
    Title: Fine-tuning for Randomized Smoothing
    Location: Online
    Supervisor: Martin Vechev
  • 6 February 2024, MoL defense, Reinoud Pino

    Date & Time: Tuesday 6 February 2024, 12:00
    Title: Who's Afraid of Quantum Causation? Causal Explanations and Bell Phenomena
    Location: Room L2.07, ILLC Lab42, Science Park 900, Amsterdam
    Supervisor: Sonja Smets
  • 31 January 2024, PhD defense, Jan Rooduijn

    Date & Time: Wednesday 31 January 2024, 11:00
    Title: Fragments and Frame Classes: towards a uniform proof theory of modal fixed points
    Location: Aula, Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Yde Venema
    Copromotor: Johannes Marti
    For more information, contact Jan Rooduijn at .
  • 30 January 2024, PhD defense, Guillermo Menéndez Turata

    Date & Time: Tuesday 30 January 2024, 13:00
    Title: Cyclic Proof Systems for Modal Fixpoint Logics
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Promotor: Yde Venema
    Copromotor: Bahareh Afshari
  • 29 January 2024, Master of Logic defense, Jasper Stammes

    Date & Time: Monday 29 January 2024, 15:00
    Title: Ordinal Reductions on Choice Principles
    Location: Room F3.20, Science Park 107, Amsterdam
    Supervisor: Benno van den Berg & Lorenzo Galeotti
  • 22 January 2024, MoL Defense, Max Pohlmann

    Date & Time: Monday 22 January 2024, 16:30
    Title: Analytic Nondualism: Why Reality is Objectively Subjective
    Location: Online
    Supervisor: Prof. Dr. Sonja Smets
    For more information, contact Max Pohlmann at .

Projects and Awards

  • Blanke_T.jpeg.jpg

    Tobias Blanke awarded ERC Advanced Grant

    We are pleased to announce that Tobias Blanke has been awarded an ERC Advanced Grant, to work on Deep Culture - Living with Difference in the Age of Deep Learning (Deep Culture).

  • Maris Ozols (ILLC-CWI) and Florian Schreck (IoP) receive NGF Quantum Technology programme award

    While quantum computers offer unprecedented opportunities for speeding up certain types of computations, their development remains very challenging. Maris Ozols (ILLC-CWI) and Florian Schreck (UvA-IoP) propose to take advantage of existing but unused internal structures of quantum systems, such as individual atoms, for quantum computation and studies of fundamental theories of Nature. They will develop new algorithms to achieve this and test them with one of the leading platforms for quantum computing, an array of neutral atoms cooled to temperatures close to absolute zero.

Funding, Grants and Competitions

  • CWI Research Semester Programmes 2025 - 2027

    Deadline: Thursday 27 June 2024

    CWI has formulated the ambition to facilitate and strengthen joint research activities of the Dutch mathematics and computer science communities by offering a meeting place for research and collaboration. CWI Research Semester Programmes aim to establish a common base for further scientific contributions, build and strengthen national research communities on specific topics, and allow researchers – junior and senior ­– to expand their network for further collaborative initiatives.

    We solicit proposals for CWI Research Semester Programmes for the period 2025-2027. CWI can accommodate two more programmes in 2025, and up to four in both 2026 and 2027. A CWI Research Semester Programme consists of a coherent set of meetings and activities in which researchers come together to collaborate on important or emerging research topics over a longer period, typically for the duration of a semester. The format of a programme is flexible. It may, for example, consist of a series of workshops, a school or masterclass for PhD students, a bootcamp, weekly or monthly seminars or a reading group.

  • International.png

    VCLA International Student Awards 2024 in Logic and Computer Science

    Deadline: Friday 31 May 2024

    The Vienna Center for Logic and Algorithms at TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:
    - Outstanding Master Thesis Award*
    - Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)*
    *The degree must have been awarded between January 1st, 2023 and December 31st, 2023 (inclusive).

    For more information, see https://www.vcla.at/2024/04/call-for-nominations-vcla-international-student-awards-2024/ or contact Shqiponja Ahmetaj and Anela Lolic at .
  • NWO Large-scale Research Infrastructure (LSRI) – National Roadmap Consortia 2024

    Deadline: Tuesday 28 May 2024

    This call concerns the second funding round for the National Roadmap for Large-Scale Research Infrastructure 2021 (LSRI). With this call NWO aims to facilitate the realisation of high-quality LSRIs that are accessible for the Dutch research community and that enable groundbreaking scientific innovation and breakthroughs. Grant applications can only be submitted by consortia with consent of one of the nine groups defined in the Roadmap LSRI 2021. A consortium can request a minimum of € 10,000,000 (NWO-contribution) for an LSRI-project with a project duration of 10 years. The deadline for a statement of intent is on 28 May 2024.

  • Grassroots+ grant

    Deadline: Tuesday 21 May 2024
    Have you previously renewed your teaching with a promising ICT tool through an education grant? Would you like this to apply more broadly within the UvA? Then please apply now for the Grassroots+ grant! This grant offers 35,000 euro and also supports educators technically and didactically in applying their ICT projects more broadly.
  • osca-logo.png

    OSCAwards 2024: Call for Open Science Awards

    Deadline: Thursday 16 May 2024

    The Open Science Awards 2024 are coming up! Do you have a project in mind that deserves recognition for making research more transparent? The Open Science Community Amsterdam (OSCA) is awarding eight prizes of 400 euros each to projects facilitating and highlighting various aspects of Open Science. Nominate your own or someone else's project for the OSCAwards by May 16th.

    The OSCAwards celebrate contributions to open science and transparent research culture. Researchers, educators, support staff, and students at UvA, VU, HvA, and Amsterdam UMC can submit case studies. The OSCAward Ceremony will take place on June 10th, 17:00 at Spui25 in Amsterdam. Mark your calendars and stay tuned for the event programme!

  • NWO Impact Explorer

    Deadline: Tuesday 30 April 2024

    A small top-up, for ongoing research-projects in the open competition or talent line, to explore an unforeseen opportunity for impact.

    This Call for Proposals will open on 1 May 2023 and will stay open until the funding limit has been reached, or otherwise until 2pm (CEST) on 30 April 2024.

  • Dov Gabbay Prize for Logic and Foundations

    Deadline: Tuesday 30 April 2024

    The Dov Gabbay Prize for Logic and Foundations is an international research prize rewarding outstanding and inspirational contributions in Logic and Foundations, meant to encompass Mathematical, Philosophical, and Computational Logic. It targets active researchers combining foundational insight and conceptual innovation with sophisticated theoretical analysis.

    For more information, see https://dgp.iloaf.org/dgp.html or contact .
  • NGF AiNed XS Europe

    Deadline: Thursday 18 April 2024

    NGF AiNed XS Europe is intended to encourage curiosity‐driven and bold research that involves the relatively rapid exploration of a promising idea in the field of AI. Researchers who are professors, lecturers and/or have a PhD may submit a proposal if they have a salaried position for at least the duration of the application process and execution of the project. Applicants can apply for a sum of up to €80,000. The maximum term of the proposed project is 12 months. The deadline for this call is on 18 April 2024. There will be another round with a deadline on 8 October 2024. 

    For more information, see https://www.nwo.nl/en/calls/ngf-ained-xs-europe-24-2l or contact Sam Woldringh at .
  • E.W. Beth grant 2024

    Deadline: Wednesday 17 April 2024

    Researchers may apply for a grant to cover expenses associated with research, study trips, translation or the organization of scientific meetings with a maximum of EUR 3,000. Applications for a grant must concern research focused on modern logic, philosophy of science, history of logic, history of the philosophy of science or scientific philosophy in general.

  • Call for Nominations: VvL Master's Thesis Award for Logic and Foundations of Mathematics, Computer Science, and Artificial Intelligence 2024

    Deadline: Monday 15 April 2024

    The Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) is happy to announce the VvL Master's Thesis Award 2024.

    Any Master's thesis with a topic in logic or in philosophy of the exact sciences (interpreted broadly, including, for example, foundations of mathematics and computer science, applications in artificial intelligence, models of cognition, causal inference, and the formal study of natural language) is eligible to be nominated for the award, provided that it is written as part of a Master's program at a Dutch university and the corresponding Master's graduation date lies between 1 January 2023 and 31 December 2023.

    A thesis must be nominated by the supervisor(s). The thesis (in PDF format) and a one page letter by the supervisor giving the reasons for nomination should be sent to . Submissions will be selected for the prize by the VvL Master's thesis award committee based on their academic qualities. More than one prize may be awarded per edition.

  • NWO Hop-On Call for Researchers Based in Ukraine: NWO-NRFU Partnership Initiative

    Deadline: Monday 8 April 2024

    NRFU and NWO have agreed on cooperation and joining forces. Scientists in Ukraine will have the opportunity to cooperate with scientists in the Kingdom of the Netherlands and thus continue their scientific careers under difficult conditions.

  • NWIB Visiting Professors Programme

    Deadline: Monday 1 April 2024

    The NWIB Visiting Professors Programme offers assistant professors, associate professors and full professors at participating universities (see below) a unique opportunity to work undisturbed in an inspiring and stimulating environment. This programme enables you to stay at one of the five Netherlands Scientific Institutes Abroad (NWIBs) for a period of three months to conduct research, give lectures and contribute to the intellectual climate at the Institute.

  • NWO Vidi Grant 2023

    Deadline: Tuesday 26 March 2024

    Vidi is a funding instrument in the NWO Talent Programme. It allows researchers who have already spent several years doing postdoctoral research to develop their own innovative line of research, and to appoint one or more researchers for this.

    The Vidi target group consists of researchers in transition to leadership, i.e. ready for the establishment of a research group or the expansion of a recent research group. The Vidi can contribute to the researcher's development in this area. The Vidi grant is aimed at researchers with academic qualities that clearly exceed what is customary and demonstrate the development of leadership and mentorships skills.
    Preproposal deadline: 2 November 2023 14:00 hrs.

  • Responsible AI grant

    Deadline: Friday 15 March 2024

    UvA Teaching & Learning Centre Central (TLC Central) and the Institute for Interdisciplinary Studies (IIS) are working together on various themes within educational innovation with the Institution Plan (IP) Theme grant. The theme of the grant changes every 1.5 years. Are you an UvA educator or employee and do you have an idea that may improve education that fits the theme? Then you can apply for the grant. Each grant theme has three rounds of applications and three batches.

  • VSB fonds 2024

    Deadline: Friday 1 March 2024

    The VSBfonds Beurs is an initiative by the VSBfonds to financially support socially engaged students who want to continue their studies abroad. Check their website to do the Quickscan in order to determine whether you're eligible for the Beurs or not, however, all students are encouraged to apply for the Beurs. Application starts now, September 2023. The deadline is 1 March 2024.

    For more information, see https://www.vsbfonds.nl/studiebeurzen or contact Naomi de Bruin at .
  • European-Commission-logo-30-150x150.jpg

    MSCA Staff Exchanges 2023 (HORIZON-MSCA-2023-SE-01)

    Deadline: Wednesday 28 February 2024
    MSCA Staff Exchanges promote innovative international, inter-sectoral and interdisciplinary collaboration in research and innovation through exchanging staff and sharing knowledge and ideas at all stages of the innovation chain.
  • PhDs in the Humanities 2024

    Deadline: Tuesday 27 February 2024

    The aim of the PhDs in the Humanities funding instrument is to provide research talent with the opportunity to carry out an independent PhD project.

    For more information, see https://www.nwo.nl/en/calls/phds-in-the-humanities-2024 or contact Robert van Rooij at .
  • ETAPS Test of Time Award 2024

    Deadline: Monday 5 February 2024

    The ETAPS Test of Time Award, instituted 2017, recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS. The winners of the ETAPS Test of Time Award receive a recognition plaque at ETAPS and a cash award of 1200€ which is shared among the authors.

    Nominations for the 2024 ETAPS Test of Time Award are solicited from the ETAPS community. A nomination should be endorsed by at least 2 people other than the person submitting nomination. Self-nominations are not allowed.

    For more information, see https://etaps.org/awards/test-of-time/ or contact Don Sannella at .
  • KNAW Early Career Partnerships

    Deadline: Thursday 1 February 2024

    The KNAW Early Career Partnerships are intended to encourage early-career researchers to enter into or develop interdisciplinary partnerships that will lead to new insights in research across all domains. Postdoctoral researchers at the beginning of their careers can apply for up to EUR 10,000 to organise an interdisciplinary meeting in the Academy's Trippenhuis complex or another location of their choice.

  • FGw Aspasia Fund

    Deadline: Monday 15 January 2024

    The UvA FGw Aspasia Fund was established as an encouragement for women faculty members, to help them prepare to take a next step in their career by strengthening their academic profile.  The fund facilitates small grants for lecturers (D), assistant professors (UD) and associate professors (UHD) which can be tailored to individual needs that fit the applicants’ career stage as well as their personal circumstances in terms of, for example, care duties. Women can apply for temporary increase of research time, but also for (small) travel grants, research support, et cetera. The Aspasia Fund is currently inviting applications for the academic year 2024-2025.

  • logo_khmw_300.png

    KHMW Dissertation Prize Interdisciplinarity 2024

    Deadline: Monday 15 January 2024

    You can now submit nominations for the KHMW Dissertation Prize Interdisciplinarity 2024, honoring research with a distinctive interdisciplinary character that transcends the boundaries between the classical alpha/beta/gamma scientific domains. The €10,000 prize is intended as an encouragement for researchers who completed their Ph.D. between September 1, 2022, and August 31, 2023.
    The prize, established since 2023 by the Dr. Elizabeth Schram-Mulley (ESM) Foundation, is awarded by the Royal Holland Society of Sciences. The foundation honors the memory of and manages the legacy of Dr. Schram-Mulley, who, as a publisher and benefactor, held research and education in high regard.

    For more information, see https://khmw.nl/khmw-proefschriftprijs-interdisciplinariteit/ or contact KHMW secretariat at .
  • Ertegun Graduate Scholarship Programme in the Humanities

    Deadline: Friday 5 January 2024
    Oxford is immensely proud to be able to offer the Ertegun Scholarships in the Humanities. The University has one goal in mind when selecting Ertegun Scholars: to choose the very best students who will realise Mica Ertegun’s Mission and one day become leaders in their chosen fields.
    For more information, see https://www.ertegun.ox.ac.uk/scholarships or contact .

Open Positions at ILLC

Open Positions, General

  • PhD position in Computational Law (Tübingen, Germany)

    Deadline: Saturday 20 July 2024

    The Computational Law Lab at the University of Tübingen is searching for a PhD student / doctoral candidate in Machine Learning and Law (m/f/d; E 13 TV-L, 75 %). The position is limited for three years. Remuneration is in accordance with the E 13 TV-L collective agreement. We seek motivated candidates with a strong background in computer science or
    related fields (a master's degree is mandatory) and with interest in interdisciplinary
    work.

    The Computational Law Lab is an interdisciplinary research hub focuses on the interplay between artificial intelligence and law. Our lab is committed to exploring the application of
    machine learning techniques, particularly Natural Language Processing, in the legal
    field. Our focus extends beyond sophisticated computational models to
    the broader realm of how machine learning interacts with legal frameworks.

  • PhD position in Quantitative logics and complexity theory (Sheffield, UK)

    Deadline: Monday 1 July 2024

    I am looking for a motivated PhD student to join the Foundations of Computation group of The University of Sheffield. The topic of the PhD project is quite flexible, but should relate to my current research directions in quantitative logics and complexity theory. Here possible directions are temporal logics, logical foundations of neural networks, and logical foundations of database theory.
    This PhD studentship will fund the full (UK or Overseas) tuition fee and provide a tax-free stipend at the standard UKRI rate (currently £19,237 for 2024/25) for 3.5 years. In addition, both the Department and research group provide funding for attending conferences.

  • PhD positions in TCS and/or combinatorial optimization, Copenhagen (Denmark)

    Deadline: Monday 1 July 2024

    The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization. The PhD students will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordstrom, which is active at both the University of Copenhagen and Lund University on either side of the Oresund Bridge. These positions are available for period of 3-5 years, depending on the current education level of the applicant. All our PhD positions are fully funded, employed positions (including travel money) that come with an internationally competitive salary. The starting date is flexible, but will be in October 2024 or thereafter.

    The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This creates a very special environment, where we do not only conduct in-depth research on different theoretical and applied topics, but where different lines of research cross-fertilise each other and unexpected and exciting synergies often arise. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While the focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.

    For more information, see https://jakobnordstrom.se/openings/PhD-UCPH-240701.html or contact Jakob Nordstrom at .
  • path46.png

    PhD/Postdoc position in Formal Methods, Konstanz (Germany)

    Deadline: Sunday 30 June 2024

    The newly established research group in Formal Methods for Software Engineering at the University of Konstanz, led by TT-Prof. Emanuele D'Osualdo, is inviting applications for a PhD position or a Postdoctoral position in Formal Methods, Verification and Programming Languages. The PhD position comes with a 4y contract and a competitive salary (100% TV-L E13), the Postdoc position comes with a 2 years contract with possible extensions and a competitive salary (100% TV-L E13). Ideally, the successful candidate would be able to start before the beginning of the winter semester. The working language is English.

    The focus of the group is verification of concurrent systems, foundations of logics and types, and verification of probabilistic programs. Outstanding people, even with only a partial match to these topics, are encouraged to apply. As a member of our team, you will have the opportunity to contribute to state-of-the-art research and interact with high-profile international collaborators (e.g. from Uni. Toronto, Cornell, MPI-SWS, Imperial, Groningen).

  • Two open full profoessor (W3) positions in (Computer) Linguistics, Tübingen (Germany)

    Deadline: Thursday 20 June 2024

    The Faculty of Humanities at the University of Tübingen invites applications for two positions at the Institute of Linguistics as (1) a W3 (Full) Professor of Computational Linguistics, and (2) a W3 (Full) Professor of General / Computational Linguistics, both to commence as soon as possible.

  • PhD Positions Available in Formal Methods for Reversible Concurrent Calculi, Georgia (USA)

    Deadline: Monday 10 June 2024

    The Concurrency In Reversible Computations project at Augusta University (Georgia, USA) is actively seeking a PhD student to fund starting as Fall 2024 or Spring 2025. The successful applicant will be advised by Clément Aubert, and benefit from an international network of collaborators, as well as from a local, lively, group of PhD students (including but not limited to students working on related formal methods). In addition, they will have the opportunity to help mentoring undergraduate research assistants if they wish to do so.

    The main goals of this project are to improve existing process calculi formalizing reversible computations. In the past, reversible calculi have shed a new light on the correctness and adequation of CCS, π-calculus and other formalisms for concurrent computation, but they still miss crucial features. Contextual equivalences, observable behaviors, set of operators and infinite behavior, to name a few, are still in the flux and in need of formal definitions that adequately models interesting systems. The original project encompasses many different dimensions, and will be tailored based on mutual interests, capacities, and recent progresses.

    For more information, see https://spots.augusta.edu/caubert/research/cinrc/phd_ad.html or contact Clément Aubert at .
  • Teaching Fellow in Linguistics (Semantics), Trinity College Dublin

    Deadline: Friday 7 June 2024

    The School of Linguistic, Speech and Communication Sciences at Trinity College Dublin seeks applications for a full-time, fixed-term (3 years) Teaching Fellow in Linguistics (Semantics), to start in August/early September 2024.

    For more information, see here or at https://linguistlist.org/issues/35.1439/ or contact Prof. Breffni O'Rourke at .
  • Postdoc position in Theoretical CS at King's College London, London (UK)

    Deadline: Thursday 6 June 2024

    A postdoctoral research position in theoretical computer science is available at King's College London. The successful candidate will be hosted by Hubie Chen and will be expected to work on topics related to the themes of complexity, database theory, structural decomposition methods, and logic. Research interest and experience in the following areas will be valued: logic in computer science, database theory, finite model theory, structural deco mposition methods, term rewriting, and parameterized complexity theory.

    Key dates: the application deadline is June 6, 2024; it is hoped that the successful applicant will start in or around October 2024, but there is some flexibility concerning the start date. If the position is started in October 2024, it can be held for 1.5+ years. The exact starting date and duration can be set in a way that takes into account the successful candidate's needs and schedule.

  • PhD position in Proof Theory (3.5 years), Brighton (UK)

    Deadline: Thursday 6 June 2024

    We are seeking a PhD candidate to work in proof theory on the problem of proof equivalence and its applications. Emphasis will be given to the study of proof systems allowing canonical representations of proofs (e.g., Hughes' combinatorial proofs and Girard's proof nets) and connection with games, both in the sense of dialogical games (Lorenz and Lorenzen) and game semantics (Abramsky, Highland and Ong). According to the interest of the candidate, applications to interoperability and usability of automated theorem prover and proof assistant, or applications to the theory of programming languages may be investigated.

    Applicants interested in the study of proof theory are encouraged to get in touch with Dr. Matteo Acclavio for additional information and informal inquiries.

  • Assistant Professor in Logic, Automata, and Game Theory in Computer Science, Munich (Germany)

    Deadline: Tuesday 4 June 2024

    The Technical University of Munich (TUM) invites applications for the position of Tenure Track Assistant Professor in Logic, Automata, and Game Theory in Computer Science, to begin as soon as possible. The position is a W2 fixed-term (6 year) tenure-track professorship with the possibility for promotion to a tenured W3 position.

    The responsibilities include research and teaching as well as the promotion of early-career scientists. We seek to appoint an expert in the research area of Logic, Automata, and Games with applications to Formal Verification, Automatic Synthesis, Automated Reasoning or Learning. Teaching responsibilities include Basic courses in the Professional Profile 'Informatics', in particular Theoretical Computer Science, at Bachelor’s and Master’s level.

  • Three 2-year postdoctoral positions at LUCI Lab, Milano (Italy)

    Deadline: Tuesday 4 June 2024

    The Logic Uncertainty Computation and Information (LUCI) Lab at the University of Milan is seeking applications for three 2-year postdoctoral positions, funded by the Italian Ministry of University and Research (MUR) under the FIS1 Advanced Grant Reasoning with Data (ReDa) led by Hykel Hosni.

    Appointments will be made in either of the work packages below:
    - Work package 1: Non-monotonic formalisation of data-driven inference. 
    - Work package 2: Logic for the methodology of data-intensive and AI-driven science
    - Work package 3: The construction of probabilistic evidence in rare cancers
    There are no teaching duties attached to the posts, and proficiency in Italian is not required.
    Deadline for application: 4 June 2024.
    Expected starting date: 1 September 2024 (negotiable).

    For more information, see https://luci.unimi.it/open-positions/ or contact Prof. Hosni Hykel at .
  • Postdoctoral fellowship in Theoretical Computer Science, Prague (Czech Republic)

    Deadline: Friday 31 May 2024

    The Institute of Computer Science of the Czech Academy of Sciences (ICS CAS) offers a postdoctoral fellowship within the Department of Theoretical Computer Science. The duration of the position is 12 months with a possibility of extension, based on performance and activity. The fellowship is available from 1st July 2024 but a later starting date is negotiable.

    Logicians are especially encouraged to apply.

  • Ph.D. position in Computer Science, specializing in Artificial Intelligence, Örebro (Sweden)

    Deadline: Friday 31 May 2024

    Örebro University is offering a Ph.D. position to a highly-motivated student who wants to investigate how AI systems can proactively acquire new knowledge and new abilities. The position is fully funded for a period of four years.The student will develop theories and methods to allow the AI system to decide which knowledge or abilities it should learn, when, and how. As part of this problem, the AI system must be able to perform anticipatory reasoning, and to reason about its own knowledge and abilities as well as the knowledge and abilities of others. Note that this project investigates the high-level question of how an AI system can autonomously decide to initiate a learning process, but it does not aim at studying specific mechanisms for machine learning.

    Applicants should have demonstrated knowledge in AI, specifically in: knowledge representation, planning and decision-making, or multi-agent systems. Experience with robotic systems, human-machine interaction, machine learning or neuro-symbolic approaches are desirable. The ability to work in multi-disciplinary projects and good programming skills are a plus. Expected employment start date is September 2024.

  • PhD candidate development of techniques for generating news articles, Bergen (Norway)

    Deadline: Saturday 25 May 2024

    We are seeking a motivated candidate to join our research team in MediaFutures, at the University of Bergen, Norway. The primary task of this position will be to develop novel techniques for generating news articles. This involves creating resources that adapt lexical, grammatical, and stylistic choices based on various parameters, including user profiles, cognitive accessibility, and journalistic formats. We are also interested in exploring how news content can be versioned and adapted dynamically. This includes tailoring news articles to different user preferences and user segments, ensuring readability, and optimizing content delivery across various platforms. 

    We expect that the candidate will explore how large language models can be used for news generation while maintaining ethical and responsible practices. The position also offers the opportunity to collaborate with industry partners and gather domain-specific datasets from leading Norwegian media houses. This real-world collaboration will enhance the relevance and impact of the produced research. The PhD candidate will work at MediaFutures in Work Package 5 and will cooperate with researchers and partners in the work package, including the Language Technology Group at the University of Oslo, the National Library of Norway, Schibsted, Amedia, and TV 2. In addition to relevant researchers and partners in other work packages.

  • Lecturer or Senior Lecturer in Algorithms, Sheffield (UK)

    Deadline: Monday 20 May 2024

    This is an exciting opportunity for a Lecturer or Senior Lecturer in Algorithms at the University of Sheffield. Working in the Department of Computer Science, you will join our Foundations of Computation (FOX) Group. Its research topics range from the theoretical mathematical foundations that underpin computer science to their applications in real world contexts.

  • Post-doc at IRIF in topology/algebra/categories and logic, Paris (France)

    Deadline: Friday 17 May 2024

    A 12-month post-doctoral position in topology, algebra, categories and logic is available at the CNRS, located at the research institute IRIF of CNRS and Université Paris Cité.  Expected start date: 1 September 2024 (negotiable). The position is financed by the ANR (French National Research Agency) project Topology for Types and Terms, coordinated by Sam van Gool. Any candidate with a PhD in mathematics or computer science and a scientific interest in the project's topics is encouraged to apply.

  • PhD Candidate: Formal Methods (Radboud Universiteit)

    Are you an aspiring researcher, fascinated by theoretical computer science? And would you like to conduct research at the intersection of algebraic and logical methods in computer science? Then start your academic career off right as a PhD candidate at Radboud University.

  • Postdoctoral Fellowship in Logic, Epistemology or Philosophy of Science, Turin (Italy)

    Deadline: Monday 13 May 2024

    The Department of Philosophy and Education at the University of Turin (Italy) invites applications for a Postdoctoral Fellowship (AOS: Logic, Epistemology, Philosophy of Science), funded by the PRIN PNRR project “Controlling and utilizing uncertainty in the health sciences”, coordinated by Alexander Gebharter (Ancona) and Lorenzo Rossi (Turin). 

    The project focuses on the application of formal tools (including modal logics, Bayesian epistemology, decision theory, and more) to the analysis of uncertainty in scientific results and decision making, especially in the health sciences. The scope of the project, however, is rather broad, and we welcome candidates with a wide variety of research backgrounds and areas of expertise. The postdoctoral fellowship will last for 16 months.

  • LMU_Muenchen_Logo2.png

    PhD position in epistemology of machine learning (3y), Munich (Germany)

    Deadline: Wednesday 1 May 2024

    The Emmy Noether junior research group "From Bias to Knowledge: The Epistemology of Machine Learning," led by Dr. Tom Sterkenburg, does work in the philosophical foundations of machine learning. The group's main aim is to improve our understanding of inductive bias, by building bridges between the philosophy of science and the mathematical theory of machine learning. The group is embedded within the Munich Center for Mathematical Philosophy (MCMP) at LMU Munich.

    We are looking for a PhD candidate with an excellent master's degree in philosophy, logic, computer science, or related areas. You have a background and strong interest in the philosophy of artificial intelligence and/or philosophy of science, and ideally affinity with the mathematics and epistemology of machine learning. The deadline for applications is 1 May 2024, and the intended starting date is 1 October 2024.

  • PhD Position on the Logic and Philosophy of Informational Content, Utrecht (the Netherlands)

    Deadline: Wednesday 1 May 2024

    A funded PhD position is available at Utrecht University as part of a research project on the Logic and Philosophy of Informational Content. The successful candidate will complete their PhD thesis in Utrecht on a topic that is closely connected to the project themes. The position will be supervised by Colin Caret and Michael De.

    The position is expected to start on 1 October 2024.
    The application deadline is 1 May 2024.
    The applicant must have a (research) Master’s degree with a strong background in philosophy and logic, especially the fundamentals of modal logic. A complete application includes a cv, cover letter, contact information for referees, and a writing sample (max 10.000 words).

  • 2y Postdoc in Proof Theory, Birmingham (UK)

    Deadline: Tuesday 30 April 2024

    The University of Birmingham has a world leading group in theoretical computer science, covering proof theory, mathematical foundations, type theory, category theory and complexity theory. The group has been steadily growing and now includes over 40 members (including permanents, postdocs, phd students).

    Candidates should have a background related to the themes of the group. Expertise in some/any of the following areas would be particularly helpful: Proof Theory, Type Theory and Proof Assistants (e.g. Coq, Agda, Lean), Mathematical Logic, and/or Automata Theory.

  • CfA: PhD in theoretical computer science, London (UK)

    Deadline: Friday 12 April 2024

    A funded Ph.D. position in theoretical computer science is available at King's College London.  The successful candidate will be advised by Hubie Chen and will work on mutually agreeable topics in theoretical computer science.  A primary criterion for this position is an undergraduate degree in mathematics with strong performance, or an equivalent experience.

    For more information, see https://hubie-chen.github.io/phd2024.html or contact Hubie Chen at .
  • 1 Three-Year Post-Doc (Hamburg, Germany) and 2 PhD (Hamburg and Bern, Germany)

    Deadline: Sunday 31 March 2024

    The project Beyond Causal Exclusion: New Challenges For Multi-Level Causal Models is looking for a Post-Doc and two PhDs. The Post-Doc comes with a three-year contract with a very competitive salary (100% 13 TV-L). The Post-Doc is based at the University of Hamburg. One PhD position is at the University of Hamburg (65% 13 TV-L). The other PhD position is at the University of Bern. The PhDs will be jointly supervised by Prof. Vera Hoffmann-Koss (Bern) and Prof. Thomas Kroedel (Hamburg).

  • PhD Research Fellowship in Philosophy and Artificial Intelligence, Bergen (Norway)

    Deadline: Friday 29 March 2024

    The Department of Philosophy invites applications for a PhD position in philosophy and artificial intelligence commencing from August 1st 2024. The position is for a fixed-term period of four years.

  • Two fully funded PhD Positions in Informatics: Algorithms/ Logic and AI, Bergen (Norway)

    Deadline: Monday 18 March 2024

    Exciting opportunities for two PhD Research Fellows in Algorithms, Logic, and AI at the Department of Informatics at the University of Bergen. The positions are for a fixed-term period of 3 years with the possibility of a 4th year with compulsory other work (e.g. teaching duties at the Department). The positions are subject to financing by the TMS-grant Trustworthy AI and by the University of Bergen. The successful candidate must be able to start in the position no later than September 30th, 2024.

    The PhD positions are available within the "Algorithmic Foundations of Trustworthy AI" project. This collaborative endeavour, spanning the Department of Informatics and the Department of Information Science and Media Studies, aims to develop novel theories for understanding, developing, and designing socially aware algorithms. Successful candidates will actively contribute to research on reconciling social parameters and algorithmic efficiency, as well as the development and application of formal social models. This presents a unique chance to engage in ground-breaking work at the intersection of AI, Algorithms, Logic, and Social Sciences.

    Applicants must hold a master's degree or equivalent education in Computer Science or Mathematics. Master students can apply provided they complete their final master exam before 25.06.2024. It is a condition of employment that the master's degree has been awarded.

  • PhD 3y+ at the research group for Theoretical Computer Science, Hamburg (Germany)

    Deadline: Monday 18 March 2024

    The research group for theoretical computer science at the Hamburg University of Technology is inviting applications for one full-time PhD position to do research in the field of constraint satisfaction problems over infinite sets. The research will take place under the supervision of Antoine Mottet. The project offers a variety of questions in many different fields of mathematics and computer science (universal algebra, (finite) model theory, topology, and computational complexity to name a few).

    The position is a full-time position on the echelon E13 of the German public salary scale (100% TV-L E13, which amounts to about 2600 euros net per month depending on family situation) for a duration of 3 years, with a possibility of extension. Participation in the teaching activities of the group is possible and encouraged at a small volume (around 3 hours per week during the lecture periods). The starting date is flexible.

    The successful applicant holds or is about to finish a Master's degree in computer science (with a theoretical focus) or mathematics. They are motivated by academic research and have a broad background in computer science or mathematics. They should be motivated to do cutting edge research in the fields of universal algebra, finite model theory and model theory of countably categorical structures, and computational complexity.

  • Assistant Prof Philosophy of the formal sciences, Copenhagen (Denmark)

    Deadline: Sunday 3 March 2024

    The Section for History and Philosophy of Science at the Department of Science Education of the University of Copenhagen seeks an excellent scholar for a position in the history and philosophy of the formal sciences. The position is at the Tenure-track Assistant Professor level. The position is open from 1 September 2024 or as soon as possible thereafter.

    We seek candidates with a research record of relevance to scientific practice (e.g., philosophy of science in practice, integrated history and philosophy of science, socially relevant philosophy of science, or similar) in the formal sciences. Backgrounds in more traditional as well as more modern specialty areas in the history and philosophy of the formal sciences, e.g., data science, machine learning, and big data, are welcome, if they relate to scientific practice and the candidate is fully capable of teaching in all our formal science courses.

  • Danish Data Science Academy postdoc and PhD positions, Copenhagen (Denmark)

    Deadline: Wednesday 28 February 2024

    The Danish Data Science Academy invites applications for postdoc and PhD fellowships for visionary and ambitious young data scientists who want to pursue their own research ideas in collaboration with a Danish research environment. The postdoc call is at https://ddsa.dk/postdocfellowshipprogramme/ and the PhD call at https://ddsa.dk/phdfellowshipprogramme/, and the application deadline is February 28, 2024.

    Applications can be within any field of data science aligning with the DDSA research scope, including, but not limited to, algorithms research within data science and AI and applications of data science or computer science to other areas in natural, technical, or life sciences. The positions will be awarded to the most promising candidates according to their scientific qualifications, motivation, and engagement, as well as the quality, originality, relevance and potential impact of the proposed project. It is a requirement that the applicant has a well-defined research project proposal as well as an agreement with a principal supervisor at a Danish university.

    Informal inquiries about opportunities in the Algorithms and Complexity Section at the University of Copenhagen are welcome and can be directed to Jakob Nordstrom or other faculty in the section. Please contact us during January if you are interested, so that there is enough time to talk about your research ideas and provide feedback on how to turn them into a successful DDSA proposal.

    For more information, see https://jakobnordstrom.se/openings/ or contact Jakob Nordstrom at .
  • 4y PhD in Computational Data Analytics, Linz (Austria)

    Deadline: Wednesday 7 February 2024

    We are currently looking for a university assistant (full-time doctoral student for up to 4 years) for the Computational Data Analytics group of Prof. Johannes Fürnkranz. The group is part of the ELLIS Unit Linz, opens an external URL in a new window (founded and headed by Sepp Hochreiter) a leading center for machine learning and artificial intelligence research in Austria and beyond. We are particularly interested in researchers who will strengthen our expertise in one or more of the following areas:
    - Machine Learning and Game Playing
    - Symbolic Machine Learning
    - Machine Learning and Logic
    - Inductive Rule Learning
    - Interpretable AI
    - Data Mining and Knowledge Discovery

  • Visiting assistant professor position in semantics, New York (U.S.A.)

    The Department of Linguistics at New York University invites applications for a Visiting Assistant Professor (non-tenure track) in the area of semantics. This is a one-year teaching position with a course load of 4 courses per year at the graduate and the undergraduate level (2 courses each). The appointment will begin on September 1, 2024, subject to budgetary and administrative approval.

    For more information, see https://apply.interfolio.com/138938 or contact Chris Barker at .
  • Computational Linguistics Principal Investigator position at Associate/Assistant Professor level, Trento (Italy)

    Deadline: Thursday 1 February 2024

    The Center for Mind/Brain Sciences (CIMeC) at the University of Trento, Italy, invites expressions of interest from highly motivated scholars coming from outside of Italy with the view to open a principal investigator position at the level of Associate Professor or Tenure Track Assistant Professor (in the latter case, if after 3 years the tenure track AP has obtained the Italian Scientific Habilitation for Associate Professor, they will be evaluated to obtain the Associate Professor Position at CIMeC). Applicants are expected to have had a 3-year position abroad at the time and level they apply to.

  • 1LundUniversity-square.png

    Postdoc and PhD positions in Theoretical Computer Science, Lund (Sweden)

    Deadline: Wednesday 31 January 2024

    The Department of Computer Science at LTH Lund University invites applications for a 2-year postdoc position and up to two PhD positions in theoretical computer science with focus on computational complexity and algorithms to be working in the research group of Susanna de Rezende. Both postdoc and PhD positions are full-time employed positions (including travel money) that come with an internationally very competitive salary. The PhD positions are four-year positions but usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year.

    There is a growing research group in foundations of computer science at Lund University. We expect to have eight PhD students by the autumn, in addition to three faculty and some MSc students. The PhD students can also look forward to interacting with the four additional faculty in complexity theory in Copenhagen, together with their students and postdocs, as well as with the algorithms group at the Basic Algorithms Research Copenhagen (BARC) centre.

    For more information, see https://derezende.github.io/openpositions/ or contact Susanna de Rezende at .
  • Tenure-track assistant professorship in foundations of computer science with a focus on logic and automated reasoning, Lund (Sweden)

    Deadline: Friday 26 January 2024

    The Department of Computer Science at Lund University invites applications for a tenure-track assistant professorship in the foundations of computer science with a focus on logic and automated reasoning.

    The assistant professor will be working at the Department of Computer Science, where research into the foundations of computer science is conducted by professors Susanna de Rezende and Jakob Nordstrom. Jakob Nordstrom leads the research group Mathematical Insights into Algorithms for Optimization (MIAO) group, which is also active at the University of Copenhagen.

    The position focuses on algorithms for foundational problems within logic, automated reasoning, and combinatorial optimization. This includes design and implementation of algorithms for computational problems within Boolean satisfiability (SAT) solving, constraint programming, mixed integer linear programming, and/or satisfiability modulo theories (SMT) solving. In addition to algorithm construction, another topic of interest is to develop a scientific understanding of the practical performance of automated reasoning algorithms, and to investigate relations between empirical observations and theoretical results in algorithm analysis and computational complexity theory. Yet another related area concerns methods of ensuring that algorithms compute provably correct results, which can be used to develop trustworthy solvers for automated reasoning and combinatorial optimization.

  • PhD Position in Computable Analysis and effective geometric measure theory, Swansea (UK)

    Deadline: Friday 26 January 2024

    We have an open call for a fully funded PhD position at Swansea University.

    The project is in computable analysis, with a special focus on effective geometric measure theory. The goal of the project is to strengthen the connection between computable analysis and “classical” mathematics, and exploring computability-theoretical notions affect the geometric structure of sets. 

    The deadline for applications is January 26, with formal interviews starting soon after the deadline. The starting date will be October 2024 (it can be deferred to January 2025).

  • Visiting/postdoc researcher in Logic, Semantics, Concurrency, Groningen (the Netherlands)

    Deadline: Wednesday 24 January 2024

    We invite applications for a post-doctoral researcher position at the Fundamental Computing Group of the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence. at the University of Groningen, The Netherlands. The successful candidate will work together with Helle Hvid Hansen and Jorge A. Pérez and contribute to the group’s research activities on the formal specification and analysis of software systems (broadly construed).

    The starting date is negotiable, but preferably before April 1st, 2024. The duration of the position will be six months, but there are possibilities for an extension. While this is shorter than a typical postdoc appointment, we see this vacancy as offering an extended “visiting researcher” position. As such, it could be appealing for (young) scholars wishing to develop their own research agenda within a vibrant research environment and an internationally-oriented university and city.

    We warmly encourage applications from individuals with proven experience in any of the research areas covered by the Fundamental Computing group: modal logic, coalgebra, concurrency theory, type systems, programming languages, semantics, program logics, proof theory, exact algorithms.

  • PhD Position in Automated Modeling Support for Planning at the ANU, Canberra (Australia)

    Pascal Bercher (Australian National University) is seeking a qualified PhD candidate to commence a project in non-hierarchical (classical) and hierarchical planning starting as soon as possible (early 2024 preferred).

    For more information, see here or at https://bercher.net/join-team/phd or contact Pascal Bercher at .
  • 2 Lecturer Positions in Computer Science, London (UK)

    Deadline: Monday 22 January 2024

    The Department of Computer Science at Royal Holloway University of London is seeking to appoint two lecturers in Computer Science and welcome applications that would complement and/or strengthen our existing areas of research. Applicants should either have, or have the potential for producing, high quality publications and attracting significant research funding. Applicants will have a track record demonstrated excellence, or will show the potential for excellence, in delivering undergraduate and postgraduate teaching and the supervision of both undergraduate and postgraduate students. The post holder will be expected to contribute strongly to the development of research impact, and the successful applicant will have, or have the potential to have, a strong track record in this area.

    The Department plays an active part in inter-disciplinary activities and benefits from a number of University led initiatives including the ‘Transformative Digital Technologies, Security and Society’, ‘Advanced Quantum Science and Technologies’ and ‘Living Sustainably’ research catalysts and the School will be leading the establishment of a new Centre of Applied AI. In addition to the opportunities with the Department of Computer Science, the post holder(s) will have the opportunity to play a full role in the growth of Applied AI within the School, and across the University more generally.

    For more information, see https://jobs.royalholloway.ac.uk/vacancy.aspx?ref=1223-539 or contact Professor Carlos Matos at .
  • 4y PhD/Postdoc in Formal Methods applied to guide Autonomous Agents based on Reinforcement Learning, Vienna (Austria)

    Deadline: Saturday 20 January 2024

    The Trustworthy Cyber-Physical Systems Group at TU Wien is seeking a candidate for a PhD research position (four years, 30hours/week) or a postdoctoral research position (two years, 40hours/week), starting as soon as possible. The successful applicant will carry out his/her postdoc/PhD in the research area of formal methods applied to guide autonomous agents based on reinforcement learning. The position is in the context of the research project TAIGER: Training and Guiding AI Agents with Ethical Rules, aiming at designing autonomous agents sensitive to (ethical, legal and social) norms.

    The PhD student will be affiliated with the TAIGER project, a new PhD program in Trustworthy Autonomous Cyber-Physical Systems. TAIGER will introduce effective frameworks for equipping RL-based agents with the ability to comply with norms in possible interplay with their goals. Grounded in formal reasoning, the frameworks will be modular and facilitate transparent justification of judgments. Moreover, they will cope with potential contradictions in normative requirements and handle situations in which no compliance is possible, without deviating too much from the optimal behavior the agent has learned.

  • Research and Teaching Assistant (PhD Candidate) in Applied Artificial Intelligence (m/f/x), München (Germany)

    Deadline: Friday 19 January 2024

    Ludwig-Maximilians-Universität München is looking for a Full-Time Research and Teaching Assistant (PhD Candidate) in Applied Artificial Intelligence (m/f/x) (TV-L E13), to work at the  Faculty of Business Administration - Munich School of Management - Institute of AI in Management. Start date: As soon as possible

    Ideally, the candidate has a master's degree in mathematics, applied mathematics, statistics, computer science, or business informatics (or a related field). Fluency in English is required. Work is almost entirely research-centered with limited teaching duties. As part of the team candidates have to be highly self-motivated to perform creative and independent research. Candidates will also gain experience in teaching undergraduate and graduate courses and seminars, and support students in thesis work.

    For more information, see https://job-portal.lmu.de/jobposting/843f83f0ed44f8b087585bd7ae3d2b4bed961ac40 or contact Prof. Stefan Feuerriegel at .
  • PhD or postdoc position in logical modelling of notarial procedures, Erlangen-Nürnberg (Germany)

    Deadline: Thursday 18 January 2024

    A fully funded three-year PhD or postdoc position (E-13 on the German TV-L scale, full time, no teaching obligation) is available at the Theoretical Computer Science lab of Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany, with starting date between now and April 2024. The position is affiliated with a large interdisciplinary project involving FAU labs in computer science, linguistics, and law, funded by the German Federal Chamber of Notaries (Bundesnotarkammer). The project is aimed at providing automated support for notarial procedures using methods from formal logic, machine learning, and computational linguistics.

    The position at the Theoretical Computer Science lab, supervised by Lutz Schröder, is concerned with formal logical modelling and reasoning. We are thus looking for a candidate with an MSc or PhD in computer science or mathematics, ideally with a background in logic, in particular modal or description logics.

     

     

    For more information, see https://www8.cs.fau.de/ or contact Lutz Schröder at .
  • logo.jpg

    ERC-Funded PostDoc and PhD positions in combinatorial optimization (certifying algorithms/proof logging), Brussel (Belgium)

    Deadline: Thursday 18 January 2024

    Dr. Bart Bogaerts (AI lab, Vrije Universiteit Brussel) is looking for talented PhD students and PostDocs to join the CertiFOX team. You will work on an exciting project in which we will bring certifying algorithms (proof logging) from low-level languages (such as SAT, where this approach is notoriously succesful) to high-level modelling languages. The grand goal we will work towards is to get end-to-end guarantees of correctness of runs of combinatorial optimization engines, all the way from human-readable input specifications to the produced answers.

    For more information, see https://www.bartbogaerts.eu/jobs/overview.php or contact Bart Bogaerts at .
  • Full Professorship in Formal Methods, Linz (Austria)

    Deadline: Wednesday 17 January 2024

    The Department of Computer Science at the Faculty of Engineering and Natural Sciences at
    Johannes Kepler University Linz invites applications for a permanent full-time position at the
    Institute for Formal Models and Verification (FMV) founded by Armin Biere.

    We are looking for candidates who work in fields like

    • Formal verification or synthesis of software and hardware
    • Techniques and tools of formal verification
    • Formal models and languages
    • Automated reasoning and decision procedures
    • Theoretical foundations of formal verification or synthesis

  • Onderzoeker Moral Smart Cities (PHD kandidaat),Eindhoven (the Netherlands)

    Deadline: Monday 15 January 2024

    Door de straten van de stad trekken om in contact te komen met bewoners. Interacteren met een mobiel moral lab waarin bewoners zelf aan ethische knoppen kunnen draaien van toekomstige technologie. Daar draait het om bij de Moral Data City Hunt-methode (MDCH). De komende vier jaar gaat het lectoraat Moral Design Strategy aan de slag met onderzoeksproject: Moral Smart Cities (RAAK PRO), waarin deze methode centraal staat. Wij zoeken een PhD-kandidaat die de MDCH-methode verder kan uitwerken, verdiepen en valideren en daarnaast de werkpakketten van het project kan vervlechten waarmee het beslissingskader op een consistent en wetenschappelijk solide verankerd geheel geconstrueerd kan worden.

  • Postdoc in Philosophy, Vienna (Austria)

    Deadline: Sunday 14 January 2024

    The University of Vienny is looking for a University Assistant postdoctoral, to start at 03/01/2024. The advertised position is situated in the Institute Vienna Circle (IVC) in the Faculty of Philosophy and Education.

    The IVC stands in the tradition of the historical “Vienna Circle”. In this sense the IVC supports philosophical research projects that respond critically and constructively to issues arising in the special sciences. A further important agenda of the IVC is the integration of different disciplines focused on the sciences (philosophy, history, sociology). The IVC is also dedicated to the documentation, reconstruction and further development of logical empiricism. There exists a close cooperation with the Department of Philosophy (esp. the chairs for philosophy of science) and the “Vienna Circle Society”.

  • PhD vacancy in Formal Methods for NLP, Leiden (the Netherlands)

    Deadline: Saturday 13 January 2024

    Applications are invited for a fully funded PhD candidature at the Leiden Institute of Advanced Computer Science on the use of Formal Methods to enhance the efficiency, transparency and the understanding of Transformer-based language models.

    While large language models (LLMs) have proven successful in many areas of Natural Language Processing, they suffer from high data and resource usage, and display limited generalization capacity in tasks that humans excel at. In this PhD project you will have the opportunity to investigate how formal methods can help in developing more efficient and more transparent models for Natural Language Understanding. Specifically, you will investigate the use of implicit or explicit structural bias in Transformer-based language models to reduce training data and model parameters; additionally, you will look at novel techniques for evaluating models for their generalization capabilities on Natural Language Understanding tasks such as Natural Language Inference, possibly in a multilingual and multimodal setting.

    This is an autonomous PhD candidature and as such, you are expect to write a brief research proposal (max 1. page). The specific project content is to be decided between the applicants' interest and the expertise of the supervisor, dr. Gijs Wijnholds. The deadline to apply is January 13th, with a starting date in March 2024 or as soon as possible thereafter.

  • PhD positions in TCS and/or combinatorial optimization, Copenhagen (Denmark)

    Deadline: Wednesday 10 January 2024

    The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization. The PhD students will be part of a world-leading research environment in algorithms and complexity theory. These positions are available for period of 3-5 years, depending on the current education level of the applicant. All our PhD positions are fully funded, employed positions (including travel money) that come with an internationally competitive salary. The starting date is negotiable, but the default would be August-September 2024.

    We are home to the Basic Algorithms Research Copenhagen (BARC) centre, joint with the IT University of Copenhagen (ITU), and have extensive collaborations with the Technical University of Denmark (DTU) and with Lund University on the Swedish side of the Oresund Bridge, as well as with our many visitors. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While our focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.

    For more information, see http://www.jakobnordstrom.se/openings/PhD-UCPH-240110.html or contact Jakob Nordstrom at .
  • Postdoc positions in TCS, Copenhagen (Denmark)

    Deadline: Wednesday 10 January 2024

    The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for several postdoc positions in theoretical computer science. We are looking for outstanding junior researchers with an innovative mind-set and intellectual curiosity to strengthen and complement the research profile of the Algorithms and Complexity Section at DIKU. These postdoc positions are full-time research positions for an intended duration of two years. Teaching of advanced courses is encouraged but not required. Travel funding is included, and we are also receiving visitors from all over the world on a regular basis. The starting date is negotiable, but the default would be in August-September 2024.

    We are home to the Basic Algorithms Research Copenhagen (BARC) centre, joint with the IT University of Copenhagen (ITU), and have extensive collaborations with the Technical University of Denmark (DTU) and with Lund University on the Swedish side of the Oresund Bridge, as well as with our many visitors. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While our focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications. The University of Copenhagen is currently expanding strongly in computer science. We expect to have tenure-track openings in in the coming years, and welcome postdoctoral researchers interested in exploring such opportunities.

    For more information, see http://www.jakobnordstrom.se/openings/Postdoc-UCPH-240110.html or contact Jakob Nordstrom at .
  • Fully funded PhD Studentship in Proof-theoretic Semantics at UCL, Londen (UK)

    Deadline: Monday 8 January 2024

    Proof-theoretic semantics (P-tS) offers a practical foundation for the meaning of logical theories that is grounded inference — that is, reasoning — rather than the abstract structures of model theory. It lies within the philosophical position known as inferentialism. As such, P-tS offers an alternative foundation for mathematical logic that places reasoning at the heart of meaning. P-tS has two primary variants: Dummett-Prawitz validity, closely related to Brouwer-Heyting-Kolmogorov semantics, and base-extension semantics, which can be seen as bridge to model-theoretic semantics. Base-extension semantics will be the primary focus of this project, with the Dummett-Prawitz view also relevant.

    This studentship (intersecting informatics, mathematics, philosophy) will address giving proof-theoretic semantics to non-classical logics, developing the necessary abstract mathematical meta-theory and exploring the significance of inferentialist semantics, and its mathematical realization, for systems verification. This latter aspect will build directly on connections between the proof-theoretic foundations of logic programming and base-extension semantics recently established at UCL. Connections to simulation modelling and its inferentialist interpretation may be explored.

    The student will work with Prof. David Pym (Computer Science and Philosophy), Dr. Elaine Pimentel (Computer Science), and Prof. Tim Button (Philosophy), and be based in the Programming Principles, Logic, and Verification group.

Miscellaneous

  • Dutch_Nao_Team_2_.jpg

    Lab42 Stories: 2050: the year that it will happen

    Even before you step into the Intelligent Robotics Lab of LAB42, you're greeted by 8 pairs of eyes — not the employees of the lab, but the welcoming committee of LAB42 in the form of various robots. Upon entering the lab, you immediately encounter a soccer field, confirming you're in the right place. Walking further, you arrive at the destination: Wike Duivenvoorden, Bachelor's student in Artificial Intelligence and coordinator of promotion & events for the Dutch Nao Team. Get to know the team and their goal for 2050!

    For more information, see https://lab42.uva.nl/read/stories/2050-the-year-that-it-will-happen or contact Marion Vetter - online editor LAB42 site at .
  • illc-diversity-768x640.png

    New ILLC blog post "Addressing Diversity – A Multifaceted Endeavour"

    In recent years, more attention has started to be paid to diversity within academia. How is the ILLC working on inclusivity and respect for all identities?

  • The book "A Brief History of Mathematics for Curious Minds" by Krzysztof R. Apt appeared

    The book A Brief History of Mathematics for Curious Minds by Krzysztof R. Apt appeared. It "offers a short and accessible account of the history of mathematics, written for the intelligent layman".
    Details and endorsements can be found at
    https://www.worldscientific.com/worldscibooks/10.1142/13518#t=aboutBook
    Preface and the chapter about mathematics in the 20th and 21st centuries can be freely downloaded.
    For more information, see https://www.worldscientific.com/worldscibooks/10.1142/13518#t=aboutBook or contact Krzysztof Apt at .
  • LAB42_Iconography-01.png

    How do you humanise talking machines (but without the bad parts)?

    Last year, AI systems that can write almost human-like texts made a breakthrough worldwide. However, many academic questions on how exactly these systems work remain unanswered. Three UvA researchers are working on making the underlying language models more transparent, reliable and human.