LICS 2000 Workshops

Title: Logical Frameworks and Meta Languages
Chair: Joelle Despeyroux
Contact person: Joelle Despeyroux (Joelle.Despeyroux@sophia.inria.fr)
Schedule: June 25 (full day)
URL: http://www-sop.inria.fr/certilab/LFM00/

Title: Chu Spaces, Theory and Applications
Chairs: Valeria Correa Vaz de Paiva and Vaughan Pratt
Contact person: Valeria Correa Vaz de Paiva (paiva@parc.xerox.com)
Schedule: June 25 (probably full day)
URL: http://www.cs.bham.ac.uk/~vdp/chu.html

Title: Proof Carrying Code
Chair: Trevor Jim
Contact person: Trevor Jim (trevor@research.att.com)
Tentative schedule: Two half days, afternoon June 28 and morning June 29
URL: http://www.research.att.com/~trevor/PCC2000/

Title: Implicit Computational Complexity
Chair: Jean-Yves Marion
Contact person: Jean-Yves Marion (Jean-Yves.Marion@loria.fr)
Schedule: June 29 and 30 (two full days)
URL: http://www.loria.fr/~marionjy/ICC00.html

The workshop Nonmonotonicity and Belief Revision has been
cancelled for lack of participants.