Programme of FOSSACS at ETAPS 2006

Foundations of Software Science and Computation Structures

Programme of Wednesday, March 29

08:30 - 09:30 SESSION 1 (Wednesday)

Unifying Invited Talk (chair: Perdita Stevens, room: EI 7)
Software Engineering: Emerging Goals and Lasting Problems
Carlo Ghezzi (Politecnico di Milano, I)

09:30 - 10:00 Coffee

10:00 - 12:00 SESSION 2 (FOSSACS, Wednesday)

Mobile Processes (chair: Rocco De Nicola, room: EI 10)
A Theory for Observational Fault Tolerance
Adrian Francalanza (Univ. of Malta, M) and Matthew Hennessy (Univ. of Sussex, UK)
Smooth Orchestrators
Cosimo Laneve and Luca Padovani (Univ. di Bologna, I)
On the Relative Expressive Power of Asynchronous Communication Primitives
Daniele Gorla (Univ. di Roma La Sapienza, I)
More on Bisimulations for Higher Order pi-Calculus
Zining Cao (Nanjing Univ., CN)

12:00 - 14:00 Lunch

14:00 - 15:00 SESSION 3A (Wednesday)

Unifying Invited Talk (chair: Jens Knoop, room: EI 7)
The Weird World of Bi-Directional Programming
Benjamin Pierce (Univ. of Pennsylvania, USA)

15:00 - 15:15 Break

15:15 - 16:15 SESSION 3B (FOSSACS, Wednesday)

Software Science (chair: Jens Knoop, room: EI 10)
Register Allocation after Classical SSA Elimination is NP-complete
Fernando Magno Quintão Pereira and Jens Palsberg (UCLA, Univ. of California, Los Angeles, USA)
A Logic of Reachable Patterns in Linked Data-Structures
Greta Yorsh, Alexander Rabinovich, Mooly Sagiv (Tel Aviv Univ., IL), Antoine Meyer, and Ahmed Bouajjani (LIAFA, Univ. Paris VII, F)

16:15 - 16:45 Coffee

16:45 - 18:15 SESSION 4 (FOSSACS, Wednesday)

Distributed Computation (chair: Walter Vogler, room: EI 10)
Dynamic Policy Discovery with Remote Attestation
Corin Pitcher and James Riely (CTI, De Paul Univ., USA)
Distributed Unfolding of Petri Nets
Paolo Baldan (Univ. Ca Foscari di Venezia, I), Stefan Haar (INRIA Rennes, F), and Barbara König (Univ. Stuttgart, D)
On the mu-Calculus Augmented with Sabotage
Philipp Rohde (RWTH Aachen, D)

19:30 SOCIAL EVENT (Wednesday)

This is the Viennese term for the wine of the most recent grape harvest, and it is also the name of the places where the wine is served. Enjoy Viennese wine and local food at the Heurigen Schübel-Auer, Kahlenberger Straße 22, Wien-Nußdorf. Free admittance to ETAPS participants.

Programme of Thursday, March 30

10:00 - 12:00 SESSION 2 (FOSSACS, Thursday)

Categorical Models (chair: Dirk Pattinson, room: EI 10)
A Finite Model Construction For Coalgebraic Modal Logic
Lutz Schröder (Univ. of Bremen, D)
Presenting Functors by Operations and Equations
Marcello Bonsangue (LIACS Leiden Univ., NL) and Alexander Kurz (Leicester Univ., UK)
Bigraphical Models of Context-aware Systems
Lars Birkedal, S. Debois, E. Elsborg, T. Hildebrandt, and H. Niss (IT Univ. of Copenhagen, DK)
Processes for Adhesive Rewriting Systems
Paolo Baldan (Univ. Ca Foscari di Venezia, I), Andrea Corradini (Univ. di Pisa, I), Tobias Heindel, Barbara König (Univ. Stuttgart, D), and Paweł Sobociński (Univ. of Cambridge, UK)

12:00 - 14:00 Lunch

14:00 - 15:00 SESSION 3A (FOSSACS, Thursday)

