Programme of CMCS at ETAPS 2006

(8th International Workshop on Coalgebraic Methods in Computer Science)

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:

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