jasminecorp.net directory
Updated Blogs
More .....



 
 

| Add Search | Advertise With JCSearch | Suggest a Site

Search the Web


Search Results

Past Conferences
Directory > Science > Math > Logic and Foundations > Meetings > Past Conferences

Web Sitesi

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
Reviews Rating: Not yet Rated Whois Check

LFM 2000
NASA Langley Formal Methods Workshop. Williamsburg, VA, USA; 13--15 June 2000. Proceedings.
http://techreports.larc.nasa.gov/ltrs/refer/2000/cp/NASA-2000-cp210100.refer.html
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois 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
Reviews Rating: Not yet Rated Whois Check

Logic and its Applications in Algebra and Geometry
Ann Arbor, MI, April 11-13, 2003.
http://www.math.lsa.umich.edu/%7Ebkasterm/
Reviews Rating: Not yet Rated Whois Check

BEST 12
Boise Extravaganza in Set Theory , March 28-30, 2003
http://diamond.boisestate.edu/~best/
Reviews Rating: Not yet Rated Whois Check

Combining Probability and Logic
4th Augustus de Morgan Workshop. King's College London, UK; 4--6 November 2002.
http://www.kcl.ac.uk/ip/jonwilliamson/progic/
Reviews Rating: Not yet Rated Whois Check

RTA 2003
14th International Conference on Rewriting Techniques and Applications. Valencia, Spain; 9--11
June 2003.

http://www.dsic.upv.es/~rdp03/rta/
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois Check

Coordination and Action
Workshop in conjunction with ESSLLI 2001. Helsinki, Finland; 13--25 August 2001.
http://lubitsch.lili.uni-bielefeld.de/~pkuehnle/HELSINKI/
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois Check

ICoS-2 : Inference in Computational Semantics
Dagstuhl, Germany; 29--30 July 2000. Photos, slides.
http://remote.science.uva.nl/~mdr/ICoS/ICoS-2/
Reviews Rating: Not yet Rated Whois Check

FLoC 1999
The 1999 Federated Logic Conference, incorporating CADE, CAV, LICS, RTA. Trento, Italy; 30 June --
12 July 1999.

http://floc99.itc.it/
Reviews Rating: Not yet Rated Whois Check

6BLM
6th Barcelona Logic Meeting, 5-8 July 2000 - Barcelona, Spain - Areas emphasized are algebraic
logic, model theory and set theory.

http://www.crm.es/pastactivities/Act1999-2000/6blm.htm
Reviews Rating: Not yet Rated Whois Check

Does Mathematics Require a Foundation?
Arché Centre for Philosophy of Logic, Language, Mathematics and Mind, University of St Andrews,
Scotland, UK; 12--15 August 2002.

http://www.st-andrews.ac.uk/academic/philosophy/arche/conference2.shtml
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois Check

TABLEAUX 2002
Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1
August 2002.

http://floc02.diku.dk/TABLEAUX/
Reviews Rating: Not yet Rated Whois Check

ICLP'02
International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002.
http://floc02.diku.dk/ICLP/
Reviews Rating: Not yet Rated Whois Check

FLoC '02 - Federated Logic Conference
Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002.
http://floc02.diku.dk/
Reviews Rating: Not yet Rated Whois Check

CLIMA'02 - Computational Logic in Multi-Agent Systems
Affiliated with ICLP 2002. Copenhagen, Denmark; 1 August 2002.
http://centria.di.fct.unl.pt/~jleite/clima02/
Reviews Rating: Not yet Rated Whois Check

CADE-18
The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002.
http://floc02.diku.dk/CADE/
Reviews Rating: Not yet Rated Whois Check

MFCSIT2002
Second Irish Conference on the Mathematical Foundations of Computer Science and Information
Technology. National University of Ireland, Galway; 18--19 July 2002.

http://grobner.nuigalway.ie/MFCSIT2002/
Reviews Rating: Not yet Rated Whois Check

