 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
Types Summer School '99
Giens, France; 30 August -- 10 September 1999. Photos, tutorial notes and software.
MFPS XVII
Seventeenth Conference on the Mathematical Foundations of Programming Semantics. Aarhus University, Denmark; 23--27 May 2001.
FroCoS 2000
3rd International Workshop on Frontiers of Combining Systems. Combining logics and deduction systems and logical modelling of multi-agent systems. Nancy, France; 22--24 March 2000.
LPAR'99
6th International Conference on Logic for Programming and Automated Reasoning. Tbilisi, Republic of Georgia; 6--10 September 1999.
CADE-16
The 16th International Conference on Automated Deduction. Trento, Italy; 7--10 July 1999.
JELIA 2000
7th European Workshop on Logics in Artificial Intelligence. Malaga, Spain; 29 September -- 2 October 2000.
WCP 2000
Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000.
Foundational Theories in Mathematics
Department of Mathematics, University of Trento, Italy; 3--7 September 2001.
Conference in Honor of D. A. Martin's 60th Birthday
Held in coordination with the Mathematical Sciences Research Institute workshop on The Continuum Hypothesis. University of California, Berkeley, CA, USA; 27--28 May 2001.
LFM'99
Workshop on Logical Frameworks and Meta-languages. Held as part of the Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages. Paris, France; 28 September 1999. Proceedings in PostScript.
More Past Conferences Sites
|
|
||
 |
|||