Courses according to sections:

(click on course title for detailed course description)

Computation Duration Calculus: A Logical Approach to Real-Time Systems Computability and Complexity from a Programming Perspective Combinatorial Pattern Matching: Techniques and Applications Operational Semantics with Applications Term Rewriting Systems I + II Logical Abstract Machines Concurrent Constraint Programming in Oz Introduction to Functional Programming	Language Modelling Dynamic Interactions between Morphology and Syntax An Introduction to Linguistics for Non-linguists Machine Translation Semantics in the Absence of Syntax Constructions: an HPSG Perspective Current Topics in Constraint-based Theories of Germanic Syntax Natural Language Semantics for Logicians and Computer Scientists	Logic Complexity in Modal Logic Logics of Induction and Recursion Stretching the Expressive Power of First Order Predicate Logic Introduction to Model Theory Formal systems for Probabilistic Inference Provability and Interpretability Logic Formal Topology Linear Logic and Proof Theory
All sections	The ESSLLI 98 Student Session	All sections
Language & Computation Lexical Semantics in Context: Corpus, Inference and Discourse Inductive Language Learning Recent Advances in Corpus Annotation Practical HPSG Grammar Engineering Lexical Statistical Methods for Natural Language Processing Automated Acquisition of Syntax and Parsing Computational Approaches to Human Sentence Processing Word Sense Disambiguation Recognition, Selection and Translation Algorithms with Finite Automata for Lexical Tagging and Segmentation of Phonetic Strings Exploiting Tree Descriptions in Strongly Lexicalized Grammar Formalisms and Parsers	Language & Logic Pragmatics and Logic Dynamic Semantics and Information Interchange Language Processing and Cognition Logic and Cognition Mutual Knowledge, Common Ground and Public Information Logical and Linguistic Aspects of Diagrammatic Representation The Formalization of Semantic Relations in Relational Concept Analysis Temporality in Natural Language: What we Talk about When we Talk about Times Unification-based Linguistic Formalisms	Logic & Computation Automating Inductive Proofs Agent Theory Reasoning about Actions: Foundations and Applications Tableau-Based Theorem Proving Abducition and Diagnosis: Logical and Computational Aspects Computational Logic Proof Planning Foundations of Inductive Logic Programming Probabilistic Logic and Randomised Computation The Automata-theoretic Approach to Design Verification

ESSLLI novelty:

European Union

Preparation and Management of EU-funded Projetcs

European Union