TIME-2002
9th International Symposium on Temporal Representation and Reasoning Symposium. Manchester, UK;
7--9 July, 2002.

http://www.cs.man.ac.uk/img/TIME-2002/
Reviews Rating: Not yet Rated Whois Check

CALCULEMUS-2002
10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Marseille,
France; 1--5 July 2002.

http://www.ags.uni-sb.de/~calculemus2002/
Reviews Rating: Not yet Rated Whois Check

Bounded Arithmetic and Complexity Classes (BACC2002)
Lisbon, Portugal; 28--29 June 2002.
http://alf1.cii.fc.ul.pt/~ferferr/bacc2002/bacc.html
Reviews Rating: Not yet Rated Whois Check

21st Days of Weak Arithmetics
St.Petersburg, Russia; 7--9 June 2002.
http://logic.pdmi.ras.ru/jaf21/
Reviews Rating: Not yet Rated Whois Check

NS2002
Nonstandard Methods and Applications in Mathematics. Pisa, Italy; 10--16 June 2002.
http://docenti.ing.unipi.it/~o18933/Pisa2002/
Reviews Rating: Not yet Rated Whois Check

LOGICA 2002
16th in the series organized by The Institute of Philosophy, Academy of Sciences, Czech Republic.
Castle Zahrádky; 18--21 June 2002.

http://www.flu.cas.cz/Logica/Logica2002-1.htm
Reviews Rating: Not yet Rated Whois Check

ISWC 2002
The International Semantic Web Conference. Sardinia, Italy; 10--12 June 2002.
http://iswc.semanticweb.org/
Reviews Rating: Not yet Rated Whois Check

On the Foundations of Mathematics
Conference in honor of Jan Mycielski. University of Colorado at Boulder, USA; 1--2 June 2002.
http://euclid.colorado.edu/~jmconf/main.html
Reviews Rating: Not yet Rated Whois Check

DEON'02
Sixth International Workshop on Deontic Logic in Computer Science. Imperial College, London, UK;
22--24 May 2002.

http://www.doc.ic.ac.uk/deon02/
Reviews Rating: Not yet Rated Whois Check

NMR'2002
9th International Workshop on Non-Monotonic Reasoning. (Collocated with KR2002 and AIPS'02.)
Toulouse, France; 19--21 April 2002.

http://www.irit.fr/NMR2002/NMR2002.html
Reviews Rating: Not yet Rated Whois Check

KR2002
Eighth International Conference on Principles of Knowledge Representation and Reasoning. In
conjunction with AIPS2002, KSCO'02 and NMR'02. Toulouse, France; 22--25 April 2002.

http://www.kr.org/kr/kr02/
Reviews Rating: Not yet Rated Whois Check

ADD'2002
SpecialSession on Argument, Dialogue, and Decision at NMR'2002. Toulouse, France; 19--21 April
2002.

http://www.cs.uu.nl/people/henry/add02/add02.html
Reviews Rating: Not yet Rated Whois Check

Proof Theory and Complexity
Aarhus, Denmark; 3--7 August 1998.
http://www.brics.dk/PTAC98/
Reviews Rating: Not yet Rated Whois Check

Proof and Computation
Ludwig-Maximilians-Universität, Munich, Germany; 5--6 November 1999.
http://www.mathematik.uni-muenchen.de/~gamma0
Reviews Rating: Not yet Rated Whois Check

CCF'99
First Workshop on Constructivity, Complexity, and Fuzziness. Galati, România; 26--28 August 1999.
http://www.informatik.uni-halle.de/~staiger/galati.html
Reviews Rating: Not yet Rated Whois Check

TPTS
Workshop on Theory and Practice of Timed Systems. (A satellite event of ETAPS 2002.) Grenoble,
France; 6--7 April 2002.

http://www-verimag.imag.fr/~maler/TPTS.html
Reviews Rating: Not yet Rated Whois Check

ACL2-2002
Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with
ETAPS 2002). Grenoble, France; 8--9 April 2002.

http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/
Reviews Rating: Not yet Rated Whois Check

