  |
ISWC 2002 - http://iswc.semanticweb.org/
The International Semantic Web Conference. Sardinia, Italy; 10--12 June 2002. |
| |
DL2001 - http://www.ksl.stanford.edu/dl2001/
International Workshop on Description Logics. Stanford University, California, USA; 1--3 August 2001. On-line proceedings. |
| |
CADE-18 - http://floc02.diku.dk/CADE/
The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002. |
| |
FLoC '02 - Federated Logic Conference - http://floc02.diku.dk/
Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002. |
| |
ICLP'02 - http://floc02.diku.dk/ICLP/
International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002. |
| |
RTA'02 - http://floc02.diku.dk/RTA/
13th International Conference on Rewriting Techniques and Applications (part of the Federated Logic Conference FLoC'02). Copenhagen, Denmark; 22--24 July 2002. |
| |
TABLEAUX 2002 - http://floc02.diku.dk/TABLEAUX/
Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1 August 2002. |
| |
Description Logics Workshops - http://dl.kr.org/workshops/
Proceedings of past workshops, some on-line. |
| |
LICS 2002 - http://floc02.diku.dk/LICS/
IEEE Symposium on Logic in Computer Science. Copenhagen, Denmark; 22--25 July 2002. |
| |
RTA 2003 - http://www.dsic.upv.es/~rdp03/rta/
14th International Conference on Rewriting Techniques and Applications. Valencia, Spain; 9--11 June 2003. |
| |
CSL'01 - http://www.lsv.ens-cachan.fr/csl01/
Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13 September 2001. |
| |
Proof and System Reliability - http://www4.in.tum.de/div/summerschool/
Marktoberdorf Summer School, Germany; 24 July -- 5 August 2001. |
| |
CL 2000 - http://www.doc.ic.ac.uk/cl2000/
Conference on Computational Logic. Incorporating DOOD2000 and LOPSTR2000, collocated with ILP2000. Imperial College, London, UK; 24--28 July 2000. |
| |
PLI 2001 - http://music.dsi.unifi.it/pli01/
Principles, Logics, and Implementations of high-level programming languages. Including ICFP and PPDP. Firenze, Italy; 2--8 September 2001. |
| |
MFCS 2001 - http://www.math.cas.cz/~mfcs2001/
26th International Symposium on Mathematical Foundations of Computer Science. Marianske Lazne, Czech Republic; 27--31 August 2001. |
| |
MFCS'98 - http://www.fi.muni.cz/mfcs98/
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. |
| |
9th Annual Logic Summer School - http://arp.anu.edu.au/lss/
Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 December 2000. |
| |
CiE 2005 - http://www.illc.uva.nl/CiE/
Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005. |
| |
TLCA - 5th International Conference on Typed Lambda Calculi and Applications, Krakow, Poland - http://www.ii.uj.edu.pl/zpi/tlca2001/
Krakow, Poland; 2--5 May 2001. |
| |
CSL 2000 - http://www.tcs.informatik.uni-muenchen.de/csl2000/
Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000. |
| |
FLoC 1999 - http://floc99.itc.it/index.asp
The 1999 Federated Logic Conference, incorporating CADE, CAV, LICS, RTA. Trento, Italy; 30 June -- 12 July 1999. |
| |
WFLP 2001 - http://www.informatik.uni-kiel.de/~wflp2001/
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. |
| |
PLI'00 - http://www.cs.yorku.ca/pli-00/
Principles, Logics, and Implementations of High-Level Programming Languages. Including ICFP 2000 and PPDP 2000. Montreal, Canada; 18--23 September 2000. |
| |
ICLP'99 - http://www.cs.nmsu.edu/~complog/conferences/iclp99/
Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, 1999. |
| |
BI-DIALOG 2001 - http://www.uni-bielefeld.de/BIDIALOG/
5th Workshop on Formal Semantics and Pragmatics of Dialogue. ZiF, Bielefeld, Germany; 14--16 June 2001. |
| |
NMR'2002 - http://www.irit.fr/NMR2002/NMR2002.html
9th International Workshop on Non-Monotonic Reasoning. (Collocated with KR2002 and AIPS'02.) Toulouse, France; 19--21 April 2002. |
| |
LPAR 2001 - http://www.cs.man.ac.uk/~voronkov/LPAR/2001/lpar2001.html
8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Havana, Cuba; 3--7 December 2001. |
| |
JELIA 2004 - http://centria.di.fct.unl.pt/~jelia2004/
Ninth European Conference on Logics in Artificial Intelligence. Lisbon, Portugal; 27--30 September 2004. |
| |
Logic, Algebra and Geometry - http://logic.pdmi.ras.ru/june2004/
St.Petersburg, Russia; 1--7 June 2004. |
| |
ICALP'96 - http://www.uni-paderborn.de/~icalp96/
23rd International Colloquium on Automata, Languages, and Programming. Paderborn, Germany; 8--12 July 1996. |
| |
ICLP'01 - http://www.cs.ucy.ac.cy/iclp2001/
Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001. |
| |
TPTS - http://www-verimag.imag.fr/~maler/TPTS.html
Workshop on Theory and Practice of Timed Systems. (A satellite event of ETAPS 2002.) Grenoble, France; 6--7 April 2002. |
| |
CICLOPS 2001 - http://www.cs.nmsu.edu/~complog/conferences/iclp01/
Colloquium on Implementation of Constraint and LOgic Programming Systems. Coral Beach Hotel, Paphos, Cyprus; 1 December 2001. |
| |
CLIMA'02 - Computational Logic in Multi-Agent Systems - http://centria.di.fct.unl.pt/~jleite/clima02/
Affiliated with ICLP 2002. Copenhagen, Denmark; 1 August 2002. |
| |
World Congress on Universal Logic - http://www.uni-log.org/
1st World Congress and School on Universal Logic. Montreux, Switzerland, March 26 - April 3, 2005. |
| |
Fourth International Tbilisi Symposium on Language, Logic and Computation - http://www.illc.uva.nl/Borjomi/
Borjomi, Georgia; 23--28 September 2001. |
| |
LPNMR'01 - http://www.kr.tuwien.ac.at/lpnmr01/
6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria; 17--19 September 2001. |
| |
Infinite Games - http://www.math.uni-bonn.de/people/fotfs/V/
Foundations of the Formal Sciences V. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 26--29 November 2004. |
| |
FICS'2001 Fixed Points in Computer Science - http://www.dsi.uniroma1.it/~labella/FICS.html
A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001. |
| |
DEON'02 - http://www.doc.ic.ac.uk/deon02/
Sixth International Workshop on Deontic Logic in Computer Science. Imperial College, London, UK; 22--24 May 2002. |
| |
LLL 2001 - http://www.fi.muni.cz/ilpnet2/LLL2001/
3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9 September 2001. |
| |
LOFT4 - http://www.econ.ucdavis.edu/faculty/bonanno/loft4.html
Logic and the Foundations of Game and Decision Theory. ICER, Torino, Italy; 30 June -- 2 July 2000. |
| |
FOTFS III - http://www.math.uni-bonn.de/people/fotfs/III/
Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik, Universität Wien, Austria; 21--24 September 2001. |
| |
OntoLex'2000 - http://www.ontotext.com/OntoLex
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. |
| |
LCCS 2001 - http://www.univ-paris12.fr/lacl/LCCS2001/
International Workshop on Logic and Complexity in Computer Science. Créteil, France; 3--5 September 2001. |
| |
TABLEAUX 2000 - http://www.dcs.st-and.ac.uk/~tab2000/
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. |
| |
NMR-2000 - http://www.cs.engr.uky.edu/nmr2000/
8th International Workshop on Non-Monotonic Reasoning. Held with KR'2000. Breckenridge, Colorado, USA; 9--11 April 2000. Slides, proceedings. |
| |
Computer-Supported Mathematical Theory Development - http://www.risc.uni-linz.ac.at/conferences/IJCAR-WS7/
Workshop of IJCAR 2004, the Second International Joint Conference on Automated Reasoning. University College Cork, Ireland; 4--8 July 2004. |
| |
LPNMR'97 - http://www.uni-koblenz.de/ag-ki/lpnmr97/
4th International Conference on Logic Programming and Non-Monotonic Reasoning. Dagstuhl, Germany; 28--31 July 1997. |
| |
JELIA 2000 - http://www.satd.uma.es/jelia/
7th European Workshop on Logics in Artificial Intelligence. Malaga, Spain; 29 September -- 2 October 2000. |
| |
LP-01. - http://www.eventos.uevora.pt/epia/lp-01/
Logic Programming for Artificial Intelligence and Information Systems. A thematic worskhop of EPIA 2001. Porto, Portugal 17--20 December 2001. |
| |
Workshop on Logical Foundations of an Adaptive Security Infrastructure (WOLFASI) - http://www.aero.org/wolfasi/
A sub-workshop of the LICS Foundations of Computer Security (FCS'04) Workshop, LICS'04. Turku, Finland; 12--13 July 2004. |
| |
Model Theory and Applications to Algebra and Analysis - http://www.newton.cam.ac.uk/programs/MAA/
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 17 January -- 15 July 2005. |
| |
SPbDLC'99 - http://logic.pdmi.ras.ru/LogicDays
First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999. Abstracts, photos. |
| |
WCP 2000 - http://logica.cle.unicamp.br/wcp/wcp2000.htm
Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000. |
| |
SPR03 - http://www.sc.ehu.es/ilwlaanj/SPR/SPR03.html
Second International Workshop on Semantics, Pragmatics, and Rhetoric. Donostia, San Sebastián, Spain; 6--8 November 2003. |
| |
KR2002 - http://kr.org/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. |
| |
Set Theory and its Neighbours 9 - http://www.ucl.ac.uk/~ucahcjm/stn/stn9.html
De Morgan House, London; 25 April 2001. |
| |
WoPaLo - http://logica.rug.ac.be/WoPaLo/
Workshop in Paraconsistent Logic, part of the 14th European Summer School in Logic, Language and Information. Trento, Italy; 5--9 August 2002. |
| |
The Logic Programming Paradigm: Current Trends and Future Directions - http://www.cs.nmsu.edu/~complog/shaker/
Shakertown, Kentucky, USA; 27--27 April 1998. Photos. |
| |
FOSSACS 2000 - http://fossacs.mimuw.edu.pl/
Foundations of Software Science and Computation Structures. Berlin, Germany; 27--31 March 2000. |
| |
21st Days of Weak Arithmetics - http://logic.pdmi.ras.ru/jaf21/
St.Petersburg, Russia; 7--9 June 2002. |
| |
Conference and Workshop in Honor of Professor Saharon Shelah - http://www.math.bgu.ac.il/~bguconf/
Ben-Gurion University of the Negev, Israel; 21--25 May 2001. |
| |
World Congress on Paraconsistency - http://www.cle.unicamp.br/wcp3/
The WCP3 will take place in Toulouse (France) from 28-31 July 2003, and will focus on mathematics, philosophy and applications of paraconsistent logics. |
| |
GÖDEL'96 - http://www.fi.muni.cz/~zlatuska/goedel96.html
Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy. Brno, Czech Republic; 25--29 August 1996. |
| |
Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics - http://www.gallup.unm.edu/~smarandache/FirstNeutConf.htm
University of New Mexico; 1--3 December 2001. |
| |
Workshop on Model Theory - http://www.imub.ub.es/events/wmt/
Institut de Matemātica de la Universitat de Barcelona (IMUB), Spain; 25--27 October 2001. |
| |
ADD'2002 - http://www.cs.uu.nl/people/henry/add02/add02.html
SpecialSession on Argument, Dialogue, and Decision at NMR'2002. Toulouse, France; 19--21 April 2002. |
| |
Turing 2004: A Celebration of his Life and Achievements - http://www.maths.man.ac.uk/logic/turing2004/
One Day Conference to be held at the University of Manchester, June 5th, 2004 and run jointly by the British Logic Colloquium and the British Society for the History of Mathematics. |
| |
Logic and Mathematics: Connections and Interactions - http://www.math.uiuc.edu/ResearchAreas/logic/conference/index.html
Conference on applications of logic in mathematics; Urbana-Champaign, Illinois, May 21-25, 2003. |
| |
Set Theory and Analysis - http://www.fields.utoronto.ca/programs/scientific/02-03/set_theory/
Semester long program at the Fields Institute, Toronto, Ontario, along with some shorter workshops. September through December, 2002. |
| |
Conference in Honor of D. A. Martin's 60th Birthday - http://www.math.berkeley.edu/~steel/martin.html
Held in coordination with the Mathematical Sciences Research Institute workshop on The Continuum Hypothesis. University of California, Berkeley, CA, USA; 27--28 May 2001. |
| |
AC2001 - http://www.illc.uva.nl/AC2001/
The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December 2001. |
| |
CCF'99 - http://www.informatik.uni-halle.de/~staiger/galati.html
First Workshop on Constructivity, Complexity, and Fuzziness. Galati, România; 26--28 August 1999. |
| |
Weighted Automata: Theory and Applications - http://www.orchid.inf.tu-dresden.de/gk-spezifikation/wata.html
Dresden, Germany; 4--8 March 2002. |
| |
Computation Prospects of Infinity - http://www.ims.nus.edu.sg/Programs/infinity/
Research session on recent developments in Set Theory and Recursion Theory. Institute for Mathematical Sciences, National University of Singapore; 20 June -- 15 August 2005. |
| |
Logic of Soft Computing - http://homes.dsi.unimi.it/~mundici/SCFL/logsofcom/
Gargnano, Italy; 19--24 November 2001. |
| |
NS2002 - http://docenti.ing.unipi.it/~o18933/Pisa2002/
Nonstandard Methods and Applications in Mathematics. Pisa, Italy; 10--16 June 2002. |
| |
LPAR 2000 - http://www.informatik.uni-trier.de/~ley/db/conf/lpar/
Logic Programming and Automated Reasoning. Reunion Island, France; 11--12 November 2000. |
| |
The Continuum Hypothesis - http://www.msri.org/calendar/workshops/WorkshopInfo/94/show_workshop
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. |
 |
ISMVL 2000 - http://www.ee.pdx.edu/~mperkows/ISMVL/=index2000.html
International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000. Photos. |
| |
JoLL'2000 - http://www.cica.es/~joll2000/
Workshop on Logic and Language. Seville,Spain; 29 November -- 1 December 2000. |
| |
FroCoS'96 - http://www.cis.uni-muenchen.de/hot/frocos96.html
First International Workshop on Frontiers of Combining Systems. Munich, Germany; 26--29 March 1996. Abstracts. |
| |
TABLEAUX'99 - http://www.cs.albany.edu/~nvm/tab99/
Saratoga Springs, NY, USA; 7--11 June 1999. |
| |
CADE-17 - http://www.cs.cmu.edu/~cade/
The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000. |
| |
6BLM - http://www.crm.es/Conferences/9900/6blm.htm
6th Barcelona Logic Meeting. Institut d'Estudis Catalans, Barcelona, Spain; 5--8 July 2000. |
| |
PLS-1 - http://www.cs.ucy.ac.cy/symposium/
First Panhellenic Logic Symposium. Nicosia, Cyprus; 21--24 July 1997. |
| |
ICC'01 - http://www.dcs.ed.ac.uk/home/mxh/ICC01.html
Third international workshop on Implicit Computational Complexity. Aarhus, Denmark; 20--21 May 2001. |
| |
2001 Greater Boston Logic Meeting - http://www-math.mit.edu/conferences/logic/
Boston, MA, USA; 11--13 May 2001. |
| |
FLA 2001 - http://www.icsc-naiso.org/conferences/cima2001/fla2001/
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. |
| |
LACL 2001 - http://www.irisa.fr/manifestations/2001/LACL2001/
4th International Conference on Logical Aspects of Computational Linsguistics. Le Croisic, France; 27--29 June 2001. |
| |
LICS 2001 - http://www.cs.bu.edu/faculty/mairson/LICS01/
IEEE Symposium on Logic in Computer Science. Boston, MA, USA; 16--19 June 2001. |
| |
Algebra and Discrete Mathematics - http://www.esf.org/euresco/01/pc01101a.htm
A Euresco conference on the interplay between model theory, infinite combinatorics and various subfields of algebra. Hattingen, Germany; 18 -- 23 August 2001. |
| |
International Workshop on Computability Theory - http://math.nsc.ru/conference/malmeet/goncharov/
S.S.Goncharov - 50th Anniversary. Sobolev Institute of Mathematics, Novosibirsk, Russia; 23--26 September 2001. |
| |
ADMW01 - http://www.dcs.kcl.ac.uk/research/groups/logic/ADMW01/
3rd Augustus De Morgan Workshop on Frontiers of Revision and Contraction. King's College, London, UK; 5--6 November 2001. |
| |
Types Summer School '99 - http://www-sop.inria.fr/certilab/types-sum-school99/types-sum-school.html
Giens, France; 30 August -- 10 September 1999. Photos, tutorial notes and software. |
| |
CSL'02 - http://www.dcs.ed.ac.uk/csl02/
Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002. |
| |
ACL2-2002 - http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/
Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002. |
| |
Proof and Computation - http://www.mathematik.uni-muenchen.de/~gamma0
Ludwig-Maximilians-Universität, Munich, Germany; 5--6 November 1999. |
| |
MFCSIT2002 - http://grobner.nuigalway.ie/MFCSIT2002/
Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology. National University of Ireland, Galway; 18--19 July 2002. |