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
LINKS:
  Pages: 1 2 3 4 5 6 [>>]
  • LFM'99
    http://www.cs.bell-labs.com/~felty/LFM99/
    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
    http://www.dcs.st-and.ac.uk/~tab2000/
    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
    http://www.fi.muni.cz/mfcs98/
    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
    http://www-i2.informatik.rwth-aachen.de/aachen96/
    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 [>>]
 
  HOME | ADD A LINK | MODIFY A LINK | LOGIN


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


© atomseek.com
Webmaster - miroweb.com