- 21st Days of Weak Arithmetics
- 21 Journées sur les Arithmétiques Faibles. St.Petersburg, Russia, June 7-9, 2002.
- ACL2-2002
- Workshop held on April 8-9 (Monday/Tuesday), 2002, in Grenoble, France, on the ACL2 Theorem Prover and Its Applications.
- ALP/PLILP/SAS 1996
- Conference on Algebraic and Logic Programming; Symposiums on Programming languages and static analysis. Held September of 1996 in Aachen, Germany.
- Amsterdam Colloquium 2001
- Brings together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of semantics of natural and formal languages.
- Argument, Dialogue, and Decision 2002
- Program of activities for the special session of Non-Monotonic Reasoning.
- BEST 10
- 2001 BEST abstracts, participants and speakers contacts.
- BEST 11
- Tomek Bartoszynski, Paul Corazza and Justin Moore organized this seminar in the BEST series of 2002.
- BEST 2005
- Includes speakers and participants, abstracts, and the schedule for this past conference.
- BGU May Conference and Workshop
- One-day conference, and a weeklong workshop in honor of Professor Saharon Shelah, winner of Bolyai and Wolf Prizes. May 21-25, 2001, Senate Hall, Ben-Gurion University of the Negev, Israel.
- Bi-Dialog 2001
- Formal Semantics and Pragmatics of Dialogue 5th Workshop. June 14-16, 2001, ZiF, Bielefeld, Germany.
- CADE-17
- 17th International Conference on Automated Deduction. Held June 17-20, 2000, at the Carnegie Mellon University, Pittsburgh, Pennsylvania, USA.
- CADE-18
- Conference on Automated Deduction. Copenhagen, Denmark, July 27-30, 2002. With link to CADE-19.
- CICLOPS 2001
- Workshops on the Implementation of Constraint and Logic Programming Systems. December 1, 2001, Coral Beach Hotel, Paphos, Cyprus.
- CiE 2005
- Computability in Europe with particular focus on New Computational Paradigms. Held in Amsterdam, Netherlands, from June 8 to 12, 2005.
- CL2000
- International Conference on Computational Logic. Held July 24-28 2000, at the Imperial College, London, UK.
- CLIMA'02 - Computational Logic in Multi-Agent Systems
- Workshop held August 1, 2002, in Copenhagen, Denmark. Affiliated with ICLP 2002.
- Computation Prospects of Infinity
- Two-month program focused on recent developments in Set Theory and Recursion Theory. Held at the Institute for Mathematical Sciences, National University of Singapore, from June 20 to August 15, 2005.
- Conference in Honor of D. A. Martin's 60th Birthday
- Presented in coordination with the Mathematical Sciences Research Institute workshop, The Continuum Hypothesis. May 27 - 28, 2001, University of California, Berkeley, CA, USA.
- The Continuum Hypothesis
- Information on the workshop that featured lectures surveying the insights into the continuum problem and its variations. Held in 2001 at the MSRI, Berkeley, CA.
- CSL 2000
- Conference of the European Association for Computer Science Logic, held August 21-26, 2000, in Fischbachau/Munich, Germany.
- CSL'01
- Annual Conference of the European Association for Computer Science Logic intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. September 10-13, 2001, Paris, France.
- CSL'02
- Conference of the European Association for Computer Science Logic, held September 22-25, 2002, in Edinburgh, Scotland.
- DEON'02
- Sixth International Workshop on Deontic Logic in Computer Science. Held May 22-24, 2002, at the Imperial College, London, UK.
- Description Logics Workshops
- With links to past DL international workshops and proceedings.
- DL 2001
- 14th International Workshop on Description Logics devoted to discussing developments and applications of knowledge representation formalisms. August 1-3, 2001, Stanford University, California, USA.
- Engineering Theories of Software Intensive Systems
- August 3-15, 2004, Marktoberdorf Summer School, Germany. With abstracts of lectures.
- FICS'2001 Fixed Points in Computer Science
- Satellite Workshop to PLI'2001. Held September 8, 2001, in Florence, Italy.
- FLA 2001
- Second International ICSC symposium to foster the latest results both in the theory as well as applications of fuzzy logic. Organized as part of the International ICSC Congress on Computational Intelligence Methods and Applications (CIMA'2001). June 19-22 2001, Bangor, Wales, United Kingdom.
- FLoC'02
- Third Federated Logic Conference. July 20 - August 1, 2002, Copenhagen, Denmark. With links to on-line papers and next conferences.
- FOTFS III
- PhD EuroConference by the Foundations of the Formal Sciences III on Complexity in Mathematics and Computer Science. September 21-24, 2001, Universität Wien Institut fü Formale Logik, Austria.
- Foundations of the Formal Sciences V
- Infinite Games. Rheinische Friedrich-Wilhelms-Universität Bonn Mathematisches Institut, November 26-29, 2004.
- Fourth International Tbilisi Symposium on Language, Logic and Computation
- Organized by the Centre for Language, Logic and Speech at the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. September 23-28, 2001, Borjomi, Georgia.
- Fourth International Workshop on Deontic Logic in Computer Science
- Details for the past event held in 1998 in Bologna, Italy. Includes programs committee, and workshop details.
- FroCoS'96
- First International workshop on Frontiers of Combining Systems, held from March 26 to 29, 1996, in Munich, Germany. Abstracts available.
- FroCoS98
- Second International workshop on Frontiers of Combining Systems, held October 2-4, 1998, at the ILLC, University of Amsterdam, Netherlands.
- GETCO 2001
- Geometric and Topological Methods in Concurrency. 3rd Workshop held at Aalborg University, Denmark, from August 21 to 24, 2001.
- GOEDEL'96
- International conference on Logical Foundations of Mathematics, Computer Science and Physics on the occasion of the ninetieth anniversary of the birth of Kurt GC6del. Held in Brno, Czech Republic, from August 25 to 29, 1996.
- Group of Logic and Computation
- Augustus De Morgan Workshop on Frontiers of Revision and Contraction. Held November 5-6, 2001, in the Council Room of King's College London, Strand Campus.
- Haifa Logic Seminar
- Joint research seminar of Haifa University (Math) and the Technion (Math and CS) in Mathematical Logic. Held at the Technion.
- ICALP'2000
- Twenty Seventh International Colloquium on Automata, Languages and Programming. Hosted by The Theoretical Computer Science Group of the University of Geneva. July 9-15, 2000, Geneva, Switzerland.
- ICALP'96
- 23rd International Colloquium on Automata, Languages, and Programming. July 8 - 12, 1996, Paderborn, Germany.
- ICC'01
- Third international workshop on Implicit Computational Complexity. May 20-21, 2001, Held in Aarhus, Denmark, from May 20-21, 2001 as part of the joint PADO/MFPS 2001 conferences.
- ICLP'01
- Seventeenth International Conference on Logic Programming. Held at the Coral Beach Hotel and Resort, Paphos, Cyprus, from Nov 26 to Dec 1, 2001.
- ICLP'02
- International Conference on Logic Programming. July 29 - August 1, 2002, Copenhagen, Denmark.
- ICLP'99
- International Conference on Logic Programming information from 1999, Las Cruces, New Mexico.
- ICoS-1: Inference in Computational Semantics
- Held August 15, 1999 at the Institute for Logic, Language and Computation, University of Amsterdam, Netherlands.
- IcoS-2: Inference in Computational Semantics
- Held July 29-30, 2000 at the International Conference and Research Center for Computer Science (SCHLOSS DAGSTUHL), Saarland, Germany.
- IcoS-4: Inference in Computational Semantics
- Held September 25-26, 2003 at NRIA Lorraine, Nancy, France.
- IJCAR 2004
- Workshop on Computer-Supported Mathematical Theory Development. Held in Cork, Ireland, on July 5, 2004.
- International Workshop on Computability Theory
- Held September 24-26, 2001 in Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia. Professor Sergei S. Goncharov's 50th birthday.
- International Workshop on First-Order Theorem Proving Oslo, Norway, July 2009
- Part of the FTP workshop series. Offers program including abstracts, venue, and facilities overview.
- ISMVL'2000
- 30th IEEE International Symposium on Multiple-Valued Logic. Held May 23-25, 2000, at the Portland State University, Portland, Oregon, USA.
- ISWC 2003
- 2nd International Semantic Web Conference. Held October 20-23, 2003 at Sundial Resort, Sanibel Island, Florida, USA.
- ISWC 2004
- 3rd International Semantic Web Conference. Held November 7-11, 2004 at Hiroshima Prince Hotel, Hiroshima, Japan.
- JELIA 2000
- 7th European Workshop Logics in Artificial Inteligence. Held Sept 29 to Oct 2, 2000 in Malaga, Spain.
- JELIA 2004
- 9th European Conference on Logics in Artificial Inteligence. Held Sept 27-30, 2004 in Lisbon, Portugal.
- JoLL'2000
- First Workshop on Logic and Language. Held November 29-30 and December 1, 2000 in Seville, Spain.
- KR2002
- Eighth International Conference on Principles of Knowledge Representation and Reasoning. Held in conjunction with AIPS'02 on April 22-25, 2002 in Toulouse, France.
- LACL 2001
- 4th International Conference on Logical Aspects of Computational Linguistics. Held June 27-29, 2001, Le Croisic, France .
- LICS 2001
- IEEE Symposium on Logic in Computer Science. Held June 16-19 at Boston University.
- LICS 2002
- IEEE Symposium on Logic in Computer Science. Held July 22-25, 2002 in Copenhagen, Denmark.
- LICS 2004
- 19th Annual IEEE Symposium on Logic in Computer Science. Held July 13-17, 2004 in conjunction with ICALP 2004 in Turku, Finland.
- LLL 2001
- Third Learning Language in Logic Workshop. Held September 8-9, 2001 in Strasbourg, France. Proceedings in postscript and pdf.
- LOFT4
- Fourth Conference on Logic and the Foundations of Game and Decision Theory. Held June 30 to July 2, 2000 in ICER, Villa Gualino - Viale Settimio Severo, Torino, Italy.
- Logic Programming for AI and Information Systems
- 10th Portuguese Conference on Artificial Intelligence. A thematic worskhop of EPIA 2001. Held in Porto, Portugal, December 17-20, 2001.
- The Logic Programming Paradigm: Current Trends and Future Directions
- Featured 13 invited talks, each followed by a discussion, two panels and a working session on a possibility of the North American chapter of the Association for Logic Programming. Held in Shakertown, Kentucky, USA, April 27-27, 1998.
- Logic, Algebra and Geometry.
- Held June 1-7 2004 in St.Petersburg, Russia.
- Logical Aspects of Secure Computer Systems.
- August 2-14, 2005, Marktoberdorf Summer School, Germany. With abstracts of lectures.
- LPAR 2000
- 7th International Conference on Logic for Programming and Automated Reasoning. Held November 6-10, 2000, Reunion Island, France.
- LPAR 2001
- 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Held December 3-7, 2001, Havana, Cuba.
- LPAR 2002
- 9th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Held October 14 to 18, 2002 inTbilisi, Georgia.
- LPAR 2003
- 10th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Held September 22-26, 2003 in Almaty, Kazakhstan.
- LPAR 2004
- 11th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Held March 14-18, 2005 in Montevideo, Uruguay.
- LPAR'99
- 6th International Conference on Logic for Programming and Automated Reasoning. Held in Tbilisi, Republic of Georgia, September 6-10, 1999.
- LPNMR'01
- 6th International Conference on Logic Programming and Nonmonotonic Reasoning. Held in Vienna, Austria, September 17 to 19, 2001. Links on proceedings and photos..
- LPNMR'97
- 4th International Conference on Logic Programming and Non-monotonic Reasoning. Held in Dagstuhl, Germany from July 28 to 31, 1997.
- MFCS 2001
- 26th International Symposium on Mathematical Foundations of Computer Science. Held in Marianske Lazne, Czech Republic, August 27-31, 2001. Proceedings.
- MFCS'98
- 23rd International Symposium on Mathematical Foundations of Computer Science. Held jointly with CSL'98, CCA'98, FICS'98 and 68th PSSL. Held in Brno, Czech Republic form 24 to 28 of August 1998.
- MFCSIT 2002
- Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology. Archive of its conference that was held Galway in 2002.
- Model Theory and Applications to Algebra and Analysis
- Program on active areas of research dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity. Isaac Newton Institute for Mathematical Sciences, Cambridge, UK. January 17 to July 15, 2005.
- MPC 2000
- Archive of the Fifth International Conference on Mathematics of Program Construction held in Ponte de Lima, Portugal in 2000. Photos included.
- Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics
- First International Conference held at the University of New Mexico in 2001. Proceedings archived in downloadable PDF.
- NMR-2000
- 8th International Workshop on Non-Monotonic Reasoning. April 9-11, 2000, Breckenridge, Colorado, USA. Proceedings.
- NMR'2002
- 9th International Workshop on Non-Monotonic Reasoning. Held in Toulouse, France from April 19 to 21, 2002.
- NS2002
- Non Standard Methods and Applications in Mathematics. Pisa, Italy, June 10-16, 2002.
- OntoLex'2000
- Workshop on Ontologies and Lexical Knowledge Bases. Also discussed are the various applications of lexical semantics to information retrieval, information extraction and related fields. September 8-10, 2000, Sozopol, Bulgaria. Presentations.
- PLI'00
- Principles, Logics, and Implementations of High-Level Programming Languages. Held in Montreal, Canada, September 18-23, 2000. Program in postcript and pdf.
- PLS-1
- First Panhellenic Logic Symposium. Held in Nicosia, Cyprus from July 21-24 1997.
- Proof and Computation
- Workshop on Proof Theory organized by Mathematical Institute of the Ludwig-Maximilians-UniversitC$t and the Graduate School Logic in Computer Science. Munich, Germany, November 5-6, 1999.
- RTA 2003
- 14th International Conference on Rewriting Techniques and Applications. Valencia, Spain, June 9-11, 2003.
- RTA 2004
- 15th International Conference on Rewriting Techniques and Applications. June 3-5, 2004, Aachen, Germany.
- RTA'02
- Conference on Rewriting Techniques and Applications. Copenhagen, Denmark, July 22-24, 2002.
- Set Theory and Analysis
- Semester long thematic program at the Fields Institute, for Research in Mathematical Sciences, Toronto, Ontario. September through December, 2002.
- Set Theory and Its Neighbours
- 9th meeting on the topic that took place on April 25, 2001 at the London Mathematical Society building, De Morgan House, London.
- SPbDLC'99
- First St.Petersburg Days of Logic and Computability. Held in St. Petersburg, Russia on May 26-29, 1999, dedicated to Nikolai Alexandrovich SHANIN Abstracts and photos.
- SPR03
- Second International Workshop on Semantics, Pragmatics, and Rhetoric. Organized by the Institute for Logic, Cognition, Language and Information (ILCLI) of the University of the Basque Country (UPV-EHU). November 6-8, 2003, Donostia, San Sebastian, Spain.
- TABLEAUX 2000
- Automated Reasoning with Analytic Tableaux and Related Methods. Held in University of St. Andrews, Scotland on July 4-7, 2000. Tutorial documents and photos.
- TABLEAUX 2002
- Automated Reasoning with Analytic Tableaux and Related Methods. Held in Copenhagen, Denmark on July 30 to August 1, 2002.
- TABLEAUX 2003
- Automated Reasoning with Analytic Tableaux and Related Methods. Held in Roma, Italy on September 9-12, 2002.
- TABLEAUX'99
- International Conference on Analytic Tableaux and Related Methods. Held in Saratoga Springs, NY, USA on June 7-11, 1999.
- TARK VIII
- 8th Conference on Theoretical Aspects of Rationality and Knowledge of 2001. Held in Certosa di Pontignano, University of Siena, Italy. Archive of data presented.
- TPTS
- Workshop on Theory and Practice of Timed Systems (a satellite event of ETAPS 2002). Featuring studies on fundamental and practical aspects of timed systems. April 6-7, 2002, Grenoble, France.
- Turing 2004: A Celebration of his Life and Achievements
- Archive of conference held at the University of Manchester in 2004. Organized jointly by the British Logic Colloquium and the British Society for the History of Mathematics.
- WCP 2000
- Second World Congress on Paraconsistency. Held in Campinas, Brazil on May 8-12, 2000.
- WCP 3
- Third World Congress on Paraconsistency. Held in IRIT, Toulouse, France from 28 to 31 of July 2003.
- Weighted Automata: Theory and Applications
- Workshop featuring aspects of weighted automata. Held in Dresden, Germany on March 4-8, 2002.
- WFLP 2001
- International Workshop on Functional and (Constraint) Logic Programming comprising the 10th International Workshop on Functional and Logic Programming and 16th Workshop on Logic Programming. Held in Kiel, Germany from September 13 to 15, 2001.
- WoPaLo
- Workshop in Paraconsistent Logic as part of the 14th European Summer School in Logic, Language and Information. Held in Trento, Italy from August 5-9, 2002.
- Workshop on Logical Foundations of an Adaptive Security Infrastructure (WOLFASI).
- Sub-workshop of the LICS Foundations of Computer Security (FCS'04) Workshop, LICS'04. Held in Turku, Finland from July 12 to 13, 2004.
- Workshop on Model Theory
- Institut de Matematica de la Universitat de Barcelona (IMUB). Report on the new achievements concerned with definability problems in structures and classes of structures of model theory. Held in Spain from October 25 to 27, 2001.
- World Congress on Universal Logic
- 1st World Congress and School on Universal Logic. Held in Montreux, Switzerland from March 26 to April 3, 2005.
|