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

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

TABLEAUX 2002
Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1 August 2002.
http://floc02.diku.dk/TABLEAUX/
Diku.dk ~ Site Info Whois Trace Route RBL Check

WoPaLo
Workshop in Paraconsistent Logic, part of the 14th European Summer School in Logic, Language and Information. Trento, Italy; 5--9 August 2002.
http://logica.rug.ac.be/WoPaLo/
Ac.be ~ Site Info Whois Trace Route RBL Check

CSL'02
Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002.
http://www.dcs.ed.ac.uk/csl02/
Ed.ac.uk ~ Site Info Whois Trace Route RBL Check

RTA'02
13th International Conference on Rewriting Techniques and Applications (part of the Federated Logic Conference FLoC'02). Copenhagen, Denmark; 22--24 July 2002.
http://floc02.diku.dk/RTA/
Diku.dk ~ Site Info Whois Trace Route RBL Check

RTA 2003
14th International Conference on Rewriting Techniques and Applications. Valencia, Spain; 9--11 June 2003.
http://www.dsic.upv.es/~rdp03/rta/
Upv.es ~ Site Info Whois Trace Route RBL Check

Logic and Mathematics: Connections and Interactions
Conference on applications of logic in mathematics; Urbana-Champaign, Illinois, May 21-25, 2003.
http://www.math.uiuc.edu/ResearchAreas/logic/conference/index.html
Uiuc.edu ~ Site Info Whois Trace Route RBL Check

Set Theory and Analysis
Semester long program at the Fields Institute, Toronto, Ontario, along with some shorter workshops. September through December, 2002.
http://www.fields.utoronto.ca/programs/scientific/02-03/set_theory/
Utoronto.ca ~ Site Info Whois Trace Route RBL Check

World Congress on Paraconsistency
The WCP3 will take place in Toulouse (France) from 28-31 July 2003, and will focus on mathematics, philosophy and applications of paraconsistent logics.
http://www.cle.unicamp.br/wcp3/
Unicamp.br ~ Site Info Whois Trace Route RBL Check

SPR03
Second International Workshop on Semantics, Pragmatics, and Rhetoric. Donostia, San Sebastián, Spain; 6--8 November 2003.
http://www.sc.ehu.es/ilwlaanj/SPR/SPR03.html
Ehu.es ~ Site Info Whois Trace Route RBL Check

LPAR 2001
8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Havana, Cuba; 3--7 December 2001.
http://www.cs.man.ac.uk/~voronkov/LPAR/2001/lpar2001.html
Man.ac.uk ~ Site Info Whois Trace Route RBL Check