Invited Talk (chair: Anna Ingólfsdóttir, room: EI 7)
Oh Mega Completeness
Wan Fokkink (Vrije Universiteit Amsterdam, NL)

15:00 - 15:15 Break

15:15 - 16:15 SESSION 3B (FOSSACS, Thursday)

Real Time and Hybrid Systems (chair: Kim G. Larsen, room: EI 10)
On Metric Temporal Logic and Faulty Turing Machines
Joel Ouaknine and James Worrell (Oxford Univ., UK)
Denotational Semantics of Hybrid Automata
Abbas Edalat (Imperial College, UK) and Dirk Pattinson (Leicester Univ., UK)

16:15 - 16:45 Coffee

16:45 - 18:15 SESSION 4 (FOSSACS, Thursday)

Process Calculi (chair: Wan Fokkink, room: EI 10)
Reversing Algebraic Process Calculi
Iain Phillips (Imperial College, UK) and Irek Ulidowski (Leicester Univ., UK)
Conjunction on Processes: Full--Abstraction via Ready--Tree Semantics
Gerald Lüttgen (Univ. of York, UK) and Walter Vogler (Univ. Augsburg, D)
Undecidability Results for Bisimilarity on Prefix Rewrite Systems
Petr Jancar (Technical Univ. of Ostrava, CZ) and Jiri Srba (BRICS, Aalborg Univ., DK)

19:30 SOCIAL EVENT (Thursday)

Intel invites all ETAPS participants to a reception in the Prechtlsaal of the TU Main Building, Karlsplatz 13, 1040 Wien - free admittance

Programme of Friday, March 31

10:00 - 12:00 SESSION 2 (FOSSACS, Friday)

Automata and Logic (chair: Gernot Salzer, room: EI 10)
Propositional Dynamic Logic with Recursive Programs
Christof Loeding (RWTH Aachen, D) and Olivier Serre (LIAFA, Univ. Paris VII and CNRS, F)
A Semantic Approach to Interpolation
Andrei Popescu, Traian Serbanuta, and Grigore Rosu (Univ. of Illinois at Urbana-Champaign, USA)
First-order and Counting Theories of omega-Automatic Structures
Dietrich Kuske (Univ. Leipzig, D) and Markus Lohrey (Univ. Stuttgart, D)
Parity Games Played on Transition Graphs of One-counter Processes
Olivier Serre (LIAFA, Univ. Paris VII and CNRS, F)

12:00 - 14:00 Lunch

14:00 - 16:00 SESSION 3 (FOSSACS, Friday)

Domains, Lambda Calculus, Types (chair: Bernhard Gramlich, room: EI 10)
On the Confluence of lambda-Calculus with Conditional Rewriting
Frédéric Blanqui, Claude Kirchner (INRIA LORIA, Nancy, F) and Colin Riba (INPL LORIA, Nancy, F)
Bidomains and Full Abstraction for Countable Non-determinism
James Laird (Univ. of Sussex, UK)
An Operational Characterization of beta-Strong-Normalization
Luca Paolini (Univ. di Torino, I), Elaine Pimentel (Univ. Federal de Minas Gerais, BR), and Simona Ronchi Della Rocca (Univ. di Torino, I)

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4 (FOSSACS, Friday)

Security (chair: Luca Aceto, room: EI 10)
Guessing Attacks and the Computational Soundness of Static Equivalence
Martin Abadi (Univ. of California, Santa Cruz, USA), Mathieu Baudet (LSV ENS Cachan, CNRS and INRIA Futurs project SECSI, F), and Bogdan Warinschi (LORIA, INRIA, Nancy, F)
Handling exp,* (and Timestamps) in Protocol Analysis
Roberto Zunino and Pierpaolo Degano (Univ. di Pisa, I)
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Michael Backes (IBM Zurich Research Lab, CH), Sebastian Moedersheim (ETH Zurich, CH), Birgit Pfitzmann (IBM Zurich Research Lab, CH), and Luca Vigano (ETH Zurich, CH)

Further ETAPS 2006 Programme Information:

ETAPS 2006 | Top | HTML 4.01 | Last Update: 2006-03-23