Conferences in Logic and Foundation which have already taken place.

Related categories 2

21st Days of Weak Arithmetics
St.Petersburg, Russia; 7--9 June 2002.
9th Annual Logic Summer School
Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 December 2000.
The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December 2001.
Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002.
SpecialSession on Argument, Dialogue, and Decision at NMR'2002. Toulouse, France; 19--21 April 2002.
Boise Extravanagza in Set Theory
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.
The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.
The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002.
Colloquium on Implementation of Constraint and LOgic Programming Systems. Coral Beach Hotel, Paphos, Cyprus; 1 December 2001.
CiE 2005
Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005.
CL 2000
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
Affiliated with ICLP 2002. Copenhagen, Denmark; 1 August 2002.
Computation Prospects of 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
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
Ben-Gurion University of the Negev, Israel; 21--25 May 2001.
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.
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.
CSL 2000
Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000.
Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13 September 2001.
Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002.
Deon'06 homepage
This site gives all relevant information concerning the 2006 workshop on deontic logic in computer science.
Description Logics Workshops
Proceedings of past workshops, some on-line.
FICS'2001 Fixed Points in Computer Science
A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001.
FLoC '02 - Federated Logic Conference
Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002.
FLoC 1999
The 1999 Federated Logic Conference, incorporating CADE, CAV, LICS, RTA. Trento, Italy; 30 June -- 12 July 1999.
Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik, Universität Wien, Austria; 21--24 September 2001.
Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy. Brno, Czech Republic; 25--29 August 1996.
Third international workshop on Implicit Computational Complexity. Aarhus, Denmark; 20--21 May 2001.
Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001.
International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002.
Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, 1999.
Infinite Games
Foundations of the Formal Sciences V. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 26--29 November 2004.
International Workshop on Computability Theory
S.S.Goncharov - 50th Anniversary. Sobolev Institute of Mathematics, Novosibirsk, Russia; 23--26 September 2001.
ISMVL 2000
International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000. Photos.
JELIA 2004
Ninth European Conference on Logics in Artificial Intelligence. Lisbon, Portugal; 27--30 September 2004.
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
4th International Conference on Logical Aspects of Computational Linsguistics. Le Croisic, France; 27--29 June 2001.
LICS 2002
IEEE Symposium on Logic in Computer Science. Copenhagen, Denmark; 22--25 July 2002.
LLL 2001
3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9 September 2001.
Logic and Algorithms
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006.
The Logic Programming Paradigm: Current Trends and Future Directions
Shakertown, Kentucky, USA; 27--27 April 1998. Photos.
Logic, Algebra and Geometry
St.Petersburg, Russia; 1--7 June 2004.
LPAR 2001
8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Havana, Cuba; 3--7 December 2001.
6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria; 17--19 September 2001.
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
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 17 January -- 15 July 2005.
MPC 2000
Mathematics of Program Construction. Ponte de Lima, Portugal; 3--5 July 2000. Photos.
9th International Workshop on Non-Monotonic Reasoning. (Collocated with KR2002 and AIPS'02.) Toulouse, France; 19--21 April 2002.
PLI 2001
Principles, Logics, and Implementations of high-level programming languages. Including ICFP and PPDP. Firenze, Italy; 2--8 September 2001.
Principles, Logics, and Implementations of High-Level Programming Languages. Including ICFP 2000 and PPDP 2000. Montreal, Canada; 18--23 September 2000.
First Panhellenic Logic Symposium. Nicosia, Cyprus; 21--24 July 1997.
Proof and Computation
Ludwig-Maximilians-Universität, Munich, Germany; 5--6 November 1999.
RTA 2003
14th International Conference on Rewriting Techniques and Applications. Valencia, Spain; 9--11 June 2003.
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
Semester long program at the Fields Institute, Toronto, Ontario, along with some shorter workshops. September through December, 2002.
Set Theory and its Neighbours 9
De Morgan House, London; 25 April 2001.
First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999. Abstracts, photos.
Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1 August 2002.
Saratoga Springs, NY, USA; 7--11 June 1999.
8th conference on Theoretical Aspects of Rationality and Knowledge. Certosa di Pontignano, University of Siena, Italy; 8--10 July 2001.
The purpose of this symposium is to bring together active researchers from distinct research areas involving representation of and reasoning about temporal phenomena.
Workshop on Theory and Practice of Timed Systems. (A satellite event of ETAPS 2002.) Grenoble, France; 6--7 April 2002.
WCP 2000
Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000.
Weighted Automata: Theory and Applications
Dresden, Germany; 4--8 March 2002.
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.
Workshop on Model Theory
Institut de Matemàtica de la Universitat de Barcelona (IMUB), Spain; 25--27 October 2001.
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.
World Congress on Universal Logic
1st World Congress and School on Universal Logic. Montreux, Switzerland, March 26 - April 3, 2005.
[Mozilla Einstein]
Last update:
January 27, 2017 at 14:24:05 UTC
All Languages