Stanislaw Jaskowski Memorial Symposium
Parainconsistent Logic, Logical Philosophy, Mathematics and Informatics. Nicholas Copernicus
University of Torun, Poland; 15--18 July 1998.

http://www.uni.torun.pl/~logic/JS'98/
Reviews Rating: Not yet Rated Whois Check

SSS-02
Logic-Based Program Synthesis: State-of-the-Art and Future Trends. AAAI 2002 Spring Symposium.
Stanford University, Palo Alto, CA, USA; 25--27 March 2002.

http://www.aaai.org/Symposia/Spring/2002/sss-02.html
Reviews Rating: Not yet Rated Whois Check

Logic-Based Program Synthesis
AAAI 2002 Spring Symposium. Stanford University, CA, USA; 25--27 March 2002.
http://ase.arc.nasa.gov/aaai2002/
Reviews Rating: Not yet Rated Whois Check

BEST-11
Boise Extravanagza in Set Theory. Department of Mathematics, Boise State University, Idaho, USA;
29--31 March 2002.

http://diamond.boisestate.edu/~best/best11/best11.html
Reviews Rating: Not yet Rated Whois Check

Weighted Automata: Theory and Applications
Dresden, Germany; 4--8 March 2002.
http://www.orchid.inf.tu-dresden.de/gk-spezifikation/wata.html
Reviews Rating: Not yet Rated Whois Check

Model Theory 2002
A regional meeting of the LMS followed by a short conference on Model Theory. School of
Mathematics, University of Birmingham, UK; 27 February -- 2 March 2002.

http://www.mat.bham.ac.uk/R.W.Kaye/models2002/
Reviews Rating: Not yet Rated Whois Check

Types Summer School '99
Giens, France; 30 August -- 10 September 1999. Photos, tutorial notes and software.
http://www-sop.inria.fr/certilab/types-sum-school99/types-sum-school.html
Reviews Rating: Not yet Rated Whois Check

LP-01.
Logic Programming for Artificial Intelligence and Information Systems. A thematic worskhop of EPIA
2001. Porto, Portugal 17--20 December 2001.

http://www.eventos.uevora.pt/epia/lp-01/
Reviews Rating: Not yet Rated Whois Check

ICALP'96
23rd International Colloquium on Automata, Languages, and Programming. Paderborn, Germany; 8--12
July 1996.

http://www.uni-paderborn.de/~icalp96/
Reviews Rating: Not yet Rated Whois Check

Thematic Afternoon on Constructivism
Including the first Arend Heyting Lecture. Amsterdam, the Netherlands; 14 December 2001.
http://turing.wins.uva.nl/~anne/heyting.html
Reviews Rating: Not yet Rated Whois Check

CICLOPS 2001
Colloquium on Implementation of Constraint and LOgic Programming Systems. Coral Beach Hotel,
Paphos, Cyprus; 1 December 2001.

http://www.cs.nmsu.edu/~complog/conferences/iclp01/
Reviews Rating: Not yet Rated Whois Check

ADMW01
3rd Augustus De Morgan Workshop on Frontiers of Revision and Contraction. King's College, London,
UK; 5--6 November 2001.

http://www.dcs.kcl.ac.uk/research/groups/logic/ADMW01/
Reviews Rating: Not yet Rated Whois Check

LPAR 2001
8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning.
Havana, Cuba; 3--7 December 2001.

http://www.lsi.upc.es/~roberto/lpar2001.html
Reviews Rating: Not yet Rated Whois Check

Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics
University of New Mexico; 1--3 December 2001.
http://www.gallup.unm.edu/~smarandache/FirstNeutConf.htm
Reviews Rating: Not yet Rated Whois Check

Logic of Soft Computing
Gargnano, Italy; 19--24 November 2001.
http://homes.dsi.unimi.it/~mundici/SCFL/logsofcom/
Reviews Rating: Not yet Rated Whois Check

AC2001
The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December
2001.

http://www.illc.uva.nl/AC2001/
Reviews Rating: Not yet Rated Whois Check

