Directory of Past Conferences Resources

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

Conferences in Logic and Foundation which have already taken place.

Resources in This Category

• 21st Days of Weak Arithmetics

  http://logic.pdmi.ras.ru/jaf21/
  St.Petersburg, Russia; 7--9 June 2002.

• 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.

• AC2001

  http://www.illc.uva.nl/AC2001/
  The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December 2001.

• 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.

• 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.

• Boise Extravanagza in Set Theory

  http://math.boisestate.edu/~best/
  Conferences organized every year from 1992 to 2010 at the Department of Mathematics, Boise State University, Idaho, USA. Names of organizers, speakers and participants; abstracts and practical information.

• CADE-17

  http://www.cs.cmu.edu/~cade/
  The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.

• CADE-18

  http://floc02.diku.dk/CADE/
  The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 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.

• CiE 2005

  http://www.illc.uva.nl/CiE/
  Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005.

• 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.

• 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.

• 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.

• Computer-Supported Mathematical Theory Development

  http://www.risc.jku.at/conferences/IJCAR-WS7/
  Workshop of IJCAR 2004, the Second International Joint Conference on Automated Reasoning. University College Cork, Ireland; 4--8 July 2004.

• 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.

• 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.

• CSL 2000

  http://www.tcs.informatik.uni-muenchen.de/csl2000/
  Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000.

• 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.

• 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.

• Deon'06 homepage

  http://www.cs.uu.nl/deon2006/
  This site gives all relevant information concerning the 2006 workshop on deontic logic in computer science.

• Description Logics Workshops

  http://dl.kr.org/workshops/
  Proceedings of past workshops, some on-line.

• 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.

• FLoC '02 - Federated Logic Conference

  http://floc02.diku.dk/
  Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002.

• 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.

• FOTFS III

  http://www.math.uni-hamburg.de/home/loewe/FotFS/III/
  Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik, Universität Wien, Austria; 21--24 September 2001.

• Fourth International Tbilisi Symposium on Language, Logic and Computation

  http://www.illc.uva.nl/Borjomi/
  Borjomi, Georgia; 23--28 September 2001.

• 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.

• 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.

• ICLP'01

  http://www.cs.ucy.ac.cy/iclp2001/
  Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001.

• ICLP'02

  http://floc02.diku.dk/ICLP/
  International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002.

• 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.

• Infinite Games

  http://www.math.uni-hamburg.de/home/loewe/FotFS/V/
  Foundations of the Formal Sciences V. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 26--29 November 2004.

• 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.

• 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.

• JELIA 2004

  http://centria.di.fct.unl.pt/~jelia2004/
  Ninth European Conference on Logics in Artificial Intelligence. Lisbon, Portugal; 27--30 September 2004.

• 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.

• 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 2002

  http://floc02.diku.dk/LICS/
  IEEE Symposium on Logic in Computer Science. Copenhagen, Denmark; 22--25 July 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.

• Logic and Algorithms

  http://www.newton.ac.uk/programmes/LAA/
  Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006.

• Logic, Algebra and Geometry

  http://logic.pdmi.ras.ru/june2004/
  St.Petersburg, Russia; 1--7 June 2004.

• 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.

• LPNMR'01

  http://www.kr.tuwien.ac.at/lpnmr01/
  6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria; 17--19 September 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.

• Model Theory and Applications to Algebra and Analysis

  http://www.newton.ac.uk/programmes/MAA/
  Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 17 January -- 15 July 2005.

• MPC 2000

  http://www.di.uminho.pt/mpc2000/
  Mathematics of Program Construction. Ponte de Lima, Portugal; 3--5 July 2000. Photos.

• 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.

• 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.

• 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.

• PLS-1

  http://www.cs.ucy.ac.cy/symposium/
  First Panhellenic Logic Symposium. Nicosia, Cyprus; 21--24 July 1997.

• Proof and Computation

  http://www.mathematik.uni-muenchen.de/~gamma0
  Ludwig-Maximilians-Universität, Munich, Germany; 5--6 November 1999.

• RTA 2003

  http://www.dsic.upv.es/~rdp03/rta/
  14th International Conference on Rewriting Techniques and Applications. Valencia, Spain; 9--11 June 2003.

• 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.

• 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.

• Set Theory and its Neighbours 9

  http://www.ucl.ac.uk/~ucahcjm/stn/stn9.html
  De Morgan House, London; 25 April 2001.

• 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.

• TABLEAUX 2002

  http://floc02.diku.dk/TABLEAUX/
  Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1 August 2002.

• TABLEAUX'99

  http://www.cs.albany.edu/~nvm/tab99/
  Saratoga Springs, NY, USA; 7--11 June 1999.

• TARK VIII

  http://www.tark.org/cfp01.html
  8th conference on Theoretical Aspects of Rationality and Knowledge. Certosa di Pontignano, University of Siena, Italy; 8--10 July 2001.

• The Continuum Hypothesis

  http://www.msri.org/workshops/94
  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.

• The Logic Programming Paradigm: Current Trends and Future Directions

  http://www.cs.nmsu.edu/~complog/shaker/
  Shakertown, Kentucky, USA; 27--27 April 1998. Photos.

• TIME2007

  http://gplsi.dlsi.ua.es/congresos/time07/
  The purpose of this symposium is to bring together active researchers from distinct research areas involving representation of and reasoning about temporal phenomena.

• 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.

• WCP 2000

  http://logica.cle.unicamp.br/wcp/wcp2000.htm
  Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000.

• Weighted Automata: Theory and Applications

  http://www.orchid.inf.tu-dresden.de/gk-spezifikation/wata.html
  Dresden, Germany; 4--8 March 2002.

• 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.

• 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.

• 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.

• 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.

Related Categories

• Home > Science > Math > Events > Past Events
• Home > Computers > Algorithms > Conferences > Past

 

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

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us