Programme of FOSSACS at ETAPS 2007

Foundations of Software Science and Computation Structures

Programme of Monday, March 26

09:00 - 10:00 SESSION 1 (Monday)

Invited Talk (Chair: Helmut Seidl, room: Enabler-Wipro)
Formal foundations for Aspects
Radha Jagadeesan (DePaul University, USA)

10:00 - 10:30 Coffee

11:00 - 12:30 SESSION 2 (Monday)

Games and Mu Calculus (Chair: Helmut Seidl, room: Multicert)
Optimal Strategy Synthesis in Stochastic Müller Games
Krishnendu Chatterjee (Univ. of California, Berkeley)
Generalized Parity Games
Nir Piterman (EPFL Switzerland), Krishnendu Chatterjee (Univ. of Califonria, Berkeley), Thomas A. Henzinger (EPFL Switzerland)
Enriched mu-Calculi Module Checking
Aniello Murano (Univ. di Napoli), Alessandro Ferrante (Univ. di Salerno)

12:30 - 14:30 Lunch

14:30 - 16:30 SESSION 3 (Monday)

Logic (Chair: Hubert Comon, room: Multicert)
The Complexity of Generalized Satisfiability for Linear Temporal Logic
Thomas Schneider (Univ. Jena), Henning Schnoor (Univ. Hannover), Ilka Schnoor (Univ. Hannover), Michael Bauland (Univ. Hannover), Heribert Vollmer (Univ. Hannover)
PDL with intersection and converse is 2EXP-complete
Markus Lohrey (Univ. Stuttgart), Carsten Lutz (TU Dresden), Stefan Göller (Univ. Stuttgart)
On the Expressiveness and Complexity of ATL
Nicolas Markey (ENS Cachan), Ghassan Oreiby (ENS Cachan), Francois Laroussinie (ENS Cachan)
Formalising the pi-calculus using Nominal Logic
Jesper Bengtson (Uppsala Univ.), Joachim Parrow (Uppsala Univ.)

16:30 - 17:00 Coffee

17:00 - 18:30 SESSION 4 (Monday)

Formal Languages and Complexity (Chair: Igor Walukiewicz, room: Multicert)
Symbolic Reachability Analysis for Higher-Order Pushdown Systems
Matthew Hague (Oxford Univ.), Luke Ong (Oxford Univ.)
Complexity Results on Balanced Context-Free Languages
Akihiko Tozawa (IBM Research, Tokyo), Yasuhiko Minamide (Univ. of Tsukuba)
An Effective Algorithm for The Membership Problem for Extended Regular Expressions
Grigore Rosu (Univ. of Illinois, Urbana)

19:00 SOCIAL EVENT (Monday)

Welcome Reception (free admittance)
Largo do Paço (University Rectorate Building)
The Etaps Organization invites all ETAPS participants the welcome reception - free admittance

Programme of Tuesday, March 27

10:30 - 12:30 SESSION 2 (Tuesday)

Process Calculi (Chair: Pierpaolo Degano, room: Multicert)
A Distribution Law for CCS and a New Congruence Result for the Pi-calculus
Daniel Hirschkoff (ENS Lyon), Damien Pous (ENS Lyon)
Semantic barbs and biorthogonality
Pawel Sobocinski (Univ. of Cambridge), Vladimiro Sassone (Univ. of Southampton), Julian Rathke (Univ. of Sussex)
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
Augusto Parma (Univ. di Verona), Roberto Segala (Univ. di Verona)
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
Franck van Breugel (York Univ.), James Worrell (Oxford Univ.), Babita Sharma (York Univ.)

12:30 - 14:30 Lunch

14:30 - 16:30 SESSION 3 (Tuesday)

Verification and Program Analysis (Chair: Cristiano Calcagno, room: Enabler-Wipro)
Logical Reasoning for Higher-Order Functions with Local State
Nobuko Yoshida (Imperial College London), Kohei Honda (Queen Mary), and Martin Berger (Imperial College London)
Types and Effects for Resource Usage Analysis
Massimo Bartoletti (Univ. di Pisa), Gian Luigi Ferrari (Univ. di Pisa), Pierpaolo Degano (Univ. di Pisa), Roberto Zunino (Univ. di Pisa)
Relational Parametricity and Separation Logic
Hongseok Yang (Univ. of London), Lars Birkedal (IT Univ. of Copenhagen)
Polynomial Constraints for Sets with Cardinality Bounds
Bruno Marnette (ENS Cachan), Martin Rinard (MIT, Cambridge, USA), Viktor Kuncak (MIT, Cambridge, USA)

16:30 - 17:00 Coffee

17:00 - 18:30 SESSION 4 (Tuesday)

Calculi (Chair: Antoine Mine, room: Multicert)
The Rewriting Calculus as a Combinatory Reduction System
Clara Bertolissi (Univ. de Provence), Claude Kirchner (INRIA/LORIA, Nancy)
Iterator Types
Ian Mackie (King's College, London), Sandra Alves (Univ. of Porto), Maribel Fernandez (King's College, London), Mario Florido (Univ. of Porto)
On the Stability by Union of Reducibiliy Candidates
Colin Riba (INPL/LORIA, Nancy)

19:00 SOCIAL EVENT (Tuesday)

10th Anniversary Celebration (free admittance)
Theatro Circo
Tales of ETAPS past (room: Enabler-Wipro)
Anniversary Cake + Port Wine + Fado Concert

Programme of Wednesday, March 28

09:00 - 10:10 SESSION 1 (Wednesday)

Unifying Invited Talk (Chair: Perdita Stevens, room: Enabler-Wipro)
There and Back Again: Lessons Learned on the Way to the Market
Rance Cleaveland (University of Maryland/Fraunhofer USA Center for Experimental Software Engineering and Reactive Systems Inc., USA)

10:10 - 10:30 Coffee

10:30 - 12:30 SESSION 2 (Wednesday)

Automata (Chair: Markus Mueller-Olm, room: Cisco)
Tree Automata with Memory, Visibility and Structural Constraints
Hubert Comon (ENS Cachan), Florent Jacquemard (INRIA/ENS Cachan), Nicolas Perrin (ENS Lyon)
Model-Checking One-Clock Priced Timed Automata
Patricia Bouyer (ENS Cachan), Nicolas Markey (ENS Cachan), Kim G. Larsen (Aalborg Univ.)
Sampled Universality of Timed Automata
Pavel Krcal (Uppsala Univ.), Wang Yi (Uppsala Univ.), Parosh Abdulla (Uppsala Univ.)
A Lower Bound on Web Services Composition
Anca Muscholl (LABRI, Bordeaux), Igor Walukiewiczi (LABRI, Bordeaux)

12:30 - 14:30 Lunch

19:00 SOCIAL EVENT (Wednesday)

Conference Banquet (tickets needed)
Paço dos Duques, Guimarães
Shuttle departure from Theatro Circo

Programme of Thursday, March 29

14:30 - 15:40 SESSION 3A (Wednesday)

Unifying Invited Talk (Chair: João Saraiva, room: Enabler-Wipro)
Contract-Driven Development
Bertrand Meyer (ETH Zürich, Switzerland)

Further ETAPS 2007 Programme Information:

ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-03-21