| Monday | ||
| Session Language | Session Logic & Computation | |
| 16:30-17:00 | Rusudan Asatiani The Algorithm defining the choice of ‘Active~Passive’ formal models in Georgian |
Guram Bezhanishvili, Nick Bezhanishvili and Julia Ilin Subframization for superintuitionistic logics |
| 17:00-17:30 | Lea Nash Structural Source of Georgian Ergative |
Dick De Jongh and Ana Lucia Vargas Sandoval Minimal Negation |
| 17:30-18:00 | Sebastian Löbner Frame theory with first-order comparators: modeling verbs of change with frames |
Dick de Jongh, Apostolos Tzimoulis and Zhiguang Zhao Morphisms and universal model for positive IPC |
| Tuesday | ||
| Session Language | Session Logic & Computation | |
| 12:00-12:30 | Jeremy Pasquereau Overt movement of comparative quantifiers in European French |
Mikheil Rukhaia, Gela Chankvetadze and Lia Kurtanidze Semi-Automated Construction of Proof Schemata |
| 12:30-13:00 | Richard Zuber Reflexive and reciprocal determiners |
Matthias Baaz and Daniel Weller On weakened Eigenvariable conditions |
| Wednesday | ||
| Session Language | Session Logic & Computation | |
| 12:00-12:30 | Poppy Mankowitz The Anomaly in Bob's Yard: A Response to Shaw's ‘Anomaly and Quantification’ |
Zoltan Esik A Representation Theorem for Stratified Complete Lattices |
| 12:30-13:00 | Jack Marley-Payne Reference and Practical Interests |
Sergey Davidov A characterization of invertible algebras linear over a group by formulae of second-order language |
| 16:30-17:00 | Henk Zeevat Dependency Trees as Semantic Representations |
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün and Sonja Smets The Topology of Full and Weak Belief |
|
17:00-17:30 |
Isabelle Roy, Bridget Copley and Lorraine McCune Measuring syntactic complexity in early child productions: maximal syntactic depth |
|
| 17:30-18:00 | Lasha Abzianidze Solving an RTE Task with a Theorem Prover for Natural Language |
|
| Thursday | ||
| Session Language | Session Logic & Computation | |
| 12:00-12:30 | Ralf Naumann and Wiebke Petersen A probabilistic approach for semantic predictions in natural language processing |
Johannes Marti and Riccardo Pinosio Game Semantics for System P |
| 12:30-13:00 | Hana Filip and Peter Sutton A probabilistic, mereological account of the mass/count distinction |
Christian Fermüller and Ondrej Majer Equilibrium Semantics for IF-Logic and Many-Valued Connectives |
| Friday | ||
| Session Language | Session Logic & Computation | |
| 12:00-12:30 | Carla Umbach On-the-fly Kind-formation by Similarity |
Diego Valota and Pietro Codara Towards a Formal Concept Semantics for Gödel Logic |
| 12:30-13:00 | Justyna Grudzinska and Marek Zawadowski A Puzzle about Long-distance Indefinites and Dependent Type Semantics |
Nikolai Poliakov On the clonal approach to some problems of social choice theory |
| 16:30-17:00 | Dawei Jin Intervention Effects in Why-questions Follow from the Constraints on Topicality |
Denis I. Saveliev and Nikolay L. Poliakov On various concepts of ultrafilter extensions of first-order models |
| 17:00-17:30 | Liana Lortkipanidze, Nino Amirezashvili, Liana Samsonadze, Anna Chutkerashvili and Nino Javashvili Syntax Annotation of Georgian Literary Corpus |
Levan Uridia and Dirk Walther Completeness by Modal Definitions |
| 17:30-18:00 | Elitzur Bar-Asher Siegal and Nora Boneh What Discursive Datives are: the case of Modern Hebrew |
Petr Homola First-order abduction as enumeration of stable models |
| Saturday | ||
| Session Language | Session Logic & Computation | |
| 12:00-12:30 | Anja Goldschmidt, Ekaterina Gabrovska, Thomas Gamerschlag and Wiebke Petersen Does the rain hit the window playfully? A frame-based analysis of German hit-verbs |
|
| 12:30-13:00 |
Kata Balogh Hungarian preverbal field in complex sentences: towards an MCTAG analysis |
|