Schedule

Please note that there are always several courses scheduled at the same time (at the most 8 in parallel).

First Week, August 17 - 21, 1998

09.00 - 10.30	Computability and Complexity from a Programming Perspective Jones Computation Introductory	Formal Systems for Probabilistic Inference Jaeger & Weydert Logic Introductory	Lexical Statistical Methods for Natural Language Processing Dagan Language & Computation Advanced	Unification-based Linguistic Formalims Wintner Language & Logic Introductory	Dynamic Semantics and Information Interchange Beaver, Dekker & Groeneveld Language & Logic Advanced	Automating Inductive Proofs Bundy Logic & Computation Advanced
10.30 - 11.00	Break	Break	Break	Break	Break	Break	Break	Break
11.00 - 12.30	Operational Semantics with Applications Nielson & Nielson Computation Advanced	An Introduction to Linguistics for Non-linguists Engdahl Language Introductory	Constructions. an HPSG Perspective Kathol & Sag Language Advanced	Recent Advances in Corpus Annotation Brants, Krenn, Skut, Uszkoreit Language & Computation Workshop	The Formalization of Se-mantic Relations in Rela-tional Concept Analysis Priss Language & Logic Introductory	Agent Theory Fisher & Wooldridge Logic & Computation Advanced	Computational Logic Kohlhase & Siekmann Logic & Computation Foundational
12.30 - 14.00	Lunch	Lunch	Lunch	Lunch	Lunch	Lunch	Lunch	Lunch
14.00 - 15.30	Logical Abstract Machines De Paiva & Ritter Computation Workshop	Formal Topology Sambin & Valentini Logic Advanced	Practical HPSG Grammar Engineering Copestake, Flickinger & Oepen Language & Computation Introductory	Word Sense Disambiguation Krovetz Language & Computation Advanced	Language Processing and Cognition Crocker & Poesio Language & Logic Introductory	Reasoning about Actions: Foundations and Applications De Giacomo & Nardi Logic & Computation Workshop	Probabilistic Logic and Randomised Computation Di Pierro & Wiklicky Logic Workshop	Term Rewriting Systems I Van Oostrom & Venema Computation Introductory
15.30 - 15.45	Break	Break	Break	Break	Break	Break	Break	Break
15.45 - 16.45	Student Session Kruijff-Korbayova All sections	Preparation and Management of EU-funded Projects Netter & Uszkoreit Workshop
16.45 - 17.00	Break	Break	Break	Break	Break	Break	Break	Break
17.00 - 18.30	Current Topics in Constraint-based Theories of Germanic Syntax Kiss & Meurers Language Workshop	Tableau-based Theorem Proving Haehnle Logic & Computation Introductory	Semantics in the Absence of Syntax De Hoop & Hendriks Language Advanced	Lexical Semantics in Context: Corpus, Inference and Discourse Bos & Buitelaar Language & Computation Workshop	Proof Planning Kohlhase, Melis & Siekmann Logic & Computation Workshop, only 18.08.98	Temporality in Natural Language Crouch Language & Logic Introductory	The Automata-theoretic Approach to Design Verification Vardi Logic & Computation Advanced
18.30 - 20.00	Dinner	Dinner	Dinner	Dinner	Dinner	Dinner	Dinner	Dinner
20.00 - 21.00	On Grammar Architecture Engdahl Evening Lecture Tuesday, 18.08.98		Unifying Truth and Validity Checking for Temporal Logic Vardi Evening Lecture Thursday, 20.08.98

Changes:

Please note that the course Kathol/Sag was swapped with the course De Hoop/Hendriks (July 16, 1998). The course Blackburn/Marx was moved to week II, 9.00 - 10.30 (July 17, 1998), De Giacomo/Nardi was swapped with Kohlhase/Siekmann (July 21, 1998).

Martin Kay's course had to be moved to week II at 17.00 - 18.30 (August 5, 1998).

Second Week, August 24 - 28, 1998

09.00 - 10.30	Introduction to Functional Programming Thompson Computation Introductory	Linear Logic and Proof Theory Schellinx Logic Advanced	Machine Translation Van Eynde Language Workshop	Complexity in Modal Logic Blackburn & Marx Logic Introductory	Autmated Acqusition of Syntax and Parsing Keller Language & Computation Workshop	Unification-based Linguistic Formalisms Wintner Language & Logic Introductory	Dynamic Semantics and Information Interchange Beaver, Dekker & Groeneveld Language & Logic Advanced	Adcution and Diagnosis: Logical and Computational Aspects Bos, Van der Hoek & Witteveen Logic & Computation Introductory
10.30 - 11.00	Break	Break	Break	Break	Break	Break	Break	Break
11.00 - 12.30	Term Rewriting Systems II Van Oostrom & Venema Computation Advanced	Natural Language Semantics for Logicians and Computer Scientists Muskens Language Introductory	Modelling Dynamic Interactions between Morphology and Syntax Bresnan & Sadler Language Advanced	Formal Systems for Probabilistic Inference Jaeger & Weydert Logic Introductory	Provability and Interpretability Logic De Jongh Logic Workshop	Inductive Language Learning Van den Bosch Language & Computation Introductory	Mutual Knowledge, Common Ground and Public Information Heydrich & Rieser Language & Logic Workshop	Foundations of Inductive Logic Programming Nienhuys-Cheng Logic & Computation Introductory
12.30 - 14.00	Lunch	Lunch	Lunch	Lunch	Lunch	Lunch	Lunch	Lunch
14.00 - 15.30	Concurrent Constraint Programming in Oz Smolka Computation Introductory	Constructions: an HPSG Perspective Kathol & Sag Language Advanced	Combinatorial Pattern Matching: Techniques and Applications Muthukrishnan & Sahinalp Computation Advanced	Formal Topology Sambin & Valentini Logic Advanced	Stretching the Expressive Power of First Order Predicate Logic Gabbay & Ohlbach Logic Workshop	Lexical Tagging and Segmentation of Phonetic Strings Laporte Language & Computation Advanced	Language Processing and Cognition Crocker & Poesio Language & Logic Introductory	Logic and Cognition Van der Does, Lambalgen Language & Logic Advanced
15.30 - 15.45	Break	Break	Break	Break	Break	Break	Break	Break
15.45 - 16.45	Student Session Kruijff-Korbayova All sections
16.45 - 17.00	Break	Break	Break	Break	Break	Break	Break	Break
17.00 - 18.30	Duration Calculus: A Logical Approach to Rea-Time Systems Hansen Computation Workshop	Introduction to Model Theory Hodges Logic Introductory	Logics of Induciton and Recursion Dawar Logic Advanced	Exploiting Tree Descrip-tions in Strongly Lexicali-zed Grammar Formalisms Vijay-Shanker & Weir Language & Computation Advanced	Logical and Lingistic Aspects of Diagrammatic Representation Lemon Language & Logic Advanced	Pragmatics and Logic Allwood Language & Logic Workshop	Human Sentence Processing Konieczny Language & Computation Introductory	Exact Methoes in Computational Linguistics: An Introduction Kay Language & Computation Foundational
18.30 - 20.00	Dinner	Dinner	Dinner	Dinner	Dinner	Dinner	Dinner	Dinner
20.00 - 21.00	Lexical Disambiguation Laporte Evening Lecture Tuesday, 25.08.98		Compositionality Hodges Evening Lecture Thursday, 27.08.98

Changes:

Please note that the course Konieczny is now scheduled at 17.00 - 16.30 (July 17, 1998).

All registered participants, lecturers and workshop organizers will be asked to register for individual courses in the middle of July.