[Prev][Next][Index][Thread]

CTCS `99 Call for Participation



CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'99)
              10-12 SEPTEMBER 1999, EDINBURGH, SCOTLAND
                 http://www.dcs.ed.ac.uk/home/ctcs99

                       CALL FOR PARTICIPATION 
              EARLY REGISTRATION DEADLINE: 10th August 1999

CTCS '99 is the 8th conference on "Category Theory and Computer
Science."  The purpose of the conference series is the advancement of
the foundations of computing using the tools of category theory. While
the emphasis is upon applications of category theory, it is recognized
that the area is highly interdisciplinary.

Previous meetings have been held in Guildford (Surrey), Edinburgh,
Manchester, Paris, Amsterdam, Cambridge, and S. Margherita Ligure
(Genova).

This document contains

1. Invited speakers
2. List of accepted papers
3. Programme committee
4. Registration form

A WWW-version containing all this information plus abstract of
contributed papers can be found under www.dcs.ed.ac.uk/home/ctcs99


1. Invited speakers
-------------------

Ryu Hasegawa               Univ. of Tokyo (Japan)
Peter Freyd                Univ. of Pennylvania (USA)
Marcelo Fiore              Univ. of Sussex (UK)
Doug Smith                 Kestrel Institute (USA)


2. List of accepted papers (19 out of 39 submissions)
--------------------------

 Concurrent Realizations of Reactive Systems.
   Marek Bednarczyk, Andrzej Borzyszkowski 

 Functorial semantics for Petri nets under the individual token
    philosophy.
   Roberto Bruni, Jose Meseguer, Ugo Montanari, Vladimiro Sassone 

 Equational Lifting Monads.
   Anna Bucalo, Alex Simpson, Carsten Fuehrmann 

 Structured Theories and Institutions
    F Duran, J Meseguer 

 Coalgebra to Algebra Morphisms.
    A Eppendahl 

 On the Semantics of Message Passing Processes.
    Lindsay Errington 

 A Fully abstract presheaf semantics for SCCS with finite delay.
    Thomas Hildebrandt 

 Abstract Games for Linear Logic.
    Martin Hyland, Andrea Schalk 

 Internal Languages for Autonomous and *-Autonomous Categories.
    T W Koh and C-H L Ong 

 Dependent Coercions.
    Zhaohui Luo and Sergei Soloviev

 Precategories for combining probabilistic automata.
    Paulo Mateus, Amilcar Sernadas, Cristina Sernadas 

 Monads, shapely functors, and traversals.
    E Moggi, G Belle, C B Jay

 Exhausting Strategies, Joker Games and IMLL with Units.
    A S Murawski and C-H L Ong 

 Hilbert Q-Modules and Nuclear Ideals in the Category of
      v-Semilattices with a Duality.
    Jan Paseka 

 A Coalgebraic Foundation for Linear Time Semantics.
    John Power, Daniele Turi 
 
 Denotational Completeness Revisited.
    Thomas Streicher 

 A domain-theoretic semantics of lax generic functions.
    Hideki Tsuiki 

 A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.
    Fabio Gadducci,  Reiko Heckel and Merce Llabres. 

 Higher-dimensional syntax.
    Martin Wehr. 


3. Programme committee
----------------------

J. Adamek                  TU Braunschweig (Germany)  
N. Benton                  Microsoft Research, Cambridge (UK)  
R. Blute                   U. Ottawa (Canada)  
T. Coquand                 Chalmers (Sweden)  
M. Escardo                 LFCS Edinburgh (UK)  
M. Hasegawa                Kyoto Univ. (Japan)  
M. Hofmann  (Chair)        LFCS Edinburgh (UK)   
P. O'Hearn                 Queen Mary West (UK)  
D. Pavlovic                Kestrel Institute (California)  
H. Reichel                 TU Dresden (Germany)  
G. Rosolini                U. Genova (Italy)  
A. Scedrov                 U. Penn (Pennsylvania)



Organising Committee
--------------------

S. Abramsky LFCS           Edinburgh (UK)  
P. Dybjer                  Chalmers U. (Sweden)  
E. Moggi                   U. Genova (Italy)  
A. Pitts                   U. Cambridge (UK) 



4. Registration form
--------------------
Please complete this form and email it to ctcs99-reg@dcs.ed.ac.uk
before 10th August 1999. You can also fax the form  to 
+44 131 667 7209 Attn: CTCS-REG or send it to M Lekuse, CTCS-REG,
JCMB, KB, Mayfield Rd, Edinburgh EH9 3JZ, UK. 

*******************************************************
*       REGISTRATION FOR CTCS '99                     *
*******************************************************

A PERSONAL DETAILS
------------------

LAST NAME: _______________________________

FIRST NAME: ______________________________


AFFILIATION: _____________________________

ADDRESS: _________________________________

         _________________________________
 
         _________________________________


PHONE NUMBER: ____________________________

FAX: _____________________________________

E-MAIL: __________________________________

WWW (optional): __________________________

DATE OF ARRIVAL: __/__ 1999
DATE OF DEPARTURE: __/__ 1999

ANY SPECIAL DIETARY REQUIREMENTS (e.g. vegetarian):
______________________


B CONFERENCE FEES
-----------------

The conference fee will cover lunches, coffee breaks, and
proceedings. (It also includes costs for invited speakers and seminar
room bookings.)
                      
                      Regular       Student
--------------------------------------------
Early registration:   GBP115        GBP95
by 19th July

Late registration:    GBP170        GBP170
after 19th July

There will be a conference dinner on Saturday, 11th September. It will
cost GBP30 (students GBP15).

I will attend the dinner    YES ( )   NO ( )

Total fees payable:         GBP ____

I have paid the fees by ____________________ on __/__1999.

Please pay your fee by 
- bank draft in GBP
- Eurocheque in GBP
- any other cheque drawn on a British bank
payable to "The University of Edinburgh". 

Unfortunately, we cannot acccept credit cards and bank transfers.  


C ACCOMMODATION
---------------

We should like to ask you to book your own accommodation directly. The
Edinburgh Tourist Board offers a very efficient booking service. You
can either book by phone (+44-131-473-3874), fax (+44-131-473-3636) or
e-mail (conventions@eltb.org). When you contact them they will supply
you with a booking form which lists a number of accommodation types
from simple guest houses to 5* hotels. Please book early. Although the
Edinburgh International Festival will be over, September is still a
very busy time.
----------------------------------------------------------------
**Please state clearly on the accommodation booking form that your
accommodation should be within easy reach of the King's Buildings,
University of Edinburgh.**
---------------------------------------------------------------- 

You should receive confirmation of your booking within one day.  You
need to give them your credit card number which will serve as a
security. You will actually have to pay your accommodation directly
later.  If you do not have a credit card, or you encounter any
difficulties in booking your accommodation, then please get in touch
with us directly. Please contact (ctcs99-reg@dcs.ed.ac.uk) and state
your requirements.

The conference will be held in the James Clerk Maxwell Building
(Lecture theatre B), King's Buildings, Edinburgh EH9 3JZ. You will
find maps at http://www.visres.ed.ac.uk/internal/maps.





Important dates 
---------------

 9 April 1999     Notification of intention to submit  
23 April 1999     Submission deadline  
 4 June  1999     Notification of authors of accepted papers  
30 July  1999     Deadline for final versions of accepted papers


Address for paper submissions 
-----------------------------

Martin Hofmann  
Laboratory for Foundations of Computer Science  
Division of Informatics  JCMB, King's Buildings  
Mayfield Road  Edinburgh EH9 3JZ  Scotland


Local organization 
------------------

Monika Lekuse  
Laboratory for Foundations of Computer Science  
Division of Informatics JCMB, King's Buildings  
Mayfield Road  Edinburgh EH9 3JZ  Scotland


Conference e-address     ctcs99@dcs.ed.ac.uk 
--------------------  

Conference homepage      http://www.dcs.ed.ac.uk/home/ctcs99
-------------------

Related event            2nd APPSEM workshop, 6-9 September 1999
-------------
 http://www.md.chalmers.se/Cs/Research/Semantics/APPSEM/index.html