List of Research Groups in Logic and Theoretical Computer Science World-wide
Here:
Links to Conferences that already took place
Sorted in reverse order by date
- Proof and Computation / Schütte-Colloquium
- TLCA 99 L'Aquila, Italy,
April 7 - 9, 1999
- FAST Student Conference on
CS and IT
- Conference: Advances in Modal Logic Uppsala, Sweden, October 16 - 18, 1998
- First International
Workshop on Labelled Deduction, Freiburg, Germany, September 7 - 9, 1998
- Conference: Advances in Modal Logic
- CSL 98, August 22 - 28,
1998, Brno, Czech Republic
- LICS 98
- Logic Colloquium 98
- Types
98, Kloster Irsee
- KGC' 97
- LICS'97 (June 29 - July 2, 1997, Warsaw, Poland
- Logic Colloquium 1997 - Homepage
- August 25-29, 1996: Logical Foundations of Mathematics, computer science and physics
-- Kurt Gödel's Legacy (GOEDEL'96)(Brno, Czech Republic) )
- 7th Scandinavian Logic Symposium
- Symposium on Types and Ordinal Notation Systems
- Logic Colloquium'96
- September 21 - 27, 1996:
CSL: Annual Conference of the European Association for Computer Science Logic, Utrecht, The Netherlands
Please mail additions and corrections to
Anton Setzer ,
.