LICS-affiliated workshops

The following workshops are affiliated with LICS 2002:

Workshops

  • July 20-21: DOMAIN - Workshop on Domain Theory
  • July 25-26: FCS - Foundations of Computer Security
  • July 20-21: FICS - Fixed Points In Computer Science
  • July 25th: HYLO - Workshop on Hybrid Logic
  • July 20-21: ICC - Implicit Computational Complexity
  • July 26th: IMLA - Intuitionistic Modal Logic and Aplications
  • July 26th: ITRS - Intersection Types and Related Systems
  • July 26th: LFM - Logical Frameworks and Meta-Languages
  • July 25-26: LL - Linear Logic