| Name | Affiliation | Lectures & Workshops |
|---|
| Birgit Alber | University of Verona | Introduction to Metrical Theory. |
| Elisabeth André | University of Augsburg, Chair for Multimedia Applications | NLP for Multimedia Applications. |
| Nicholas Asher | University of Texas at Austin | Logics of Conversation. |
| Franz Baader | TU Dresden | Term Rewriting Systems. |
| Matthias Baaz | Nstitut für Diskrete Mathematik und Geometrie | Computational Analysis of Proofs. |
| Sebastian Bader | Dresden University of Technology | Integrating logic programs and connectionist systems. |
| Roman Bartak | Charles University | Programming with Logic and Constraints. |
| Leopoldo Bertossi | Carleton University | The Logics of Consistent Query Answers in Databases. |
| Nick Bezhanishvili | ILLC, University of Amsterdam | Intuitionistic Logic. |
| Stefano Borgo | Laboratory for Applied Ontology, ISTC-CNR | Formal Ontology for Semanticists. |
| Cem Bozsahin | Middle East Technical University | CCG and Linguistic Diversity. |
| Sasha Calhoun | University of Edinburgh | Focus and Prosodic Prominence. |
| Chris Callison-Burch | University of Edinburgh | Introduction to Statistical Machine Translation. |
| Justine Cassell | Northwestern University | Computational pragmatics for face-to-face dialogue. |
| Ariel Cohen | Ben-Gurion University of the Negev | Probabilistic Approaches to Semantics. |
| Thierry Declerck | German Research Center for Artificial Intelligence | NLP for Multimedia Applications. |
| Hans van Ditmarsch | Computer Science, University of Otago | Dynamic epistemic logic. |
| Belief revision and dynamic logic. |
| Regine Eckardt | ZAS and HU Berlin | Evolution of Language. |
| Tomaz Erjavec | Institute Jozef Stefan | Annotation of language resources: XML, TEI, OWL. |
| Tim Fernando | Trinity College Dublin | Natural language semantic representations as types. |
| Giuseppe De Giacomo | Dipartimento di Informatica e Sistemistica, Univ. Roma La Sapienza | Logic-based information integration. |
| Philippe de Groote | LORIA / INRIA Lorraine | Abstract Categorial Grammars. |
| Nicola Guarino | Laboratory for Applied Ontology, ISTC-CNR | Formal Ontology for Semanticists. |
| Fritz Hamm | Seminar für Sprachwissenschaft der Universität Tübingen | Representation and Computation of Temporal Relations in NL. |
| Petra Hendriks | Center for Language and Cognition Groningen | Cross-modular approaches to ellipsis. |
| Andreas Herzig | IRIT | Belief revision and dynamic logic. |
| Klaus von Heusinger | University of Stuttgart | Discourse Domains and Information Structure. |
| Erhard Hinrichs | Seminar für Sprachwissenschaft, University of Tübingen | Linguistic Treebanks and Data-Intensive Parsing. |
| Pascal Hitzler | University of Karlsruhe, Germany | Integrating logic programs and connectionist systems. |
| Steffen Hoelldobler | Dresden University of Technology | Integrating logic programs and connectionist systems. |
| Helen de Hoop | General Linguistics, Radboud University Nijmegen | Formal Semantics and Cross-Linguistic Data. |
| Gerhard Jaeger | University of Potsdam | Evolutionary Games and Language. |
| T.Florian Jaeger | Stanford University | Focus and Prosodic Prominence. |
| Mark Johnson | Brown University | Grammars, Automata and Parsing. |
| Dick de Jongh | ILLC, University of Amsterdam | Intuitionistic Logic. |
| Hans Kamp | Institut für maschinelle Sprachverarbeitung der Universität Stuttgart | Representation and Computation of Temporal Relations in NL. |
| Jaap Kamps | University of Amsterdam | Retrieving Content and Structure. |
| Graham Katz | Institute for Cognitive Science | Genericity in natural language. |
| Ruth Kempson | King's College London | Foundations of Natural-Language Grammar. |
| Philipp Koehn | University of Edinburgh | Introduction to Statistical Machine Translation. |
| Barteld Kooi | University of Groningen | Dynamic epistemic logic. |
| Hristo Koshutanski | University of Trento | Abduction and Deduction in Logic Programming for Access Control for Web Services. |
| Claudia Kunze | Seminar für Sprachwissenschaft, Universität Tübingen | Computational Lexicography. |
| Sandra Kübler | Seminar für Sprachwissenschaft, University of Tübingen | Linguistic Treebanks and Data-Intensive Parsing. |
| Alex Lascarides | University of Edinburgh | Logics of Conversation. |
| Alexander Leitsch | Institut für Computersprachen Technische Universität Wien | Computational Analysis of Proofs. |
| Lothar Lemnitzer | Seminar für Sprachwissenschaft, Universität Tübingen | Computational Lexicography. |
| Carsten Lutz | TU Dresden | Quantitative Logics for Time, Space, and Similarity. |
| Maarten Marx | University of Amsterdam | Retrieving Content and Structure. |
| Mark McConville | University of Edinburgh | CCG and Linguistic Diversity. |
| Glyn Morrill | Universitat Politècnica de Catalunya | Foundations of Natural-Language Grammar. |
| Reinhard Muskens | Tilburg University | Natural Language Semantics. |
| Jakub Piskorski | DFKI Saarbruecken | Finite-State Methods in NLP. |
| Sylvain Pogodalla | LORIA / INRIA Lorraine | Abstract Categorial Grammars. |
| James Pustejovsky | Brandeis University | Type Selection and the Semantics of Local Context. |
| Janina Rado | University of Tuebingen | Experimental evidence for semantic theories. |
| Greg Restall | Philosophy Department, University of Melbourne | Proof, Cut Elimination and Normalisation. |
| Frank Richter | Universität Tübingen | Empirical Challenges and Analytical Alternatives to Strict Compositionality. |
| Maarten de Rijke | Informatics Institute, University of Amsterdam | Retrieving Content and Structure. |
| Robert van Rooij | ILLC, Amsterdam | Evolutionary Games and Language. |
| Riccardo Rosati | Dipartimento di Informatica e Sistemistica, Univ. Roma La Sapienza | Logic-based information integration. |
| Horacio Saggion | NLP Group/Computer Science Departiment/University of Sheffield | Automatic Text Summarization: Past, Present, and Future. |
| Manfred Sailer | Universität Tübingen | Empirical Challenges and Analytical Alternatives to Strict Compositionality. |
| Stefan Schlobach | University of Amsterdam | Practical Reasoning for the Semantic Web. |
| Stuart Shieber | Harvard University | Transducers. |
| Wojciech Skut | Rhetorical Systems Ltd. | Finite-State Methods in NLP. |
| Jennifer Spenader | Center for Language and Cognition Groningen | Cross-modular approaches to ellipsis. |
| Keith Stenning | Edinburgh University | Semantics and cognition: human reasoning in cognitive science. |
| Matthew Stone | Rutgers University | Computational pragmatics for face-to-face dialogue. |
| Heiner Stuckenschmidt | Vrije Universiteit Amsterdam | Practical Reasoning for the Semantic Web. |
| David Traum | Institute for Creative Technology, USC | Computational pragmatics for face-to-face dialogue. |
| Carla Umbach | Institute of Cognitive Science, University of Osnabrueck | Discourse Domains and Information Structure. |
| Shravan Vasishth | Linguistics, Potsdam University | Statistical data analysis using R, a system for statistical computation and graphics. |
| Tony Veale | University College Dublin | Computational Aspects of Metaphor Processing. |
| Laure Vieu | IRIT-CNRS | Formal Ontology for Semanticists. |
| Frank Wolter | University of Liverpool | Quantitative Logics for Time, Space, and Similarity. |
| Michael Zakharyaschev | King's College London | Quantitative Logics for Time, Space, and Similarity. |
| Roberto Zamparelli | University of Bergamo | Genericity in natural language. |
| Sandro Zucchi | Università degli Studi di Milano | Context shift in sign language. |
| Joost Zwarts | Utrecht Institute of Linguistics OTS | Formal Semantics and Cross-Linguistic Data. |
