In Partnership with AOL
See also:
  • 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.
    [!]
  • AC2001 - The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December 2001.
    [!]
  • ACL2-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 - SpecialSession on Argument, Dialogue, and Decision at NMR'2002. Toulouse, France; 19--21 April 2002.
    [!]
  • ADMW01 - 3rd Augustus De Morgan Workshop on Frontiers of Revision and Contraction. King's College, London, UK; 5--6 November 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.
    [!]
  • CADE-17 - The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.
    [!]
  • CADE-18 - The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002.
    [!]
  • CICLOPS 2001 - 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.
    [!]
  • CSL'01 - Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13 September 2001.
    [!]
  • CSL'02 - 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.
    [!]
  • DL2001 - International Workshop on Description Logics. Stanford University, California, USA; 1--3 August 2001. On-line proceedings.
    [!]
  • FICS'2001 Fixed Points in Computer Science - A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001.
    [!]
  • 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.
    [!]
  • 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.
    [!]
  • 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 - Borjomi, Georgia; 23--28 September 2001.
    [!]
  • GÖDEL'96 - Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy. Brno, Czech Republic; 25--29 August 1996.
    [!]
  • ICC'01 - Third international workshop on Implicit Computational Complexity. Aarhus, Denmark; 20--21 May 2001.
    [!]
  • ICLP'01 - Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001.
    [!]
  • ICLP'02 - International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002.
    [!]
  • ICLP'99 - 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.
    [!]
  • 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 - 4th International Conference on Logical Aspects of Computational Linsguistics. Le Croisic, France; 27--29 June 2001.
    [!]
  • LCCS 2001 - International Workshop on Logic and Complexity in Computer Science. Créteil, France; 3--5 September 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 2000 - Logic Programming and Automated Reasoning. Reunion Island, France; 11--12 November 2000.
    [!]
  • LPAR 2001 - 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Havana, Cuba; 3--7 December 2001.
    [!]
  • LPNMR'01 - 6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria; 17--19 September 2001.
    [!]
  • 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.
    [!]
  • 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.
    [!]
  • NMR'2002 - 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.
    [!]
  • 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.
    [!]
  • 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.
    [!]
  • 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.
    [!]
  • Set Theory and its Neighbours 9 - De Morgan House, London; 25 April 2001.
    [!]
  • SPbDLC'99 - First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999. Abstracts, photos.
    [!]
  • TABLEAUX 2002 - Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1 August 2002.
    [!]
  • TABLEAUX'99 - Saratoga Springs, NY, USA; 7--11 June 1999.
    [!]
  • TARK VIII - 8th conference on Theoretical Aspects of Rationality and Knowledge. Certosa di Pontignano, University of Siena, Italy; 8--10 July 2001.
    [!]
  • TIME2007 - The purpose of this symposium is to bring together active researchers from distinct research areas involving representation of and reasoning about temporal phenomena.
    [!]
  • TPTS - 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.
    [!]
Volunteer to edit this category.
Copyright © 1998-2014 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: October 9, 2014 at 6:35:06 UTC - edit