Programme of FOSSACS at ETAPS 2006
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)
Heuriger
- 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)
- Reception
- 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:
- Programme Overview
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
TACAS
- Workshops:
ACCAT,
AVIS,
CMCS,
COCV,
DCC,
EAAI,
FESCA,
FRCSS,
GT-VMT,
LDTA,
MBT,
QAPL,
SC,
SLAP,
SPIN,
TERMGRAPH,
WITS,
WRLA
- Tutorials:
Phoenix,
QuantComp
ETAPS 2006 |
Top |
HTML 4.01 |
Last Update: 2006-03-23