ABC HOME web search Web Search web search Web Directory web search Image Search web search Video Search web search Shopping web search 4WX Weather web search Domain Search
ABC Directory
Arts Business Computers Games Health Home Kids News
Recreation Reference Regional Science Shopping Society Sports Adult

Add your website to this category
ABC HOME: Top: Science: Math: Logic_and_Foundations: Meetings: Past_Conferences:

Past Conferences (143)

Also See:
Sponsors:
Web Sites In this Category:

Amsterdam Colloquium 1999 Open in a new browser window  
   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 19
   http://www.illc.uva.nl/AC99/
ICLP'99 Open in a new browser window  
   Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, 1999.
   http://www.CS.NMSU.Edu/~complog/conferences/iclp99/
CSL 2000 Open in a new browser window  
   Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000.
   http://www.tcs.informatik.uni-muenchen.de/csl2000/
DEON'98 Open in a new browser window  
   Fourth International Workshop on Deontic Logic in Computer Science. Bologna, Italy; 8--10 January 1998.
   http://www.cirfid.unibo.it/~deon98/
SPbDLC'99 Open in a new browser window  
   First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999. Abstracts, photos.
   http://logic.pdmi.ras.ru/LogicDays
FroCoS'96 Open in a new browser window  
   First International Workshop on Frontiers of Combining Systems. Munich, Germany; 26--29 March 1996. Abstracts.
   http://www.cis.uni-muenchen.de/hot/frocos96.html
FroCoS'98 Open in a new browser window  
   Second International workshop on Frontiers of Combining Systems. ILLC, University of Amsterdam; 2--4 October 1998.
   http://turing.wins.uva.nl/~mdr/FroCoS98/
JoLL'2000 Open in a new browser window  
   Workshop on Logic and Language. Seville,Spain; 29 November -- 1 December 2000.
   http://www.cica.es/~joll2000/
LPNMR'97 Open in a new browser window  
   4th International Conference on Logic Programming and Non-Monotonic Reasoning. Dagstuhl, Germany; 28--31 July 1997.
   http://www.uni-koblenz.de/ag-ki/lpnmr97/
JELIA 2000 Open in a new browser window  
   7th European Workshop on Logics in Artificial Intelligence. Malaga, Spain; 29 September -- 2 October 2000.
   http://www.satd.uma.es/jelia/
9th Annual Logic Summer School Open in a new browser window  
   Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 December 2000.
   http://arp.anu.edu.au/lss/
ISMVL 2000 Open in a new browser window  
   International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000. Photos.
   http://www.ee.pdx.edu/%7Emperkows/ISMVL/=index2000.html
LFM'99 Open in a new browser window  
   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/
TABLEAUX 2000 Open in a new browser window  
   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/
FOSSACS 2000 Open in a new browser window  
   Foundations of Software Science and Computation Structures. Berlin, Germany; 27--31 March 2000.
   http://fossacs.mimuw.edu.pl/
GÖDEL'96 Open in a new browser window  
   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
LPAR 2000 Open in a new browser window  
   Logic Programming and Automated Reasoning. Reunion Island, France; 11--12 November 2000.
   http://www.informatik.uni-trier.de/~ley/db/conf/lpar/
WCP 2000 Open in a new browser window  
   Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000.
   http://logica.cle.unicamp.br/wcp/wcp2000.htm
FTP 2000 Open in a new browser window  
   First-Order Theorem Proving. St. Andrews, Scotland; 3--5 July 2000. Proceedings available.
   http://www.uni-koblenz.de/ftp00/
LPAR'99 Open in a new browser window  
   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
MFCS'99 Open in a new browser window  
   24th International Symposium on Mathematical Foundations of Computer Science. Szklarska Poreba, Poland; 6--10 September 1999.
   http://www.tcs.uni.wroc.pl/mfcs99/
TABLEAUX'99 Open in a new browser window  
   Saratoga Springs, NY, USA; 7--11 June 1999.
   http://www.cs.albany.edu/~nvm/tab99/
MFCS'98 Open in a new browser window  
   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/
ICoS-1 : Inference in Computational Semantics Open in a new browser window  
   Amsterdam, the Netherlands; 15 August 1999.
   http://turing.wins.uva.nl/~mdr/ICoS/ICoS-1/
