Schedule
Download the (original) schedule as PDF here. Some changes have taken place since then. The updated program is listed below.
|
Monday 18 September
|
||
| 9:00 - 10:00 |
Frank Wolter Logic & Computation Tutorial Part 1: Theory and Applications of Craig Interpolants
Chair: Balder ten Cate
|
|
| 10:00 - 10:30 | Coffee Break | |
|
Language
Chair: Lotte Hogeweg
|
Logic & Computation
Chair: Nick Bezhanishvili
|
|
| 10:30 - 11:00 | Nino Amiridze From meta- to object-level reading of the Georgian approximative suffix '-savit' |
David Gabelaia, Evgeny Kuznetsov, Radu Casian Mihailescu, Konstantine Razmadze and Levan Uridia Temporal Logic of Surjective Bounded Morphisms Between Finite Linear Processes |
| 11:00 - 11:30 | Stavros Skopeteas Emergence of VO properties in OV structures: Innovations in Caucasian Urum |
Andrey Kudinov Decidability of Neighborhood Products of Modal Logics |
| 11:30 - 12:00 | Olga Kagan and David Erschler In favor of derivationally early mass/count distinction |
Søren Brinck Knudstorp Modal Information Logic of Incomparable Fusions |
| 12:00 - 12:30 | Stefan Hinterwimmer and Jesse Harris The interaction of gender marking and perspective-taking in German |
Xiaoxuan Fu and Zhiguang Zhao Correspondence Theory for Modal Logic with Counting ML(#) |
| 12:30 - 14:00 | Lunch Break | |
| 14:00 - 15:00 |
Heather Burnett Language Invited Talk: Linking Sociolinguistic Variation and Strategic Action with Game Theory and Video Games
Chair: Peter Sutton
|
|
| 15:00 - 15:15 | Short Break | |
| Chair: Stavros Skopeteas | Chair: Nina Gierasimczuk | |
| 15:15 - 15:45 | Dato Abashidze, Rusudan Asatiani and Natalia Gagarina Effect of order of mention and grammatical role on Georgian pronoun resolution |
Marta Bilkova and Igor Sedlar Epistemic Logics of Structured Intensional Groups |
| 15:45 - 16:15 | Wiebke Petersen and Katharina Spalek Hard for humans = hard for machines? An analysis of the WSC data |
Daniil Khaitovich Plan-restricted group STIT logic |
| 16:15 - 16:45 | Coffee Break | |
| 16:45 - 17:45 |
Peter Sutton Language Tutorial Part 1: Polysemy, Copredication and Individuation
Chair: Stephanie Solt
|
|
| 19:00 | Reception | |
|
Tuesday 19 September
|
||
| 9:00 - 10:00 |
Frank Wolter Logic & Computation Tutorial Part 2: Theory and Applications of Craig Interpolants
Chair: Balder ten Cate
|
|
| 10:00 - 10:30 | Coffee Break | |
| Chair: Itamar Francez | Chair: Dick de Jongh | |
| 10:30 - 11:00 | Simon Vonlanthen Inferential Roles and Truth - Towards Conceptual Foundations for Modest Inferentialism |
Matthias Baaz and Anela Lolic First-Order Interpolation Derived from Propositional Interpolation |
| 11:00 - 11:30 | Marco Degano A team semantics for FC indefinites and their grammaticalization |
Raheleh Jalali and Rosalie Iemhoff The Logic of Quantifier Shifts |
| 11:30 - 12:00 | Yael Greenberg Another use of (an)other |
Robin Martinot On Characterizing Semantic Pollution of Proof Systems |
| 12:00 - 12:30 | Henk Zeevat Explaining Particle Typology in Minimal Bayesian Pragmatics |
Ivo Pezlar Computational Content of a Generalized Kreisel-Putnam Rule |
| 12:30 - 14:00 | Lunch Break | |
| 14:00 - 15:00 |
Nina Gierasimczuk Logic & Computation Invited Talk: Inductive Inference and Epistemic Modal Logic
Chair: Helle Hvid Hansen
|
|
| 15:00 - 15:15 | Short Break | |
| Chair: Stefan Hinterwimmer | Chair: Frank Wolter | |
| 15:15 - 15:45 | Itamar Francez Markedness and the morphosemantics of binary number |
Thomas Ferguson and Vit Puncochar Intuitionistic and Analytic Implication in Truthmaker Semantics |
| 15:45 - 16:15 | Arseny Anysimov and Daria Sidorkina Between methods and theories – Experimental evidence on semantics of Russian number |
Dick De Jongh and Fatemeh Shirmohammadzadeh Maleki Implicational Fragments of Some Subintuitionistic Logics |
| 16:15 - 16:45 | Coffee Break | |
| 16:45 - 17:45 |
Peter Sutton Language Tutorial Part 2: Polysemy, Copredication and Individuation
Chair: Stephanie Solt
|
|
| 17:45 - 18:00 | Short Break | |
| 18:00 - 18:30 | Memorial Lecture in honour of Prof. Khimuri Rukhaia | |
|
Wednesday 20 September
|
||
| 9:00 - 10:00 |
Frank Wolter Logic & Computation Tutorial Part 3: Theory and Applications of Craig Interpolants
Chair: Helle Hvid Hansen
|
|
| 10:00 - 10:30 | Coffee Break | |
| Chair: David Erschler | Chair: Balder ten Cate | |
| 10:30 - 11:00 | Michael Yoshitaka Erlewine Cross-linguistic variation in ordinary vs interrogative disjunctions |
Brett McLean Complete representation by partial functions for signatures containing antidomain restriction |
| 11:00 - 11:30 | Magdalena Markowska, Adil Soubki, Gary Mar, Seyedabolghasem Mirroshandel, Owen Rambow and Anita Wasilewska Formal Representation of Common Ground in Dialogue |
Alex Citkin On Splittings in Lattices of Quasivarieties |
| 11:30 - 11:45 | Short Break | |
| 11:45 - 12:45 |
Peter Sutton Language Tutorial Part 3: Polysemy, Copredication and Individuation
Chair: Stephanie Solt
|
|
| 12:45 - 14:15 | Lunch Break | |
| 14:15 | Excursion | |
|
Thursday 21 September
|
||
| Chair: Henk Zeevat | Chair: David Gabelaia | |
| 9:30 - 10:00 | Rusudan Asatiani An Algorithm Defining the Choices of Case Shift and Verb Concord Patterns in Georgian |
Rodrigo N. Almeida The Goldblatt Translation Revisited |
| 10:00 - 10:30 | Marina Bolea, Peter R. Sutton and Louise McNally Modification strategies for discriminating among referents in the presence of distractors: An analysis of large-scale production data |
Evgeny Kuznetsov Etale Heyting algebras |
| 10:30 - 11:00 | Lorenzo Rossi and Caterina Sisti Variable-hypothetical conditionals |
Aloïs Rosset Partially simple graphs form a quasitopos |
| 11:00 - 11:30 | Coffee Break | |
| 11:30 - 12:30 | Workshop Language | Workshop Logic & Computation |
| 12:30 - 14:00 | Lunch Break | |
| 14:00 - 15:00 | Workshop Language | Workshop Logic & Computation |
| 15:00 - 15:15 | Short Break | |
| 15:15 - 16:15 | Workshop Language | Workshop Logic & Computation |
| 16:15 - 16:45 | Coffee Break | |
| 16:45 - 17:45 | Workshop Language | Workshop Logic & Computation |
| 18:00 - 18:30 | Logic in Kakheti by Nick Bezhanishvili | |
| 20:00 | Banquet | |
|
Friday 22 September
|
||
| 10:00 - 11:00 |
Stephanie Solt Language Invited Talk: On Amounts and Measures
Chair: Elin McCready
|
|
| 11:00 - 11:30 | Coffee Break | |
| 11:30 - 12:30 |
Balder ten Cate Logic & Computation Invited Talk: Homomorphism Counts, Logics, and Query Algorithms
Chair: Helle Hvid Hansen
|
|
| 12:30 - 14:00 | Lunch Break | |
| Chair: Wiebke Petersen | Chair: Temur Kutsia | |
| 14:00 - 14:30 | Oleg Kapanadze, Nunu Kapanadze, Bogdan Babych and Natia Putkaradze Automatic Morphological Analysis and Syntactic Parsing for the Georgian Language |
Ana Ozaki A Theory of AI Computation |
| 14:30 - 15:00 | Irina Lobzhanidze, Erekle Magradze, Svetlana Berikashvili, Anzor Gozalishvili and Tamar Jalagonia Syntactic Annotation of Georgian in the UD Schemes |
Abhista Partal Balasubramaniam and Nina Gierasimczuk Logical Explanations for Neural Networks assisted by Neuroevolution |
| 15:00 - 15:30 | Martin Kopf, Mohammad Bablli, Maryam Rajestari, Dana Rebar, Remus Gergel Decomposing Decomposition in Time. A methodological investigation |
Ondrej Majer and Igor Sedlar Weighted Programs and Ethical Planning |
| 15:30 - 16:00 | Coffee Break | |
| Chair: Michael Erlewine | Chair: Matthias Baaz | |
| 16:00 - 16:30 | Cornelia Ebert, Stefan Hinterwimmer, Robin Hörnig and Anna Pia Jordan-Bertinelli An experimental investigation of the denotation of German masculine nouns |
Hongkai Yin Decidability of the Relational Syllogistic with Reordered Predicates |
| 16:30 - 17:00 | Deniz Özyıldız and Tom Roberts Bad attitudes: Impossible presuppositions and the false belief gap |
Temur Kutsia and Cleo Pau Matching Modulo Proximity Theories |
| 17:00 - 17:30 | Dean McHugh Unraveling Sartorio’s Difference-Making Principle |
|