AtomSeek the directory or science  

Math: Logic and Foundations: Meetings: Past Conferences

the entire directory   only this category Advanced Search
Home: Math: Logic and Foundations: Meetings: Past Conferences
  Pages: 1 2 3 4 5 6 [>>]
  • 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.

  • TABLEAUX 2000
    Automated Reasoning with Analytic Tableaux and Related Methods. Held in conjunction with the International Workshop on First-Order Theorem Proving. University of St Andrews, Scotland; 4--7 July 2000. Tutorial notes, photos.

  • MFCS'98
    The 23rd International Symposium on Mathematical Foundations of Computer Science. Held jointly with CSL'98, CCA'98, FICS'98 and 68th PSSL. Brno, Czech Republic; 24--28 August 1998.

  • ALP/PLILP/SAS 1996
    Joint meeting of the Fifth International Conference on Algebraic and Logic Programming; Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs; Third International Static Analysis Symposium. Aachen, Germany; 24--27 September 1996.

  Pages: 1 2 3 4 5 6 [>>]

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people

Webmaster -