PROGRAMME SCHEDULE
Overall 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 |
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 |