Bomis: The Science/Math/Logic and Foundations/Meetings/Past Conferences Ring
Build a ring
Suggest URL!
Email ringmaster!
Ring Info!
 
See also...
  • ...Science/Math/Logic_and_Foundations/Meetings
    • Home My Bomis Webmasters What's New? Ring Rankings
    Ring sites

    1.ICLP'99
     Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, 1999.
    www.CS.NMSU.Edu
    2.CSL 2000
     Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000.
    www.tcs.informatik.uni-muenchen.de
    3.DEON'98
     Fourth International Workshop on Deontic Logic in Computer Science. Bologna, Italy; 8--10 January 1998.
    www.cirfid.unibo.it
    4.FroCoS'96
     First International Workshop on Frontiers of Combining Systems. Munich, Germany; 26--29 March 1996. Abstracts.
    www.cis.uni-muenchen.de
    5.JoLL'2000
     Workshop on Logic and Language. Seville,Spain; 29 November -- 1 December 2000.
    www.cica.es
    6.LPNMR'97
     4th International Conference on Logic Programming and Non-Monotonic Reasoning. Dagstuhl, Germany; 28--31 July 1997.
    www.uni-koblenz.de
    7.JELIA 2000
     7th European Workshop on Logics in Artificial Intelligence. Malaga, Spain; 29 September -- 2 October 2000.
    www.satd.uma.es
    8.ISMVL 2000
     International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000. Photos.
    www.ee.pdx.edu
    9.TABLEAUX 2000
     Automated Reasoning with Analytic Tableaux and Related Methods. Held in conjunction with the International Workshop on First-Order Theorem Proving. University of St Andrews, Scotland; 4--7 July 2000. Tutorial notes, photos.
    www.dcs.st-and.ac.uk
    10.FOSSACS 2000
     Foundations of Software Science and Computation Structures. Berlin, Germany; 27--31 March 2000.
    fossacs.mimuw.edu.pl
    11.LPAR 2000
     Logic Programming and Automated Reasoning. Reunion Island, France; 11--12 November 2000.
    www.informatik.uni-trier.de
    12.WCP 2000
     Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000.
    logica.cle.unicamp.br
    13.FTP 2000
     First-Order Theorem Proving. St. Andrews, Scotland; 3--5 July 2000. Proceedings available.
    www.uni-koblenz.de
    14.MFCS'99
     24th International Symposium on Mathematical Foundations of Computer Science. Szklarska Poreba, Poland; 6--10 September 1999.
    www.tcs.uni.wroc.pl
    15.TABLEAUX'99
     Saratoga Springs, NY, USA; 7--11 June 1999.
    www.cs.albany.edu
    16.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.
    www.fi.muni.cz
    17.NMR-2000
     8th International Workshop on Non-Monotonic Reasoning. Held with KR'2000. Breckenridge, Colorado, USA; 9--11 April 2000. Slides, proceedings.
    www.cs.engr.uky.edu
    18.CL 2000
     Conference on Computational Logic. Incorporating DOOD2000 and LOPSTR2000, collocated with ILP2000. Imperial College, London, UK; 24--28 July 2000.
    www.doc.ic.ac.uk
    19.LOFT4
     Logic and the Foundations of Game and Decision Theory. ICER, Torino, Italy; 30 June -- 2 July 2000.
    www.econ.ucdavis.edu
    20.MPC 2000
     Mathematics of Program Construction. Ponte de Lima, Portugal; 3--5 July 2000. Photos.
    www.di.uminho.pt
    21.Set Theory and its Neighbours 9
     De Morgan House, London; 25 April 2001.
    www.ucl.ac.uk
    22.CADE-17
     The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.
    www.cs.cmu.edu
    23.TPHOLs 2000
     13th International Conference on Theorem Proving in Higher Order Logics. Portland, Oregon, USA; 14--18 August 2000.
    www.cse.ogi.edu
    24.ICALP'00
     27th International Colloquium on Automata, Languages, and Programming. Geneva, Switzerland; 9--15 July 2000.
    cui.unige.ch
    25.ICALP'98
     25th International Colloquium on Automata, Languages, and Programming. Aalborg, Denmark; 13--17 July 1998.
    www.cs.auc.dk
    26.PLI'00
     Principles, Logics, and Implementations of High-Level Programming Languages. Including ICFP 2000 and PPDP 2000. Montreal, Canada; 18--23 September 2000.
    www.cs.yorku.ca
    27.PLS-1
     First Panhellenic Logic Symposium. Nicosia, Cyprus; 21--24 July 1997.
    www.cs.ucy.ac.cy
    28.TLCA - 5th International Conference on Typed Lambda Calculi and Applications, Krakow, Poland
     Krakow, Poland; 2--5 May 2001.
    www.ii.uj.edu.pl
    29.ICC'01
     Third international workshop on Implicit Computational Complexity. Aarhus, Denmark; 20--21 May 2001.
    www.dcs.ed.ac.uk
    30.BEST 10
     Boise Extravaganza in Set Theory. Boise State University; 23--25 March 2001.
    diamond.boisestate.edu
    31.Seventh Asian Logic Conference
     Hsi-Tou, Taiwan; 6--10 June 1999.
    www.sinica.edu.tw
    32.Conference and Workshop in Honor of Professor Saharon Shelah
     Ben-Gurion University of the Negev, Israel; 21--25 May 2001.
    www.math.bgu.ac.il
    33.2001 Greater Boston Logic Meeting
     Boston, MA, USA; 11--13 May 2001.
    www-math.mit.edu
    34.BI-DIALOG 2001
     5th Workshop on Formal Semantics and Pragmatics of Dialogue. ZiF, Bielefeld, Germany; 14--16 June 2001.
    www.uni-bielefeld.de
    35.TARK VIII
     8th conference on Theoretical Aspects of Rationality and Knowledge. Certosa di Pontignano, University of Siena, Italy; 8--10 July 2001.
    www.tark.org
    36.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.
    www.icsc-naiso.org
    37.Logical Methods
     EEF Foundations Summer School on Logical Methods. BRICS, Aarhus, Denmark; 25 June -- 6 July 2001.
    www.brics.dk
    38.LACL 2001
     4th International Conference on Logical Aspects of Computational Linsguistics. Le Croisic, France; 27--29 June 2001.
    www.irisa.fr
    39.IJCAR 2001 - International Joint Conference on Automated Reasoning
     The fusion of three major events discussing this topic. Includes information on workshop discussions, invited speakers and accepted tutorials. Siena, Italy; 18--23 June 2001.
    www.dii.unisi.it
    40.DL2001
     International Workshop on Description Logics. Stanford University, California, USA; 1--3 August 2001. On-line proceedings.
    www.ksl.Stanford.EDU
    41.Description Logics Workshops
     Proceedings of past workshops, some on-line.
    dl.kr.org
    42.LICS 2001
     IEEE Symposium on Logic in Computer Science. Boston, MA, USA; 16--19 June 2001.
    www.cs.bu.edu
    43.MOL7
     Seventh Meeting on Mathematics of Language. University of Helsinki, Finland; 10--12 August 2001.
    www.cis.upenn.edu
    44.The Logic Programming Paradigm: Current Trends and Future Directions
     Shakertown, Kentucky, USA; 27--27 April 1998. Photos.
    www.CS.NMSU.Edu
    45.Algebra and Discrete Mathematics
     A Euresco conference on the interplay between model theory, infinite combinatorics and various subfields of algebra. Hattingen, Germany; 18 -- 23 August 2001.
    www.esf.org
    46.MFCS 2001
     26th International Symposium on Mathematical Foundations of Computer Science. Marianske Lazne, Czech Republic; 27--31 August 2001.
    www.math.cas.cz
    47.FICS'2001 Fixed Points in Computer Science
     A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001.
    www.dsi.uniroma1.it
    48.Foundational Theories in Mathematics
     Department of Mathematics, University of Trento, Italy; 3--7 September 2001.
    www.science.unitn.it
    49.PLI 2001
     Principles, Logics, and Implementations of high-level programming languages. Including ICFP and PPDP. Firenze, Italy; 2--8 September 2001.
    music.dsi.unifi.it
    50.LLL 2001
     3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9 September 2001.
    www.fi.muni.cz
    51.LPNMR'01
     6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria; 17--19 September 2001.
    www.kr.tuwien.ac.at
    52.Fourth International Tbilisi Symposium on Language, Logic and Computation
     Borjomi, Georgia; 23--28 September 2001.
    www.illc.uva.nl
    53.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.
    www.informatik.uni-kiel.de
    54.FOTFS III
     Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik, Universität Wien, Austria; 21--24 September 2001.
    www.math.uni-bonn.de
    55.International Workshop on Computability Theory
     S.S.Goncharov - 50th Anniversary. Sobolev Institute of Mathematics, Novosibirsk, Russia; 23--26 September 2001.
    math.nsc.ru
    56.Workshop on Model Theory
     Institut de Matemàtica de la Universitat de Barcelona (IMUB), Spain; 25--27 October 2001.
    www.imub.ub.es
    57.ICLP'01
     Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001.
    www.cs.ucy.ac.cy
    58.AC2001
     The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December 2001.
    www.illc.uva.nl
    59.Logic of Soft Computing
     Gargnano, Italy; 19--24 November 2001.
    homes.dsi.unimi.it
    60.Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics
     University of New Mexico; 1--3 December 2001.
    www.gallup.unm.edu
    61.CICLOPS 2001
     Colloquium on Implementation of Constraint and LOgic Programming Systems. Coral Beach Hotel, Paphos, Cyprus; 1 December 2001.
    www.cs.nmsu.edu
    62.LP-01.
     Logic Programming for Artificial Intelligence and Information Systems. A thematic worskhop of EPIA 2001. Porto, Portugal 17--20 December 2001.
    www.eventos.uevora.pt
    63.Types Summer School '99
     Giens, France; 30 August -- 10 September 1999. Photos, tutorial notes and software.
    www-sop.inria.fr
    64.Model Theory 2002
     A regional meeting of the LMS followed by a short conference on Model Theory. School of Mathematics, University of Birmingham, UK; 27 February -- 2 March 2002.
    www.mat.bham.ac.uk
    65.Weighted Automata: Theory and Applications
     Dresden, Germany; 4--8 March 2002.
    www.orchid.inf.tu-dresden.de
    66.BEST-11
     Boise Extravanagza in Set Theory. Department of Mathematics, Boise State University, Idaho, USA; 29--31 March 2002.
    diamond.boisestate.edu
    67.ACL2-2002
     Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002.
    www.cs.utexas.edu
    68.TPTS
     Workshop on Theory and Practice of Timed Systems. (A satellite event of ETAPS 2002.) Grenoble, France; 6--7 April 2002.
    www-verimag.imag.fr
    69.ADD'2002
     SpecialSession on Argument, Dialogue, and Decision at NMR'2002. Toulouse, France; 19--21 April 2002.
    www.cs.uu.nl
    70.NMR'2002
     9th International Workshop on Non-Monotonic Reasoning. (Collocated with KR2002 and AIPS'02.) Toulouse, France; 19--21 April 2002.
    www.irit.fr
    71.DEON'02
     Sixth International Workshop on Deontic Logic in Computer Science. Imperial College, London, UK; 22--24 May 2002.
    www.doc.ic.ac.uk
    72.On the Foundations of Mathematics
     Conference in honor of Jan Mycielski. University of Colorado at Boulder, USA; 1--2 June 2002.
    euclid.colorado.edu
    73.ISWC 2002
     The International Semantic Web Conference. Sardinia, Italy; 10--12 June 2002.
    iswc.semanticweb.org
    74.NS2002
     Nonstandard Methods and Applications in Mathematics. Pisa, Italy; 10--16 June 2002.
    docenti.ing.unipi.it
    75.21st Days of Weak Arithmetics
     St.Petersburg, Russia; 7--9 June 2002.
    logic.pdmi.ras.ru
    76.CALCULEMUS-2002
     10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Marseille, France; 1--5 July 2002.
    www.ags.uni-sb.de
    77.CADE-18
     The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002.
    floc02.diku.dk
    78.CLIMA'02 - Computational Logic in Multi-Agent Systems
     Affiliated with ICLP 2002. Copenhagen, Denmark; 1 August 2002.
    centria.di.fct.unl.pt
    79.FLoC '02 - Federated Logic Conference
     Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002.
    floc02.diku.dk
    80.ICLP'02
     International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002.
    floc02.diku.dk
    81.TABLEAUX 2002
     Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1 August 2002.
    floc02.diku.dk
    82.WoPaLo
     Workshop in Paraconsistent Logic, part of the 14th European Summer School in Logic, Language and Information. Trento, Italy; 5--9 August 2002.
    logica.rug.ac.be
    83.FLoC 1999
     The 1999 Federated Logic Conference, incorporating CADE, CAV, LICS, RTA. Trento, Italy; 30 June -- 12 July 1999.
    floc99.itc.it
    84.CSL'02
     Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002.
    www.dcs.ed.ac.uk
    85.Coordination and Action
     Workshop in conjunction with ESSLLI 2001. Helsinki, Finland; 13--25 August 2001.
    lubitsch.lili.uni-bielefeld.de
    86.RTA'02
     13th International Conference on Rewriting Techniques and Applications (part of the Federated Logic Conference FLoC'02). Copenhagen, Denmark; 22--24 July 2002.
    floc02.diku.dk
    87.BEST 12
     Boise Extravaganza in Set Theory , March 28-30, 2003
    diamond.boisestate.edu
    88.Logic and its Applications in Algebra and Geometry
     Ann Arbor, MI, April 11-13, 2003.
    www.math.lsa.umich.edu
    89.Logic and Mathematics: Connections and Interactions
     Conference on applications of logic in mathematics; Urbana-Champaign, Illinois, May 21-25, 2003.
    www.math.uiuc.edu
    90.Set Theory and Analysis
     Semester long program at the Fields Institute, Toronto, Ontario, along with some shorter workshops. September through December, 2002.
    www.fields.utoronto.ca
    91.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.
    www.cle.unicamp.br
    92.LFM 2000
     ne 2000. Proceedings.
    techreports.larc.nasa.gov
    Click here for your FREE Bomis Search toolbar!
    Search Bomis for
    Past Conferences
    Other Popular
    Bomis Searches
    harry potter
    osama bin laden
    scareer
    auto parts
    dragon ball z
    wallpaper
    photography
    picture
    baby
    woman
    lingerie
    britney spears

    Help build the largest human-edited directory on the web.
    Submit a Site - Open Directory Project - Become an Editor

    Privacy Policy, Contact Info, and Terms of Service