PROGRAMME SCHEDULE

Overall schedule

 

meta schedule

 

Week 1

 

  Week 1            
   LaLo    LaCo    LoCo    Workshop
   Room tbd  Room tbd  Room tbd  Room tbd  Room tbd  Room tbd  Room tbd
09:00-10:30 27: Predictive and Counterfactual Modality
Paolo Santorio, Jéssica Viana Mendes
Language and Logic
Introductory Course
63: Information-based semantics
Vít Punčochář
Language and Logic
Advanced Course
20: Sparsity in Large Language Models: The New Odyssey
Shiwei Liu
Language and Computation
Introductory Course
21: Foundations of Linguistic Data Science
John Philip McCrae
Language and Computation
Foundational Course
60: Logic-Based Explainable Artificial Intelligence
Joao Marques-Silva
Logic and Computation
Advanced Course
56: Introduction to Logical Argumentation
Kees van Berkel,Christian Straßer
Logic and Computation
Foundational Course
 
11:00-12:30 81: The Common Ground and its extensions
Robert Henderson
Language and Logic
Foundational Course
58: Composing Meaning via Dependent Types
Daisuke Bekki
Language and Logic
Advanced Course
40: Structured and Unstructured Data: Knowledge Graphs, Logic and Language Models
Zuzana Nevěřilová
Language and Computation
Introductory Course
67: Text as pictures
Vincent Wang-Maścianica
Language and Computation
Introductory Course
24: The quest for a logic for polynomial time
Benedikt Pago
Logic and Computation
Advanced Course
46: Deontic Logic, Normative Systems, and Their Application in AI&Law
Réka Markovich,Luca Pasetto
Logic and Computation
Introductory Course
13: Programs from proofs meets formal mathematics
Nicholas Pischke, Thomas Powell
Logic and Computation
Workshop
14:00-15:30 35: Probability logic, language, and cognition
Niki Pfeifer
Language and Logic
Introductory Course
54: Explanation and Semantic Theory: The Case of Presupposition
Alexandros Kalomoiros, Patrick Elliott
Language and Logic
Advanced Course

 

66: Language model programming: paradigms, techniques and applications
Kyle Richardson,Gijs Wijnholds
Language and Computation
Advanced Course

  28: Epistemic Arithmetic
Eric Pacuit
Logic and Computation 
Advanced Course
14: A Gentle Introduction to Deep Inference
Lutz Straßburger, Victoria Barrett
Logic and Computation
Introductory Course
29: If...then..., Once Again: New Perspectives on the Logic, Truth Conditions, and Probabilities of Conditionals
Giuliano Rosella, Vincenzo Crupi
Language and Logic
Workshop
17:00-18:30 52: Probabilistic logic reasoning under coherence and compound conditionals
Giuseppe Sanfilippo
Language and Logic
Introductory Course
  50: Spatial Gesture Semantics
Andy Lücking, Alexander Henlein
Language and Computation
Advanced Course
36: Logic and Graph Neural Networks
Michael Benedikt, David Jaime Tena Cucala
Logic and Computation
Introductory Course
43: The Lambda-Calculus, from Minimal to Classical Logic
Giulio Guerrieri, Davide Barbarossa
Logic and Computation
Advanced Course
12: Gossip and Knowledge
Hans van Ditmarsch, Malvin Gattinger
Logic and Computation
Introductory Course
 

 

 

Week 2

 

   Week 2            
   LaLo    LaCo    LoCo    Workshop
   Room tbd  Room tbd  Room tbd  Room tbd  Room tbd  Room tbd  Room tbd
09:00-10:30 68: Context outside face-to-face settings
Merel Semeijn, Bart Geurts
Language and Logic
Foundational Course
  33: Probabilistic Dynamic Semantics
Julian Grove, Aaron Steven White
Language and Computation
Advanced Course
69: Reading Concordances: a training course in key corpus linguistics methodology
Stephanie Evert, Michaela Mahlberg
Language and Computation
Introductory Course
11: Semantics for first-order modal logics: a modern introduction
Valentin Shehtman, Dmitry Shkatov
Logic and Computation
Advanced Course
49: Introduction to Proof Theory
Iris van der Giessen, Abhishek De
Logic and Computation
Foundational Course
53: Truthmaker Semantic and Modal Logic
Alessandro Giordani, Vita Saitta
Language and Logic
Workshop
11:00-12:30 26: Model theory for phonology
Siddharth Bhaskar
Language and Logic
Introductory Course
80: Dogwhistles at the intersection of semantics, pragmatics, and social meaning
Robert Henderson
Language and Logic
Advanced Course
1: Linguistics and NLP in political communication
Asad B. Sayeed, Ellen Breitholtz
Language and Computation
Advanced Course
70: Statistical Semantics via Logical Syntax
Mehrnoosh Sadrzadeh, Gijs Wijnholds
Language and Computation
Introductory Course
59: An Invitation to Game Comonads
Tomáš Jakl
Logic and Computation
Advanced Course
61: Neurosymbolic learning: an introductory course to theory and applications
Efthymia Tsamoura, Emile van Krieken
Logic and Computation
Introductory Course
 
14:00-15:30 71: Stoic Logic from a Model-Theoretic Perspective
Lucas Champollion
Language and Logic
Introductory Course
  51: Formal models of reasons
Aleks Knoks
Language and Computation
Foundational Course
31: Introduction to Opinion Mining and Social Media Language Analysis
Omnia Zayed
Language and Computation
Foundational Course
37: Canonical Extensions: A Unifying Perspective on Semantics for Logics
Wesley Fussner
Logic and Computation
Introductory Course
10: Categorical Realizability
Tom de Jong
Logic and Computation
Advanced Course
72: Theory and applications of sheaf theory Theory and applications of sheaf theory
Mehrnoosh Sadrzadeh, Daphne Wang
Language and Computation
Workshop
17:00-18:30 82: An introduction to Glue Semantics:
Theoretical and computational perspectives

Mark-Matthias Zymla, Jamie Y. Findlay
Language and Logic
Introductory Course
62: Approaches to Parts and Wholes in Semantics
Friederike Moltmann
Language and Logic 
Advanced Course
57: Tutorial on Human Evaluation of
NLP System Quality

Anya Belz, Craig Thomson
Language and Computation
Foundational Course
  3: Introduction to Proof-theoretic Semantics
Alexander V. Gheorghiu, Tao Gu
Logic and Computation
Introductory Course
4: Temporal Logics: philosophical and
computational aspects

Valentin Goranko
Logic and Computation
Introductory Course
30: Natural Logic Meets Machine Learning (NALOMA)
Lasha Abzianidze, Valeria de Paiva
Language and Computation
Workshop