ALP/PLILP/SAS 1996 Open in a new browser window  
   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--2
   http://www-i2.informatik.rwth-aachen.de/aachen96/
NMR-2000 Open in a new browser window  
   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/
ARW 2000 Open in a new browser window  
   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/
CL 2000 Open in a new browser window  
   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/
ITRS'00 Open in a new browser window  
   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/
LOFT4 Open in a new browser window  
   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
MPC 2000 Open in a new browser window  
   Mathematics of Program Construction. Ponte de Lima, Portugal; 3--5 July 2000. Photos.
   http://www.di.uminho.pt/mpc2000/
Set Theory and its Neighbours 9 Open in a new browser window  
   De Morgan House, London; 25 April 2001.
   http://www.ucl.ac.uk/~ucahcjm/stn/stn9.html
CADE-17 Open in a new browser window  
   The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.
   http://www.cs.cmu.edu/~cade/
CADE-16 Open in a new browser window  
   The 16th International Conference on Automated Deduction. Trento, Italy; 7--10 July 1999.
   http://www.mpi-sb.mpg.de/cade-16/
TPHOLs 2000 Open in a new browser window  
   13th International Conference on Theorem Proving in Higher Order Logics. Portland, Oregon, USA; 14--18 August 2000.
   http://www.cse.ogi.edu/tphols2000/
PLS-2 Open in a new browser window  
   2nd Panhellenic Logic Symposium. Delphi, Greece; 13--17 July 1999.
   http://www.mathphys.ntua.gr/symposium/
ICALP'00 Open in a new browser window  
   27th International Colloquium on Automata, Languages, and Programming. Geneva, Switzerland; 9--15 July 2000.
   http://cui.unige.ch/~icalp/
ICALP'98 Open in a new browser window  
   25th International Colloquium on Automata, Languages, and Programming. Aalborg, Denmark; 13--17 July 1998.
   http://www.cs.auc.dk/icalp98/
PLI'00 Open in a new browser window  
   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/
ICFP 2000 Open in a new browser window  
   International Conference on Functional Programming. Associated with PLI 2000. Montreal, Canada; 18--20 September 2000.
   http://www.cs.bell-labs.com/who/wadler/icfp2000/
PLS-1 Open in a new browser window  
   First Panhellenic Logic Symposium. Nicosia, Cyprus; 21--24 July 1997.
   http://www.cs.ucy.ac.cy/symposium/
TLCA - 5th International Conference on Typed Lambda Calculi and Applications, Krakow, Poland Open in a new browser window  
   Krakow, Poland; 2--5 May 2001.
   http://www.ii.uj.edu.pl/zpi/tlca2001/
Application of Multiple-Valued Logic to Artificial Intelligence and Data Mining Open in a new browser window  
   A MathFIT Workshop. School of Computer Science, Queen's University Belfast; 27 -- 28 April 2001.
   http://www.qub.ac.uk/ivs/mvl/
LUATCS '99 Open in a new browser window  
   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/
ICC'01 Open in a new browser window  
   Third international workshop on Implicit Computational Complexity. Aarhus, Denmark; 20--21 May 2001.
   http://www.dcs.ed.ac.uk/home/mxh/ICC01.html
BEST 10 Open in a new browser window  
   Boise Extravaganza in Set Theory. Boise State University; 23--25 March 2001.
   http://diamond.boisestate.edu/~best/best10/best10.html
Seventh Asian Logic Conference Open in a new browser window  
   Hsi-Tou, Taiwan; 6--10 June 1999.
   http://www.sinica.edu.tw/math/html/workshop/alc99/alc99.html
Conference and Workshop in Honor of Professor Saharon Shelah Open in a new browser window  
   Ben-Gurion University of the Negev, Israel; 21--25 May 2001.
   http://www.math.bgu.ac.il/~bguconf/
Conference in Honor of D. A. Martin's 60th Birthday Open in a new browser window  
   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
2001 Greater Boston Logic Meeting Open in a new browser window  
   Boston, MA, USA; 11--13 May 2001.
   http://www-math.mit.edu/conferences/logic/
ICoS-3 : Inference in Computational Semantics Open in a new browser window  
   Held jointly with IJCAR 2001. Siena, Italy; 19--20 June 2001.
   http://www.cs.cmu.edu/~kohlhase/event/icos3/
