LICS 2005 - Affiliated Workshops
Logic and Computational Complexity
June 24-25. Organizer:
Jim Royer
Intuitionistic Modal Logics and Applications
June 30. Organizers:
Valeria de Paiva
and
Frank Pfenning
Foundations of Computer Security
June 30-July 1. Organizer:
Andrei Sabelfeld
Workshop on Quantum Programming Languages
June 30-July 1. Organizer:
Peter Selinger
Back to the
LICS 2005 web page
.