FINAL CALL FOR PARTICIPATION (Deadline July 1st) 10th CONFERENCE ON CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'04) AUGUST 12-14, 2004 www.itu.dk/research/theory/ctcs2004/ and GRADUATE STUDENT SUMMER SCHOOL AUGUST 9-11, 2004 www.itu.dk/research/theory/ctcs2004/summerschool.html and 3rd WORKSHOP ON CATEGORICAL METHODS FOR CONCURRENCY, INTERACTION AND MOBILITY (CMCIM 2004) AUGUST 11, 2004 www.itu.dk/research/theory/ctcs2004/cmcim.html IT University of Copenhagen (ITU) Copenhagen, Denmark www.itu.dk ------------------------------------------------------------------------ --- NOTE: The registration deadline at July 1st is approaching NEW: List of accepted papers for CTCS NEW: Abstracts of invited talks for CTCS ------------------------------------------------------------------------ --- Important Dates: * April 16th, 2004: CTCS Submission deadline (closed) * June 1st, 2004: CTCS Notification of authors of accepted papers * July 1st, 2004: Submission of abstracts for CMCIM Workshop (extended) * July 1st, 2004: CTCS Registration (and special hotel rates) deadline ------------------------------------------------------------------------ ---- CTCS'04 is the 10th Conference on Category Theory and Computer Science, with the purpose to advance the foundations of computing using the tools of category theory. Invited Speakers for the CTCS 2004 Conference: * Francois Bergeron (Quebéc) * Martin Hyland (Cambridge) * Robin Milner (Cambridge) * Andrew Pitts (Cambridge) * Thomas Streicher (Darmstadt) Abstracts at: http://www.itu.dk/research/theory/ctcs2004/InvitedTalks.html Typical topics at CTCS include category-theoretic aspects of the following: coalgebras and computing concurrent and distributed systems constructive mathematics declarative programming and term rewriting domain theory and topology foundations of computer security linear logic modal and temporal logics models of computation program logics, data refinement, and specification programming language semantics type theory Previous conferences have been held in Guildford (Surrey), Edinburgh (twice), Manchester, Paris, Amsterdam, Cambridge, S. Margherita Ligure (Genova), and Ottawa. More information and registration form at: http://www.itu.dk/research/theory/ctcs2004/ ---------------------------------------------------------------------- CTCS 2004 PhD SUMMER SCHOOL The summer school is aimed at both graduate and undergraduate students, with basic knowledge of category theory. The school will offer mini-courses (5 lectures each) in: * Stone Duality, Coalgebras, and Modal Logic (Alexander Kurz) * Game Semantics (Guy McCusker) * Operational Semantics (Pawel Sobocinski) * Categorical Models for Concurrency (Thomas Hildebrandt) More information and registration at: http://www.itu.dk/research/theory/ctcs2004/summerschool.html -------------------------------------------------------------------- CMCIM 2004 WORKSHOP (short abstract deadline: July 1st) In between the summer school and the CTCS conference, August 11th, there will be an informal half-day workshop on Categorical Methods in Concurrency, Interaction and Mobility. The workshop has previously been held in connection with CONCUR 2002 and CONCUR 2003. We invite submissions of short extended abstracts (less than 5 pages), presenting status reports, recent results, challenges or work in progress. There will be no formal proceedings of the workshop, informal proceedings will be distributed at the workshop. Thus, accepted material may be published elsewhere at a later date. Workshop participation is FREE, but requires registration before 1st of July. Submissions should be sent before 1st of July (extended). More information and registration at: http://www.itu.dk/research/theory/ctcs2004/cmcim.html ----------------------------------------------------------------- Organisation: CTCS 2004 PROGRAMME COMMITTEE: Lars Birkedal, Chair (IT University of Copenhagen) Marcelo Fiore (University of Cambridge) Masahito Hasegawa (Kyoto University) Bart Jacobs (University of Nijmegen) Ugo Montanari (University of Pisa) Valeria de Paiva (Palo Alto Research Center) Dusko Pavlovic (Kestrel Institute) John Power (University of Edinburgh) Edmund Robinson (Queen Mary, University of London) Peter Selinger (University of Ottawa) CTCS ORGANIZING COMMITTEE E. Moggi, Chair, (Genova) S. Abramsky (Oxford) P. Dybjer (Chalmers) B. Jay (Sydney) A. Pitts (Cambridge) CTCS 2004 LOCAL ORGANIZING COMMITTEE C. Butz T. Hildebrandt A.L. Moerk CMCIM 2004 Workshop Organizers: Thomas Hildebrandt Alexander Kurz --------------------------------------- SPONSORSHIP The conference and summer school are APPSEM-II events, sponsored by the FIRST graduate school (www.first.dk) and the Department of Theoretical Computer Science at the IT University of Copenhagen (http://www.itu.dk/Internet/sw648.asp).