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