/ /

Programme grid

	Monday Sep 16, 2019
	Logic	Language
9:00-10:00	Fabian Bross Language Tutorial: Sign language linguistics. State of the art
10:00-10:20	Break
10:20-10:45	Ondrej Majer, Dominik Klein and Soroush Rafiee Rad Non-classical probabilities in four valued framework	Peter Sutton and Carol-Rose Little The Finnish partitive in counting and measuring constructions
10:45-11:10	Juergen Landes, Soroush Rafiee Rad and Jon Williamson Towards the Entropy-Limit Conjecture	Daniel Hole and Katherine Fraser Syntax and semantics of the swarm alternation
11:10-11:35	Nenad Savic, Dragan Doder, Zoran Ognjanovic and Thomas Studer Incomplete Information and Justifications	Rusudan Asatiani An Algorithm Defining the Choice of Verbal Vowel Prefixes in the Kartvelian Linguistic Space
11:35-12:00	Gianluca Grilletti and Davide Quadrellaro Lattices of Intermediate Theories via Ruitenburg Theorem	Alassane Kiemtoré Contrast and Logophoricity: reflections on the use of the emphatic pronoun ale in Jula
12:00-12:25	Jean-Philippe Bernardy, Rasmus Blanck and Aleksandre Maskharashvili A Logic with Measurable Spaces for Natural Language Semantics	Yulia Zinova Prefixation in context: What does it mean if you change the norm?
12:30-14:00	Lunch
14:00-15:00	Gianluca Grilletti Invited Talk: Generalized quantifiers in inquisitive logic
15:00-15:30	Break
15:30-16:30	Thomas Ede Zimmermann Invited Language Talk: Extensions: what they are and the role they play in compositional semantics
16:30-16:45	Short Break
16:45-17:45	Graham Leigh Logic Tutorial: Axiomatic Semantics
19:00-	Reception
	Tuesday Sep 17, 2019
	Logic	Language
10:00-11:00	Graham Leigh Logic Tutorial: Axiomatic Semantics
11:00-11:20	Break
11:20-11:45	Lex Hendriks and Dick De Jongh On Negation based on a class of absurdities	Carla Umbach and Umut Ozge Scalar and non-scalar comparison across categories: The case of Turkish equatives
11:45-12:10	Dick De Jongh and Fatemeh Shirmohammadzadeh Maleki Subintuitionistic Logics with Linear Models	Malte Zimmermann, Lea Fricke and Edgar Onea Embedded Questions are exhaustive, alright, but...
12:10-12:35	David Gabelaia, Mamuka Jibladze, Levan Uridia and Evgeny Kuznetsov Flat polygonal logics in d-semantics	Micky Daniels Utility-based Scale in the Semantics of our even
12:35-13:00	Sam Adam-Day, Nick Bezhanishvili, David Gabelaia and Vincenzo Marra Polyhedral semantics for intermediate logics	Swantje Tönnis It is not the obvious question that a cleft addresses
13:00-13:25	Saul Fernandez Gonzalez, Alexandru Baltag and Nick Bezhanishvili Topological Evidence Logics: Multi-Agent Setting	Nino Amiridze, Anna Chutkerashvili, Besik Dundua and Irina Temnikova Towards a Georgian Controlled Language in Crisis Management
13:30-15:00	Lunch
15:00-16:00	Philippe Balbiani Invited logic talk: Decidable and undecidable problems for modal definability
16:00-16:30	Break
16:30-17:30	Fabian Bross Language Tutorial: Sign language linguistics. State of the art
	Wednesday Sep 18, 2019
	Logic	Language
10:00-11:00	Graham Leigh Logic Tutorial: Axiomatic Semantics
11:00-11:20	Break
11:20-11:45	Antonio Di Nola, Giacomo Lenzi and Luca Spada An algebraic study of Łukasiewicz logic with hedges	Curt Anderson Predicate-modifier asymmetries and the syntax-semantics interface
11:45-12:10	Vakhtang Abashidze Johnstone-Gleason covers for partially ordered sets	Carol-Rose Little The interpretation of bare nouns in Ch'ol (Mayan)
12:10-12:35	Konstantine Razmadze Analysis of the multi-modal logics for modal maps	Kristina Liefke Reasoning with an (Experiential) Attitude: inference relations between same-type attitude reports
12:35-13:00	Levan Uridia and Philippe Balbiani Iterated structures are not modally definable	Kristina Liefke and Markus Werning Single-Type Semantics and Depiction Reports
13:00-13:25	Phillipe Balbiani, Çiğdem Gencer and Zafer Özdemir Modal logics with a restricted universal modality	Sonia Ramotowska, Shane Steinert-Threlkeld, Leendert Van Maanen and Jakub Szymanik Most, but not more than half, is proportion-dependent and sensitive to individual differences
13:30-15:00	Lunch
15:00-15:00	Adam Bjorndahl Invited Logic Talk: The epistemology of nondeterminism
16:00 onward	Excursion
	Thursday Sep 19, 2019
	Logic	Language
10:00-11:00	Libor Barto Invited Computation Talk: Promise Constraint Satisfaction Problem
11:00-11:20	Break
11:20-12:20	Alexandru Baltag Invited Logic Talk: The Modal Logic of Functional Dependency (or how to use questions to answer other questions)
12:20-13:20	Logic Workshop	Language Workshop
13:30-15:00	Lunch
15:00-18:45	Logic Workshop	Language Workshop
20:00 onward	Banquet
	Friday Sep 20, 2019
	Logic	Language
10:20-10:45	Temur Kutsia and Cleo Pau Matching and Generalization Modulo Proximity and Tolerance	Daniel Hole and Sebastian Padó Distributional analysis of function words
10:45-11:10	Mikheil Rukhaia, Besik Dundua and Temur Kutsia Unranked Nominal Unification	Peter Sutton and Hana Filip Informational Object Nouns and the mass/count distinction
11:10-11:35	Bahareh Afshari and Graham Leigh Direct interpolation for modal mu-calculus	Nino Amiridze Borrowing vocative truncation rule from Russian: Pattern borrowing in Georgian-Russian language contact
11:35-12:00	Matthias Baaz and Anela Lolic Towards a Proof Theory for Henkin Quantifiers	Ralf Naumann and Wiebke Petersen Modelling the retrieval-integration model with frames
12:00-12:30	Coffee break
12:30-13:30	Berit Gehrke Invited Language Talk: Against the notion of fake imperfectivity
13:30-15:00	Lunch
15:00-15:25	Stergios Chatzikyriakidis and Zhaohui Luo Gradability in MTT-semantics	Oleg Kapanadze, Thomas Hanneforth and Gideon Kotzé Applying Computer Technologies to the Georgian Language: From a TreeBank to a Syntactic Parser
15:30-16:30	Fabian Bross Language Tutorial: Sign language linguistics. State of the art