| Directory > Science > Math > Logic and Foundations > Meetings > Past Conferences SPR03
Second International Workshop on Semantics, Pragmatics, and Rhetoric. Donostia, San Sebastián,
Spain; 6--8 November 2003.
http://www.sc.ehu.es/ilwlaanj/SPR/SPR03.html
Reviews Rating: Not yet Rated
Whois Check
LFM 2000
NASA Langley Formal Methods Workshop. Williamsburg, VA, USA; 13--15 June 2000. Proceedings.
http://techreports.larc.nasa.gov/ltrs/refer/2000/cp/NASA-2000-cp210100.refer.html
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.cle.unicamp.br/wcp3/
Reviews Rating: Not yet Rated
Whois Check
Set Theory and Analysis
Semester long program at the Fields Institute, Toronto, Ontario, along with some shorter workshops.
September through December, 2002.
http://www.fields.utoronto.ca/programs/scientific/02-03/set_theory/
Reviews Rating: Not yet Rated
Whois Check
Logic and Mathematics: Connections and Interactions
Conference on applications of logic in mathematics; Urbana-Champaign, Illinois, May 21-25, 2003.
http://www.math.uiuc.edu/ResearchAreas/logic/conference/index.html
Reviews Rating: Not yet Rated
Whois Check
Logic and its Applications in Algebra and Geometry
Ann Arbor, MI, April 11-13, 2003.
http://www.math.lsa.umich.edu/%7Ebkasterm/
Reviews Rating: Not yet Rated
Whois Check
BEST 12
Boise Extravaganza in Set Theory , March 28-30, 2003
http://diamond.boisestate.edu/~best/
Reviews Rating: Not yet Rated
Whois Check
Combining Probability and Logic
4th Augustus de Morgan Workshop. King's College London, UK; 4--6 November 2002.
http://www.kcl.ac.uk/ip/jonwilliamson/progic/
Reviews Rating: Not yet Rated
Whois Check
RTA 2003
14th International Conference on Rewriting Techniques and Applications. Valencia, Spain; 9--11
June 2003.
http://www.dsic.upv.es/~rdp03/rta/
Reviews Rating: Not yet Rated
Whois Check
RTA'02
13th International Conference on Rewriting Techniques and Applications (part of the Federated Logic
Conference FLoC'02). Copenhagen, Denmark; 22--24 July 2002.
http://floc02.diku.dk/RTA/
Reviews Rating: Not yet Rated
Whois Check
Coordination and Action
Workshop in conjunction with ESSLLI 2001. Helsinki, Finland; 13--25 August 2001.
http://lubitsch.lili.uni-bielefeld.de/~pkuehnle/HELSINKI/
Reviews Rating: Not yet Rated
Whois Check
CSL'02
Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK;
22--25 September 2002.
http://www.dcs.ed.ac.uk/csl02/
Reviews Rating: Not yet Rated
Whois Check
ICoS-2 : Inference in Computational Semantics
Dagstuhl, Germany; 29--30 July 2000. Photos, slides.
http://remote.science.uva.nl/~mdr/ICoS/ICoS-2/
Reviews Rating: Not yet Rated
Whois Check
FLoC 1999
The 1999 Federated Logic Conference, incorporating CADE, CAV, LICS, RTA. Trento, Italy; 30 June --
12 July 1999.
http://floc99.itc.it/
Reviews Rating: Not yet Rated
Whois Check
6BLM
6th Barcelona Logic Meeting, 5-8 July 2000 - Barcelona, Spain - Areas emphasized are algebraic
logic, model theory and set theory.
http://www.crm.es/pastactivities/Act1999-2000/6blm.htm
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.st-andrews.ac.uk/academic/philosophy/arche/conference2.shtml
Reviews Rating: Not yet Rated
Whois Check
WoPaLo
Workshop in Paraconsistent Logic, part of the 14th European Summer School in Logic,
Language and Information. Trento, Italy; 5--9 August 2002.
http://logica.rug.ac.be/WoPaLo/
Reviews Rating: Not yet Rated
Whois Check
TABLEAUX 2002
Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1
August 2002.
http://floc02.diku.dk/TABLEAUX/
Reviews Rating: Not yet Rated
Whois Check
ICLP'02
International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002.
http://floc02.diku.dk/ICLP/
Reviews Rating: Not yet Rated
Whois Check
FLoC '02 - Federated Logic Conference
Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002.
http://floc02.diku.dk/
Reviews Rating: Not yet Rated
Whois Check
CLIMA'02 - Computational Logic in Multi-Agent Systems
Affiliated with ICLP 2002. Copenhagen, Denmark; 1 August 2002.
http://centria.di.fct.unl.pt/~jleite/clima02/
Reviews Rating: Not yet Rated
Whois Check
CADE-18
The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002.
http://floc02.diku.dk/CADE/
Reviews Rating: Not yet Rated
Whois Check
MFCSIT2002
Second Irish Conference on the Mathematical Foundations of Computer Science and Information
Technology. National University of Ireland, Galway; 18--19 July 2002.
http://grobner.nuigalway.ie/MFCSIT2002/
Reviews Rating: Not yet Rated
Whois Check
TIME-2002
9th International Symposium on Temporal Representation and Reasoning Symposium. Manchester, UK;
7--9 July, 2002.
http://www.cs.man.ac.uk/img/TIME-2002/
Reviews Rating: Not yet Rated
Whois Check
CALCULEMUS-2002
10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Marseille,
France; 1--5 July 2002.
http://www.ags.uni-sb.de/~calculemus2002/
Reviews Rating: Not yet Rated
Whois Check
Bounded Arithmetic and Complexity Classes (BACC2002)
Lisbon, Portugal; 28--29 June 2002.
http://alf1.cii.fc.ul.pt/~ferferr/bacc2002/bacc.html
Reviews Rating: Not yet Rated
Whois Check
21st Days of Weak Arithmetics
St.Petersburg, Russia; 7--9 June 2002.
http://logic.pdmi.ras.ru/jaf21/
Reviews Rating: Not yet Rated
Whois Check
NS2002
Nonstandard Methods and Applications in Mathematics. Pisa, Italy; 10--16 June 2002.
http://docenti.ing.unipi.it/~o18933/Pisa2002/
Reviews Rating: Not yet Rated
Whois Check
LOGICA 2002
16th in the series organized by The Institute of Philosophy, Academy of Sciences, Czech Republic.
Castle Zahrádky; 18--21 June 2002.
http://www.flu.cas.cz/Logica/Logica2002-1.htm
Reviews Rating: Not yet Rated
Whois Check
ISWC 2002
The International Semantic Web Conference. Sardinia, Italy; 10--12 June 2002.
http://iswc.semanticweb.org/
Reviews Rating: Not yet Rated
Whois Check
On the Foundations of Mathematics
Conference in honor of Jan Mycielski. University of Colorado at Boulder, USA; 1--2 June 2002.
http://euclid.colorado.edu/~jmconf/main.html
Reviews Rating: Not yet Rated
Whois Check
DEON'02
Sixth International Workshop on Deontic Logic in Computer Science. Imperial College, London, UK;
22--24 May 2002.
http://www.doc.ic.ac.uk/deon02/
Reviews Rating: Not yet Rated
Whois Check
NMR'2002
9th International Workshop on Non-Monotonic Reasoning. (Collocated with KR2002 and AIPS'02.)
Toulouse, France; 19--21 April 2002.
http://www.irit.fr/NMR2002/NMR2002.html
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.kr.org/kr/kr02/
Reviews Rating: Not yet Rated
Whois Check
ADD'2002
SpecialSession on Argument, Dialogue, and Decision at NMR'2002. Toulouse, France; 19--21 April
2002.
http://www.cs.uu.nl/people/henry/add02/add02.html
Reviews Rating: Not yet Rated
Whois Check
Proof Theory and Complexity
Aarhus, Denmark; 3--7 August 1998.
http://www.brics.dk/PTAC98/
Reviews Rating: Not yet Rated
Whois Check
Proof and Computation
Ludwig-Maximilians-Universität, Munich, Germany; 5--6 November 1999.
http://www.mathematik.uni-muenchen.de/~gamma0
Reviews Rating: Not yet Rated
Whois Check
CCF'99
First Workshop on Constructivity, Complexity, and Fuzziness. Galati, România; 26--28 August 1999.
http://www.informatik.uni-halle.de/~staiger/galati.html
Reviews Rating: Not yet Rated
Whois Check
TPTS
Workshop on Theory and Practice of Timed Systems. (A satellite event of ETAPS 2002.) Grenoble,
France; 6--7 April 2002.
http://www-verimag.imag.fr/~maler/TPTS.html
Reviews Rating: Not yet Rated
Whois Check
ACL2-2002
Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with
ETAPS 2002). Grenoble, France; 8--9 April 2002.
http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/
Reviews Rating: Not yet Rated
Whois Check
Stanislaw Jaskowski Memorial Symposium
Parainconsistent Logic, Logical Philosophy, Mathematics and Informatics. Nicholas Copernicus
University of Torun, Poland; 15--18 July 1998.
http://www.uni.torun.pl/~logic/JS'98/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.aaai.org/Symposia/Spring/2002/sss-02.html
Reviews Rating: Not yet Rated
Whois Check
Logic-Based Program Synthesis
AAAI 2002 Spring Symposium. Stanford University, CA, USA; 25--27 March 2002.
http://ase.arc.nasa.gov/aaai2002/
Reviews Rating: Not yet Rated
Whois Check
BEST-11
Boise Extravanagza in Set Theory. Department of Mathematics, Boise State University, Idaho, USA;
29--31 March 2002.
http://diamond.boisestate.edu/~best/best11/best11.html
Reviews Rating: Not yet Rated
Whois Check
Weighted Automata: Theory and Applications
Dresden, Germany; 4--8 March 2002.
http://www.orchid.inf.tu-dresden.de/gk-spezifikation/wata.html
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.mat.bham.ac.uk/R.W.Kaye/models2002/
Reviews Rating: Not yet Rated
Whois Check
Types Summer School '99
Giens, France; 30 August -- 10 September 1999. Photos, tutorial notes and software.
http://www-sop.inria.fr/certilab/types-sum-school99/types-sum-school.html
Reviews Rating: Not yet Rated
Whois Check
LP-01.
Logic Programming for Artificial Intelligence and Information Systems. A thematic worskhop of EPIA
2001. Porto, Portugal 17--20 December 2001.
http://www.eventos.uevora.pt/epia/lp-01/
Reviews Rating: Not yet Rated
Whois Check
ICALP'96
23rd International Colloquium on Automata, Languages, and Programming. Paderborn, Germany; 8--12
July 1996.
http://www.uni-paderborn.de/~icalp96/
Reviews Rating: Not yet Rated
Whois Check
Thematic Afternoon on Constructivism
Including the first Arend Heyting Lecture. Amsterdam, the Netherlands; 14 December 2001.
http://turing.wins.uva.nl/~anne/heyting.html
Reviews Rating: Not yet Rated
Whois Check
CICLOPS 2001
Colloquium on Implementation of Constraint and LOgic Programming Systems. Coral Beach Hotel,
Paphos, Cyprus; 1 December 2001.
http://www.cs.nmsu.edu/~complog/conferences/iclp01/
Reviews Rating: Not yet Rated
Whois Check
ADMW01
3rd Augustus De Morgan Workshop on Frontiers of Revision and Contraction. King's College, London,
UK; 5--6 November 2001.
http://www.dcs.kcl.ac.uk/research/groups/logic/ADMW01/
Reviews Rating: Not yet Rated
Whois Check
LPAR 2001
8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning.
Havana, Cuba; 3--7 December 2001.
http://www.lsi.upc.es/~roberto/lpar2001.html
Reviews Rating: Not yet Rated
Whois Check
Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics
University of New Mexico; 1--3 December 2001.
http://www.gallup.unm.edu/~smarandache/FirstNeutConf.htm
Reviews Rating: Not yet Rated
Whois Check
Logic of Soft Computing
Gargnano, Italy; 19--24 November 2001.
http://homes.dsi.unimi.it/~mundici/SCFL/logsofcom/
Reviews Rating: Not yet Rated
Whois Check
AC2001
The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December
2001.
http://www.illc.uva.nl/AC2001/
Reviews Rating: Not yet Rated
Whois Check
ICLP'01
Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1
December 2001.
http://www.cs.ucy.ac.cy/iclp2001/
Reviews Rating: Not yet Rated
Whois Check
Workshop on Model Theory
Institut de Matemàtica de la Universitat de Barcelona (IMUB), Spain; 25--27 October 2001.
http://www.imub.ub.es/events/wmt/
Reviews Rating: Not yet Rated
Whois Check
International Workshop on Computability Theory
S.S.Goncharov - 50th Anniversary. Sobolev Institute of Mathematics, Novosibirsk, Russia; 23--26
September 2001.
http://math.nsc.ru/conference/malmeet/goncharov/
Reviews Rating: Not yet Rated
Whois Check
FOTFS III
Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik,
Universität Wien, Austria; 21--24 September 2001.
http://www.math.uni-bonn.de/people/fotfs/III/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.informatik.uni-kiel.de/~wflp2001/
Reviews Rating: Not yet Rated
Whois Check
Fourth International Tbilisi Symposium on Language, Logic and Computation
Borjomi, Georgia; 23--28 September 2001.
http://www.illc.uva.nl/Borjomi/
Reviews Rating: Not yet Rated
Whois Check
LPNMR'01
6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria;
17--19 September 2001.
http://www.kr.tuwien.ac.at/lpnmr01/
Reviews Rating: Not yet Rated
Whois Check
CSL'01
Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13
September 2001.
http://www.lsv.ens-cachan.fr/csl01/
Reviews Rating: Not yet Rated
Whois Check
LLL 2001
3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9
September 2001.
http://www.fi.muni.cz/ilpnet2/LLL2001/
Reviews Rating: Not yet Rated
Whois Check
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.
http://hydria.u-strasbg.fr/ILP2001/
Reviews Rating: Not yet Rated
Whois Check
PLI 2001
Principles, Logics, and Implementations of high-level programming languages. Including ICFP and
PPDP. Firenze, Italy; 2--8 September 2001.
http://music.dsi.unifi.it/pli01/
Reviews Rating: Not yet Rated
Whois Check
Foundational Theories in Mathematics
Department of Mathematics, University of Trento, Italy; 3--7 September 2001.
http://www.science.unitn.it/~baratell/ftm.html
Reviews Rating: Not yet Rated
Whois Check
FICS'2001 Fixed Points in Computer Science
A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001.
http://www.dsi.uniroma1.it/~labella/FICS.html
Reviews Rating: Not yet Rated
Whois Check
MFCS 2001
26th International Symposium on Mathematical Foundations of Computer Science. Marianske Lazne,
Czech Republic; 27--31 August 2001.
http://www.math.cas.cz/~mfcs2001/
Reviews Rating: Not yet Rated
Whois Check
LICS 2002
LICS 2002 will be part of the 2002 Federated Logic Conference (FLoC 2002). Copenhagen, Denmark; 20
July -- 1 August 2002.
http://www.math.uic.edu/lics/
Reviews Rating: Not yet Rated
Whois Check
LCCS 2001
International Workshop on Logic and Complexity in Computer Science. Créteil, France; 3--5
September 2001.
http://www.univ-paris12.fr/~lacl/LCCS2001/
Reviews Rating: Not yet Rated
Whois Check
GETCO 2001
3rd workshop on Geometric and Topological Methods in Concurrency. In conjunction with CONCUR'01.
Aalborg University, Denmark; 25 August 2001.
http://www.math.auc.dk/~raussen/GETCO/getco.html
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.esf.org/euresco/01/pc01101a.htm
Reviews Rating: Not yet Rated
Whois Check
The Logic Programming Paradigm: Current Trends and Future Directions
Shakertown, Kentucky, USA; 27--27 April 1998. Photos.
http://www.CS.NMSU.Edu/~complog/shaker/
Reviews Rating: Not yet Rated
Whois Check
Proof and System Reliability
Marktoberdorf Summer School, Germany; 24 July -- 5 August 2001.
http://www4.in.tum.de/div/summerschool/
Reviews Rating: Not yet Rated
Whois Check
MOL7
Seventh Meeting on Mathematics of Language. University of Helsinki, Finland; 10--12 August 2001.
http://www.cis.upenn.edu/~ircs/mol/mol7.html
Reviews Rating: Not yet Rated
Whois Check
LICS 2001
IEEE Symposium on Logic in Computer Science. Boston, MA, USA; 16--19 June 2001.
http://www.cs.bu.edu/faculty/mairson/LICS01/
Reviews Rating: Not yet Rated
Whois Check
Description Logics Workshops
Proceedings of past workshops, some on-line.
http://dl.kr.org/workshops/
Reviews Rating: Not yet Rated
Whois Check
DL2001
International Workshop on Description Logics. Stanford University, California, USA; 1--3 August
2001. On-line proceedings.
http://www.ksl.Stanford.EDU/dl2001/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.dii.unisi.it/~ijcar/
Reviews Rating: Not yet Rated
Whois Check
LACL 2001
4th International Conference on Logical Aspects of Computational Linsguistics. Le Croisic, France;
27--29 June 2001.
http://www.irisa.fr/manifestations/2001/LACL2001/
Reviews Rating: Not yet Rated
Whois Check
Logical Methods
EEF Foundations Summer School on Logical Methods. BRICS, Aarhus, Denmark; 25 June -- 6 July 2001.
http://www.brics.dk/LogicsSchool01/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.icsc-naiso.org/conferences/cima2001/fla2001/
Reviews Rating: Not yet Rated
Whois Check
PLS-3
3rd Panhellenic Logic Symposium. 17--22 July 2001; Anogia, Greece.
http://www.math.uoa.gr/pls3/
Reviews Rating: Not yet Rated
Whois Check
Complexity 2001
16th Annual Conference on Computational Complexity. CTI, DePaul University, Chicago IL, USA;
18--21 June 2001.
http://facweb.cs.depaul.edu/complexity2001/
Reviews Rating: Not yet Rated
Whois Check
TARK VIII
8th conference on Theoretical Aspects of Rationality and Knowledge. Certosa di Pontignano,
University of Siena, Italy; 8--10 July 2001.
http://www.tark.org/cfp01.html
Reviews Rating: Not yet Rated
Whois Check
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.
http://zeta.msri.org/calendar/workshops/WorkshopInfo/94/show_workshop
Reviews Rating: Not yet Rated
Whois Check
BI-DIALOG 2001
5th Workshop on Formal Semantics and Pragmatics of Dialogue. ZiF, Bielefeld, Germany; 14--16
June 2001.
http://www.uni-bielefeld.de/BIDIALOG/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.ontotext.com/OntoLex
Reviews Rating: Not yet Rated
Whois Check
MFPS XVII
Seventeenth Conference on the Mathematical Foundations of Programming Semantics. Aarhus
University, Denmark; 23--27 May 2001.
http://www.math.tulane.edu/mfps17.html
Reviews Rating: Not yet Rated
Whois Check
ICoS-3 : Inference in Computational Semantics
Held jointly with IJCAR 2001. Siena, Italy; 19--20 June 2001.
http://www.cs.cmu.edu/~kohlhase/event/icos3/
Reviews Rating: Not yet Rated
Whois Check
2001 Greater Boston Logic Meeting
Boston, MA, USA; 11--13 May 2001.
http://www-math.mit.edu/conferences/logic/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.math.berkeley.edu/~steel/martin.html
Reviews Rating: Not yet Rated
Whois Check
Conference and Workshop in Honor of Professor Saharon Shelah
Ben-Gurion University of the Negev, Israel; 21--25 May 2001.
http://www.math.bgu.ac.il/~bguconf/
Reviews Rating: Not yet Rated
Whois Check
Seventh Asian Logic Conference
Hsi-Tou, Taiwan; 6--10 June 1999.
http://www.sinica.edu.tw/math/html/workshop/alc99/alc99.html
Reviews Rating: Not yet Rated
Whois Check
BEST 10
Boise Extravaganza in Set Theory. Boise State University; 23--25 March 2001.
http://diamond.boisestate.edu/~best/best10/best10.html
Reviews Rating: Not yet Rated
Whois Check
RTA 2001
12th International Conference on Rewriting Techniques and Applications. Utrecht, The Netherlands;
22--24 May 2001.
http://www.score.is.tsukuba.ac.jp/rta2001/
Reviews Rating: Not yet Rated
Whois Check
ICC'01
Third international workshop on Implicit Computational Complexity. Aarhus, Denmark; 20--21 May
2001.
http://www.dcs.ed.ac.uk/home/mxh/ICC01.html
Reviews Rating: Not yet Rated
Whois Check
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.
http://atlas.math.vanderbilt.edu/~pjipsen/luatcs99/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.qub.ac.uk/ivs/mvl/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.sys.uea.ac.uk/RTA2000/
Reviews Rating: Not yet Rated
Whois Check
TLCA - 5th International Conference on Typed Lambda Calculi and Applications, Krakow, Poland
Krakow, Poland; 2--5 May 2001.
http://www.ii.uj.edu.pl/zpi/tlca2001/
Reviews Rating: Not yet Rated
Whois Check
PLS-1
First Panhellenic Logic Symposium. Nicosia, Cyprus; 21--24 July 1997.
http://www.cs.ucy.ac.cy/symposium/
Reviews Rating: Not yet Rated
Whois Check
ICFP 2000
International Conference on Functional Programming. Associated with PLI 2000. Montreal, Canada;
18--20 September 2000.
http://www.cs.bell-labs.com/who/wadler/icfp2000/
Reviews Rating: Not yet Rated
Whois Check
PLI'00
Principles, Logics, and Implementations of High-Level Programming Languages. Including ICFP 2000
and PPDP 2000. Montreal, Canada; 18--23 September 2000.
http://www.cs.yorku.ca/pli-00/
Reviews Rating: Not yet Rated
Whois Check
ICALP'98
25th International Colloquium on Automata, Languages, and Programming. Aalborg, Denmark; 13--17
July 1998.
http://www.cs.auc.dk/icalp98/
Reviews Rating: Not yet Rated
Whois Check
ICALP'00
27th International Colloquium on Automata, Languages, and Programming. Geneva, Switzerland; 9--15
July 2000.
http://cui.unige.ch/~icalp/
Reviews Rating: Not yet Rated
Whois Check
PLS-2
2nd Panhellenic Logic Symposium. Delphi, Greece; 13--17 July 1999.
http://www.mathphys.ntua.gr/symposium/
Reviews Rating: Not yet Rated
Whois Check
TPHOLs 2000
13th International Conference on Theorem Proving in Higher Order Logics. Portland, Oregon, USA;
14--18 August 2000.
http://www.cse.ogi.edu/tphols2000/
Reviews Rating: Not yet Rated
Whois Check
CADE-16
The 16th International Conference on Automated Deduction. Trento, Italy; 7--10 July 1999.
http://www.mpi-sb.mpg.de/cade-16/
Reviews Rating: Not yet Rated
Whois Check
CADE-17
The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.
http://www.cs.cmu.edu/~cade/
Reviews Rating: Not yet Rated
Whois Check
Set Theory and its Neighbours 9
De Morgan House, London; 25 April 2001.
http://www.ucl.ac.uk/~ucahcjm/stn/stn9.html
Reviews Rating: Not yet Rated
Whois Check
MPC 2000
Mathematics of Program Construction. Ponte de Lima, Portugal; 3--5 July 2000. Photos.
http://www.di.uminho.pt/mpc2000/
Reviews Rating: Not yet Rated
Whois Check
LOFT4
Logic and the Foundations of Game and Decision Theory. ICER, Torino, Italy; 30 June -- 2 July
2000.
http://www.econ.ucdavis.edu/faculty/bonanno/loft4.html
Reviews Rating: Not yet Rated
Whois Check
ITRS'00
Workshop on Intersection Types and Related Systems. Geneva, Switzerland; 15 July 2000.
Abstracts, papers and slides.
http://www.cee.hw.ac.uk/~jbw/itrs/itrs00/
Reviews Rating: Not yet Rated
Whois Check
CL 2000
Conference on Computational Logic. Incorporating DOOD2000 and LOPSTR2000, collocated with ILP2000.
Imperial College, London, UK; 24--28 July 2000.
http://www.doc.ic.ac.uk/cl2000/
Reviews Rating: Not yet Rated
Whois Check
ARW 2000
Seventh Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. King's
College London, UK; 20--21 July 2000.
http://www.dcs.kcl.ac.uk/events/ARW/
Reviews Rating: Not yet Rated
Whois Check
NMR-2000
8th International Workshop on Non-Monotonic Reasoning. Held with KR'2000. Breckenridge, Colorado,
USA; 9--11 April 2000. Slides, proceedings.
http://www.cs.engr.uky.edu/nmr2000/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www-i2.informatik.rwth-aachen.de/aachen96/
Reviews Rating: Not yet Rated
Whois Check
ICoS-1 : Inference in Computational Semantics
Amsterdam, the Netherlands; 15 August 1999.
http://turing.wins.uva.nl/~mdr/ICoS/ICoS-1/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.fi.muni.cz/mfcs98/
Reviews Rating: Not yet Rated
Whois Check
TABLEAUX'99
Saratoga Springs, NY, USA; 7--11 June 1999.
http://www.cs.albany.edu/~nvm/tab99/
Reviews Rating: Not yet Rated
Whois Check
TABLEAUX'97
Analytic Tableaux and Related Methods. Abbaye des Prémontrés, Pont-à-Mousson, France; 13--16
May 1997.
http://www.loria.fr/conferences/tab97/
Reviews Rating: Not yet Rated
Whois Check
MFCS'99
24th International Symposium on Mathematical Foundations of Computer Science. Szklarska Poreba,
Poland; 6--10 September 1999.
http://www.tcs.uni.wroc.pl/mfcs99/
Reviews Rating: Not yet Rated
Whois Check
LPAR'99
6th International Conference on Logic for Programming and Automated Reasoning. Tbilisi, Republic
of Georgia; 6--10 September 1999.
http://www.csd.uu.se/~voronkov/lpar99.html
Reviews Rating: Not yet Rated
Whois Check
FTP 2000
First-Order Theorem Proving. St. Andrews, Scotland; 3--5 July 2000. Proceedings available.
http://www.uni-koblenz.de/ftp00/
Reviews Rating: Not yet Rated
Whois Check
WCP 2000
Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000.
http://logica.cle.unicamp.br/wcp/wcp2000.htm
Reviews Rating: Not yet Rated
Whois Check
LPAR 2000
Logic Programming and Automated Reasoning. Reunion Island, France; 11--12 November 2000.
http://www.informatik.uni-trier.de/~ley/db/conf/lpar/
Reviews Rating: Not yet Rated
Whois Check
GÖDEL'96
Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy. Brno,
Czech Republic; 25--29 August 1996.
http://www.fi.muni.cz/~zlatuska/goedel96.html
Reviews Rating: Not yet Rated
Whois Check
FOSSACS 2000
Foundations of Software Science and Computation Structures. Berlin, Germany; 27--31 March 2000.
http://fossacs.mimuw.edu.pl/
Reviews Rating: Not yet Rated
Whois Check
FLOPS'99
4th Fuji International Symposium on Functional and Logic Programming. Tsukuba, Japan; 11--13
November 1999.
http://www.score.is.tsukuba.ac.jp/flops99/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.dcs.st-and.ac.uk/~tab2000/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.cs.bell-labs.com/~felty/LFM99/
Reviews Rating: Not yet Rated
Whois Check
ISMVL 2000
International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000.
Photos.
http://www.ee.pdx.edu/%7Emperkows/ISMVL/=index2000.html
Reviews Rating: Not yet Rated
Whois Check
9th Annual Logic Summer School
Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian
National University, Canberra; 4--15 December 2000.
http://arp.anu.edu.au/lss/
Reviews Rating: Not yet Rated
Whois Check
JELIA 2000
7th European Workshop on Logics in Artificial Intelligence. Malaga, Spain; 29 September -- 2
October 2000.
http://www.satd.uma.es/jelia/
Reviews Rating: Not yet Rated
Whois Check
LPNMR'97
4th International Conference on Logic Programming and Non-Monotonic Reasoning. Dagstuhl, Germany;
28--31 July 1997.
http://www.uni-koblenz.de/ag-ki/lpnmr97/
Reviews Rating: Not yet Rated
Whois Check
JoLL'2000
Workshop on Logic and Language. Seville,Spain; 29 November -- 1 December 2000.
http://www.cica.es/~joll2000/
Reviews Rating: Not yet Rated
Whois Check
FroCoS'98
Second International workshop on Frontiers of Combining Systems. ILLC, University of Amsterdam;
2--4 October 1998.
http://turing.wins.uva.nl/~mdr/FroCoS98/
Reviews Rating: Not yet Rated
Whois Check
LPNMR'99
5th International Conference on Logic Programming and Nonmonotonic Reasoning. El Paso, Texas, USA;
2--4 December 1999.
http://www.dbai.tuwien.ac.at/lpnmr99/lpnmr99/
Reviews Rating: Not yet Rated
Whois Check
FroCoS'96
First International Workshop on Frontiers of Combining Systems. Munich, Germany; 26--29 March
1996. Abstracts.
http://www.cis.uni-muenchen.de/hot/frocos96.html
Reviews Rating: Not yet Rated
Whois Check
SPbDLC'99
First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999.
Abstracts, photos.
http://logic.pdmi.ras.ru/LogicDays
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.loria.fr/conferences/frocos2000/
Reviews Rating: Not yet Rated
Whois Check
The Future of the Turing Test
Dartmouth College, USA; 28--30 January 2000. Loebner Competition results.
http://www.dartmouth.edu/~phil/events/TuringTestConference.html
Reviews Rating: Not yet Rated
Whois Check
DEON'98
Fourth International Workshop on Deontic Logic in Computer Science. Bologna, Italy; 8--10 January
1998.
http://www.cirfid.unibo.it/~deon98/
Reviews Rating: Not yet Rated
Whois Check
CATS 2000
Computing: The Australasian Theory Symposium. Australian National University, Canberra; 1 -- 2
February 2000.
http://cs.anu.edu.au/cats2000/
Reviews Rating: Not yet Rated
Whois Check
CSL 2000
Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000.
http://www.tcs.informatik.uni-muenchen.de/csl2000/
Reviews Rating: Not yet Rated
Whois Check
ICLP'99
Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4
December, 1999.
http://www.CS.NMSU.Edu/~complog/conferences/iclp99/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.illc.uva.nl/AC99/
Reviews Rating: Not yet Rated
Whois Check
|
