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