Courses

Summary

Super Semantics, Philippe Schlenker (Institut Jean Nicod, CNRS), Emmanuel Chemla (LSCP, CNRS), Second week, slot 9:00:10:30

Dynamic Semantics and Pragmatic Alternatives, Daniel Rothschild (University College London), Second week, slot 11:00:12:30
Introduction to the semantics of tense and aspect, Sam Alxatib (City University of New York), Yael Sharvit (University of California Los Angeles), First week, slot 14:00:15:30
Linguistic applications of mereology, Lucas Champollion (New York University), First week, slot 9:00:10:30
Modern Type Theories for Natural Language Semantics, Zhaohui Luo (University of London), Second week, slot 11:00:12:30
Social Meaning, Sociolinguistic Variation and Game-Theoretic Pragmatics, Heather Burnett (LLF, CNRS), E. Allyn Smith (Université du Québec à Montréal), First week, slot 11:00:12:30
Speaking of Things and Stuff: The Semantics of Plurals and Mass Terms, Salvatore Florio (University of Birmingham), David Nicolas (Institut Jean Nicod, CNRS), First week, slot 14:00:15:30
Syntax-discourse interface, Kata Balogh (Heinrich-Heine-University Düsseldorf), Anja Latrouite (Heinrich-Heine-University Düsseldorf), First week, slot 17:00:18:30

Conditionals: A guided tour, Elena Herburger (Georgetown University), Second week, slot 9:00:10:30
Modeling conversational exchange using games, Soumya Paul (IRIT, CNRS), Nicholas Asher (IRIT, CNRS), Second week, slot 14:00:15:30
Probabilistic models of vagueness, Paul Egré (Institut Jean Nicod, CNRS), Steven Verheyen (Institut Jean Nicod, CNRS), First week, slot 17:00:18:30
Quantifiers and Cognition, Jakub Szymanik (University of Amsterdam), Second week, slot 17:00:18:30
Theories of sequence-of-tense, Sam Alxatib (City University of New York), Yael Sharvit (University of California Los Angeles), Second week, slot 17:00:18:30
The semantics and pragmatics of intensification: Logic, discourse and social meaning, Andrea Beltrama (University of Konstanz), Yaron McNabb (Utrecht University), Second week, slot 14:00:15:30
Underlying States, Roger Schwarzschild (MIT), Daniel Altshuler (Hampshire College), First week, slot 11:00:12:30
Situated Discourse, Julie Hunter (Universitat Pompeu Fabra), Nicholas Asher (IRIT, CNRS), First week, slot 9:00:10:30

Logics for Formal Epistemology, Alexandru Baltag (University of Amsterdam), Sonja Smets (University of Amsterdam), Second week, slot 17:00:18:30
Puzzles and Paradoxes from Decision and Game Theory, Eric Pacuit (University of Maryland), First week, slot 9:00:10:30

Analyzing Logics Using Automata, Michael Benedikt (Oxford University), Michael Vanden Boom (Oxford University), First week, slot 11:00:12:30
Argument Mining, Katarzyna Budzynska (Polish Academy of Sciences, University of Dundee), Chris Reed (University of Dundee), Second week, slot 9:00:10:30
Categories, proofs, and programs, Samson Abramsky (Oxford University), Nikos Tzevelekos (Queen Mary University of London), First week, slot 17:00:18:30
Complexity of Two-Variable First-Order Logics, Emanuel Kieronski (University of Wrocław), Lidia Tendera (Opole University), First week, slot 14:00:15:30
Lattice Theory, John Harding (New Mexico State University), Second week, slot 14:00:15:30
Natural Deduction and the Isabelle Proof Assistant, Jørgen Villadsen (Technical University of Denmark), Second week, slot 17:00:18:30
Parameterized Complexity and Fixed-Parameter Algorithms, Robert Ganian (TU Wien), Second week, slot 14:00:15:30
Picturing Quantum Processes, Bob Coecke (Oxford University), Aleks Kissinger (Radboud University), Second week, slot 11:00:12:30

Caught in the Spiders’ Diagrammatic Reasoning Web–The Euler/Spider Diagram Family of Formal Reasoning Systems–, Andrew Fish (University of Brighton), Alexander Heußner (Otto-Friedrich-Universität Bamberg), Second week, slot 11:00:12:30
Efficient Proof Systems for Modal Logics, Roman Kuznets (TU Wien), Lutz Straßburger (INRIA Saclay), First week, slot 14:00:15:30
Logic and Databases, Phokion G. Kolaitis (University of California Santa Cruz, IBM Research), First week, slot 9:00:10:30
Verification of Data-Aware Processes, Diego Calvanese (Free University of Bolzano), Marco Montali (Free University of Bolzano), Second week, slot 9:00:10:30

Argument Mining, Elena Cabrio (Université Nice Sophia Antipolis), Serena Villata (I3S, CNRS), Second week, slot 14:00:15:30
Bayesian Methods for Language Sciences, Mark Andrews (Nottingham Trent University), First week, slot 9:00:10:30
Computational lexical semantics, Aaron Steven White (Johns Hopkins University), Kyle Rawlins (Johns Hopkins University), Second week, slot 17:00:18:30
Embeddings and Deep Learning, Hinrich Schütze (University Lüdwig-Maximilian of Munich), First week, slot 11:00:12:30
Explicit world-knowledge and distributional semantic representations, Asad Sayeed (Universität des Saarlandes), Alessandra Zarcone (Universität des Saarlandes), First week, slot 14:00:15:30
Predication via Finite-State Methods, Tim Fernando (Trinity College Dublin), First week, slot 17:00:18:30