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

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

ICLP'99
Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, 1999.
http://www.cs.nmsu.edu/~complog/conferences/iclp99/
Nmsu.edu ~ Site Info Whois Trace Route RBL Check

CSL 2000
Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000.
http://www.tcs.informatik.uni-muenchen.de/csl2000/
Uni-muenchen.de ~ Site Info Whois Trace Route RBL Check

SPbDLC'99
First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999. Abstracts, photos.
http://logic.pdmi.ras.ru/LogicDays
Ras.ru ~ Site Info Whois Trace Route RBL Check

FroCoS'96
First International Workshop on Frontiers of Combining Systems. Munich, Germany; 26--29 March 1996. Abstracts.
http://www.cis.uni-muenchen.de/hot/frocos96.html
Uni-muenchen.de ~ Site Info Whois Trace Route RBL Check

JoLL'2000
Workshop on Logic and Language. Seville,Spain; 29 November -- 1 December 2000.
http://www.cica.es/~joll2000/
Cica.es ~ Site Info Whois Trace Route RBL Check

LPNMR'97
4th International Conference on Logic Programming and Non-Monotonic Reasoning. Dagstuhl, Germany; 28--31 July 1997.
http://www.uni-koblenz.de/ag-ki/lpnmr97/
Uni-koblenz.de ~ Site Info Whois Trace Route RBL Check

JELIA 2000
7th European Workshop on Logics in Artificial Intelligence. Malaga, Spain; 29 September -- 2 October 2000.
http://www.satd.uma.es/jelia/
Uma.es ~ Site Info Whois Trace Route RBL Check

9th Annual Logic Summer School
Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 December 2000.
http://arp.anu.edu.au/lss/
Anu.edu.au ~ Site Info Whois Trace Route RBL Check

ISMVL 2000
International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000. Photos.
http://www.ee.pdx.edu/~mperkows/ISMVL/=index2000.html
Pdx.edu ~ Site Info Whois Trace Route RBL Check

TABLEAUX 2000
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.
http://www.dcs.st-and.ac.uk/~tab2000/
St-and.ac.uk ~ Site Info Whois Trace Route RBL Check