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

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

PLI'00
Principles, Logics, and Implementations of High-Level Programming Languages. Including ICFP 2000 and PPDP 2000. Montreal, Canada; 18--23 September 2000.
http://www.cs.yorku.ca/pli-00/
Yorku.ca ~ Site Info Whois Trace Route RBL Check

PLS-1
First Panhellenic Logic Symposium. Nicosia, Cyprus; 21--24 July 1997.
http://www.cs.ucy.ac.cy/symposium/
Ucy.ac.cy ~ Site Info Whois Trace Route RBL Check

ICC'01
Third international workshop on Implicit Computational Complexity. Aarhus, Denmark; 20--21 May 2001.
http://www.dcs.ed.ac.uk/home/mxh/ICC01.html
Ed.ac.uk ~ Site Info Whois Trace Route RBL Check

Conference and Workshop in Honor of Professor Saharon Shelah
Ben-Gurion University of the Negev, Israel; 21--25 May 2001.
http://www.math.bgu.ac.il/~bguconf/
Bgu.ac.il ~ Site Info Whois Trace Route RBL Check

Conference in Honor of D. A. Martin's 60th Birthday
Held in coordination with the Mathematical Sciences Research Institute workshop on The Continuum Hypothesis. University of California, Berkeley, CA, USA; 27--28 May 2001.
http://www.math.berkeley.edu/~steel/martin.html
Berkeley.edu ~ Site Info Whois Trace Route RBL Check

OntoLex'2000
Workshop on Ontologies and Lexical Knowledge Bases. Bringing together researchers interested in the dependencies between formal ontologies and lexical semantics in general, and more specifically in the construction of lexical knowledge bases. Sozopol
http://www.ontotext.com/OntoLex
Ontotext.com ~ Site Info Whois Trace Route RBL Check

BI-DIALOG 2001
5th Workshop on Formal Semantics and Pragmatics of Dialogue. ZiF, Bielefeld, Germany; 14--16 June 2001.
http://www.uni-bielefeld.de/BIDIALOG/
Uni-bielefeld.de ~ Site Info Whois Trace Route RBL Check

FLA 2001
Fuzzy Logic and Applications. Part of the International ICSC Congress on Computation Intelligence Methods and Applications (CIMA 2001). Bangor, Wales, UK; 19--22 June 2001.
http://www.icsc-naiso.org/conferences/cima2001/fla2001/
Icsc-naiso.org ~ Site Info Whois Trace Route RBL Check

LACL 2001
4th International Conference on Logical Aspects of Computational Linsguistics. Le Croisic, France; 27--29 June 2001.
http://www.irisa.fr/manifestations/2001/LACL2001/
Irisa.fr ~ Site Info Whois Trace Route RBL Check

DL2001
International Workshop on Description Logics. Stanford University, California, USA; 1--3 August 2001. On-line proceedings.
http://www.ksl.stanford.edu/dl2001/
Stanford.edu ~ Site Info Whois Trace Route RBL Check