LICS 2004 - Affiliated Workshops

• Implicit Computational Complexity (6th International Workshop on Logic and Computational Complexity)
  July 12-13. Organizer: Jim Royer

• Foundations of Computer Security
  July 12-13. Organizer: Andrei Sabelfeld

• Logical Foundations of Adaptive Security
  Subworkshop of FoCS
  July 12-13. Organizer: Leo Marcus

• 2nd International Workshop on Quantum Programming Languages
  July 12-13. Organizer: Peter Selinger

• Logics for Resources, Processes, and Programs
  July 13. Organizers: Didier Galmiche, Peter O'Hearn, David Pym

• Intersection Types and Related Systems
  July 13. Organizer: Mario Coppo

• Workshop on Logic and Systems Biology
  July 18. Organizers: Vincent Danos, Jim Lynch

Back to the LICS 2004 web page.