The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability.

Research methods in economics and social sciences are changing quickly with AI-driven analytics, Large Language Models, and causal machine learning. New Internet and Big Data sources support fresh approaches to measurement, inference, and theory testing. As these tools become more interdisciplinary, CARMA 2026 offers a forum for researchers and practitioners to share advances in computational and data-intensive methods applied to social and economic issues, and to discuss their opportunities and challenges.

This workshop aims to connect researchers and students interested in fixpoint logics, (cyclic) proof theory and related topics. Participation is free and no registration is required. Invited speakers are Balder ten Cate, Sebastian Enqvist, Iris van der Giessen, Marianna Girlando and Thomas Studer.

The workshop is colocated with the PhD defense of Johannes Kloibhofer on the 13th of February. More information can be found here.

This event provides young shcolars with an opportunity to present their research in the field of applied linguistics (language use, language acquisition, language education, language proficiency, or communication). Both lectures and poster presentations are welcome. Lectures shall last 15 minutes. Additionally, the annual Anéla-VIOT Thesis Award for the best MA-thesis in the field will be awarded on this day.

We are inviting members of the University of Amsterdam's Language Sciences for Social Good (LSG) Consortium to join a networking event on Thursday, May 28th, from 14:00 - 18:00 at LAB42 aimed at the consortium members and industry partners. We want to provide a forum to connect members of the consortium with each other and with industry partners, to discuss expectations and intentions from both sides, and to showcase what is already being done as part of this consortium.

The event will include short pitches by the industry partners, as well as poster presentations by researchers in the LSG. If you are a consortium member, you are welcome to present a poster at this event (this can be a poster that you already prepared for a different conference). If you are interested in presenting a poster, please provide us with a title and short description for the program before March 13th. You can do so by sending an e-mail to one of the organizers.

FOIS is a meeting point for all researchers with an interest in formal ontology. FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology.

Common application areas include conceptual modeling, database design, knowledge engineering and management, software engineering, organizational modeling, artificial intelligence, robotics, computational linguistics, the life sciences, bioinformatics and scientific research in general, geographic information science, information retrieval, library and information science, as well as the Semantic Web.

There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. This conference series, which take place once every 2 or 3 years, hopes to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the world interested in these and related areas to exchange new ideas, problems and results.

The spirit of this conference series goes back to the Vienna Circle and to the initiative Logic, Methodology and Philosophy of Science by Alfred Tarski and others. The aim is to provide a friendly atmosphere that enables fruitful interdisciplinary cooperation leading to joint research and publications.

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It 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, the PLS 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.