ICLP'01
Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1
December 2001.

http://www.cs.ucy.ac.cy/iclp2001/
Reviews Rating: Not yet Rated Whois Check

Workshop on Model Theory
Institut de Matemàtica de la Universitat de Barcelona (IMUB), Spain; 25--27 October 2001.
http://www.imub.ub.es/events/wmt/
Reviews Rating: Not yet Rated Whois Check

International Workshop on Computability Theory
S.S.Goncharov - 50th Anniversary. Sobolev Institute of Mathematics, Novosibirsk, Russia; 23--26
September 2001.

http://math.nsc.ru/conference/malmeet/goncharov/
Reviews Rating: Not yet Rated Whois Check

FOTFS III
Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik,
Universität Wien, Austria; 21--24 September 2001.

http://www.math.uni-bonn.de/people/fotfs/III/
Reviews Rating: Not yet Rated Whois Check

WFLP 2001
International Workshop on Functional and (Constraint) Logic Programming, comprising the 10th
International Workshop on Functional and Logic Programming and the 16th Workshop on Logic
Programming. Kiel, Germany; 13--15 September 2001.

http://www.informatik.uni-kiel.de/~wflp2001/
Reviews Rating: Not yet Rated Whois Check

Fourth International Tbilisi Symposium on Language, Logic and Computation
Borjomi, Georgia; 23--28 September 2001.
http://www.illc.uva.nl/Borjomi/
Reviews Rating: Not yet Rated Whois Check

LPNMR'01
6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria;
17--19 September 2001.

http://www.kr.tuwien.ac.at/lpnmr01/
Reviews Rating: Not yet Rated Whois Check

CSL'01
Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13
September 2001.

http://www.lsv.ens-cachan.fr/csl01/
Reviews Rating: Not yet Rated Whois Check

LLL 2001
3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9
September 2001.

http://www.fi.muni.cz/ilpnet2/LLL2001/
Reviews Rating: Not yet Rated Whois Check

ILP 2001
Eleventh International Conference on Inductive Logic Programming. Co-located with the Third
International Workshop on Learning Language in Logic. Strasbourg, France; September 8--9, 2001.

http://hydria.u-strasbg.fr/ILP2001/
Reviews Rating: Not yet Rated Whois Check

PLI 2001
Principles, Logics, and Implementations of high-level programming languages. Including ICFP and
PPDP. Firenze, Italy; 2--8 September 2001.

http://music.dsi.unifi.it/pli01/
Reviews Rating: Not yet Rated Whois Check

Foundational Theories in Mathematics
Department of Mathematics, University of Trento, Italy; 3--7 September 2001.
http://www.science.unitn.it/~baratell/ftm.html
Reviews Rating: Not yet Rated Whois Check

FICS'2001 Fixed Points in Computer Science
A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001.
http://www.dsi.uniroma1.it/~labella/FICS.html
Reviews Rating: Not yet Rated Whois Check

MFCS 2001
26th International Symposium on Mathematical Foundations of Computer Science. Marianske Lazne,
Czech Republic; 27--31 August 2001.

http://www.math.cas.cz/~mfcs2001/
Reviews Rating: Not yet Rated Whois Check

LICS 2002
LICS 2002 will be part of the 2002 Federated Logic Conference (FLoC 2002). Copenhagen, Denmark; 20
July -- 1 August 2002.

http://www.math.uic.edu/lics/
Reviews Rating: Not yet Rated Whois Check

LCCS 2001
International Workshop on Logic and Complexity in Computer Science. Créteil, France; 3--5
September 2001.

http://www.univ-paris12.fr/~lacl/LCCS2001/
Reviews Rating: Not yet Rated Whois Check

GETCO 2001
3rd workshop on Geometric and Topological Methods in Concurrency. In conjunction with CONCUR'01.
Aalborg University, Denmark; 25 August 2001.

http://www.math.auc.dk/~raussen/GETCO/getco.html
Reviews Rating: Not yet Rated Whois Check

