Programme of CMCS at ETAPS 2006
Saturday, March 25
09:30 - 10:30 SESSION 1 (CMCS, Saturday, March 25, room: EI 9)
- Keynote (chair: John Power)
- Local Action
- Peter O'Hearn (Microsoft Research and Queen Mary Univ. London, UK)
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2 (CMCS, Saturday, March 25, room: EI 9)
- Presentations (chair: John Power)
- Generic Trace Theory
- Ichiro Hasuo, Bart Jacobs, and Ana Sokolova (Radboud Univ. Nijmegen, NL)
- A Coalgebraic Representation of Reduction by Cone of Influence
- Hiroshi Watanabe, Koki Nishizawa (AIST, J), and Osamu Takaki (Kyoto Sangyo Univ., J)
12:30 - 14:00 Lunch
14:00 - 15:30 SESSION 3 (CMCS, Saturday, March 25, room: EI 9)
- Presentations (chair: Neil Ghani)
- An Effective Coalgebraic Bisimulation Proof Method
- Lingyun Luo (Chinese Acad. Sciences, CN)
- Synthesis of Mealy Machines Using Derivatives
- Helle Hvid Hansen (Free Univ. Amsterdam and CWI, NL), David Costa (CWI, NL), and Jan Rutten (CWI and Free Univ. Amsterdam, NL)
15:30 - 16:00 Coffee
16:00 - 17:00 SESSION 4 (CMCS, Saturday, March 25, room: EI 9)
- Invited Talk (chair: Neil Ghani)
- Modularity in Coalgebra
- Corina Cirstea (Univ. Southampton, UK)
19:30 SOCIAL EVENT (Saturday, March 25)
- CMCS Dinner
- Dinner at the restaurant Artner, Floragasse 6, 1040 Wien
Sunday, March 26
09:30 - 10:30 SESSION 1 (CMCS, Sunday, March 26, room: EI 9)
- Invited Talk (chair: Stefan Milius)
- Stone Duality for Coalgebraic Modal Logic
- Alexander Kurz (Univ. Leicester, UK)
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2 (CMCS, Sunday, March 26, room: EI 9)
- Presentations (chair: Stefan Milius)
- Continuous Functions on Final Coalgebras
- Neil Ghani, Peter Hancock (Univ. Nottingham, UK), and Dirk Pattinson (Univ. Leicester, UK)
- Coinductive Field of Exact Real Numbers and General Corecursion
- Milad Niqui (Radboud Univ. Nijmegen, NL)
12:30 - 14:00 Lunch
14:00 - 15:30 SESSION 3 (CMCS, Sunday, March 26, room: EI 9)
- Presentations (chair: Jan Rutten)
- How Iterative are Iterative Algebras?
- J. Adamek and S. Milius (Technical Univ. Braunschweig, D) and J. Velebil (Technical Univ. Prague, CZ)
- Some Properties and Some Problems on Set Functors
- Daniela Cancila, Furio Honsell, and Marina Lenisa (Univ. di Udine, I)
15:30 - 16:00 Coffee
16:00 - 17:45 SESSION 4 (CMCS, Sunday, March 26, room: EI 9)
- Presentation and Meeting (chair: Jan Rutten)
- Infinitary Howe's Method
- Paul Blain Levy (Univ. Birmingham, UK)
- Joint meeting of Steering and Programme Committees
19:30 SOCIAL EVENT (Sunday, March 26)
- Joint Workshops Pre-Conference Dinner
- Dinner at the historic restaurant Piaristenkeller, Piaristengasse 45, 1080 Wien
Monday, March 27
10:30 - 12:00 SESSION 2 (CMCS, Monday, March 27, room: Kontaktraum)
- Short Contributions (chair: John Power)
- Comonadic Notions of Computation
- Tarmo Uustalu (Univ. Tallinn, EST) and Varmo Vene (Univ. Tartu, EST)
- Worlds Coalgebraically
- Olha Sharavska (Univ. Tallinn, EST)
- Towards Coalgebraic Methods for Verifying Security Protocols
- Corina Cirstea and Mehrnoosh Sadrzadeh (Univ. of Southampton, UK)
12:00 - 14:00 Lunch
14:00 - 16:00 SESSION 3 (CMCS, Monday, March 27, room: Kontaktraum)
- Short Contributions (chair: Neil Ghani)
- Coalgebraic Fixed Point Logics have the Finite Model Property
- Clemens Kupke (CWI, NL) and Yde Venema (Univ. van Amsterdam, NL)
- On Game Semantics for Intuitionistic Linear Logic
- Vladimir Komendantsky (Univ. College Cork, IRL)
- PSPACE Bounds for Rank-1 Modal Logics
- Lutz Shröder (Univ. Bremem, D) and Dirk Pattinson (Univ. of Leicester, UK)
- A Coinductive Axiomatisation of Regular Expressions under Bisimulation
- Clemens Grabmayer (Vrije Univ. Amsterdam, NL)
16:00 - 16:30 Coffee
16:30 - 18:00 SESSION 4 (CMCS, Monday, March 27, room: Kontaktraum)
- Short Contributions (chair: Tarmo Uustalu)
- A Calculational Account for Lambda-Coinduction
- Alexandra Silva and Luis Barbosa (Univ. of Minho, P)
- On (Co)Amalgamation and Synchronization
- Uwe Wolter (Univ. of Bergen, N)
19:30 SOCIAL EVENT (Monday, March 27)
- Reception
- The Bürgermeister der Bundeshauptstadt Wien invites all ETAPS participants to a reception in the Rathaus (Vienna City Hall)
Further ETAPS 2006 Programme Information:
- Programme Overview
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
AVIS,
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