Logic Related Conferences

General Information

• LiCS, Newsletters

Logic Conferences and Workshops

• NATO ADVANCED STUDY INSTITUTE (ASI) Algebraic Model Theory
  The Fields Institute, Toronto, Canada, August 19-30, 1996
• ESSLI'96 Summer School on Logic, Language and Computation

Logic in Computer Science

• FLoC, 1996 Federated Logic Conference
  July 27 - August 3, 1996, Rutgers University, New Jersey, USA
• LiCS, 1996
  July 27-30, 1996, New Brunswick, New Jersey, USA

Semantics and Verification

• CAV'96

Foundation of Computer Science

• MFCS'96, Prague, Information
• ICALP'96, Home Page

Logic and AI

• JELIA'96 5th European Workshop on Logics in AI, September 30- October 3, 1996 Evora, Portugal

Database Theory

• ICDT'97, 6th International Conference on Database Theory, Delphi, Greece, January 8-10, 1997

Category Theory in CS