Algebra and Discrete Mathematics
A Euresco conference on the interplay between model theory, infinite combinatorics and various
subfields of algebra. Hattingen, Germany; 18 -- 23 August 2001.

http://www.esf.org/euresco/01/pc01101a.htm
Reviews Rating: Not yet Rated Whois Check

The Logic Programming Paradigm: Current Trends and Future Directions
Shakertown, Kentucky, USA; 27--27 April 1998. Photos.
http://www.CS.NMSU.Edu/~complog/shaker/
Reviews Rating: Not yet Rated Whois Check

Proof and System Reliability
Marktoberdorf Summer School, Germany; 24 July -- 5 August 2001.
http://www4.in.tum.de/div/summerschool/
Reviews Rating: Not yet Rated Whois Check

MOL7
Seventh Meeting on Mathematics of Language. University of Helsinki, Finland; 10--12 August 2001.
http://www.cis.upenn.edu/~ircs/mol/mol7.html
Reviews Rating: Not yet Rated Whois Check

LICS 2001
IEEE Symposium on Logic in Computer Science. Boston, MA, USA; 16--19 June 2001.
http://www.cs.bu.edu/faculty/mairson/LICS01/
Reviews Rating: Not yet Rated Whois Check

Description Logics Workshops
Proceedings of past workshops, some on-line.
http://dl.kr.org/workshops/
Reviews Rating: Not yet Rated Whois Check

DL2001
International Workshop on Description Logics. Stanford University, California, USA; 1--3 August
2001. On-line proceedings.

http://www.ksl.Stanford.EDU/dl2001/
Reviews Rating: Not yet Rated Whois Check

IJCAR 2001 - International Joint Conference on Automated Reasoning
The fusion of three major events discussing this topic. Includes information on workshop
discussions, invited speakers and accepted tutorials. Siena, Italy; 18--23 June 2001.

http://www.dii.unisi.it/~ijcar/
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois Check

Logical Methods
EEF Foundations Summer School on Logical Methods. BRICS, Aarhus, Denmark; 25 June -- 6 July 2001.
http://www.brics.dk/LogicsSchool01/
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois Check

PLS-3
3rd Panhellenic Logic Symposium. 17--22 July 2001; Anogia, Greece.
http://www.math.uoa.gr/pls3/
Reviews Rating: Not yet Rated Whois Check

Complexity 2001
16th Annual Conference on Computational Complexity. CTI, DePaul University, Chicago IL, USA;
18--21 June 2001.

http://facweb.cs.depaul.edu/complexity2001/
Reviews Rating: Not yet Rated Whois Check

TARK VIII
8th conference on Theoretical Aspects of Rationality and Knowledge. Certosa di Pontignano,
University of Siena, Italy; 8--10 July 2001.

http://www.tark.org/cfp01.html
Reviews Rating: Not yet Rated Whois Check

The Continuum Hypothesis
A workshop featuring a number of lectures surveying the current insights into the continuum problem
and its variations. MSRI, Berkeley, CA, USA; 29 May -- 1 June 2001.

http://zeta.msri.org/calendar/workshops/WorkshopInfo/94/show_workshop
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois 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, Bulgaria; 8--10 September 2000.
On-line presentations.

http://www.ontotext.com/OntoLex
Reviews Rating: Not yet Rated Whois Check

MFPS XVII
Seventeenth Conference on the Mathematical Foundations of Programming Semantics. Aarhus
University, Denmark; 23--27 May 2001.

http://www.math.tulane.edu/mfps17.html
Reviews Rating: Not yet Rated Whois Check

ICoS-3 : Inference in Computational Semantics
Held jointly with IJCAR 2001. Siena, Italy; 19--20 June 2001.
http://www.cs.cmu.edu/~kohlhase/event/icos3/
Reviews Rating: Not yet Rated Whois Check

2001 Greater Boston Logic Meeting
Boston, MA, USA; 11--13 May 2001.
http://www-math.mit.edu/conferences/logic/
Reviews Rating: Not yet Rated Whois 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
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois Check

