Accepted Courses & Workshops
Summary
Language and Logic Courses
Foundational
- Super Semantics, Philippe Schlenker (Institut Jean Nicod, CNRS), Emmanuel Chemla (LSCP, CNRS)
Introductory
- Dynamic Semantics and Pragmatic Alternatives, Daniel Rothschild (University College London)
- Introduction to the semantics of tense and aspect, Sam Alxatib (City University of New York), Yael Sharvit (University of California Los Angeles)
- Linguistic applications of mereology, Lucas Champollion (New York University)
- Modern Type Theories for Natural Language Semantics, Zhaohui Luo (University of London)
- Social Meaning, Sociolinguistic Variation and Game-Theoretic Pragmatics, Heather Burnett (LLF, CNRS), E. Allyn Smith (Université du Québec à Montréal)
- Speaking of Things and Stuff: The Semantics of Plurals and Mass Terms, Salvatore Florio (University of Birmingham), David Nicolas (Institut Jean Nicod, CNRS)
- Syntax-discourse interface, Kata Balogh (Heinrich-Heine-University Düsseldorf), Anja Latrouite (Heinrich-Heine-University Düsseldorf)
Advanced
- Conditionals: A guided tour, Elena Herburger (Georgetown University)
- Modeling conversational exchange using games, Soumya Paul (IRIT, CNRS), Nicholas Asher (IRIT, CNRS)
- Probabilistic models of vagueness, Paul Egré (Institut Jean Nicod, CNRS), Steven Verheyen (Institut Jean Nicod, CNRS)
- Quantifiers and Cognition, Jakub Szymanik (University of Amsterdam)
- Theories of sequence-of-tense, Sam Alxatib (City University of New York), Yael Sharvit (University of California Los Angeles)
- The semantics and pragmatics of intensification: Logic, discourse and social meaning, Andrea Beltrama (University of Konstanz), Yaron McNabb (Utrecht University)
- Underlying States, Roger Schwarzschild (MIT), Daniel Altshuler (Hampshire College)
- Situated Discourse, Julie Hunter (Universitat Pompeu Fabra), Nicholas Asher (IRIT, CNRS)
Logic and Computation Courses
Foundational
- Logics for Formal Epistemology, Alexandru Baltag (University of Amsterdam), Sonja Smets (University of Amsterdam)
- Puzzles and Paradoxes from Decision and Game Theory, Eric Pacuit (University of Maryland)
Introductory
- Analyzing Logics Using Automata, Michael Benedikt (Oxford University), Michael Vanden Boom (Oxford University)
- Argument Mining, Chris Reed (University of Dundee), Katarzyna Budzynska (Polish Academy of Sciences, University of Dundee)
- Categories, proofs, and programs, Samson Abramsky (Oxford University), Nikos Tzevelekos (Queen Mary University of London)
- Complexity of Two-Variable First-Order Logics, Emanuel Kieronski (University of Wrocław), Lidia Tendera (Opole University)
- Lattice Theory, John Harding (New Mexico State University)
- Natural Deduction and the Isabelle Proof Assistant, Jørgen Villadsen (Technical University of Denmark)
- Parameterized Complexity and Fixed-Parameter Algorithms, Robert Ganian (TU Wien)
- Picturing Quantum Processes, Bob Coecke (Oxford University), Aleks Kissinger (Radboud University)
Advanced
- 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)
- Efficient Proof Systems for Modal Logics, Roman Kuznets (TU Wien), Lutz Straßburger (INRIA Saclay)
- Logic and Databases, Phokion G. Kolaitis (University of California Santa Cruz, IBM Research)
- Verification of Data-Aware Processes, Diego Calvanese (Free University of Bolzano), Marco Montali (Free University of Bolzano)
Language and Computation Courses
Foundational
- Bridging language processing data and formal theories of meaning: event-related brain potentials as a tool of investigating semantic and pragmatic theories, Maria Spychalska (University of Cologne)
- Foundations of argumentation for argument mining, Laura Alonso Alemany (National University of Cordoba), Patrick Saint-Dizier (IRIT, CNRS)
Introductory
- Computational Morphology, Alexey Sorokin (Moscow State University)
- Introduction to Categorical Compositional Distributional Semantics, Dimitrios Kartsaklis (Queen Mary University of London), Martha Lewis (Oxford University)
- Generative Lexicon Theory: Integrating Theoretical and Empirical Methods, James Pustejovsky (Brandeis University), Elisabetta Jezek (University of Pavia)
- Networks and User-generated Content, Leon Derczynski (University of Sheffield), Matteo Magnani (Uppsala University)
- Unsupervised methods for linguistic data, Aaron Steven White (Johns Hopkins University)
- Visualization for Linguistics Research: Methodology Fundamentals, Olga Scrivner (Indiana University)
Advanced
- Argument Mining, Elena Cabrio (Université Nice Sophia Antipolis), Serena Villata (I3S, CNRS)
- Bayesian Methods for Language Sciences, Mark Andrews (Nottingham Trent University)
- Computational lexical semantics, Aaron Steven White (Johns Hopkins University), Kyle Rawlins (Johns Hopkins University)
- Embeddings and Deep Learning, Hinrich Schütze (University Lüdwig-Maximilian of Munich)
- Explicit world-knowledge and distributional semantic representations, Asad Sayeed (Universität des Saarlandes), Alessandra Zarcone (Universität des Saarlandes)
- Predication via Finite-State Methods, Tim Fernando (Trinity College Dublin)
Workshops
- Formal approaches to the dynamics of linguistic interaction, Christine Howes (University of Gothenburg), Hannes Rieser (Bielefeld University)
- Integrating Approaches to Social Meaning, Christopher Davis (University of the Ryukyus), Eric McCready (Aoyama Gakuin University), Gregoire Winterstein (The Education University of Hong Kong)
- Quantifiers & Determiners, Christian Retoré (LIRMM, Université de Montpellier 2), Mark Steedman (University of Edinburgh)
- 7th Intuitionistic Modal Logic and Applications (IMLA), Valeria de Paiva (Nuance Communications), Sergei Artemov (City University of New York)