Conferences
31 July–11 August 2023, Ljubljana, Slovenia
34th European Summer School in Logic, Language and Information (ESSLLI)
Introduction:
The European Summer School in Logic, Language and Information (ESSLLI) is a yearly recurring event, which has been organized since 1989. An ESSLLI Summer School provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science. Courses (foundational, introductory and advanced) and workshops cover a wide variety of topics within three interdisciplinary areas of interest: language and computation, logic and language, and logic and computation. In addition to the workshops and courses, there are usually four evening lectures, given by prominent researchers, on topics that are at the forefront of research in logic, language and computer science, as well as from wider scientific, historical and philosophical perspectives. Its relevance to students of artificial intelligence is evident.
The event lasts two full weeks and is traditionally held around the beginning or middle of August. ESSLLI attracts around 400 participants every year from all parts of Europe, as well as from North and Latin America, and Asia. The event is unique in its interdisciplinary set-up, with no equivalents in Europe. It is organized under the auspices of the Association for Logic, Language and Information (FoLLI).
In addition to regular courses and workshops, four evening lectures are organized. Since 2018, one of the evening lectures has been the Dick Oehrle Memorial Lecture. All evening lectures are open to the general public. Since 1996, PhD and advanced students have had their own daily meeting place at ESSLLI's student session, organized by and for the students, and with its own yearly prizes. The Beth Prize award ceremony and lecture is organized by the FoLLI board. All ESSLLI participants are welcome to attend.
Courses
Week 1
- Lorenzo Rossi and Paolo Santorio: Trivalent and Dynamic Theories of Conditionals
- Deniz Özyıldız and Ciyang Qing: Semantic Properties and Combinatorial Restrictions of Attitude Predicates
- Antonio Toral and Arianna Bisazza: Neural Machine Translation
- Gasper Begus: Deep Language Learning: Modeling language from raw speech
- Tobias Kappé: Elements of Kleene Algebra
- Luca Geatti and Angelo Montanari: The Safety Fragment of Temporal Logics of Infinite Sequences
- Salvatore Florio and Carlo Nicolai: Formal Theories of Properties
- Giuseppe Sanfilippo: Logical Operations Among Conditionals as Conditional Random Quantities
- Kata Balogh and Simon Petitjean: Tree-Adjoining Grammars: Theory and implementation
- Enrica Troiano and Valerio Basile: Data Perspectivism in Computational Linguistics
- Francesca Poggiolesi: Proofs and explanations
- Alessio Mansutti and Christoph Haase: Linear arithmetic theories: algorithms and applications
- Milica Denić: Workshop on Internal and external pressures shaping language
- Merel Semeijn and Louis Rouillé: Let’s talk about Frodo: Foundations of the Semantics of Fiction
- Keny Chatain and Benjamin Spector: Current topics in the semantics and pragmatics of plural expressions
- Mehrnoosh Sadrzadeh and Gijs Wijnholds: Natural Language Syntax and Statistical Semantics with Modal Lambek Calculus
- Michael Roth: Limitations in NLP: Disagreements, Misunderstandings, and other Challenges
- Aleks Knoks and Eric Pacuit: Tools for Formal Epistemology: Doxastic Logic, Probability and Default Logic (LoCo; Foundational)
- Valentin Goranko and Dmitry Shkatov: First-order Modal and Temporal Logics: Philosophical and Computational Aspects
- Peter Fritz: Propositional Quantifiers
- Yoad Winter: The Semantics of Reciprocity
- Eric Pacuit: Computational Game Theory in Julia
- Kyle Richardson and Vivek Srikumar: Formal Techniques for Neural-symbolic Modeling
- Wesley Holliday: Possibility Semantics
- Brian Logan: Logics for Safe AI
- Nebojša Ikodinović and Dragan Doder: Logics with Probability Operators and Quantifiers
- Sonia Ramotowska and Fabian Schlotterbeck: Procedural and computational models of semantic and pragmatic processes
Week 2
- Bart Geurts: Common ground
- Niki Pfeifer: Probability logic, language, and cognition
- Bruno Guillaume and Kim Gerdes: Treebanking: methodology, tools and applications
- Ryan Cotterell: Formal Language Theory and Neural Networks
- Rustam Galimullin and Louwe B. Kuijer: Quantification in Dynamic Epistemic Logic
- Beniamino Accattoli: Time and Space for the lambda Calculus
- Valentin Goranko and Dmitry Shkatov: First-order Modal and Temporal Logics: state of the art and perspectives
- Elin Mccready and Grégoire Winterstein: Communitarian Semantics
- Luka Crnic and Yosef Grodzinsky: Monotonicity: Grammar, Processing, and Neural Reflections
- John P. McCrae: Introduction to Linguistic Data Science
- Lidia Pivovarova and Andrey Kutuzov: Computational approaches to semantic change detection
- Matteo Acclavio and Paolo Pistone: An Introduction to Proof Equivalence
- Balder Ten Cate and Carsten Lutz: Logic, Data Examples, and Learning
- Michael Moortgat and Mehrnoosh Sadrzadeh: Modalities in substructural logics: applications at the interfaces of logic, language and computation (Monday and Tuesday only)
- Annemarie van Dooren and Anouk Dieuleveut: Decomposing the meaning of modals
- Cornelia Ebert and Markus Steinbach: The semantics of visual communication. Theoretical approaches to visual meaning aspects in co-speech gestures and sign language
- Timothée Bernard and Pascal Amsili: Natural language syntax: parsing and complexity
- Martha Palmer and James Pustejovsky: A Uniform Meaning Representation for NLP Systems
- Giulio Guerrieri: The lambda-calculus: from simple types to non-idempotent intersection types
- Anupam Das: Proof theory of arithmetic
- Zhaohui Luo: Advanced Topics in Formal Semantics Based on Modern Type Theories
- Patrick Elliott and Lisa Hofmann: Explaining anaphoric accessibility: navigating non-veridical environments in dynamic semantics
- Tim Van de Cruys: Computational Creativity
- Fausto Carcassi and Michael Franke: The probabilistic Language of Thought
- Louwe B. Kuijer: Conditional logics of preference: how to make the best choice
- Fan Yang: Logics of dependence and independence
Registration
Participants can register in two stages. Early registration will be open until May 31, 2023, while late registration will be open from June 1, 2023. We recommend early registration to benefit from a lower registration fee.
For more details, please refer to: