| Monday, March 27 |
Session chair: Bernd Mahr (TU Berlin)
FOSSACS
invited
Abbas Edalat (Imperial College, London)
A Data Type for Computational Geometry and Solid Modelling
| Session chair: Mariangiola Dezani (University of Torino) | |
| 11:00 | Constructor subtyping in the Calculus of Inductive Constructions Gilles Barthe (INRIA, Sophia-Antipolis and Univ. Minho), Femke van Raamsdonk (Free University Amsterdam and CWI) |
| 11:30 | Subtyping and typing algorithms for mobile ambients Pascal Zimmer (École normale supérieure de Lyon ) |
| 12:00 | Typing local definitions and conditional expressions with rank 2 intersection Ferruccio Damiani (Università di Torino) |
| Session chair: Furio Honsell (University of Udine) | |
| 14:00 | Norm functions for probabilistic bisimulations with delays Christel Baier (University of Bonn), Marielle Stoelinga (University of Nijmegen) |
| 14:30 | The state explosion problem from trace to bisimulation equivalence François Laroussinie, Philippe Schnoebelen (Ecole Normale Supérieure, Cachan) |
| 15:00 | Sequential and concurrent abstract machines for interaction nets Jorge Sousa Pinto (École Polytechnique, Palaiseau) |
| Session chair: Wolfgang Thomas (RWTH Aachen) | |
| 16:00 | Tree automata with tests and predicate logic Ralf Treinen (CNRS - Université de Paris Sud) |
| 16:30 | Compositional verification in linear-time temporal logic Yih-Kuen Tsay (National Taiwan University) |
| 17:00 | A proof system for timed automata Huimin Lin (Chinese Academy of Sciences), Wang Yi (Uppsala University) |
| 17:30 | On recognizable stable trace languages Jean-Francois Husson (IRIT Toulouse), Rémi Morin (TU Dresden) |
GRATRA
invited
Grzegorz Rozenberg (Universiteit Leiden, Netherlands)
DNA Computing in Vivo and Graph Transformation
|
| Tuesday, March 28 |
FASE
invited
Wlad Turski (University of Warsaw, Poland)
An Essay on Software Engineering at the Turn of Century
| Session chair: Jerzy Tiuryn (Warsaw University) | |
| 10:30 | Constructive data refinement in typed lambda calculus Furio Honsell (University of Udine, University of Edinburgh), John Longley, Donald Sannella (University of Edinburgh), Andrzej Tarlecki (Warsaw University and Polish Academy of Sciences) |
| 11:00 | Type inference for first-order logic Aleksy Schubert (Warsaw University) |
| 11:30 | A higher-order simulation relation for System F Jo Hannay (University of Edinburgh) |
| 12:00 | Categorical models for intuitionistic and linear type theory Maria Emilia Maietti, Valeria de Paiva, Eike Ritter (University of Birmingham) |
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
| Session chair: Don Sannella (University of Edinburgh) | |
| 16:00 | On synchronous and asynchronous mobile processes Paola Quaglia (BRICS, University of Aarhus), David Walker (Oxford University) |
| 16:30 | Locality and polyadicity in asynchronous name-passing calculi Massimo Merro (INRIA Sophia-Antipolis) |
| 17:00 | Verifying performance equivalence for timed basic parallel processes Béatrice Bérard, Anne Labroue, Philippe Schnoebelen (Ecole Normale Supérieure, Cachan) |
| 17:30 | Probabilistic asynchronous pi-calculus Oltea Mihaela Herescu, Catuscia Palamidessi (Pennsylvania State University) |
|
| Wednesday, March 29 |
ETAPS
invited
Richard M. Soley
(OMG Object Management Group)
Memex isn't Enough
| Session chair: Marta Kwiatkowska (University of Birmingham) | |
| 11:00 | A program refinement framework supporting reasoning about knowledge and time Kai Engelhardt, Ron van der Meyden (University of Technology Sydney), Yoram Moses (The Weizmann Institute of Science) |
| 11:30 | On the semantics of refinement calculi Hongseok Yang, Uday S. Reddy (University of Illinois) |
| 12:00 | Proof nets and explicit substitutions Roberto Di Cosmo (École Normale Supérieure de Paris), Delia Kesner (Université de Paris-Sud), Emmanuel Polonovski (École Normale Supérieure de Paris) |
ETAPS
invited
David Harel
(The Weizmann Institute of Science)
From Play-In Scenarios to Code: an Achievable Dream
| Session chair: Wolfgang Thomas (RWTH Aachen) | |
| 16:00 | On rational graphs Christophe Morvan (IRISA, Rennes) |
| 16:30 | On word rewriting systems having a rational derivation Didier Caucal (IRISA-CNRS, Rennes) |
| 17:00 | Hierarchical graph transformation Frank Drewes, Berthold Hoffmann, Detlef Plump (University of Bremen) |
| 17:30 | An algebraic foundation for adaptive programming Peter Thiemann (University of Freiburg) |
TACAS
invited
Pierre Wolper (University of Liège)
On the Representation of Constraints by Automata in the Verification of Infinite Systems
CC
invited
Reinhard Wilhelm (Universität des Saarlandes)
Shape Analysis
ESOP
invited
Martin Odersky (EPF Lausanne)
Functional Nets
Session chair: Bernd Mahr (TU Berlin)