Seventh Asian Logic Conference
Hsi-Tou, Taiwan; 6--10 June 1999.
http://www.sinica.edu.tw/math/html/workshop/alc99/alc99.html
Reviews Rating: Not yet Rated Whois Check

BEST 10
Boise Extravaganza in Set Theory. Boise State University; 23--25 March 2001.
http://diamond.boisestate.edu/~best/best10/best10.html
Reviews Rating: Not yet Rated Whois Check

RTA 2001
12th International Conference on Rewriting Techniques and Applications. Utrecht, The Netherlands;
22--24 May 2001.

http://www.score.is.tsukuba.ac.jp/rta2001/
Reviews Rating: Not yet Rated Whois 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
Reviews Rating: Not yet Rated Whois Check

LUATCS '99
First Southern African Summer School and Workshop on Logic, Universal Algebra, and Theoretical
Computer Science. Rand Afrikaans University, Johannesburg, South Africa; 1--10 December 1999.

http://atlas.math.vanderbilt.edu/~pjipsen/luatcs99/
Reviews Rating: Not yet Rated Whois Check

Application of Multiple-Valued Logic to Artificial Intelligence and Data Mining
A MathFIT Workshop. School of Computer Science, Queen's University Belfast; 27 -- 28 April 2001.
http://www.qub.ac.uk/ivs/mvl/
Reviews Rating: Not yet Rated Whois Check

RTA 2000
11th International Conference on Rewriting Techniques and Applications. University of East Anglia,
Norwich, UK; 10--12 July 2000. Joint with 3rd International Workshop on Explicit Substitutions
and Applications; 13 July 2000.

http://www.sys.uea.ac.uk/RTA2000/
Reviews Rating: Not yet Rated Whois Check

TLCA - 5th International Conference on Typed Lambda Calculi and Applications, Krakow, Poland
Krakow, Poland; 2--5 May 2001.
http://www.ii.uj.edu.pl/zpi/tlca2001/
Reviews Rating: Not yet Rated Whois Check

PLS-1
First Panhellenic Logic Symposium. Nicosia, Cyprus; 21--24 July 1997.
http://www.cs.ucy.ac.cy/symposium/
Reviews Rating: Not yet Rated Whois Check

ICFP 2000
International Conference on Functional Programming. Associated with PLI 2000. Montreal, Canada;
18--20 September 2000.

http://www.cs.bell-labs.com/who/wadler/icfp2000/
Reviews Rating: Not yet Rated Whois Check

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/
Reviews Rating: Not yet Rated Whois Check

ICALP'98
25th International Colloquium on Automata, Languages, and Programming. Aalborg, Denmark; 13--17
July 1998.

http://www.cs.auc.dk/icalp98/
Reviews Rating: Not yet Rated Whois Check

ICALP'00
27th International Colloquium on Automata, Languages, and Programming. Geneva, Switzerland; 9--15
July 2000.

http://cui.unige.ch/~icalp/
Reviews Rating: Not yet Rated Whois Check

PLS-2
2nd Panhellenic Logic Symposium. Delphi, Greece; 13--17 July 1999.
http://www.mathphys.ntua.gr/symposium/
Reviews Rating: Not yet Rated Whois Check

TPHOLs 2000
13th International Conference on Theorem Proving in Higher Order Logics. Portland, Oregon, USA;
14--18 August 2000.

http://www.cse.ogi.edu/tphols2000/
Reviews Rating: Not yet Rated Whois Check

CADE-16
The 16th International Conference on Automated Deduction. Trento, Italy; 7--10 July 1999.
http://www.mpi-sb.mpg.de/cade-16/
Reviews Rating: Not yet Rated Whois Check

CADE-17
The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.
http://www.cs.cmu.edu/~cade/
Reviews Rating: Not yet Rated Whois Check

Set Theory and its Neighbours 9
De Morgan House, London; 25 April 2001.
http://www.ucl.ac.uk/~ucahcjm/stn/stn9.html
Reviews Rating: Not yet Rated Whois Check