OntoLex'2000 Open in a new browser window  
   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,
   http://www.ontotext.com/OntoLex
BI-DIALOG 2001 Open in a new browser window  
   5th Workshop on Formal Semantics and Pragmatics of Dialogue. ZiF, Bielefeld, Germany; 14--16 June 2001.
   http://www.uni-bielefeld.de/BIDIALOG/
The Continuum Hypothesis Open in a new browser window  
   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
TARK VIII Open in a new browser window  
   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
Complexity 2001 Open in a new browser window  
   16th Annual Conference on Computational Complexity. CTI, DePaul University, Chicago IL, USA; 18--21 June 2001.
   http://facweb.cs.depaul.edu/complexity2001/
FLA 2001 Open in a new browser window  
   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/
Logical Methods Open in a new browser window  
   EEF Foundations Summer School on Logical Methods. BRICS, Aarhus, Denmark; 25 June -- 6 July 2001.
   http://www.brics.dk/LogicsSchool01/
LACL 2001 Open in a new browser window  
   4th International Conference on Logical Aspects of Computational Linsguistics. Le Croisic, France; 27--29 June 2001.
   http://www.irisa.fr/manifestations/2001/LACL2001/
IJCAR 2001 - International Joint Conference on Automated Reasoning Open in a new browser window  
   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/
DL2001 Open in a new browser window  
   International Workshop on Description Logics. Stanford University, California, USA; 1--3 August 2001. On-line proceedings.
   http://www.ksl.Stanford.EDU/dl2001/
Description Logics Workshops Open in a new browser window  
   Proceedings of past workshops, some on-line.
   http://dl.kr.org/workshops/
LICS 2001 Open in a new browser window  
   IEEE Symposium on Logic in Computer Science. Boston, MA, USA; 16--19 June 2001.
   http://www.cs.bu.edu/faculty/mairson/LICS01/
MOL7 Open in a new browser window  
   Seventh Meeting on Mathematics of Language. University of Helsinki, Finland; 10--12 August 2001.
   http://www.cis.upenn.edu/~ircs/mol/mol7.html
Proof and System Reliability Open in a new browser window  
   Marktoberdorf Summer School, Germany; 24 July -- 5 August 2001.
   http://www4.in.tum.de/div/summerschool/
The Logic Programming Paradigm: Current Trends and Future Directions Open in a new browser window  
   Shakertown, Kentucky, USA; 27--27 April 1998. Photos.
   http://www.CS.NMSU.Edu/~complog/shaker/
Algebra and Discrete Mathematics Open in a new browser window  
   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
GETCO 2001 Open in a new browser window  
   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
LCCS 2001 Open in a new browser window  
   International Workshop on Logic and Complexity in Computer Science. Créteil, France; 3--5 September 2001.
   http://www.univ-paris12.fr/~lacl/LCCS2001/
MFCS 2001 Open in a new browser window  
   26th International Symposium on Mathematical Foundations of Computer Science. Marianske Lazne, Czech Republic; 27--31 August 2001.
   http://www.math.cas.cz/~mfcs2001/
FICS'2001 Fixed Points in Computer Science Open in a new browser window  
   A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001.
   http://www.dsi.uniroma1.it/~labella/FICS.html
Foundational Theories in Mathematics Open in a new browser window  
   Department of Mathematics, University of Trento, Italy; 3--7 September 2001.
   http://www.science.unitn.it/~baratell/ftm.html
PLI 2001 Open in a new browser window  
   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/
LLL 2001 Open in a new browser window  
   3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9 September 2001.
   http://www.fi.muni.cz/ilpnet2/LLL2001/
CSL'01 Open in a new browser window  
   Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13 September 2001.
   http://www.lsv.ens-cachan.fr/csl01/
LPNMR'01 Open in a new browser window  
   6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria; 17--19 September 2001.
   http://www.kr.tuwien.ac.at/lpnmr01/
Fourth International Tbilisi Symposium on Language, Logic and Computation Open in a new browser window  
   Borjomi, Georgia; 23--28 September 2001.
   http://www.illc.uva.nl/Borjomi/
WFLP 2001 Open in a new browser window  
   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/
FOTFS III Open in a new browser window  
   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/