|
Annual Logic & Automated Reasoning
Summer School
|
http://discus.anu.edu.au/lss/ |
| |
|
|
Conference on Automated Deduction (CADE)
|
http://www.cs.albany.edu:80/~nvm/cade.html |
|
CADE-19, Miami 2003
|
http://www.cade-19.info/ |
|
CADE-18, Copenhagen 2002
|
http://floc02.diku.dk/CADE/ |
|
CADE-17, Carnegie Mellon 2000
|
http://www-2.cs.cmu.edu/~cade/ |
|
CADE-16, Trento 1999
|
http://www.mpi-sb.mpg.de/cade-16/ |
| |
|
|
Conference on Computer-Aided Verification (CAV)
|
|
|
CAV-16, Boston 2004
|
http://www.dcs.warwick.ac.uk/CAV/ |
|
CAV-15, Boulder 2003
|
http://www.cs.utexas.edu/users/trcenter/
CAV/cav2003homepage.html |
|
CAV-14, Copenhagen 2002
|
http://floc02.diku.dk/CAV/ |
|
CAV-13, Paris 2001
|
http://www.lsv.ens-cachan.fr/cav01/ |
|
CAV-12, Chicago 2000
|
http://www.isbn.nu/3540677704 |
|
CAV-11, Trento 1999
|
http://floc99.itc.it/index.asp |
|
|
|
|
European Summer School in Logic
Language and Information (ESSLII)
|
http://www.folli.org/esslii.html |
|
ESSLII-16, Nancy 2004
|
http://esslli2004.loria.fr/ |
|
ESSLII-15, Wien 2003
|
http://www.logic.at/esslli03/ |
|
ESSLII-14, Trento 2002
|
http://www.esslli2002.it/ |
|
ESSLII-13, Helsinki 2001
|
http://www.helsinki.fi/esslli/ |
|
ESSLII-12, Birmingham 2000
|
http://www.cs.bham.ac.uk/research/conferences/esslli/ |
|
ESSLII-11, Utrecht 1999
|
http://www.let.uu.nl/esslli/ |
| |
|
|
Federated Logic Conference (FLoC)
|
http://floc02.diku.dk/floc/sc.html |
|
FLoC'02, Copenhagen 2002
|
http://floc02.diku.dk/ |
|
FLoC'99, Trento 1999
|
http://floc99.itc.it/index.asp |
|
FLoC'96, Rutgers 1996
|
|
|
|
|
|
IEEE Symposium on Logic in Computer Science (LICS)
|
http://www.lfcs.informatics.ed.ac.uk/lics
|
|
LICS-19, Turku 2004
|
http://www.dcs.ed.ac.uk/home/als/lics/lics04/ |
|
LICS-18, Ottawa 2003
|
http://www.dcs.ed.ac.uk/home/als/lics/lics03/ |
|
LICS-17, Copenhagen 2002
|
http://www.dcs.ed.ac.uk/home/als/lics/lics02/ |
|
LICS-16, Boston 2001
|
http://www.cs.bu.edu/faculty/mairson/LICS01/ |
|
LICS-15, Santa Barbara 2000
|
http://www.dcs.ed.ac.uk/home/als/lics/lics00/ind00.html |
|
LICS-14, Trento 1999
|
http://www.dcs.ed.ac.uk/home/als/lics/lics99/lics99.html |
| |
|
|
International Conference on Automated Reasoning with Analytic
Tableaux and Related Methods (TABLEAUX)
|
http://i12www.ira.uka.de/TABLEAUX/ |
|
TABLEAUX-12, Rome 2003
|
http://tab2003.dia.uniroma3.it/ |
|
TABLEAUX-11, Copenhagen 2002
|
http://floc02.diku.dk/TABLEAUX/ |
|
TABLEAUX-10, Siena 2001
|
http://www.dii.unisi.it/~ijcar/ |
|
TABLEAUX-09, St Andrews 2000
|
http://www.dcs.st-and.ac.uk/~tab2000/ |
|
TABLEAUX-08, Saratoga Springs 1999
|
http://www.cs.albany.edu/~nvm/tab99/ |
| |
|
|
International Conference on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR)
|
http://www.lpar.net/ |
|
LPAR-10, Kazakhstan 2003
|
http://www.lpar.net/2003/ |
|
LPAR-09, Tbilisi 2002
|
http://www.lpar.net/2002/ |
|
LPAR-08, Havana 2001
|
http://www.lpar.net/2001/ |
|
LPAR-07, Reunion Island 2002
|
http://www.lpar.net/2000/ |
|
LPAR-06, Tbilisi 1999
|
http://www.lpar.net/1999/ |
|
|
|
|
International Conference on Rewriting Techniques and Applications
(RTA)
|
http://www.loria.fr/~vigneron/RewritingHP/rta/ |
|
RTA-15, Aachen 2004
|
http://www-i2.informatik.rwth-aachen.de/RTA04/ |
|
RTA-14, Valencia 2003
|
http://www.dsic.upv.es/~rdp03/rta/ |
|
RTA-13, Copenhagen 2002
|
http://floc02.diku.dk/RTA/ |
|
RTA-12, Utrecht 2001
|
http://www.loria.fr/~vigneron/RewritingHP/rta/
documents/RTA-2001/ |
|
RTA-11, Norwich 2000
|
|
|
RTA-10, Trento 1999
|
http://rta99.loria.fr/ |
|
|
|
|
International Conference on Theorem Proving in Higher
Order Logics (TPHOLs)
|
http://www.cl.cam.ac.uk/Research/HVG/HOL/
HOL.html#conferences |
|
TPHOLs-17, Park City 2004
|
http://www.cs.utah.edu/tphols2004/ |
|
TPHOLs-16, Rome 2003
|
http://tphols.informatik.uni-freiburg.de/ |
|
TPHOLs-15, Virginia 2002
|
http://shemesh.larc.nasa.gov/tphols2002/ |
|
TPHOLs-14, Edinburgh 2001
|
http://www.dcs.gla.ac.uk/TPHOLs2001/ |
|
TPHOLs-13, Portland 2000
|
http://www.cse.ogi.edu/tphols2000/ |
|
TPHOLs-12, Nice 1999
|
http://www-sop.inria.fr/croap/TPHOLs99/ |
|
|
|
|
International Joint Conference on Automated Reasoning
(IJCAR = CADE + FTP + TABLEAUX + ...)
|
|
|
IJCAR-2004, Cork 2004
|
http://www.4c.ucc.ie/ijcar/ |
|
IJCAR-2001, Siena 2001
|
http://www.dii.unisi.it/~ijcar/ |
|
|
|
|
International Symposium on the Theory and Applications
of Satisfiability Testing (SAT)
|
|
|
SAT-07, Vancouver 2004
|
http://www.satisfiability.org/SAT04/ |
|
SAT-06, Santa Marghertia Ligure 2003
|
http://www.mrg.dist.unige.it/events/sat03/ |
|
SAT-05, Cincinnati 2002
|
http://gauss.ececs.uc.edu/Conferences/SAT2002/ |
|
SAT-04, Boston 2001
|
http://www.cs.washington.edu/homes/kautz/sat2001/ |
|
SAT-03, Renesse 2000
|
http://ssor.twi.tudelft.nl/~warners/sat2000.htm |
|
|
|
|
International Workshop on First-order Theorem Proving
(FTP)
|
http://www.logic.at/FTP/ |
|
FTP-05, Valencia 2003
|
http://rewriting.loria.fr/FTP-2003/valencia/ |
|
FTP-04, Siena 2001
|
http://www.dii.unisi.it/~ijcar/ |
|
FTP-03, St Andrews 2000
|
http://www.uni-koblenz.de/ftp00/ |
|
|
|
|
International Workshop on Unification (UNIF)
|
http://www.lsv.ens-cachan.fr/unif/ |
|
UNIF'04, Cork 2004
|
http://www.lsv.ens-cachan.fr/unif/unif04/ |
|
UNIF'03, Valencia 2003
|
http://www.dsic.upv.es/~rdp03/unif/ |
|
UNIF'02, Copenhagenn 2002
|
http://floc02.diku.dk/UNIF/ |
|
UNIF'01, Siena 2001
|
http://goedel.cs.uiowa.edu/unif2001/ |
|
UNIF'00, Carnegie Mellon 2000
|
http://www-2.cs.cmu.edu/~unif/ |
|
UNIF'99, Frankfurt 1999
|
|
|
|
|
|
Symposium on the Integration of Symbolic Computation and
Mechanized Reasoning (Calculemus)
|
|
|
Calculemus-11, Rome 2003
|
http://www-calfor.lip6.fr/~rr/Calculemus03/ |
|
Calculemus-10, Marseille 2002
|
http://www.ags.uni-sb.de/~calculemus2002/
meeting.html |
|
Calculemus-09, Siena 2001
|
http://www.dii.unisi.it/~ijcar/ |
|
Calculemus-08, St Andrews 2000
|
http://www.mathweb.org/calculemus/meetings/
standrews00/meeting.html |
|
Calculemus-07, Trento 1999
|
http://www.mrg.dist.unige.it/~armando/
calculemus/floc99-ws.html |
