Conferences and Workshops

July 1997

• LICS (Logic in Computer Science)
• CADE (Conference in Automated Deduction)
• ICALP (International Collquium on Automata Languages and Programming)

September 1997

• Formal Methods Workshop
• CCL (Construction of Computational Logics)
• Computer Safety, Reliability and Security

October 1997

• CP (Principles and Practices of Constraint Programming)
• FTP (First order Theorem Proving)
• ILPS (International Logic Programming Symposium)
• Verification, Model Checking and Abstract Interpretation

February 1998

• STACS (Theoretical Aspects of Computer Science)

March 1998

• Second Workshop on Formal Methods in Software Practice

April 1998

• RTA (Rewriting Techniques and Applications)

September 1998

• Formal Techniques in Real-Time and Fault-Tolerant Systems