Conference on Automated Deduction (CADE) CADE is the major international forum at which research on all aspects of automated deduction is presented. The first conference was held in 1974. Previous CADEs have been mostly biennial, and annual conferences are planned starting in 1996. CADE Inc. is a subcorporation of the Association of Automated Reasoning. Contents The bylaws of CADE Inc. Election ...
www.cs.albany.edu/~nvm/cade.html
International Conference TABLEAUX Automated Reasoning with Analytic Tableaux and Related Methods The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods has been held every year since 1992. Starting in 1995, the proceedings have been published in Springer's LNAI series. Tableau methods have been found to be a convenient formalism for automating deduction in ...
i12www.ira.uka.de/TABLEAUX
Mathematical Foundations of Programming Semantics Conferences and Workshops in the Mathematical Foundations of Programming Semantics series have taken place annually since 1985, when the first conference was held at Kansas State University. The goals of the series have been to provide a forum for researchers in all areas surrounding semantics to present their latest research results, and to ...
www.math.tulane.edu/MFPS.html
LOPSTR International Workshop on Logic-based Program Synthesis and Transformation Future Conferences LOPSTR 02 LOPSTR 02 will be held on 18-20 September 2002 in Madrid, Spain. It will be co-located with SAS 02 and AGP 02. The PC Chair for LOPSTR 02 will be Michael Leuschel. History LOPSTR was founded by Kung-Kiu Lau in 1991. It has taken place annually since. Its original title was International ...
www.cs.man.ac.uk/~kung-kiu/lopstr
A page for the series of one-day meetings on set theory and its neighbours, held at the London Mathematical Society building, De Morgan House, Russell Square, London. Next meeting: Model theory and set theory, 2: Set theory and its neighbours, 12, Wednesday, 10th September 2002 ...
www.ucl.ac.uk/~ucahcjm/stn.html
World Congress on Formal Methods (FM) Formal Methods Europe FM 2002: Copenhagen, Denmark Lars-Henrik Eriksson, Peter A. Lindsay (Eds.): FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings. Lecture Notes in Computer Science 2391 Springer 2002, ISBN 3-540-43928-5 Contents - part of FLoC 2002 FME 2001: ...
dblp.uni-trier.de/db/conf/fm