Math Logic and Foundations Meeting Past Events in the Best of the Web Directory

Math Logic and Foundations Meeting Past Events

  • 21st Days of Weak Arithmetics

    21 Journées sur les Arithmétiques Faibles. St.Petersburg, Russia, June 7-9, 2002.

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

  • ACL2-2002

    Workshop held on April 8-9, 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

    Brought 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 14

    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.

  • CADE-17

    17th International Conference on Automated Deduction. Held June 17-20, 2000, at the Carnegie Mellon University, Pittsburgh, Pennsylvania, USA.

  • CiE 2005

    Computability in Europe with particular focus on New Computational Paradigms. Held in Amsterdam, Netherlands, from June 8 to 12, 2005.

  • CLIMA'02 - Computational Logic in Multi-Agent Systems

    Workshop held August 1, 2002, in Copenhagen, Denmark. Affiliated with ICLP 2002.

  • 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'02

    Conference of the European Association for Computer Science Logic, held September 22-25, 2002, in Edinburgh, Scotland.

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

  • FICS'2001 Fixed Points in Computer Science

    Satellite Workshop to PLI'2001. Held September 8, 2001, in Florence, Italy.

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

  • FroCoS'96

    First International workshop on Frontiers of Combining Systems, held from March 26 to 29, 1996, in Munich, Germany.

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

  • Haifa Logic Seminar

    Joint research seminar of Haifa University (Math) and the Technion (Math and CS) in Mathematical Logic. Held at the Technion.

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

  • 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 Intelligence. Held Sept 29 to Oct 2, 2000 in Malaga, Spain.

  • JELIA 2004

    9th European Conference on Logics in Artificial Intelligence. Held Sept 27-30, 2004 in Lisbon, Portugal.

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

  • LOFT 4

    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 and Mathematics: Connections and Interactions

    Conference on applications of logic in mathematics. Held at the Department of Mathematics, University of Illinois at Urbana-Champaign, May 21-25, 2003.

  • Logic, Algebra and Geometry.

    Held June 1-7 2004 in St.Petersburg, Russia.

  • 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 '97

    4th International Conference on Logic Programming and Non-monotonic Reasoning. Held in Dagstuhl, Germany from July 28 to 31, 1997.

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

  • MFCS 2001

    26th International Symposium on Mathematical Foundations of Computer Science. Held in Marianske Lazne, Czech Republic, August 27-31, 2001.

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

  • Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics

    First International Conference held at the University of New Mexico in 2001.

  • NMR'2002

    9th International Workshop on Non-Monotonic Reasoning. Held in Toulouse, France from April 19 to 21, 2002.

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

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

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

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

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

Submit a site to this category