WORKING GROUP TYPES - ANNUAL MEETING '98

Organized by

T. Altenkirch, W. Naraschewski, B. Reus

Proceedings

Invited Speakers	Satellite Workshop	Social Events
Martín Abadi (DEC, USA) A Type System for the Java Virtual Machine Per Martin-Löf (Stockholm, Sweden) Categories of expressions, meanings or objects? Gunnar Stålmarck (Logikkonsult, Sweden) Industrial applications of propositional logic	Workshop on Natural Language and Type Theory Natural Language Workshop Programme	Concert Christine von Schweden und die Lust auf Musik (1 MB) Excursion Trip to Neuschwanstein castle and the Wieskirche Banquet Menu

Preliminary Programme	Participants and Booking	Workshop Address
Programme (chart and detailed) now with abstracts Abstracts only	Participants (updated 24.03.98) Check your booking here!	Schwäbisches Bildungszentrum Kloster Irsee Klosterring 4 87660 Irsee Tel. +49 (8341) 90600 Fax. +49 (8341) 74278

Registration and Accommodation	The Venue	Travel Info
Accommodation Registration Form Exchange rates The TYPES 98 FAQ.	... about Kaufbeuren (in German) ... about Munich Munich Tourist Information Munich OnLine (in German) City Information Munich Munich in City Net	Travel Information (updated 20.03.98) Train connections Munich->Kaufbeuren Train connections Kaufbeuren->Munich Train connections NEW Weather Forecast NEW Munich Airport Information