Preliminary Schedules for CTCS'02
Contents:
CTCS Preconference Minicourses
August 12th-14th
*************************
Monday, August 12th
===================
9:00-10:20 S. Niefield, "Introduction to Category Theory I"
10:50-12:10 S. Niefield, "Introduction to Category Theory II"
12:10-2:00 LUNCH
2:00-3:20 P. Scott, "Introduction to Categorical Logic I"
3:50-5:10 P. Scott, "Introduction to Categorical Logic II"
Tuesday, August 13th
====================
9:00-10:20 P. Selinger, "Introduction to Concurrency Theory I"
10:50-12:10 J. Adamek, "Introduction to Coalgebras I"
12:10-2:00 LUNCH
2:00-3:20 R. Blute, "Introduction to Linear Logic I"
3:50-5:10 R. Cockett, "Introduction to Game Theory I"
7:00-9:00 Student Presentations
Wednesday, August 14th
======================
9:00-10:20 P. Selinger, "Introduction to Concurrency Theory II"
10:50-12:10 J. Adamek, "Introduction to Coalgebras II"
12:10-2:00 LUNCH
2:00-3:20 R. Blute, "Introduction to Linear Logic II"
3:50-5:10 R. Cockett, "Introduction to Game Theory II"
CATEGORY THEORY AND COMPUTER SCIENCE
August 15th-17th
*************************
Thursday, August 15th
=====================
8:50-9:00 Welcome
9:00-10:00 Invited Speaker-Eric Goubault (CEA/Saclay)
10:00-10:15 Break
10:15-10:50 M. Coccia, F. Gadducci & U. Montanari, "GS-Lambda theories:
A syntax for higher-order graphs"
10:55-11:30 R. Cockett & L. Santocanale, "Induction, coinduction and adjoints"
11:35-12:10 L. Schroder, "Classifying categories for partial equational logic"
12:10-2:00 Lunch
2:00-3:00 Invited Speaker-Guy McCusker (Sussex)
3:15-3:50 J. Laird, "A categorical semantics of higher order store"
3:55-4:30 P. Levy, "Adjunction models for call-by-push-value with stacks"
4:35-5:10 J. Hughes & B. Jacobs, "Factorization systems and fibrations"
5:30-6:30 Business Meeting
Friday, August 16th
===================
9:00-9:35 S. Milius, "On iteratable endofunctors"
9:40-10:15 J. Adamek, S. Milius & J. Velebil, "On rational monads and free
iterative theories"
10:15-10:30 Break
10:30-11:05 F. Lamarche, "Multiplicative linear logics and fibrations"
11:10-11:45 P. Boudes, "Non-uniform hypercoherences"
11:50-12:25 J. Koslowski, "A monadic approach to polycategories"
12:30-2:00 Lunch
2:00-3:00 Invited Speaker-Peter Selinger (Ottawa)
3:30-6:00 Reception at National Gallery
Saturday, August 17th
=====================
9:00-10:00 Invited Speaker-Paul Syverson (Naval Research Laboratory)
10:00-10:15 Break
10:15-10:50 E. Haghverdi, G. Pappas & P. Tabuada, "Bisimulation relations for
dynamical and control systems"
10:55-11:30 S. Abramsky & B. Coecke, "Physical traces: Quantum vs. classical
information processing"
11:35-12:10 M. Hasegawa, "The uniformity principle on traced monoidal
categories"
12:15-2:00 Lunch
2:00-2:35 S. Bloom & Z. Esik,"Unique, guarded fixed points in an
additive setting"
2:40-3:15 M. Maietti, "Joyal's arithmetic universes via type theory"
3:15-3:30 Break
3:30-4:05 K. Worytkiewicz, "Paths and Simulations"
4:10-4:45 P. Taylor, "Local compactness and the Baire category
theorem in abstract Stone duality"
END OF CONFERENCE