Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
   Home / Science / Math / Logic and Foundations / Conferences / Past Conferences
 
   See Also
   Web Sites
  • 2001 Greater Boston Logic Meeting - Boston, MA, USA; 11--13 May 2001.
    www-math.mit.edu/conferences/logic
  • 21st Days of Weak Arithmetics - St.Petersburg, Russia; 7--9 June 2002.
    logic.pdmi.ras.ru/jaf21
  • 6BLM - 6th Barcelona Logic Meeting, 5-8 July 2000 - Barcelona, Spain - Areas emphasized are algebraic logic, model theory and set theory.
    www.crm.es/pastactivities/Act1999-2000/6blm.htm
  • 9th Annual Logic Summer School - Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 December 2000.
    arp.anu.edu.au/lss
  • AC2001 - The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December 2001.
    www.illc.uva.nl/AC2001
  • 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/users/moore/acl2/workshop-2002
  • ADD'2002 - SpecialSession on Argument, Dialogue, and Decision at NMR'2002. Toulouse, France; 19--21 April 2002.
    www.cs.uu.nl/people/henry/add02/add02.html
  • ADMW01 - 3rd Augustus De Morgan Workshop on Frontiers of Revision and Contraction. King's College, London, UK; 5--6 November 2001.
    www.dcs.kcl.ac.uk/research/groups/logic/ADMW01
  • 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/euresco/01/pc01101a.htm
  • ALP/PLILP/SAS 1996 - Joint meeting of the Fifth International Conference on Algebraic and Logic Programming; Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs; Third International Static Analysis Symposium. Aachen, Germany; 24--27 September 1996.
    www-i2.informatik.rwth-aachen.de/aachen96
  • Amsterdam Colloquium 1999 - The Twelfth Amsterdam Colloquium, bringing together logicians, philosophers, linguists and computer scientists who share an interest in the formal semantic study of natural and formal languages. University of Amsterdam, the Netherlands; 18--21 December 1999.
    www.illc.uva.nl/AC99
  • Application of Multiple-Valued Logic to Artificial Intelligence and Data Mining - A MathFIT Workshop. School of Computer Science, Queen's University Belfast; 27 -- 28 April 2001.
    www.qub.ac.uk/ivs/mvl
  • ARW 2000 - Seventh Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. King's College London, UK; 20--21 July 2000.
    www.dcs.kcl.ac.uk/events/ARW
  • BEST 10 - Boise Extravaganza in Set Theory. Boise State University; 23--25 March 2001.
    diamond.boisestate.edu/~best/best10/best10.html
  • BEST-11 - Boise Extravanagza in Set Theory. Department of Mathematics, Boise State University, Idaho, USA; 29--31 March 2002.
    diamond.boisestate.edu/~best/best11/best11.html
  • BI-DIALOG 2001 - 5th Workshop on Formal Semantics and Pragmatics of Dialogue. ZiF, Bielefeld, Germany; 14--16 June 2001.
    www.uni-bielefeld.de/BIDIALOG
  • Bounded Arithmetic and Complexity Classes (BACC2002) - Lisbon, Portugal; 28--29 June 2002.
    alf1.cii.fc.ul.pt/~ferferr/bacc2002/bacc.html
  • CADE-16 - The 16th International Conference on Automated Deduction. Trento, Italy; 7--10 July 1999.
    www.mpi-sb.mpg.de/cade-16
  • CADE-17 - The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.
    www.cs.cmu.edu/~cade
  • CADE-18 - The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002.
    floc02.diku.dk/CADE
  • CALCULEMUS-2002 - 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Marseille, France; 1--5 July 2002.
    www.ags.uni-sb.de/~calculemus2002
  • CATS 2000 - Computing: The Australasian Theory Symposium. Australian National University, Canberra; 1 -- 2 February 2000.
    cs.anu.edu.au/cats2000
  • CCF'99 - First Workshop on Constructivity, Complexity, and Fuzziness. Galati, România; 26--28 August 1999.
    www.informatik.uni-halle.de/~staiger/galati.html
  • CICLOPS 2001 - Colloquium on Implementation of Constraint and LOgic Programming Systems. Coral Beach Hotel, Paphos, Cyprus; 1 December 2001.
    www.cs.nmsu.edu/~complog/conferences/iclp01
  • 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/cl2000
  • CLIMA'02 - Computational Logic in Multi-Agent Systems - Affiliated with ICLP 2002. Copenhagen, Denmark; 1 August 2002.
    centria.di.fct.unl.pt/~jleite/clima02
  • Complexity 2001 - 16th Annual Conference on Computational Complexity. CTI, DePaul University, Chicago IL, USA; 18--21 June 2001.
    facweb.cs.depaul.edu/complexity2001
  • 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/~bguconf
  • 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.
    www.math.berkeley.edu/~steel/martin.html
  • Coordination and Action - Workshop in conjunction with ESSLLI 2001. Helsinki, Finland; 13--25 August 2001.
    www.lili.uni-bielefeld.de/~pkuehnle/HELSINKI
  • CSL 2000 - Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000.
    www.tcs.informatik.uni-muenchen.de/csl2000
  • CSL'01 - Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13 September 2001.
    www.lsv.ens-cachan.fr/csl01
  • DEON'02 - Sixth International Workshop on Deontic Logic in Computer Science. Imperial College, London, UK; 22--24 May 2002.
    www.doc.ic.ac.uk/deon02
  • DEON'98 - Fourth International Workshop on Deontic Logic in Computer Science. Bologna, Italy; 8--10 January 1998.
    www.cirfid.unibo.it/~deon98
  • Description Logics Workshops - Proceedings of past workshops, some on-line.
    dl.kr.org/workshops
  • DL2001 - International Workshop on Description Logics. Stanford University, California, USA; 1--3 August 2001. On-line proceedings.
    www.ksl.Stanford.EDU/dl2001
  • Does Mathematics Require a Foundation? - Arché Centre for Philosophy of Logic, Language, Mathematics and Mind, University of St Andrews, Scotland, UK; 12--15 August 2002.
    www.st-andrews.ac.uk/academic/philosophy/arche/conference2.shtml
  • FICS'2001 Fixed Points in Computer Science - A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001.
    www.dsi.uniroma1.it/~labella/FICS.html
  • 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/conferences/cima2001/fla2001
  • FLoC '02 - Federated Logic Conference - Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002.
    floc02.diku.dk
  • FLoC 1999 - The 1999 Federated Logic Conference, incorporating CADE, CAV, LICS, RTA. Trento, Italy; 30 June -- 12 July 1999.
    floc99.itc.it
  • FLOPS'99 - 4th Fuji International Symposium on Functional and Logic Programming. Tsukuba, Japan; 11--13 November 1999.
    www.score.is.tsukuba.ac.jp/flops99
  • FOSSACS 2000 - Foundations of Software Science and Computation Structures. Berlin, Germany; 27--31 March 2000.
    fossacs.mimuw.edu.pl
  • 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/people/fotfs/III
  • Foundational Theories in Mathematics - Department of Mathematics, University of Trento, Italy; 3--7 September 2001.
    www.science.unitn.it/~baratell/ftm.html
  • Fourth International Tbilisi Symposium on Language, Logic and Computation - Borjomi, Georgia; 23--28 September 2001.
    www.illc.uva.nl/Borjomi
  • FroCoS 2000 - 3rd International Workshop on Frontiers of Combining Systems. Combining logics and deduction systems and logical modelling of multi-agent systems. Nancy, France; 22--24 March 2000.
    www.loria.fr/conferences/frocos2000
  • FroCoS'96 - First International Workshop on Frontiers of Combining Systems. Munich, Germany; 26--29 March 1996. Abstracts.
    www.cis.uni-muenchen.de/hot/frocos96.html
  • FroCoS'98 - Second International workshop on Frontiers of Combining Systems. ILLC, University of Amsterdam; 2--4 October 1998.
    turing.wins.uva.nl/~mdr/FroCoS98
  • FTP 2000 - First-Order Theorem Proving. St. Andrews, Scotland; 3--5 July 2000. Proceedings available.
    www.uni-koblenz.de/ftp00
  • GÖDEL'96 - Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy. Brno, Czech Republic; 25--29 August 1996.
    www.fi.muni.cz/~zlatuska/goedel96.html
  • GETCO 2001 - 3rd workshop on Geometric and Topological Methods in Concurrency. In conjunction with CONCUR'01. Aalborg University, Denmark; 25 August 2001.
    www.math.auc.dk/~raussen/GETCO/getco.html
  • ICALP 2001 - 28th International Colloquium on Automata, Languages and Programming. Crete, Greece; 8--12 July 2001.
    www.cti.gr/engl_v/news/sc_conf/icalp.html
  • ICALP'00 - 27th International Colloquium on Automata, Languages, and Programming. Geneva, Switzerland; 9--15 July 2000.
    cui.unige.ch/~icalp
  • ICALP'98 - 25th International Colloquium on Automata, Languages, and Programming. Aalborg, Denmark; 13--17 July 1998.
    www.cs.auc.dk/icalp98
  • ICC'01 - Third international workshop on Implicit Computational Complexity. Aarhus, Denmark; 20--21 May 2001.
    www.dcs.ed.ac.uk/home/mxh/ICC01.html
  • ICFP 2000 - International Conference on Functional Programming. Associated with PLI 2000. Montreal, Canada; 18--20 September 2000.
    www.cs.bell-labs.com/who/wadler/icfp2000
  • ICLAP'96 - 23rd International Colloquium on Automata, Languages, and Programming. Paderborn, Germany; 8--12 July 1996.
    www.uni-paderborn.de/~icalp96
  • ICLP'01 - Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001.
    www.cs.ucy.ac.cy/iclp2001
  • ICLP'02 - International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002.
    floc02.diku.dk/ICLP
  • ICLP'99 - Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, 1999.
    www.CS.NMSU.Edu/~complog/conferences/iclp99
  • ICoS-1 : Inference in Computational Semantics - Amsterdam, the Netherlands; 15 August 1999.
    turing.wins.uva.nl/~mdr/ICoS/ICoS-1
  • ICoS-2 : Inference in Computational Semantics - Dagstuhl, Germany; 29--30 July 2000. Photos, slides.
    www.ags.uni-sb.de/~kohlhase/event/icos2
  • ICoS-3 : Inference in Computational Semantics - Held jointly with IJCAR 2001. Siena, Italy; 19--20 June 2001.
    www.cs.cmu.edu/~kohlhase/event/icos3
  • 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/~ijcar
  • ILP 2001 - Eleventh International Conference on Inductive Logic Programming. Co-located with the Third International Workshop on Learning Language in Logic. Strasbourg, France; September 8--9, 2001.
    hydria.u-strasbg.fr/ILP2001
  • International Workshop on Computability Theory - S.S.Goncharov - 50th Anniversary. Sobolev Institute of Mathematics, Novosibirsk, Russia; 23--26 September 2001.
    math.nsc.ru/conference/malmeet/goncharov
  • ISMVL 2000 - International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000. Photos.
    www.ee.pdx.edu/%7Emperkows/ISMVL/=index2000.html
  • ISWC 2002 - The International Semantic Web Conference. Sardinia, Italy; 10--12 June 2002.
    iswc.semanticweb.org
  • ITRS'00 - Workshop on Intersection Types and Related Systems. Geneva, Switzerland; 15 July 2000. Abstracts, papers and slides.
    www.cee.hw.ac.uk/~jbw/itrs/itrs00
  • JELIA 2000 - 7th European Workshop on Logics in Artificial Intelligence. Malaga, Spain; 29 September -- 2 October 2000.
    www.satd.uma.es/jelia
  • JoLL'2000 - Workshop on Logic and Language. Seville,Spain; 29 November -- 1 December 2000.
    www.cica.es/~joll2000
  • 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.
    www.kr.org/kr/kr02
  • LACL 2001 - 4th International Conference on Logical Aspects of Computational Linsguistics. Le Croisic, France; 27--29 June 2001.
    www.irisa.fr/manifestations/2001/LACL2001
  • LCCS 2001 - International Workshop on Logic and Complexity in Computer Science. Créteil, France; 3--5 September 2001.
    www.univ-paris12.fr/~lacl/LCCS2001
  • LFCS'97 - Logic at Yaroslavl - Symposium on Logical Foundations of Computer Science. Yaroslavl, Russia; 6--12 July 1997.
    www.ras.ru/lpcs/lfcs.html
  • LFM 2000 - NASA Langley Formal Methods Workshop. Williamsburg, VA, USA; 13--15 June 2000. Photos, tutorial presentations.
    shemesh.larc.nasa.gov/fm/Lfm2000
  • LFM'99 - Workshop on Logical Frameworks and Meta-languages. Held as part of the Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages. Paris, France; 28 September 1999. Proceedings in PostScript.
    www.cs.bell-labs.com/~felty/LFM99
  • LICS 2001 - IEEE Symposium on Logic in Computer Science. Boston, MA, USA; 16--19 June 2001.
    www.cs.bu.edu/faculty/mairson/LICS01
  • LICS 2002 - LICS 2002 will be part of the 2002 Federated Logic Conference (FLoC 2002). Copenhagen, Denmark; 20 July -- 1 August 2002.
    www.math.uic.edu/lics
  • LLL 2001 - 3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9 September 2001.
    www.fi.muni.cz/ilpnet2/LLL2001
  • LOFT4 - Logic and the Foundations of Game and Decision Theory. ICER, Torino, Italy; 30 June -- 2 July 2000.
    www.econ.ucdavis.edu/faculty/bonanno/loft4.html
  • Logic of Soft Computing - Gargnano, Italy; 19--24 November 2001.
    homes.dsi.unimi.it/~mundici/SCFL/logsofcom
  • Logic-Based Program Synthesis - AAAI 2002 Spring Symposium. Stanford University, CA, USA; 25--27 March 2002.
    ase.arc.nasa.gov/aaai2002
  • LOGICA 2002 - 16th in the series organized by The Institute of Philosophy, Academy of Sciences, Czech Republic. Castle Zahrádky; 18--21 June 2002.
    www.flu.cas.cz/Logica/Logica2002-1.htm
  • Logical Methods - EEF Foundations Summer School on Logical Methods. BRICS, Aarhus, Denmark; 25 June -- 6 July 2001.
    www.brics.dk/LogicsSchool01
  • 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/epia/lp-01
  • LPAR 2000 - Logic Programming and Automated Reasoning. Reunion Island, France; 11--12 November 2000.
    www.informatik.uni-trier.de/~ley/db/conf/lpar
  • LPAR 2001 - 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Havana, Cuba; 3--7 December 2001.
    www.lsi.upc.es/~roberto/lpar2001.html
  • LPAR'99 - 6th International Conference on Logic for Programming and Automated Reasoning. Tbilisi, Republic of Georgia; 6--10 September 1999.
    www.csd.uu.se/~voronkov/lpar99.html
  • LPMS'99 - 11th International Congress of Logic, Methodology and Philosophy of Science. Cracow, Poland; 20--26 August 1999.
    www.uj.edu.pl/Phils/congress
  • LPNMR'01 - 6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria; 17--19 September 2001.
    www.kr.tuwien.ac.at/lpnmr01
  • LPNMR'97 - 4th International Conference on Logic Programming and Non-Monotonic Reasoning. Dagstuhl, Germany; 28--31 July 1997.
    www.uni-koblenz.de/ag-ki/lpnmr97
  • LPNMR'99 - 5th International Conference on Logic Programming and Nonmonotonic Reasoning. El Paso, Texas, USA; 2--4 December 1999.
    www.dbai.tuwien.ac.at/lpnmr99/lpnmr99
  • LUATCS '99 - First Southern African Summer School and Workshop on Logic, Universal Algebra, and Theoretical Computer Science. Rand Afrikaans University, Johannesburg, South Africa; 1--10 December 1999.
    atlas.math.vanderbilt.edu/~pjipsen/luatcs99
  • Mathematical Foundations of Computer Science (MFCS 2000) - Bratislava, Slovak Republic; 28 August -- 1 September 2000.
    www.mfcs.sk
  • MFCS 2001 - 26th International Symposium on Mathematical Foundations of Computer Science. Marianske Lazne, Czech Republic; 27--31 August 2001.
    www.math.cas.cz/~mfcs2001
  • 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/mfcs98
  • MFCS'99 - 24th International Symposium on Mathematical Foundations of Computer Science. Szklarska Poreba, Poland; 6--10 September 1999.
    www.tcs.uni.wroc.pl/mfcs99
  • MFCSIT2002 - Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology. National University of Ireland, Galway; 18--19 July 2002.
    grobner.nuigalway.ie/MFCSIT2002
  • MFPS XVII - Seventeenth Conference on the Mathematical Foundations of Programming Semantics. Aarhus University, Denmark; 23--27 May 2001.
    www.math.tulane.edu/mfps17.html
  • 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/R.W.Kaye/models2002
  • MOL7 - Seventh Meeting on Mathematics of Language. University of Helsinki, Finland; 10--12 August 2001.
    www.cis.upenn.edu/~ircs/mol/mol7.html
  • MPC 2000 - Mathematics of Program Construction. Ponte de Lima, Portugal; 3--5 July 2000. Photos.
    www.di.uminho.pt/mpc2000
  • Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics - University of New Mexico; 1--3 December 2001.
    www.gallup.unm.edu/~smarandache/FirstNeutConf.htm
  • NMR'2002 - 9th International Workshop on Non-Monotonic Reasoning. (Collocated with KR2002 and AIPS'02.) Toulouse, France; 19--21 April 2002.
    www.irit.fr/NMR2002/NMR2002.html
  • 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/nmr2000
  • NS2002 - Nonstandard Methods and Applications in Mathematics. Pisa, Italy; 10--16 June 2002.
    docenti.ing.unipi.it/~o18933/Pisa2002
  • On the Foundations of Mathematics - Conference in honor of Jan Mycielski. University of Colorado at Boulder, USA; 1--2 June 2002.
    euclid.colorado.edu/~jmconf/main.html
  • OntoLex'2000 - Workshop on Ontologies and Lexical Knowledge Bases. Bringing together researchers interested in the dependencies between formal ontologies and lexical semantics in general, and more specifically in the construction of lexical knowledge bases. Sozopol, Bulgaria; 8--10 September 2000. On-line presentations.
    www.ontotext.com/OntoLex
  • 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/pli01
  • 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/pli-00
  • PLS-1 - First Panhellenic Logic Symposium. Nicosia, Cyprus; 21--24 July 1997.
    www.cs.ucy.ac.cy/symposium
  • PLS-2 - 2nd Panhellenic Logic Symposium. Delphi, Greece; 13--17 July 1999.
    www.mathphys.ntua.gr/symposium
  • PLS-3 - 3rd Panhellenic Logic Symposium. 17--22 July 2001; Anogia, Greece.
    www.math.uoa.gr/pls3
  • Proof and Computation - Ludwig-Maximilians-Universität, Munich, Germany; 5--6 November 1999.
    www.mathematik.uni-muenchen.de/~gamma0
  • Proof and System Reliability - Marktoberdorf Summer School, Germany; 24 July -- 5 August 2001.
    www4.in.tum.de/div/summerschool
  • Proof Theory and Complexity - Aarhus, Denmark; 3--7 August 1998.
    www.brics.dk/PTAC98
  • RTA 2000 - 11th International Conference on Rewriting Techniques and Applications. University of East Anglia, Norwich, UK; 10--12 July 2000. Joint with 3rd International Workshop on Explicit Substitutions and Applications; 13 July 2000.
    www.sys.uea.ac.uk/RTA2000
  • RTA 2001 - 12th International Conference on Rewriting Techniques and Applications. Utrecht, The Netherlands; 22--24 May 2001.
    www.score.is.tsukuba.ac.jp/rta2001
  • RTA'02 - 13th International Conference on Rewriting Techniques and Applications (part of the Federated Logic Conference FLoC'02). Copenhagen, Denmark; 22--24 July 2002.
    www.lifl.fr/~tison/RTA02.html
  • SAS'01 - The 8th International Static Analysis Symposium. La Sorbonne, Paris, France; 16--18 July 2001.
    www.ens.fr/sas01
  • Semantic Knowledge Acquisition and Categorisation - Workshop at the ESSLLI XIII (European Summer School in Logic, Language and Information). Helsinki, Finland; 13--17 August 2001.
    www.ilc.pi.cnr.it/~esslli
  • Set Theory and its Neighbours 9 - De Morgan House, London; 25 April 2001.
    www.ucl.ac.uk/~ucahcjm/stn/stn9.html
  • Seventh Asian Logic Conference - Hsi-Tou, Taiwan; 6--10 June 1999.
    www.sinica.edu.tw/math/html/workshop/alc99/alc99.html
  • SPbDLC'99 - First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999. Abstracts, photos.
    logic.pdmi.ras.ru/LogicDays
  • SPR-01. - Semantics, Pragmatics, and Rhetoric. Donostia - San Sebastián, Spain; 22--24 November 2001.
    www.sc.ehu.es/ilwlaanj/spr-01.html
  • Springer Forthcoming Proceedings 2001 - LNCS/LNAI Forthcoming Proceedings 2001: A list of conferences the proceedings of which are to be published in LNCS/LNAI. Includes a number of meetings in Logic.
    www.springer.de/comp/lncs/fcp2001.html
  • SSS-02 - Logic-Based Program Synthesis: State-of-the-Art and Future Trends. AAAI 2002 Spring Symposium. Stanford University, Palo Alto, CA, USA; 25--27 March 2002.
    www.aaai.org/Symposia/Spring/2002/sss-02.html
  • Stanislaw Jaskowski Memorial Symposium - Parainconsistent Logic, Logical Philosophy, Mathematics and Informatics. Nicholas Copernicus University of Torun, Poland; 15-18 July 1998.
    www.uni.torun.pl/~logic/JS'98
  • 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/~tab2000
  • TABLEAUX 2002 - Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1 August 2002.
    floc02.diku.dk/TABLEAUX
  • TABLEAUX'97 - Analytic Tableaux and Related Methods. Abbaye des Prémontrés, Pont-à-Mousson, France; 13--16 May 1997.
    www.loria.fr/conferences/tab97
  • TABLEAUX'99 - Saratoga Springs, NY, USA; 7--11 June 1999.
    www.cs.albany.edu/~nvm/tab99
  • 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/cfp01.html
  • 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.
    zeta.msri.org/calendar/workshops/WorkshopInfo/94/show_workshop
  • The Future of the Turing Test - Dartmouth College, USA; 28--30 January 2000. Loebner Competition results.
    www.dartmouth.edu/~phil/events/TuringTestConference.html
  • The Logic Programming Paradigm: Current Trends and Future Directions - Shakertown, Kentucky, USA; 27--27 April 1998. Photos.
    www.CS.NMSU.Edu/~complog/shaker
  • Thematic Afternoon on Constructivism - Including the first Arend Heyting Lecture. Amsterdam, the Netherlands; 14 December 2001.
    turing.wins.uva.nl/~anne/heyting.html
  • TIME-2002 - 9th International Symposium on Temporal Representation and Reasoning Symposium. Manchester, UK; 7--9 July, 2002.
    www.cs.man.ac.uk/img/TIME-2002
  • TLCA - 5th International Conference on Typed Lambda Calculi and Applications, Krakow, Poland - Krakow, Poland; 2--5 May 2001.
    www.ii.uj.edu.pl/zpi/tlca2001
  • TLCA'99 - Conference on Typed Lambda Calculi and Applications. L'Aquila,Italy; 7--9- April 1999.
    w3.dm.univaq.it/tlca99
  • TPHOLs 2000 - 13th International Conference on Theorem Proving in Higher Order Logics. Portland, Oregon, USA; 14--18 August 2000.
    www.cse.ogi.edu/tphols2000
  • 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/~maler/TPTS.html
  • Types Summer School '99 - Giens, France; 30 August -- 10 September 1999. Photos, tutorial notes and software.
    www-sop.inria.fr/certilab/types-sum-school99/types-sum-school.html
  • WCP 2000 - Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000.
    logica.cle.unicamp.br/wcp/wcp2000.htm
  • Weighted Automata: Theory and Applications - Dresden, Germany; 4--8 March 2002.
    www.orchid.inf.tu-dresden.de/gk-spezifikation/wata.html
  • 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/~wflp2001
  • 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/WoPaLo
  • Workshop on Model Theory - Institut de Matemàtica de la Universitat de Barcelona (IMUB), Spain; 25--27 October 2001.
    www.imub.ub.es/events/wmt
  • XI Latin American Symposium on Mathematical Logic - Mérida, Venezuela; 6--10 July 1998.
    www.ciens.ula.ve/~slalm98

Google
1995-2015 © Stunning, Inc.