Directory: Top/Science/Math/Logic_and_Foundations/Meetings/Past

Top / Science / Math / Logic_and_Foundations / Meetings / Past_Conferences /

GÖDEL'96
Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy. Brno, Czech Republic; 25--29 August 1996.
http://www.fi.muni.cz/~zlatuska/goedel96.html
Muni.cz ~ Site Info Whois Trace Route RBL Check

LPAR 2000
Logic Programming and Automated Reasoning. Reunion Island, France; 11--12 November 2000.
http://www.informatik.uni-trier.de/~ley/db/conf/lpar/
Uni-trier.de ~ Site Info Whois Trace Route RBL Check

WCP 2000
Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000.
http://logica.cle.unicamp.br/wcp/wcp2000.htm
Unicamp.br ~ Site Info Whois Trace Route RBL Check

TABLEAUX'99
Saratoga Springs, NY, USA; 7--11 June 1999.
http://www.cs.albany.edu/~nvm/tab99/
Albany.edu ~ Site Info Whois Trace Route RBL Check

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.
http://www.fi.muni.cz/mfcs98/
Muni.cz ~ Site Info Whois Trace Route RBL Check

NMR-2000
8th International Workshop on Non-Monotonic Reasoning. Held with KR'2000. Breckenridge, Colorado, USA; 9--11 April 2000. Slides, proceedings.
http://www.cs.engr.uky.edu/nmr2000/
Uky.edu ~ Site Info Whois Trace Route RBL Check

CL 2000
Conference on Computational Logic. Incorporating DOOD2000 and LOPSTR2000, collocated with ILP2000. Imperial College, London, UK; 24--28 July 2000.
http://www.doc.ic.ac.uk/cl2000/
Ic.ac.uk ~ Site Info Whois Trace Route RBL Check

LOFT4
Logic and the Foundations of Game and Decision Theory. ICER, Torino, Italy; 30 June -- 2 July 2000.
http://www.econ.ucdavis.edu/faculty/bonanno/loft4.html
Ucdavis.edu ~ Site Info Whois Trace Route RBL Check

Set Theory and its Neighbours 9
De Morgan House, London; 25 April 2001.
http://www.ucl.ac.uk/~ucahcjm/stn/stn9.html
Ucl.ac.uk ~ Site Info Whois Trace Route RBL Check

CADE-17
The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.
http://www.cs.cmu.edu/~cade/
Cmu.edu ~ Site Info Whois Trace Route RBL Check