Go to Home Page
Program
Program

 

Conference at a Glance
Wednesday
June 30		 W1 - Implicit computational complexity - Room 7-L W10 - A Tutorial Workshop on Realizability Semantics - Room 3-L W8 - Grobner bases and rewriting techniques - Room 1-L FMT - Room 8-L
Thursday
July 01		 W14 - Finite Model Theory And Its Applications - Room 8-L Meeting of the IFIP working group 1.6 on Term Rewriting - Room 1-ITC
Friday
July 02		 LICS - IEEE Symposium on Logic in Computer Sciences - Auditorium RTA - Conference on Rewriting Techniques and Applications - Room 3-A MCT - Parallel Event - Room 1-ITC
Saturday
July 03
Sunday
July 04
Monday
July 05 		K1 - Auditorium W6 - Strategies in Automated Deduction - Room 1-L W15 - The 5th International SPIN Workshop on Theoretical Aspects of Model Checking - Room 8-L W4 - Workshop on Formal Method and Security - Room 7-L W9 - The Second International Workshop on Explicit Substitutions: Theory and Applications to Programs and - Room 3-L
Tuesday
July 06 		CAVT - Tutorial Day - Auditorium K2 - Auditorium W13 - Automation of Proofs by Mathematical Induction - Room 9-L W2 - Symbolic Model Checking - Room 8-L
W3 - Run-Time Result Verification - Room 7-L W3 - Run-Time Result Verification - Room 7-L
W5 - Intuitionistic Modal Logics and Applications - Room 4-L W12 - Complexity-theoretic and Recursion-theoretic methods in Databases, Artificial Intelligence and Finite - Room 5-L
Wednesday
July 07 		CADE - The 16th International Conference on Automated Deduction - Room 3-A CAV - Conference on Computer-Aided Verification - Auditorium
Thursday
July 08
Friday
July 09
Saturday
July 10
Sunday
July 11 		W7 - CALCULEMUS - Systems for Integrated Computation and Deduction - Room 7-L W11 - ERCIM WG on Formal Methods for Industrial Critical Systems - Room 8-L
Monday
July 12

 

 

 Program