coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Miki Hermann <Miki.Hermann AT lix.polytechnique.fr>
- To: A.Bundy AT ed.ac.uk, A.Ireland AT hw.ac.uk, A.Smaill AT ed.ac.uk, Adam.Cichon AT loria.fr, Bruno.Buchberger AT risc.uni-linz.ac.at, Chr.Walther AT informatik.tu-darmstadt.de, Christophe.Ringeissen AT loria.fr, Claude.Kirchner AT loria.fr, Computational.Semantics AT kub.nl, D.E.Cohen AT maths.qmw.ac.uk, David.Price AT anu.edu.au, David.Wolfram AT cs.anu.edu.au, David_Mumford AT brown.edu, Didier.Galmiche AT loria.fr, Didier.Remy AT inria.fr, Dominique.Fortin AT inria.fr, Dominique.Mery AT loria.fr, DrCadManDo AT aol.com, Edmund_Clarke AT cs.cmu.edu, Eric.Domenjoud AT loria.fr, F.Soddell AT latrobe.edu.au, Fabien.Campillo AT sophia.inria.fr, Francoise.Clerin AT info.unicaen.fr, Frank.Piessens AT cs.kuleuven.ac.be, Gerard.Ferrand AT lifo.univ-orleans.fr, Gerard.Huet AT inria.fr, Gilles.Dowek AT inria.fr, Graham.Steel AT ed.ac.uk, H.C.M.deSwart AT kub.nl, Heinrich.Wansing AT mailbox.tu-dresden.de, Helene.Kirchner AT loria.fr, Hubert.Comon AT lsv.ens-cachan.fr, IFCoLog-all AT dfki.de, Irene.Durand AT labri.u-bordeaux.fr, Isabelle.Gnaedig AT loria.fr, J.Pitt AT ic.ac.uk, J.W.Klop AT cwi.nl, Jeannette.Wing AT cs.cmu.edu, Jia.Meng AT cl.cam.ac.uk, Jim.Grundy AT cs.anu.edu.au, Jocelyne.Rouyer AT loria.fr, Joelle.Despeyroux AT sophia.inria.fr, Johanna.Laakso AT univie.ac.at, John.Halleck AT utah.edu, John.Harrison AT cl.cam.ac.uk, John.Slaney AT anu.edu.au, John.Slaney AT web.rsise.anu.edu.au, Joke.Meheus AT rug.ac.be, Kossey AT cablenet.de, Kurt.Stenzel AT informatik.uni-augsburg.de, Larry.Paulson AT cl.cam.ac.uk, Laurent.Thery AT cl.cam.ac.uk, List AT ProofTheory.org, Loic.Pottier AT sophia.inria.fr, Luc.Maranget AT inria.fr, Marc.Bezem AT phil.uu.nl, Marian.Vittek AT loria.fr, Mateja.Jamnik AT cl.cam.ac.uk, Maurice.Bruynooghe AT cs.kuleuven.ac.be, Michael.Rusinowitch AT loria.fr, Miki.Hermann AT lix.polytechnique.fr, Moore AT cs.utexas.edu, Myra.VanInwegen AT cl.cam.ac.uk, Nikolay.Pelov AT cs.kuleuven.ac.be, Norbert.Eisinger AT informatik.uni-muenchen.de, Olav.Lysne AT ifi.uio.no, Paul.Klint AT cwi.nl, Peter_Andrews AT cs.cmu.edu, PetriNets AT daimi.au.dk, Philippe.deGroote AT loria.fr, Pierre.Lescanne AT ens-lyon.fr, Pierre.Ostier AT imag.fr, Pierre.Rety AT lifo.univ-orleans.fr, Rajeev.Gore AT web.rsise.anu.edu.au, Raoul.Vorch AT irisa.fr, Ricardo.Caferra AT imag.fr, Richard.Statman AT cs.cmu.edu, Serge.Abiteboul AT inria.fr, Silvio.Ranise AT loria.fr, Siva.Anantharaman AT lifo.univ-orleans.fr, Sunil.Issar AT cs.cmu.edu, THEORY-A AT LISTSERV.NODAK.EDU, Tobias.Nipkow AT informatik.tu-muenchen.de, Tony.Cant AT dsto.defence.gov.au, U.Hustadt AT csc.liv.ac.uk, V.Sorge AT cs.bham.ac.uk, Valerie.Fraysse AT cerfacs.fr, Vincent.vanOostrom AT phil.uu.nl, Wadoud.Bousdira AT lifo.univ-orleans.fr, Yury.Puzis AT gmail.com, Zalewska AT hum.uwb.edu.pl, a.b.roth AT web.de, a.smaill AT ed.ac.uk, a_valverde AT ctima.uma.es, aart.middeldorp AT uibk.ac.at, abdulrab AT insa-rouen.fr, acl2 AT cs.utexas.edu, acl AT cs.columbia.edu, adam AT math.uwb.edu.pl, adamn AT math.uwb.edu.pl, adampease AT earthlink.net, afelty AT site.uottawa.ca, afrati AT theseas.softlab.ece.ntua.gr, agata AT logic.tuwien.ac.at, agc AT dcs.leeds.ac.uk, agc AT scs.leeds.ac.uk, agents AT cs.umbc.edu, agha AT cs.uiuc.edu, ahrendt AT cs.chalmers.se, ai.repository AT cs.cmu.edu, aiba AT icot.or.jp, aiia AT di.unito.it, aisb AT cogs.sussex.ac.uk, aisb AT cogs.susx.ac.uk, alagar AT cs.concordia.ca, albe AT iam.unibe.ch, alex AT cs.swarthmore.edu, alexander.fuchs AT uni-koblenz.de, alj AT csd.uu.se, almulla AT sci.kuniv.edu.kw, amblard AT labri.fr, ameier AT ags.uni-sb.de, amili AT csi.uottawa.ca, andersen AT ontologyworks.com, andrea AT di.unipi.it, andreas.nonnengart AT dfki.de, arild AT ifi.uio.no, ariola AT cs.uoregon.edu, armando AT dist.unige.it, armelle.demange AT loria.fr, arturk AT math.uwb.edu.pl, asci AT twi.tudelft.nl, asl AT math.uiuc.edu, asl AT vassar.edu, asperti AT cs.unibo.it, attilio AT di.unito.it, avenhaus AT informatik.uni-kl.de, avg AT cs.ucsc.edu, awb AT cs.duke.edu, b-shults AT bethel.edu, b.konev AT csc.liv.ac.uk, baader AT informatik.rwth-aachen.de, baader AT tcs.inf.tu-dresden.de, baar AT mathematik.hu-berlin.de, bakel AT di.unito.it, banach AT cs.man.ac.uk, barrett AT cs.nyu.edu, bart.demoen AT cs.kuleuven.ac.be, bartol AT mimuw.edu.pl, basin AT inf.ethz.ch, bauer AT dfki.uni-sb.de, baumgart AT mpi-sb.mpg.de, beatak AT ipipan.waw.pl, beckert AT ira.uka.de, beeson AT cruzio.com, behavior AT cs.ucsd.edu, belinfan AT math.gatech.edu, benaissa AT loria.fr, benedetti AT itc.it, bert AT imag.fr, bgalitsky AT hotmail.com, bibel AT intellektik.informatik.tu-darmstadt.de, bill AT kahuna.math.hawaii.edu, bittel AT fh-konstanz.de, bm AT uni-paderborn.de, boerger AT di.unipi.it, borillo AT irit.fr, boudet AT lri.fr, boyer AT cs.utexas.edu, bp AT cs.cmu.edu, bp AT cs.mcgill.ca, brandenb AT fmi.uni-passau.de, brauer AT informatik.tu-muenchen.de, brinksma AT cs.utwente.nl, brogi AT di.unipi.it, broy AT informatik.tu-muenchen.de, bruno.buchberger AT risc.uni-linz.ac.at, bry AT informatik.uni-muenchen.de, bspencer AT unb.ca, bthomas AT uni-koblenz.de, bundy AT aisb.ed.ac.uk, busemann AT dfki.uni-sb.de, bycook AT microsoft.com, bylinski AT math.uwb.edu.pl, cal AT aero.org, calligramme AT loria.fr, calmet AT ira.uka.de, caml-list AT pauillac.inria.fr, caronc AT lifl.fr, carsten AT cs.yale.edu, categories AT mta.ca, cavedon AT cs.rmit.edu.au, ccl AT ps.uni-sb.de, cebrown AT andrew.cmu.edu, ceick AT cs.uh.edu, cg AT cs.uah.edu, chatalic AT lri.fr, choppell AT cs.indiana.edu, chris AT ags.uni-sb.de, chrisf AT logic.tuwien.ac.at, christian AT suttner.info, cimatti AT itc.it, cl-all AT coli.uni-sb.de, cl-stud AT coli.uni-sb.de, claesen AT imec.be, claude.kirchner AT loria.fr, claudio.castellini AT dist.unige.it, cleary AT cpsc.ucalgary.ca, clote AT cs.bc.edu, clp AT comp.nus.edu.sg, clpr-users AT comp.nus.edu.sg, cluk AT dcs.shef.ac.uk, clynch AT clarkson.edu, cmh AT cs.purdue.edu, cmortens AT arts.adelaide.edu.au, cogling AT ucsd.edu, cok AT frontiernet.net, colibri AT let.uu.nl, collinsp AT scot.ac.uk, comlab AT comlab.ox.ac.uk, community AT mlnet.org, complog AT cs.nmsu.edu, comprox AT doc.ic.ac.uk, compulog AT doc.imperial.ac.uk, compulognet-parimp AT clip.dia.fi.upm.es, compulognet-parimp AT dia.fi.upm.es, computational.semantics AT kub.nl, concurrency AT cwi.nl, contejea AT lri.fr, contejea AT lri.lri.fr, coq-club AT pauillac.inria.fr, corpora AT hd.uib.no, corsini AT labri.u-bordeaux.fr, coste AT irit.fr, courcell AT labri.u-bordeaux.fr, cp AT ags.uni-sb.de, cr AT cs.stir.ac.uk, crary AT cs.cmu.edu, cruz AT ctima.uma.es, cs-logic AT cs.indiana.edu, csl AT dbai.tuwien.ac.at, cup AT icot.or.jp, cwitty AT ai.mit.edu, d.e.cohen AT maths.qmw.ac.uk, dahn AT uni-koblenz.de, dale AT linc.cis.upenn.edu, damien.doligez AT inria.fr, daniel.leonard AT loria.fr, darsana AT cs.umd.edu, dauchet AT lifl.fr, davism AT cs.nyu.edu, dbh AT doc.ic.ac.uk, dbp AT csli.stanford.edu, dbworld AT cs.wisc.edu, dcrocker AT eschertech.com, ddougherty AT wesleyan.edu, ddshand AT dcs.st-and.ac.uk, deduktion AT intellektik.informatik.tu-darmstadt.de, degano AT di.unipi.it, degliantoni AT hermes.unimi.it, delval AT ii.uam.es, denzinge AT cpsc.ucalgary.ca, deptling AT uiuc.edu, deruy AT iutsud.u-strasbg.fr, desai AT manitou.cs.concordia.ca, det AT informatik.uni-bremen.de, devienne AT lifl.fr, dfisher AT vuse.vanderbilt.edu, dgm AT dns.unife.it, diderik.batens AT rug.ac.be, didier.remy AT inria.fr, dix AT tu-clausthal.de, dl AT dl.kr.org, dlester AT cs.man.ac.uk, dli AT math.tsinghua.edu.cn, dme AT cs.stir.ac.uk, dominique.fortin AT inria.fr, doro AT uni-koblenz.de, doron2 AT cs.technion.ac.il, doyle AT lcs.mit.edu, dpigozzi AT iastate.edu, draeger AT informatik.tu-muenchen.de, dran AT cs.albany.edu, drewes AT informatik.uni-bremen.de, dts AT lfcs.edinburgh.ac.uk, dubois AT irit.fr, dwl AT cs.duke.edu, ea AT ira.uka.de, eacsl AT dimi.uniud.it, eas AT cs.mu.oz.au, echahed AT imag.fr, edenney AT mail.arc.nasa.gov, ef AT mpi-sb.mpg.de, ehler AT informatik.tu-muenchen.de, ehrich AT idb.cs.tu-bs.de, eisinger AT informatik.uni-muenchen.de, elomaa AT cs.helsinki.fi, elsa AT gia.ist.utl.pt, elsa AT homer.njit.edu, elsnet-list AT elsnet.org, elvira AT sip.ucm.es, emc+ AT cs.cmu.edu, engeler AT math.ethz.ch, enno AT techfak.uni-bielefeld.de, enrico AT dist.unige.it, epontell AT cs.nmsu.edu, erisa AT ida.liu.se, ertel AT fbe.fh-weingarten.de, ertel AT fh-weingarten.de, esterlin AT ncat.edu, ether AT cs.uoregon.edu, fabien.campillo AT inria.fr, fabien.campillo AT sophia.inria.fr, fagin AT almaden.ibm.com, fahmyh AT csri.toronto.edu, farinas AT irit.fr, farn AT iis.sinica.edu.tw, fausto AT irst.itc.it, fehr AT inf.fu-berlin.de, felix AT labri.u-bordeaux.fr, ferrand AT univ-rennes1.fr, fg-db AT informatik.uni-rostock.de, finite-model-theory AT lists.RWTH-Aachen.DE, fisch AT email.arc.nasa.gov, fitting AT alpha.lehman.cuny.edu, fleck AT cs.uiowa.edu, fmadha AT uni-paderborn.de, fokkinga AT cs.utwente.nl, fom AT cs.nyu.edu, foret AT irisa.fr, formal-methods AT cs.uidaho.edu, fotfs AT math.uni-bonn.de, fp+ AT cs.cmu.edu, fp AT cs.cmu.edu, frank.piessens AT cs.kuleuven.ac.be, fronhoef AT informatik.tu-muenchen.de, fruehwir AT informatik.uni-muenchen.de, ftp-ws-community AT mpi-sb.mpg.de, g.b.keene AT exeter.ac.uk, gadducci AT di.unipi.it, gaines AT cpsc.ucalgary.ca, galmiche AT loria.fr, garland AT lcs.mit.edu, gaudel AT lri.fr, gazette AT sfs.nphil.uni-tuebingen.de, gbergman AT cartan.berkeley.edu, gbergman AT math.berkeley.edu, gdlxn AT us.ibm.com, gehne AT mathematik.hu-berlin.de, geib AT lifl.fr, geoff AT cs.miami.edu, gerard.ferrand AT lifo.univ-orleans.fr, gerard.huet AT inria.fr, ges AT labri.u-bordeaux.fr, ghelli AT di.unipi.it, giesl AT informatik.rwth-aachen.de, gimac AT ctima.uma.es, glesner AT ipd.info.uni-karlsruhe.de, glp AT first.gmd.de, gnaedig AT loria.fr, goldberg AT kestrel.edu, gomez AT lsi.upc.es, gopalan AT cs.umn.edu, gpl AT fct.unl.pt, gqpan AT cs.rice.edu, graduiertenkolleg-infos AT ims.uni-stuttgart.de, gragra AT i3.informatik.rwth-aachen.de, graham AT cs.newcastle.edu.au, greeneg AT cs.unc.edu, gri AT informatik.uni-rostock.de, griffaul AT labri.u-bordeaux.fr, guestx AT cs.uni-bonn.de, gulwani AT cs.berkeley.edu, guo AT cs.albany.edu, gurres AT informatik.uni-kl.de, guttag AT larch.lcs.mit.edu, guttman AT mitre.org, h1468sai AT ella.hu, h1469nem AT ella.hu, h2644and AT ella.hu, haehnle AT ira.uka.de, harald AT cs.mu.oz.au, harao AT ai.kyutech.ac.jp, harrison AT mitre.org, hasegawa AT ar.is.kyushu-u.ac.jp, haskell AT haskell.org, hassmann AT informatik.tu-muenchen.de, hausen AT gmd.de, heisel AT cs.tu-berlin.de, helene.kirchner AT loria.fr, helge.dyvik AT lili.uib.no, hendler AT cs.umd.edu, henglein AT diku.dk, hensm AT essex.ac.uk, herzig AT irit.fr, hillen AT mpi-sb.mpg.de, hinterbe AT inf.ethz.ch, hirata AT ai.kyutech.ac.jp, hjb AT dfki.uni-sb.de, hol-info AT lists.sourceforge.net, honig AT mathematik.hu-berlin.de, hoos AT cs.ubc.ca, horrocks AT cs.man.ac.uk, howe AT scs.carleton.ca, hschuetz AT informatik.uni-muenchen.de, hsiang AT csie.ntu.edu.tw, hsiang AT sbcs.sunysb.edu, huang AT cs.uni-sb.de, hubert.comon AT lsv.ens-cachan.fr, humanist AT lists.Princeton.EDU, hunt AT cs.utexas.edu, hutter AT dfki.uni-sb.de, hzhang AT cs.uiowa.edu, ian AT cs.unt.edu, ida AT softlab.is.tsukuba.ac.jp, ifmsig AT cs.tcd.ie, ihatz AT ceid.upatras.gr, ilkka.niemela AT hut.fi, imps AT linus.mitre.org, infi AT mpi-sb.mpg.de, info-hol AT cs.uidaho.edu, info AT folli.org, ini AT invariant.tcs.hut.fi, inoue AT icot.or.jp, institutnicod-diffusion AT ens.fr, isabelle-users AT cl.cam.ac.uk, isabelle.gnaedig AT loria.fr, israel AT ai.sri.com, it-announce AT cs.usyd.edu.au, j.gow AT ucl.ac.uk, j.w.klop AT cwi.nl, jackson AT cs.cornell.edu, jacquet AT imag.fr, jaeger AT iam.unibe.ch, jah AT cs.rmit.edu.au, jan AT tcs.inf.tu-dresden.de, jankuper AT cs.utwente.nl, jb AT kahuna.math.hawaii.edu, jbos AT cogsci.ed.ac.uk, jcarlos AT dsic.upv.es, jcb AT inf.rl.ac.uk, jcleary AT waikato.ac.nz, jcm AT cs.stanford.edu, jdf AT inf.ed.ac.uk, jdh AT unb.ca, jean AT central.cis.upenn.edu, jean AT saul.cis.upenn.edu, jeannette.wing AT cs.cmu.edu, jech AT math.psu.edu, jeff AT kestrel.edu, jeffpell AT sfu.ca, jeotten AT informatik.tu-darmstadt.de, jeremy AT web.rsise.anu.edu.au, jessen AT informatik.tu-muenchen.de, jesusvalle1 AT supercable.es, jfield AT watson.ibm.com, jhappe AT cs.sfu.ca, jianhua AT csc.lsu.edu, jlammeri AT cs.utwente.nl, jluc AT gyptis.univ-mrs.fr, jma AT ii.uni.wroc.pl, jmg AT informatik.uni-kl.de, jml AT cs.iastate.edu, jnc AT cs.monash.edu.au, jocelyne.rouyer AT loria.fr, joe.hurd AT cl.cam.ac.uk, joelle.despeyroux AT inria.fr, joelle.despeyroux AT sophia.inria.fr, johan.alfredsson AT safelogic.se, john.harrison AT cl.cam.ac.uk, john.slaney AT web.rsise.anu.edu.au, johnh AT ichips.intel.com, johnm AT cse.ogi.edu, jonas AT csd.uu.se, josb AT win.tue.nl, joseph AT cs.wisc.edu, josko AT cs.huji.ac.il, jpff AT maths.bath.ac.uk, jquemada AT dit.upm.es, jrk AT sys.uea.ac.uk, jrwg AT sys.uea.ac.uk, jt AT linus.mitre.org, juergen AT mpi-sb.mpg.de, jukpa AT ida.liu.se, julian AT cs.ualberta.ca, jvp AT doc.ic.ac.uk, jwk AT cwi.nl, jwl AT cs.bris.ac.uk, jzimmer AT ags.uni-sb.de, kab AT math.ucla.edu, k.abdali AT acm.org, kaeufl AT ira.uka.de, kamiya AT cs.ucsc.edu, kapur AT cs.albany.edu, kapur AT cs.unm.edu, karonis AT niu.edu, kathy AT larch.lcs.mit.edu, kaufmann AT cs.utexas.edu, kautz AT cs.washington.edu, kb AT doc.ic.ac.uk, kbcsl AT uni-paderborn.de, kd AT cs.tu-berlin.de, keulen AT cs.utwente.nl, kfoury AT cs.bu.edu, kgs AT logic.at, khkwon AT kuic.kyonggi.ac.kr, ki-inf AT uni-koblenz.de, ki AT nii.ac.jp, kiehn AT informatik.tu-muenchen.de, klbecker AT informatik.uni-kl.de, koen AT cs.chalmers.se, kohlhase AT cs.uni-sb.de, kolaitis AT cse.ucsc.edu, koller AT coli.uni-sb.de, konolige AT ai.sri.com, korovin AT mpi-sb.mpg.de, koshi AT ar.is.kyushu-u.ac.jp, koshi AT icot.or.jp, kostis AT it.uu.se, koza AT sunburn.stanford.edu, kozen AT cs.cornell.edu, kr AT kr.org, kreitz AT cs.cornell.edu, kreo AT informatik.uni-bremen.de, krr-actions AT irst.itc.it, krstic AT cse.ogi.edu, kucherov AT loria.fr, kuechlin AT informatik.uni-tuebingen.de, kundu AT csc.lsu.edu, kunen AT cs.wisc.edu, lager AT ling.gu.se, lane AT cs.rochester.edu, larry.paulson AT cl.cam.ac.uk, lassaign AT logique.jussieu.fr, lassaigne AT logique.jussieu.fr, latteux AT lifl.fr, laurence AT gyptis.univ-mrs.fr, laurent.kott AT inria.fr, laurent.thery AT cl.cam.ac.uk, lburkhdl AT unixg.ubc.ca, leesj AT ee.nsysu.edu.tw, leitsch AT logic.tuwien.ac.at, leivant AT cs.cmu.edu, leivant AT cs.indiana.edu, lengauer AT fmi.uni-passau.de, leo AT mpi-sb.mpg.de, leo AT cs.sunysb.edu, leo AT sbcs.sunysb.edu, lepine AT labri.u-bordeaux.fr, lesaec AT labri.u-bordeaux.fr, letz AT informatik.tu-muenchen.de, leustean AT email.arc.nasa.gov, levi AT di.unipi.it, levy AT imag.fr, lfcs-interest AT dcs.ed.ac.uk, lfg AT lists.stanford.edu, liardet AT gyptis.univ-mrs.fr, als+lics-request AT inf.ed.ac.uk, lidawang AT cs.albany.edu, lilia AT macs.hw.ac.uk, limet AT lifo.univ-orleans.fr, lincoln AT csl.sri.com, lindsay AT comp.vuw.ac.nz, cling AT csd.uwo.ca, linguist AT listserv.linguistlist.org, linpa AT cs.rmit.edu.au, linpa AT ida.liu.se, list AT ProofTheory.org, lmp AT fct.unl.pt, loechner AT informatik.uni-kl.de, logic-announce AT uclink4.berkeley.edu, logic-list AT Helsinki.FI, logic AT cs.stanford.edu, loginf AT lat.inf.tu-dresden.de, loic.pottier AT sophia.inria.fr, loom-forum AT isi.edu, lot AT let.uu.nl, lozinski AT cs.huji.ac.il, lpnmr AT cs.engr.uky.edu, lprolog AT cs.umn.edu, luc.maranget AT inria.fr, lucas.dixon AT ed.ac.uk, luigi AT csi.uottawa.ca, luis AT dcs.st-andrews.ac.uk, lusk AT mcs.anl.gov, lutz AT tcs.inf.tu-dresden.de, m.bunder AT uow.edu.au, mab AT cs.chalmers.se, maddux AT iastate.edu, madlener AT informatik.uni-kl.de, manna AT cs.stanford.edu, manolios AT cc.gatech.edu, marc.bezem AT phil.uu.nl, marche AT lri.fr, marek AT cs.uni-bonn.de, marek AT informatik.uni-bonn.de, marek AT ms.uky.edu, maria AT cs.uq.oz.au, mariapaola.bonacina AT univr.it, maris.ozols AT dsto.defence.gov.au, marriott AT cs.monash.edu.au, martin AT safelogic.se, martym AT cs.utexas.edu, masao AT cs.meiji.ac.jp, mashadeo AT miami.edu, massacci AT dis.uniroma1.it, mathieu AT lifl.fr, matt AT dcs.shef.ac.uk, matthias.fuchs AT sap.com, maurice.bruynooghe AT cs.kuleuven.ac.be, max AT hilbert.math.unipd.it, mayr AT informatik.tu-muenchen.de, mcallester AT autoreason.com, mcallester AT tti-c.org, mccune AT mcs.anl.gov, mcdowell AT kzoo.edu, mcg AT lri.fr, mclee AT cs.cuhk.hk, mcn AT cs.anu.edu.au, mcphee AT cda.mrs.umn.edu, meadows AT itd.nrl.navy.mil, mehta AT in.tum.de, members AT fmeurope.org, menzel AT ira.uka.de, mercury-users AT cs.mu.oz.au, merialdo AT eurecom.fr, merrill AT cs.swarthmore.edu, meseguer AT cs.uiuc.edu, metaprl AT metaprl.org, meyer AT lcs.mit.edu, meyer AT mpi-sb.mpg.de, meyer AT theory.lcs.mit.edu, mf AT lri.fr, mfagan AT rice.edu, mfinger AT ime.usp.br, michael.rusinowitch AT loria.fr, michael AT cs.man.ac.uk, miculan AT dimi.uniud.it, minker AT cs.umd.edu, mints AT cs.stanford.edu, mit AT janeway.inf.tu-dresden.de, mizar-forum AT mizar.uwb.edu.pl, mkant AT cs.cmu.edu, mn AT cl.cam.ac.uk, mok AT cs.utexas.edu, monk AT boulder.colorado.edu, moraga AT jupiter.informatik.uni-dortmund.de, mowgli-dev AT cs.unibo.it, mrg AT itc.it, mrs AT sys.uea.ac.uk, ms AT info.ucl.ac.be, msf AT cs.cmu.edu, muller AT cs.bu.edu, musser AT cs.rpi.edu, nachum AT cs.uiuc.edu, nachum AT cs.uiuc.edu, nachum AT wisdom.weizmann.ac.il, nachum AT wisdom.weizmann.ac.il, nancyr AT ai.rl.af.mil, neil AT diku.dk, newborn AT cs.mcgill.ca, ng AT cs.byu.edu, nguyen AT mimuw.edu.pl, nickc AT dcs.st-and.ac.uk, niehren AT ps.uni-sb.de, nik AT cs.chalmers.se, nikolaj AT cs.stanford.edu, nipkow AT informatik.tu-muenchen.de, nivela AT lsi.upc.es, nivelle AT mpi-sb.mpg.de, nl-kr AT cs.rochester.edu, nlp-ia AT bosoleil.ci.umoncton.ca, norman AT cse.unsw.edu.au, nvm AT cs.albany.edu, odonnell AT cs.uchicago.edu, oheimb AT informatik.tu-muenchen.de, ohsuga AT icot.or.jp, ola AT cs.duke.edu, olaf AT ifi.uio.no, olav.lysne AT ifi.uio.no, olav AT ifi.uio.no, olavly AT ifi.uio.no, olejohan AT ifi.uio.no, oliva AT coli.uni-sb.de, oliveras AT lsi.upc.edu, om-announce AT openmath.org, orejas AT lsi.upc.es, otto AT theory.informatik.uni-kassel.de, overbeek AT mcs.anl.gov, owre AT csl.sri.com, p.c.callaghan AT durham.ac.uk, paakki AT cs.helsinki.fi, padman AT ccu.umanitoba.ca, pallo AT u-bourgogne.fr, paolamendez AT hotmail.com, paolo AT di.unipi.it, pardo AT fing.edu.uy, pase AT canada.com, pastre AT math-info.univ-paris5.fr, patdo AT ida.liu.se, patrick AT aplog.org, paudenae AT cage.rug.ac.be, paul.klint AT cwi.nl, paulk AT cwi.nl, pb AT fct.unl.pt, pell AT cui.unige.ch, peltier AT imag.fr, penguists AT BABEL.ling.upenn.edu, penguists AT BABEL.ling.upenn.edu, perlis AT cs.umd.edu, perrier AT loria.fr, peter AT www.uni-koblenz.de, peter AT uran.informatik.uni-bonn.de, peterb AT dcs.qmw.ac.uk, petrinet AT informatik.uni-hamburg.de, pharoun AT cs.mcgill.ca, phayes AT ihmc.us, piazza AT dimi.uniud.it, pierre.lescanne AT ens-lyon.fr, pierre.rety AT lifo.univ-orleans.fr, pimvdb AT cs.utwente.nl, piotr AT cs.ualberta.ca, pirotte AT info.ucl.ac.be, pjmartin AT sip.ucm.es, pjr AT cs.uq.edu.au, plaisted AT cs.unc.edu, policrit AT dimi.uniud.it, pollack AT cs.chalmers.se, pollock AT arizona.edu, portinal AT di.unito.it, pottier AT mirsa.inria.fr, prakash.countcham AT imag.fr, prakash AT cs.mcgill.ca, prehofer AT informatik.tu-muenchen.de, preining AT logic.at, procos-request AT jiscmail.ac.uk, prog-lang AT diku.dk, prohlep AT dcs.st-andrews.ac.uk, prolog-vendors AT sics.se, pschmitt AT ira.uka.de, puel AT lri.fr, puml-list AT cs.york.ac.uk, pvh AT cs.brown.edu, pvs AT csl.sri.com, qian AT informatik.uni-bremen.de, qphysics AT aber.ac.uk, quaife AT math.berkeley.edu, quintus-users AT sics.se, r.girle AT auckland.ac.nz, rackow AT mcs.anl.gov, rak AT doc.ic.ac.uk, ralph AT dedekind.math.hawaii.edu, ralphw AT cs.umr.edu, ram AT cs.sunysb.edu, ram AT sbcs.sunysb.edu, rao AT cs.odu.edu, rao AT ocelot.cs.odu.edu, raoul.vorch AT irisa.fr, rap AT dcs.ed.ac.uk, raulm AT itesm.mx, rbanerji AT betelgeuse.sju.edu, rc AT cs.cornell.edu, rcs AT cs.arizona.edu, rd AT dcs.st-andrews.ac.uk, rdv AT cs.vu.nl, regis AT ktl.mii.lt, reif AT informatik.uni-augsburg.de, reiner AT cs.chalmers.se, renate.schmidt AT manchester.ac.uk, rewriting AT ens-lyon.fr, rewriting AT ls5.informatik.uni-dortmund.de, richard AT cit.gu.edu.au, richards AT marlin.nosc.mil, riche AT cs.kuleuven.ac.be, risc AT idf.ext.jussieu.fr, rivero AT lsi.upc.es, rjb AT cl.cam.ac.uk, rjc AT doc.ic.ac.uk, rkm AT web.rsise.anu.edu.au, rlc AT cs.utexas.edu, rmccasla AT inf.ed.ac.uk, rmverma AT cs.uh.edu, robert AT lsi.upc.es, roberto AT lsi.upc.es, robin AT cpsc.ucalgary.ca, rodman AT celestial-switchboard.csc.ncsu.edu, rosati AT dis.uniroma1.it, rotolo AT cirfid.unibo.it, roughset AT cs.uregina.ca, rouyer AT loria.fr, royer AT onera.fr, rseba AT dit.unitn.it, rubio AT lsi.upc.es, rushby AT csl.sri.com, rusi AT loria.fr, rvg AT cs.stanford.edu, rwt AT cit.gu.edu.au, saitta AT di.unito.it, salle AT irit.fr, salt AT essex.ac.uk, salzer AT logic.at, sanik AT cs.unm.edu, sanjiv AT arch.umsl.edu, sarit AT umiacs.umd.edu, sattar AT cit.gu.edu.au, sattler AT informatik.uni-kl.de, saxena AT cs.albany.edu, schauss AT cs.uni-frankfurt.de, schauss AT informatik.uni-frankfurt.de, scherl AT homer.njit.edu, schmidt AT cs.man.ac.uk, schmidt AT informatik.uni-kl.de, schmolze AT cs.tufts.edu, schubert AT cs.rochester.edu, schulz AT eprover.org, schulz AT informatik.tu-muenchen.de, schumann AT ptolemy.arc.nasa.gov, schwicht AT rz.mathematik.uni-muenchen.de, seanb AT cs.man.ac.uk, sekar AT cs.iastate.edu, selman AT cs.cornell.edu, semantik AT rz.uni-duesseldorf.de, senseval-discuss AT listserv.hum.gu.se, sep AT phil.ufl.edu, serge.abiteboul AT inria.fr, seworld AT cs.colorado.edu, sgc AT doc.ic.ac.uk, sguthery AT rcn.com, sh AT inf.tu-dresden.de, shankar AT csl.sri.com, shashafeng AT hotmail.com, shi AT informatik.uni-bremen.de, shirai AT icot.or.jp, sicstus-users AT sics.se, siekmann AT dfki.uni-sb.de, sigparse-list AT cs.cmu.edu, sigparse AT cs.cmu.edu, siksleden AT cs.ruu.nl, simon AT lri.fr, siva.anantharaman AT lifo.univ-orleans.fr, sjt AT ukc.ac.uk, slagle AT cs.umn.edu, smith AT cs.chalmers.se, snyder AT cs.bu.edu, softtech AT cs.uu.nl, sonja.pieper AT delusions.de, sopena AT labri.u-bordeaux.fr, soumen AT cs.berkeley.edu, spin_list AT research.bell-labs.com, stan AT csi.uottawa.ca, staples AT cs.uq.oz.au, stemple AT cs.umass.edu, stenzg AT informatik.tu-muenchen.de, step AT labe.felk.cvut.cz, stephan AT dfki.uni-sb.de, stevens AT mcs.anl.gov, stickel AT ai.sri.com, stokes AT prodigal.murdoch.edu.au, stott AT cs.ucla.edu, stp AT dcs.gla.ac.uk, stump AT cse.wustl.edu, subu AT cs.albany.edu, sudhindr AT cs.utah.edu, sufrin AT comlab.ox.ac.uk, sunil.issar AT cs.cmu.edu, susmit AT cs.cmu.edu, sv AT mpi-sb.mpg.de, sverker AT sics.se, szabolcs AT dcs.bbk.ac.uk, tajine AT dpt-info.u-strasbg.fr, talman AT csd.uu.se, tammet AT staff.ttu.ee, taro AT score.is.tsukuba.ac.jp, taylor AT ai.sri.com, tendera AT math.uni.opole.pl, teodor AT cs.ucr.edu, terenz AT pianeta.di.unito.it, theorem-provers AT ai.mit.edu, theory-a AT LISTSERV.NODAK.EDU, theory-logic AT cs.cmu.edu, theorynt AT LISTSERV.NODAK.EDU, thinrich AT cs.stanford.edu, thomas AT cs.ruu.nl, tim.geisler AT informatik.uni-muenchen.de, timm AT cse.unsw.edu.au, tinelli AT cs.uiowa.edu, tison AT lifl.fr, tiwari AT csl.sri.com, tjunttil AT tcs.hut.fi, tobias.nipkow AT informatik.tu-muenchen.de, tom.mitchell AT cmu.edu, tournier AT imag.fr, trs AT etl.go.jp, trybulec AT math.uwb.edu.pl, tsang AT cs.uwa.edu.au, tsudkamp AT cs.wright.edu, turhan AT tcs.inf.tu-dresden.de, tw AT 4c.ucc.ie, types AT cis.upenn.edu, tyson AT ai.sri.com, u.hustadt AT csc.liv.ac.uk, ugo.moscato AT unimib.it, ugo AT di.unipi.it, uil-ots AT let.uu.nl, ul AT informatik.uni-hannover.de, uli AT www.uni-koblenz.de, uli AT uni-koblenz.de, unification AT sics.se, ura-list AT Helsinki.FI, urban AT ktilinux.ms.mff.cuni.cz, urban AT ktilinux.ms.mff.cuni.cz, uribe AT cs.stanford.edu, urquhart AT cs.toronto.edu, users AT mozart-oz.org, uwe AT kr.tuwien.ac.at, uwe AT mpi-sb.mpg.de, val AT saul.cis.upenn.edu, valerie.fraysse AT cerfacs.fr, vallejo AT lsi.upc.es, vardi AT cs.rice.edu, veena AT lee.cs.miami.edu, veire AT ags.uni-sb.de, veloso AT inf.puc-rio.br, venturin AT dsi.uniroma1.it, verjus AT imag.imag.fr, veroff AT cs.unm.edu, vigneron AT loria.fr, vki-list AT dfki.de, vl AT cs.utexas.edu, voronkov AT cs.man.ac.uk, vroon AT cc.gatech.edu, vs AT cs.umd.edu, vwinter AT mail.unomaha.edu, wachter AT itd.nrl.navy.mil, wadoud.bousdira AT lifo.univ-orleans.fr, waldinger AT ai.sri.com, waldinger AT cs.stanford.edu, wandermind AT centrum.cz, warren AT sbcs.sunysb.edu, weidenb AT mpi-sb.mpg.de, weinfeld AT lix.polytechnique.fr, wernhard AT mathematik.hu-berlin.de, wgehrke AT inf.uniroma3.it, wirsing AT informatik.uni-muenchen.de, wmfarmer AT mcmaster.ca, wneitz AT informatik.uni-leipzig.de, wong AT cs.uregina.ca, wos AT mcs.anl.gov, ws15+ AT andrew.cmu.edu, wsdwnb AT win.tue.nl, wtwu AT mmrc.iss.ac.cn, wwc AT cs.ucla.edu, yakowenk AT cs.unc.edu, yamada AT dumbo.ai.kyutech.ac.jp, yde AT info.ucl.ac.be, yelick AT cs.berkeley.edu, yigao AT lee.cs.miami.edu, yk AT lri.fr, yonezaki AT cs.titech.ac.jp, yoonsc AT cs.widener.edu, york AT cs.pdx.edu, yoshiura AT noc.titech.ac.jp, you AT cs.ualberta.ca, yuan AT cs.ualberta.ca, zbigniew AT cs.yorku.ca, zeckzer AT informatik.uni-kl.de, zforum AT prg.ox.ac.uk, zicari AT informatik.uni-frankfurt.de, ziyad.hanna AT intel.com, zj AT ios.ac.cn, zm AT theory.stanford.edu, zoe AT logique.jussieu.fr, zurab AT sys.uea.ac.uk, zwang26 AT cs.mcgill.ca, zwiers AT cs.utwente.nl, mark.turner AT case.edu, event AT in.tu-clausthal.de, amadio AT pps.jussieu.fr, tball AT microsoft.com, eiter AT kr.tuwien.ac.at, gottlob AT dbai.tuwien.ac.at, ggottlob AT gmail.com, herme AT cs.unm.edu, herme AT ece.unm.edu, herme AT fi.upm.es, libkin AT cs.toronto.edu, lugiez AT cmi.univ-mrs.fr, marx AT science.uva.nl, mcallester AT tti-c.org, roberto AT lsi.upc.es, sriram AT microsoft.com, andrei AT cs.chalmers.se, tinelli AT cs.uiowa.edu, vardi AT cs.rice.edu, alpuente AT dsic.upv.es, baader AT tcs.inf.tu-dresden.de, baaz AT logic.at, chris AT ags.uni-sb.de, koen AT cs.chalmers.se, esparza AT informatik.uni-stuttgart.de, fisch AT email.arc.nasa.gov, giesl AT informatik.rwth-aachen.de, goubault AT lsv.ens-cachan.fr, graedel AT informatik.rwth-aachen.de, ziyad.hanna AT intel.com, brahim AT 4c.ucc.ie, horrocks AT cs.man.ac.uk, vkuncak AT mit.edu, orna AT cs.huji.ac.il, clynch AT clarkson.edu, dale AT lix.polytechnique.fr, necula AT cs.berkeley.edu, joachim.niehren AT inria.fr, Luke.Ong AT comlab.ox.ac.uk, catuscia AT lix.polytechnique.fr, parigot AT logique.jussieu.fr, parigot AT pps.jussieu.fr, fp AT cs.cmu.edu, pichler AT dbai.tuwien.ac.at, rusi AT loria.fr, msagiv AT acm.org, msagiv AT tau.ac.il, salzer AT logic.at, scharffc AT gmail.com, cscharff AT pace.edu, sopheap.seng AT gmail.com, sopheap.seng AT itc.edu.kh, geoff AT cs.miami.edu, tison AT lifl.fr, pvh AT cs.brown.edu, margus AT microsoft.com
- Subject: [Coq-Club]3rd CFP LPAR 2006, Phnom Penh, SUBMISSION IS OPEN NOW
- Date: Mon, 13 Mar 2006 15:32:45 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
[Apologies for multiple copies and crossposting]
==========================================================================
LPAR-13 Phnom Penh, Cambodia
http://www.lix.polytechnique.fr/~hermann/LPAR2006/ 13th-17th November 2006
2nd Call For Papers
The 13th International Conference on Logic for Programming Artificial
Intelligence and Reasoning (LPAR-13) will be held 13th-17th November 2006,
at the Hotel Cambodiana, Phnom Penh, Cambodia. Submission of papers for
presentation at the conference is now invited. Topics of interest include:
+ automated reasoning + propositional reasoning
+ interactive theorem proving + description logics
+ software verification + hardware verification
+ software testing + logic and ontologies
+ proof assistants + network and protocol verification
+ proof planning + nonmonotonic reasoning
+ proof checking + constructive logic and type theory
+ rewriting and unification + lambda and combinatory calculi
+ logic programming + knowledge representation and
reasoning
+ modal and temporal logics + constraint programming
+ systems specification and synthesis + logical foundations of programming
+ model checking + computational interpretations of
logic
+ proof-carrying code + logic and computational complexity
+ logic and databases + logic in artificial intelligence
+ reasoning for the semantic web + reasoning about actions
Full and short papers are welcome. Full papers may be either regular
papers containing new results, or experimental papers describing
implementations or evaluations of systems. Short papers may describe work
in progress or provide system descriptions. Submitted papers must be
original, and not submitted concurrently to a journal or another
conference.
The full paper proceedings of LPAR-13 will be published by Springer-Verlag
in the LNAI series. Authors of accepted full papers will be required to
sign a form transferring copyright of their contribution to Springer-Verlag.
The short paper proceedings of LPAR-13 will be published by the conference.
Program Committee
-----------------
María Alpuente Technical University of Valencia
Franz Baader Technische Universität Dresden
Matthias Baaz Vienna University of Technology
Christoph Benzmüller Universität des Saarlandes
Koen Claessen Chalmers University of Technology
Javier Esparza University of Stuttgart
Berndt Fischer University of Southampton
Jürgen Giesl RWTH Aachen
Jean Goubault-Larrecq ENS Cachan
Erich Grädel Aachen University of Technology
Ziyad Hanna Intel
Pascal van Hentenryck Brown University
Miki Hermann CNRS and École Polytechnique
Brahim Hnich University College Cork
Ian Horrocks, University of Manchester
Viktor Kuncak MIT
Orna Kupferman Hebrew University
Christopher Lynch Clarkson University
Dale Miller INRIA Futurs and École Polytechnique
George Necula UC Berkeley
Joachim Niehren LIFL and INRIA Futurs
Luke Ong Oxford University
Catuscia Palamidessi LIX and INRIA Futurs
Michel Parigot PPS and CNRS
Frank Pfenning Carnegie Mellon University
Reinhard Pichler Vienna University of Technology
Michael Rusinowitch LORIA and INRIA-Lorraine
Mooly Sagiv Tel-Aviv University
Gernot Salzer Vienna University of Technology
Christelle Scharff Pace University
Sopheap Seng ITC Phnom Penh
Geoff Sutcliffe University of Miami
Sophie Tison LIFL and Université de Lille
Margus Veanes Microsoft Research
Andrei Voronkov University of Manchester and Microsoft Research
Submission Instructions
-----------------------
Papers must be prepared using the Springer-Verlag instructions for authors
(http://www.springer.de/comp/lncs/authors.html). Papers may be up to 15
pages. If proofs do not fit in 15 pages, an appendix with proofs may be
added. Short papers may be up to 5 pages. Papers must be submitted in plain
postscript or PDF format, through the online submission system
(http://www.easychair.org/LPAR06/).
Dates and Deadlines:
+ Submission of full paper abstracts 2nd May
+ Submission of full papers 9th May
+ Notification of acceptance of full papers 10th July
+ Camera ready versions of full papers due 5th September
+ Submission of short papers 28th August
+ Notification of acceptance of short papers 11th September
+ Camera ready versions of short papers due 25th September
Questions related to submission may be sent to the program chairs, Miki
Hermann and Andrei Voronkov.
--------------------------------------------------------------------------
Cambodia ... Land of LPAR and Pagodas
--------------------------------------------------------------------------
- [Coq-Club]3rd CFP LPAR 2006, Phnom Penh, SUBMISSION IS OPEN NOW, Miki Hermann
Archive powered by MhonArc 2.6.16.