Monday, March 27
9:00		Opening Session chair: Bernd Mahr (TU Berlin)
9:30 FOSSACS invited		Session chair: Jerzy Tiuryn (Warsaw University) Abbas Edalat (Imperial College, London) A Data Type for Computational Geometry and Solid Modelling
18:30 GRATRA invited		Session chair: Hartmut Ehrig (TU Berlin, Germany) Grzegorz Rozenberg (Universiteit Leiden, Netherlands) DNA Computing in Vivo and Graph Transformation
Tuesday, March 28
9:00 FASE invited		Session chair: Tom Maibaum (King's College London) Wlad Turski (University of Warsaw, Poland) An Essay on Software Engineering at the Turn of Century
14:00		Panel Standard Components off the Shelf - Do they carry and need a (Formal) Standard Semantics? Chair: Herbert Weber (TU Berlin) Participants: Christine Choppy, Werner Damm, Hartmut Ehrig, José Luiz Fiadeiro, Bernd Mahr, Richard M. Soley
15:30		Coffee
Session chair: Peter Thiemann (Freiburg University) 16:00 Improving the representation of infinite trees to deal with sets of trees Laurent Mauborgne (École Normale Supérieure, Paris) 16:30 Implementing groundness analysis with definite boolean functions Jacob M. Howe, Andy King (University of Kent) 17:00 Directional type checking for logic programs: beyond discriminative types Witold Charatonik (MPI Saarbrücken) 17:30 Abstract domains for universal and existential properties Andrew Heaton, Pat Hill (University of Leeds), Andy King (University of Kent)
18:30		Reception (TU-``Lichthof'')
Wednesday, March 29
9:00 ETAPS invited		Session chair: Bernd Mahr (TU Berlin) Richard M. Soley (OMG Object Management Group) Memex isn't Enough
14:30 ETAPS invited		Session chair: Don Sannella (University of Edinburgh) David Harel (The Weizmann Institute of Science) From Play-In Scenarios to Code: an Achievable Dream
15:30		Coffee
Session chair: Martin Odersky (EPF Lausanne) 16:00 Alias types Frederick Smith, David Walker, Greg Morrisett (Cornell University) 16:30 Type classes with functional dependencies Mark P. Jones (Oregon Graduate Institute) 17:00 3-part type inference engine François Pottier (INRIA Rocquencourt) 17:30 A type system for bounded space and functional in-place update Martin Hofmann (University of Edinburgh)
20:00		Banquet (Restaurant ``Alte Pumpe'')
Thursday, March 30
9:00 TACAS invited		Session chair: Susanne Graf (VERIMAG, Grenoble) Pierre Wolper (University of Liège) On the Representation of Constraints by Automata in the Verification of Infinite Systems
10:00		Coffee
Session chair: Sophia Drossopoulou (Imperial College) 10:30 A calculus for compiling and linking classes Kathleen Fisher (AT&T Labs Research), John Reppy, Jon Riecke (Bell Labs, Lucent Technologies) 11:00 A calculus for link-time compilation Elena Machkasova (Boston University), Franklyn Turbak (Wellesley College) 11:30 Confluent equational reasoning for linking with first-class primitive modules Joe Wells, René Vestergaard (Heriot-Watt University, Edinburgh) 12:00 First-class structures for Standard ML Claudio Russo (University of Cambridge)
12:30		Lunch
14:30 CC invited		Session chair: David Watt (University of Glasgow) Reinhard Wilhelm (Universität des Saarlandes) Shape Analysis
15:30		Coffee
Session chair: Matthias Felleisen (Rice University) 16:00 On exceptions versus continuations in the presence of state Hayo Thielecke (Queen Mary and Westfield College, London) 16:30 Sharing continuations: proofnets for languages with explicit control Julia L. Lawall, Harry G. Mairson (Boston University) 17:00 Formalizing implementation strategies for first-class continuations Olivier Danvy (BRICS, University of Aarhus) 17:30 Compile-time debugging of C programs working on trees Jacob Elgaard, Anders Møller, Michael I. Schwartzbach (BRICS, University of Aarhus)
18:00		ETAPS Business Meeting
Friday, March 31
9:00 ESOP invited		Session chair: Gert Smolka (Saarland University) Martin Odersky (EPF Lausanne) Functional Nets
10:00		Coffee
Session chair: Gerard Boudol (INRIA, Sophia-Antipolis) 10:30 On the expressiveness of event notification in data-driven coordination languages Nadia Busi, Gianluigi Zavattaro (Università di Bologna) 11:00 A Kleene analysis of mobile ambients Flemming Nielson, Hanne Riis Nielson, Mooly Sagiv (University of Aarhus) 11:30 Secure information flow as typed process behaviour Kohei Honda (Queen Mary and Westfield College, London), Vasco Vasconcelos (University of Lisbon), Nobuko Yoshida (University of Sussex) 12:00 Constraint-based inter-procedural analysis of parallel programs Helmut Seidl (University of Trier), Bernhard Steffen (University of Dortmund)
12:30		Lunch
Session chair: Michael Franz (UC Irvine) 14:30 Correctness of Java card method lookup via logical relations Ewen Denney, Thomas Jensen (IRISA, Rennes) 15:00 On translation of procedures to finite machines: abstraction allows a clean proof Markus Müller-Olm (University of Dortmund), Andreas Wolf (University of Kiel)
15:30		Coffee
Session chair: Andreas Podelski (MPI Saarbrücken) 16:00 Flow-directed closure conversion for typed languages Henry Cejtin (Entertainment Decisions), Suresh Jagannathan (NEC Research Institute), Stephen Weeks (Intertrust STAR Laboratories) 16:30 Polyvariant flow analysis with constrained types Scott Smith, Tiejun Wang (Johns Hopkins University, Baltimore) 17:00 Faithful translations between polyvariant flows and polymorphic types Torben Amtoft (Boston University), Franklyn Turbak (Wellesley College) 17:30 The correctness of type specialisation John Hughes (Chalmers University of Technology)
18:00		Closing Session chair: Bernd Mahr (TU Berlin)