MPC 2000
Mathematics of Program Construction. Ponte de Lima, Portugal; 3--5 July 2000. Photos.
http://www.di.uminho.pt/mpc2000/
Reviews Rating: Not yet Rated Whois 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
Reviews Rating: Not yet Rated Whois Check

ITRS'00
Workshop on Intersection Types and Related Systems. Geneva, Switzerland; 15 July 2000.
Abstracts, papers and slides.

http://www.cee.hw.ac.uk/~jbw/itrs/itrs00/
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois Check

ARW 2000
Seventh Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. King's
College London, UK; 20--21 July 2000.

http://www.dcs.kcl.ac.uk/events/ARW/
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois Check

ALP/PLILP/SAS 1996
Joint meeting of the Fifth International Conference on Algebraic and Logic Programming; Eighth
International Symposium on Programming Languages, Implementations, Logics, and Programs; Third
International Static Analysis Symposium. Aachen, Germany; 24--27 September 1996.

http://www-i2.informatik.rwth-aachen.de/aachen96/
Reviews Rating: Not yet Rated Whois Check

ICoS-1 : Inference in Computational Semantics
Amsterdam, the Netherlands; 15 August 1999.
http://turing.wins.uva.nl/~mdr/ICoS/ICoS-1/
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois Check

TABLEAUX'99
Saratoga Springs, NY, USA; 7--11 June 1999.
http://www.cs.albany.edu/~nvm/tab99/
Reviews Rating: Not yet Rated Whois Check

TABLEAUX'97
Analytic Tableaux and Related Methods. Abbaye des Prémontrés, Pont-à-Mousson, France; 13--16
May 1997.

http://www.loria.fr/conferences/tab97/
Reviews Rating: Not yet Rated Whois Check

MFCS'99
24th International Symposium on Mathematical Foundations of Computer Science. Szklarska Poreba,
Poland; 6--10 September 1999.

http://www.tcs.uni.wroc.pl/mfcs99/
Reviews Rating: Not yet Rated Whois Check

LPAR'99
6th International Conference on Logic for Programming and Automated Reasoning. Tbilisi, Republic
of Georgia; 6--10 September 1999.

http://www.csd.uu.se/~voronkov/lpar99.html
Reviews Rating: Not yet Rated Whois Check

FTP 2000
First-Order Theorem Proving. St. Andrews, Scotland; 3--5 July 2000. Proceedings available.
http://www.uni-koblenz.de/ftp00/
Reviews Rating: Not yet Rated Whois Check

WCP 2000
Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000.
http://logica.cle.unicamp.br/wcp/wcp2000.htm
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois Check

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
Reviews Rating: Not yet Rated Whois Check

FOSSACS 2000
Foundations of Software Science and Computation Structures. Berlin, Germany; 27--31 March 2000.
http://fossacs.mimuw.edu.pl/
Reviews Rating: Not yet Rated Whois Check

FLOPS'99
4th Fuji International Symposium on Functional and Logic Programming. Tsukuba, Japan; 11--13
November 1999.

http://www.score.is.tsukuba.ac.jp/flops99/
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois Check

LFM'99
Workshop on Logical Frameworks and Meta-languages. Held as part of the Colloquium on Principles,
Logics, and Implementations of High-Level Programming Languages. Paris, France; 28 September 1999.
Proceedings in PostScript.

http://www.cs.bell-labs.com/~felty/LFM99/
Reviews Rating: Not yet Rated Whois Check

ISMVL 2000
International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000.
Photos.

http://www.ee.pdx.edu/%7Emperkows/ISMVL/=index2000.html
Reviews Rating: Not yet Rated Whois 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/
Reviews Rating: Not yet Rated Whois Check

JELIA 2000
7th European Workshop on Logics in Artificial Intelligence. Malaga, Spain; 29 September -- 2
October 2000.

http://www.satd.uma.es/jelia/
Reviews