Category Theory and Computer Science (CTCS'04)
August 12th-14th, 2004
Appsem II conference

Conference Programme

Wednesday, August 11

TimeEventPlace
19:00-21:00Preregistration and ReceptionITU, main hall

Thursday, August 12

TimeEventPlace
8:00-9:15RegistrationITU, main hall
9:10-9:15WelcomeITU, aud 2
9:15-10:15Nominal Semantics of Abstraction and Restriction
Invited Speaker: Andy Pitts		ITU, aud 2
10:15-10:30Coffee Break
10:30-11:10Limit Preservation from Naturality
Authors: Glynn Winskel and Mario Caccamo 		ITU, aud 2
11:15-11:55Weak Bisimulation for Action-Type Coalgebras
Authors: Erik de Vink, Harald Woracek, and Ana Sokolova		ITU, aud 2
12:00-14:00LunchITU, canteen
14:00-15:00Categorical Aspects of Bigraphs
Invited Speaker: Robin Milner		ITU, aud 2
15:00-15:15Coffee Break
15:15-15:55A Coalgebraic Semantic Framework for Component Based Development in UML
Authors: Sun Meng, Bernhard K. Aichernig, Luis S Barbosa, and Zhang Naixiao		ITU, aud 2
16:15-17:00Business MeetingITU, 2A.14

Friday, August 13

TimeEventPlace
9:15-10:15Categorical Construction of Innocence
Invited Speaker: Martin Hyland		ITU, aud 2
10:15-10:30Coffee Break
10:30-11:10Concrete Data Structures as Games
Authors: Andrea Schalk and Jose Juan Palacios-Perez		ITU, aud 2
11:15-11:55Asynchronous Games 3: An innocent model of linear logic
Author: Paul-André Melliès		ITU, aud 2
12:00-14:00LunchITU, canteen
14:00-14:40A language for multiplicative-additive linear logic
Authors: Robin Cockett and Craig Pastro		ITU, aud 2
14:45-15:25From Geometry of Interaction to Denotational Semantics
Authors: Esfandiar Haghverdi and Philip Scott		ITU, aud 2
15:30-16:30A Universal Model for the Infinitary CPS Language via Laird Domains
Invited Speaker: Thomas Streicher		ITU, aud 2
17:30-18:30Boat trip on the canalsDeparture from Nyhavn
18:30-??Conference DinnerThe Royal Library (The Black Diamond)
Restaurant Søren K

Saturday, August 14

TimeEventPlace
9:15-10:15Species and Variations on the Theme of Species
Invited Speaker: Francois Bergeron		ITU, aud 2
10:15-10:30Coffee Break
10:30-11:10Reflection into models of finite decidable FP-sketches in an arithmetic universe
Author: Maria Emilia Maietti		ITU, aud 2
11:15-11:55State Dependent IO-Monads in Type Theory
Authors: Markus Michelbrink and Anton Setzer		ITU, aud 2
12:00-14:00LunchITU, canteen
14:00-14:40Parametrized Iterativity
Authors: Jiri Adamek, Stefan Milius, and Jiri Velebil		ITU, aud 2