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