Workshops

These workshops will take place during FLoC'02.
  • July 21st: AS - 4th International Workshop on Action Semantics and Related Frameworks
  • July 31st: CICLOPS - Colloquium on Implementation of Constraint and LOgic Programming Systems
  • August 1st: CLIMA - Computational Logic In Multi-Agent Systems
  • July 28th: CLPSE - (Constraint) Logic Programming and Software Engineering
  • July 25-26: CiAD - 2nd International Workshop on Complexity In Automated Deduction
  • July 20-21: DOMAIN - Workshop on Domain Theory
  • July 21st: EFSD - Evolutionary Formal Software Development
  • July 25-26: FCS - Foundations of Computer Security
  • July 20-21: FICS - Fixed Points In Computer Science
  • July 21st: HOR - International Workshop on Higher-Order Rewriting
  • 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
  • July 28th: NLULP - Natural Language Understanding and Logic Programming
  • July 25-26: PAPM-PROBMIV - Process Algebras and Performance Modeling / Probabilistic Methods In Verification
  • July 27th: PCL - Paraconsistent Computational Logic
  • July 31st - August 1st: PaPS - Problem and Problem Sets for ATP
  • July 31st: RADM - The Role of Automated Deduction in Mathematics
  • July 20-21: REFINE - Refinement Workshop
  • August 1st: RT-TOOLS - Workshop on Real-Time Tools
  • July 26th: RV - Runtime Verification
  • July 27th: SAVE - Specification, Analysis and Validation for Emerging Technologies in Computational Logic
  • July 25-26: UNIF - 16th International Workshop on Unification
  • July 20-21: VDM - VDM Meeting
  • July 25-26: VERIFY - Verification Workshop
  • July 25th: WG16 - IFIP WG1.6 Workshop
  • July 31st: WLPE - Workshop on Logic Programming Environments
  • July 21st: WRS - Second International Workshop on Reduction Strategies in Rewriting and Programming