Programme of FOSSACS at ETAPS 2007
Programme of Monday, March 26
09:00 - 10:00 SESSION 1 (Monday)
- Welcome
- 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
- Cocktail/Buffet
- 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:
- Programme Overview, Social Programme
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
TACAS
- Workshops:
ACCAT,
Bytecode,
COCV,
FESCA,
FinCo,
GT-VMT,
HAV,
HFL,
LDTA,
MBT,
MOMPES,
OpenCert,
QAPL,
SC,
SLA++P,
TERMGRAPH,
WITS
- Tutorials:
Stratego/XT,
SoftwGen,
Mobius
ETAPS 2007 |
Top |
HTML 4.01 |
Last Update: 2007-03-21