coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation NIW (M4M-3, DLD, ICoS-4)

From: Methods for Modalities <m4m AT science.uva.nl>
To: areces AT loria.fr
Cc: a.bundy AT ed.ac.uk, a.dawar AT swansea.ac.uk, a.smaill AT ed.ac.uk, aa AT math.tau.ac.il, aac AT csli.stanford.edu, aarts AT let.uu.nl, aayesh AT dmu.ac.uk, abdiche AT lri.fr, abhaya AT cse.unsw.edu.au, abir AT lipn.univ-paris13.fr, acclaim AT sics.se, acl2 AT cs.utexas.edu, acl AT cs.columbia.edu, acl AT opus.cs.columbia.edu, acl AT research.att.com, acs AT math.ist.utl.pt, adafd AT icnucevm.bitnet, adam.cichon AT loria.fr, adam AT casaccia.enea.it, adam AT cs.concordia.ca, adel.bouhoula AT loria.fr, aditya AT cs.su.oz.au, adp AT cs.city.ac.uk, adriana AT cs.kun.nl, aerdenhout AT hotmail.com, afrati AT theseas.softlab.ece.ntua.gr, agc AT dcs.leeds.ac.uk, agha AT cs.uiuc.edu, ahn AT kub.nl, ai-ed AT sun.com, aiba AT icot.or.jp, aida AT ktl.mii.lt, aiello AT assi.dis.uniroma1.it, aiellom AT science.uva.nl, aig AT cs.york.ac.uk, aiguier AT lri.fr, aiia AT di.unito.it, ail-l AT austin.onu.edu, aisb AT cogs.sussex.ac.uk, aisb AT cogs.susx.ac.uk, ajayk AT ececs.uc.edu, akkerman AT cs.tudelft.nl, akman AT cs.bilkent.edu.tr, alain.colmerauer AT lim.univ-mrs.fr, alban AT science.uva.nl, albert AT cs.rug.nl, albert AT hum.uva.nl, albert AT phil.uu.nl, albrecht.schmiedel AT cs.tu-berlin.de, alex AT cogsci.ed.ac.uk, alex AT cs.swarthmore.edu, alex AT first.gmd.de, alexande AT cs.unc.edu, alexander.bockmayr AT mpi-sb.mpg.de, alexander.herold AT med.siemens.de, alfredo AT cs.utep.edu, alj AT csd.uu.se, all AT dfki.uni-sb.de, allgayer AT vnet.ibm.com, alliot AT recherche.enac.fr, aloni AT hum.uva.nl, alouini AT loria.fr, alp-list AT intellektik.informatik.tu-darmstadt.de, alp AT doc.ic.ac.uk, amast AT cs.utwente.nl, amedeo.napoli AT loria.fr, ami AT aviv.isse.gmu.edu, ami AT labri.u-bordeaux.fr, ami AT score.is.tsukuba.ac.jp, ami AT softlab.is.tsukuba.ac.jp, amichel AT gyptis.univ-mrs.fr, amili AT csi.uottawa.ca, amiot AT iml.univ-mrs.fr, amohamed AT loria.fr, amsili AT irit.fr, andler AT poly.polytechnique.fr, andre.trudel AT acadiau.ca, andre AT lri.jur.uva.nl, andreas.nonnengart AT mpi-sb.mpg.de, andrew.stevens AT prg.oxford.ac.uk, andrew AT science.uva.nl, andrews AT cmu.edu, ang AT dag.uni-sb.de, anhai AT cs.uwm.edu, anne.mulkers AT cs.kuleuven.ac.be, anne AT science.uva.nl, annie.kuipers AT wkap.nl, ant AT dcs.ed.ac.uk, antal.vdnbosch AT kub.nl, anton AT cis.uni-muenchen.de, antonis AT turing.cs.ucy.ac.cy, ap AT di.fct.unl.pt, ap AT gmd.de, apes AT cs.strath.ac.uk, apng-all AT apng.org, appiar AT fct.unl.pt, appiar AT laminaria.si.fct.unl.pt, appiar AT ncc.up.pt, apt AT cwi.nl, apt AT ncc.up.pt, arens AT isi.edu, arie AT win.tue.nl, ariola AT cs.uoregon.edu, armando AT dist.unige.it, armelle.demange AT loria.fr, armin AT first.gmd.de, arpanet-bboard AT mc.lcs.mit.edu, artosi AT cirfid.unibo.it, asaffio AT ulb.ac.be, asage AT portal.gmu.edu, aschaerf AT disco1.dis.uniroma1.it, asci AT twi.tudelft.nl, ashted AT saturn.wwc.edu, asl AT math.uiuc.edu, assc2 AT uni-bremen.de, assmann AT prosun.first.gmd.de, ata AT uac.pt, atp AT logic.tuwien.ac.at, atp_alias AT cs.jcu.edu.au, attardi AT di.unipi.it, attilio AT di.unito.it, caterina AT science.uva.nl, catherine.piliere AT loria.fr, cbrink AT ucthpx.uct.ac.za, cbrown AT cs.chalmers.se, cc AT lri.fr, ccaugust AT criba.edu.ar, ccl AT dfki.de, ccl AT dfki.uni-sb.de, cclp.x AT parc.xerox.com, cd7 AT doc.ic.ac.uk, cebly AT cs.ubc.ca, ceick AT cs.uh.edu, charmian AT aol.com, chatalic AT sun8.lri.fr, cheeseman AT pluto.arc.nasa.gov, chen AT cs.cornell.edu, cheng AT cs.few.eur.nl, chirimar AT saul.cis.upenn.edu, chitta AT cs.umd.edu, chitta AT cs.utep.edu, chittaro AT dimi.uniud.it, chomicki AT cis.ksu.edu, choppell AT cs.indiana.edu, chou AT cs.ucla.edu, chou AT cs.uiuc.edu, choyi AT ida.liu.se, chris AT lri.lri.fr, chrisf AT logic.tuwien.ac.at, chrism AT aisb.ed.ac.uk, christen.krogh AT filosofi.uio.no, christof AT science.uva.nl, christoph.schwarze AT uni-konstanz.de, christophe.ringeissen AT loria.fr, christopher.lynch AT loria.fr, chu AT cs.unc.edu, cialdea AT dia.uniroma3.it, ckbs AT cs.keele.ac.uk, ckirchne AT loria.loria.fr, ckoutras AT cc.ece.ntua.gr, cl-adverts AT spock.inf.tu-dresden.de, cl-all AT coli.uni-sb.de, claesen AT imec.be, claude.kirchner AT loria.fr, claudia=maienborn AT rz.hu-berlin.de, cleary AT cpsc.ucalgary.ca, clh AT doc.imperial.ac.uk, clote AT cs.bc.edu, clp AT cis.ohio-state.edu, clp AT comp.nus.edu.sg, clp AT cs.cmu.edu, clp AT iscs.nus.sg, cmh AT cs.purdue.edu, cmjonker AT phil.uu.nl, cok AT kodak.com, colibri AT let.uu.nl, collinsp AT scot.ac.uk, comlab AT comlab.ox.ac.uk, comon AT lri.fr, comp-phon AT cogsci.ed.ac.uk, comprox AT doc.ic.ac.uk, compulog-list AT cwi.nl, compulognet-parimp AT dia.fi.upm.es, compunode AT compulog.org, compunode AT dfki.de, compunode AT ecrc.de, computational.semantics AT kub.nl, concurrency AT cwi.nl, conferences AT iao.fhg.de, consnet-plan AT dcs.rhbnc.ac.uk, constraints-list AT cwi.nl, constraints AT cirl.uoregon.edu, 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, cousineau AT dmi.ens.fr, cpworld AT gmu.edu, cr AT cs.stir.ac.uk, cremanns AT theory.informatik.uni-kassel.de, cs-logic AT cs.indiana.edu, csartori AT deis.unibo.it, csl99org AT ucmail.ucm.es, csl AT dbai.tuwien.ac.at, csp-list AT cert.fr, csp AT carlit.toulouse.inra.fr, cubric AT triples.math.mcgill.ca, curien AT dmi.ens.fr, cwitty AT ai.mit.edu, czylber AT aigle.saclay.cea.fr, d.e.cohen AT maths.qmw.ac.uk, d.j.n.van.eijck AT cwi.nl, d.makinson AT unesco.org, d.pasechnik AT twi.tudelft.nl, dagan AT cs.biu.ac.il, dagostin AT dimi.uniud.it, dai-list AT charlie.ece.scarolina.edu, dai-list AT ece.sc.edu, dale AT linc.cis.upenn.edu, dalip AT ifi.uio.no, dam AT ai.mit.edu, dan AT csli.stanford.edu, dana.scott AT cs.cmu.edu, daniel.briaud AT loria.fr, daniel.leonard AT loria.fr, daniele.turi AT cwi.nl, dannyd AT cs.kuleuven.ac.be, danvy AT pop.cs.cmu.edu, daphne AT cs.stanford.edu, darko.zupanic AT ijs.si, darwiche AT cs.stanford.edu, dataloger AT cs.chalmers.se, dauchet AT lifl.fr, dave.morton AT ecrc.de, david.wolfram AT prg.ox.ac.uk, david AT ux.cs.man.ac.uk, davidw AT cogs.susx.ac.uk, davise AT cs.nyu.edu, dbeneventano AT deis.unibo.it, dbworld AT cs.wisc.edu, dduchier AT csi.uottawa.ca, de2smith AT ptolemy.arc.nasa.gov, dearden AT cs.ubc.ca, deby AT cs.utwente.nl, deduktion AT intellektik.informatik.tu-darmstadt.de, degano AT di.unipi.it, degiacom AT assi.dis.uniroma1.it, degiacomo AT dis.uniroma1.it, dehoop AT let.uu.nl, deiss AT informatik.uni-kl.de, dekker AT hum.uva.nl, delacy AT linguist.umass.edu, delahaye AT lifl.lifl.fr, delia.kesner AT lri.fr, delval AT ai.ii.uam.es, demazure AT poly.polytechnique.fr, demri AT imag.fr, denis.lugiez AT imag.fr, denzinge AT informatik.uni-kl.de, deptling AT uiuc.edu, deruy AT iutsud.u-strasbg.fr, deswart AT let.uu.nl, det AT informatik.uni-bremen.de, devienne AT lifl.fr, dfisher AT vuse.vanderbilt.edu, dg AT dcs.kcl.ac.uk, dhe AT doc.ic.ac.uk, diagrams AT cs.swarthmore.edu, dialcal+ AT pitt.edu, dib AT stanford.edu, dickdj AT science.uva.nl, dicosmo AT pps.jussieu.fr, didier.remy AT inria.fr, dieter AT cs.tu-berlin.de, dignum AT win.tue.nl, dimitris AT hum.uva.nl, dincbas AT cosytec.fr, dinesh AT cwi.nl, dinola AT cds.unina.it, discipl AT inria.fr, dl AT dl.kr.org, dlester AT cs.man.ac.uk, dlm AT research.att.com, dm AT sfs.nphil.uni-tuebingen.de, dma-list AT nic.surfnet.nl, dme AT cs.stir.ac.uk, dnute AT ai.uga.edu, doeko AT cwi.nl, doelling AT rz.uni-leipzig.de, doerr AT inf.fu-berlin.de, doets AT science.uva.nl, domenico AT science.uva.nl, dominique.fortin AT inria.fr, dominique.mery AT loria.fr, donini AT assi.dis.uniroma1.it, dooley AT ernie.berkeley.edu, doro AT mailhost.uni-koblenz.de, doyle AT zermatt.lcs.mit.edu, dpberner AT ccrma.stanford.edu, dpigozzi AT iastate.edu, dpp AT csli.stanford.edu, dreamers AT dai.ed.ac.uk, dtd AT di.unito.it, dts AT lfcs.edinburgh.ac.uk, dubois AT irit.fr, dugat AT cict.fr, dung AT cs.ait.ac.th, dunker AT cs.tu-berlin.de, dvak AT fmi.uni-sofia.bg, dvdalen AT phil.uu.nl, dvmlg AT math.fu-berlin.de, dwiner AT well.com, dwl AT cs.duke.edu, dww AT inf.fu-berlin.de, e.c.w.krabbe AT philos.rug.nl, e.deklerk AT its.tudelft.nl, e.o.de.brock AT bdk.rug.nl, eacsl AT dimi.uniud.it, eapls AT jiscmail.ac.uk, eapls AT mailbase.ac.uk, eastman AT cs.scarolina.edu, eataylor AT ix.netcom.com, echos AT ens.fr, eclipse_users AT ecrc.de, ecoop-info AT ecoop.org, ectl-sub AT snowhite.cis.uoguelph.ca, ede AT adler.ims.uni-stuttgart.de, edmund.clarke AT cs.cmu.edu, ef AT mpi-sb.mpg.de, effie AT ccl.umist.ac.uk, ehaas AT science.uva.nl, ehler AT informatik.tu-muenchen.de, ehooglan AT science.uva.nl, ehrenbur AT cwi.nl, ehrich AT idb.cs.tu-bs.de, elena AT cs.vu.nl, elkan AT cs.ucsd.edu, elomaa AT cs.helsinki.fi, elsa AT research.att.com, elsbeth AT coli.uni-sb.de, elsnet-list AT cogsci.ed.ac.uk, elsnet-list AT let.uu.nl, elsnet AT cogsci.ed.ac.uk, emays AT watson.ibm.com, emc+ AT cs.cmu.edu, emile.aarts AT philips.com, empiricists AT unagi.cis.upenn.edu, emschmidt AT daimi.aau.dk, engdahl AT ling.gu.se, engel AT lri.fr, engeler AT math.ethz.ch, engelfriet AT rulwinw.leidenuniv.nl, enno AT techfak.uni-bielefeld.de, enrico AT dist.unige.it, epontell AT nmsu.edu, er+ AT cs.cmu.edu, eric.domenjoud AT loria.fr, eric.laporte AT univ-reims.fr, eric AT scs.leeds.ac.uk, erik AT philos.rug.nl, erikb AT cs.kun.nl, erikt AT let.rug.nl, erisa AT ida.liu.se, ertel AT icsi.berkeley.edu, ertel AT informatik.tu-muenchen.de, esslli97-users1x AT lipn.univ-paris13.fr, esslli97 AT lipn.univ-paris13.fr, esslli97 AT lipn.univ-paris13.fr, esther.kraak AT let.uu.nl, esther AT ims.uni-stuttgart.de, etalle AT cwi.nl, etch AT proof.stanford.edu, ether AT cirl.uoregon.edu, ether AT cs.uoregon.edu, eugenia AT cs.toronto.edu, eureca AT loria.fr, evelien.bakker AT wkap.nl, exr AT cs.bham.ac.uk, eyala AT cs.stanford.edu, eytan AT dpt-info.u-strasbg.fr, avenhaus AT informatik.uni-kl.de, avert AT cs.utwente.nl, avg AT cs.ucsc.edu, avg AT cwi.nl, awb AT cs.duke.edu, ayeb AT dmi.usherb.ca, ayse AT cs.city.ac.uk, b.knight AT greenwich.ac.uk, baader AT cantor.informatik.rwth-aachen.de, baaz AT logic.tuwien.ac.at, back AT dfki.uni-sb.de, badea AT roearn.ici.ro, bahsoun AT irit.fr, bakel AT di.unito.it, balbiani AT lipn.univ-paris13.fr, balkanski AT limsi.fr, ballarin AT ira.uka.de, balsters AT cs.utwente.nl, banach AT cs.man.ac.uk, bartsch AT hum.uva.nl, bas.luttik AT cwi.nl, basin AT mpi-sb.mpg.de, bauer AT dfki.uni-sb.de, beaudry AT dmi.usherb.ca, becher AT info.unicaen.fr, beckert AT ira.uka.de, beckmann AT ls12sn.informatik.uni-dortmund.de, behavior AT cs.ucsd.edu, beho AT dfki.uni-sb.de, bekl AT mi.ras.ru, bellegar AT cse.ogi.edu, benaissa AT loria.fr, benzal AT studi.informatik.uni-stuttgart.de, beorn AT ic.berkeley.edu, bernd AT cs.uu.nl, bernhard.heinemann AT fernuni-hagen.de, bernhard AT ai.univie.ac.at, berregeb AT loria.fr, berry AT cma.cma.fr, bertino AT disi.unige.it, bertolo AT ai.mit.edu, bertossi AT ing.puc.cl, bethke AT phil.uu.nl, beyer AT cs.tu-berlin.de, bezem AT phil.uu.nl, bhanu AT iitm.ernet.in, bidoit AT dmi.ens.fr, bieker AT ls12sn.informatik.uni-dortmund.de, bill AT computer-science.manchester.ac.uk, bill AT kahuna.math.hawaii.edu, bill AT ora.on.ca, bill_rounds AT umich.edu, billk AT cogs.susx.ac.uk, birte AT cs.tu-berlin.de, bittel AT fh-konstanz.de, biundu AT dfki.uni-sb.de, bjoseph AT ling.ohio-state.edu, bm AT uni-paderborn.de, bob AT cowart.com, bockmayr AT mpi-sb.mpg.de, boddy AT src.honeywell.com, bodeveix AT irit.irit.fr, boerger AT di.unipi.it, bokkie AT uctvms.uct.ac.za, bon AT ccsom.uva.nl, mariapaola.bonacina AT univr.it, bonatti AT di.unito.it, bonnema AT let.uva.nl, book AT math.ucsb.edu, booth AT ma.man.ac.uk, borghoff AT informatik.unibw-muenchen.de, borghoff AT xerox.fr, borgida AT cs.rutgers.edu, borillo AT irit.fr, bos AT coli.uni-sb.de, boudet AT lri.fr, bouquet AT cs.unitn.it, boyer AT cli.com, boyer AT cs.utexas.edu, bra-types AT cs.chalmers.se, brafman AT cs.stanford.edu, brandenb AT fmi.uni-passau.de, bras AT irit.fr, brauer AT informatik.tu-muenchen.de, breiting AT mathematik.uni-marburg.de, bresnan AT csli.stanford.edu, brewka AT informatik.uni-leipzig.de, brian AT dcs.glasgow.ac.uk, brinksma AT cs.utwente.nl, briot AT is.s.u-tokyo.ac.jp, brodsky AT charger.newhaven.edu, brogi AT di.unipi.it, brouwer AT hum.uva.nl, broy AT forsoft.de, broy AT informatik.tu-muenchen.de, bruno.buchberger AT risc.uni-linz.ac.at, bry AT informatik.uni-muenchen.de, brzoska AT ira.uka.de, bsaies AT loria.fr, bt AT doc.ic.ac.uk, bthomas AT mailhost.uni-koblenz.de, buchheit AT dfki.uni-sb.de, buendgen AT informatik.uni-tuebingen.de, buhrman AT cwi.nl, buhrman AT science.uva.nl, bundy AT aisb.ed.ac.uk, bunt AT informatik.uni-wuerzburg.de, burt AT paris.cs.miami.edu, busemann AT dfki.uni-sb.de, buszko AT main.amu.edu.pl, buvac AT cs.stanford.edu, c.dixon AT doc.mmu.ac.uk, c.evans AT open.ac.uk, c.mellish AT ed.ac.uk, c.witteveen AT mailsrv.twi.tudelft.nl, cabalar AT dc.fi.udc.es, cabestre AT irit.irit.fr, cade AT research.att.com, cal AT aero.org, calcagno AT ling.ohio-state.edu, calculemus-ig AT dist.unige.it, calligramme AT loria.fr, calmet AT ira.uka.de, caml-list AT pauillac.inria.fr, carberry AT dewey.udel.edu, carlos AT science.uva.nl, caronc AT lifl.fr, carsten.kindermann AT cs.tu-berlin.de, castilho AT irit.fr, categories AT mta.ca, f97mun73 AT student.ceu.hu, fabien.campillo AT sophia.inria.fr, fabrizio AT iei.pi.cnr.it, facs AT lboro.ac.uk, fages AT margaux.inria.fr, fagin AT almaden.ibm.com, fahmyh AT qucis.queensu.ca, falaschi AT artemide.dei.unipd.it, fanselow AT rz.uni-potsdam.de, fargier AT irit.fr, farid.ajili AT loria.fr, farinas AT irit.fr, farn AT cs.utexas.edu, faucon AT cogsci.ucsd.edu, irst AT uunet.uu.net, fbacchus AT logos.uwaterloo.ca, fegaras AT cs.umass.edu, fehr AT inf.fu-berlin.de, fehrer AT ags.uni-sb.de, felty AT research.att.com, femke AT cwi.nl, ferguson AT cs.rochester.edu, ferjan AT cwi.nl, ferrand AT univ-orleans.fr, fettig AT informatik.uni-kl.de, file AT pdmat1.math.unipd.it, fisch AT ips.cs.tu-bs.de, fj-ai AT etl.go.jp, fjvdavert AT wxs.nl, flach AT kub.nl, fleck AT cs.uiowa.edu, flin AT cs.ust.hk, flprog AT informatik.uni-muenchen.de, fm AT lfcs.ed.ac.uk, fmadha AT uni-paderborn.de, fn AT daimi.aau.dk, fokkinga AT cs.utwente.nl, foli AT inf.ufrgs.br, foret AT irisa.fr, formal-methods AT cs.uidaho.edu, forster AT informatik.uni-stuttgart.de, fp+ AT cs.cmu.edu, fr-sem AT frmug.org, francois.levy AT lipn.univ-paris13.fr, francois.levy AT lipn.univ-paris13.fr, franconi AT irst.itc.it, frank.vaneynde AT ccl.kuleuven.ac.be, frankh AT cs.vu.nl, frankng AT cs.su.oz.au, frans.voorbraak AT phil.uu.nl, frans AT let.rug.nl, fransv AT science.uva.nl, fribourg AT dmi.ens.fr, frisch AT minster.cs.york.ac.uk, fritsv AT cwi.nl, frlital AT cbs.dk, frocos AT loria.fr, fronhoef AT informatik.tu-muenchen.de, fruehwir AT informatik.uni-muenchen.de, fs AT doc.ic.ac.uk, fsdm AT it.uq.edu.au, ftl AT MATH.mit.edu, fuchs AT informatik.uni-kl.de, fuchss AT ira.uka.de, fujiken AT ai.kyutech.ac.jp, fujita AT sys.crl.melco.co.jp, furukawa AT icot.or.jp, futatsugi AT csl.sri.com, futatsugi AT etl.go.jp, gabriella.crocco AT wanadoo.fr, gadducci AT di.unipi.it, gaines AT cpsc.ucalgary.ca, galmiche AT loria.fr, ganzinger AT mpi-sb.mpg.de, gap AT gwdg.de, gardy AT lri.lri.fr, garland AT lcs.mit.edu, gasquet AT irit.fr, gaudel AT lri.fr, gazette AT sfs.nphil.uni-tuebingen.de, gb AT lcmi.ufsc.br, gbergman AT cartan.berkeley.edu, gblanc AT lumimath.univ-mrs.fr, gdp AT dcs.ed.ac.uk, geib AT lifl.fr, genisson AT gyptis.univ-mrs.fr, geoff AT cs.jcu.edu.au, gerard.ferrand AT lifo.univ-orleans.fr, gerard.huet AT inria.fr, gerbrand AT hum.uva.nl, gerhard AT informatik.rwth-aachen.de, ges AT labri.u-bordeaux.fr, geser AT fmi.uni-passau.de, gh AT cs.toronto.edu, ghelli AT di.unipi.it, ghgonnet AT watmum.waterloo.edu, ghoeven AT science.uva.nl, ghogen AT zeus.informatik.rwth-aachen.de, gilleron AT lifl.lifl.fr, giocorsi AT risc.idg.fi.cnr.it, giorgio AT disi.unige.it, giuseppe AT hilbert.math.unipd.it, gj AT ufal.ms.mff.cuni.cz, glokhorst AT fac.fbk.eur.nl, glow AT kub.nl, gnaedig AT loria.fr, gnelson AT src.dec.com, goebel AT informatik.uni-tuebingen.de, goldberg AT kestrel.edu, goldman AT src.honeywell.com, gooday AT scs.leeds.ac.uk, goranko AT rau3.rau.ac.za, gordon AT aic.nrl.navy.mil, gosse AT let.rug.nl, gottwald AT rz.uni-leipzig.de, goualard AT cwi.nl, governat AT cirfid.unibo.it, gpl AT fct.unl.pt, graduiertenkolleg-infos AT ims.uni-stuttgart.de, graham AT cs.newcastle.edu.au, graham AT dcs.qmw.ac.uk, gramlich AT informatik.uni-kl.de, greentrip AT math.sintef.no, grefe AT math.fu-berlin.de, gri AT informatik.uni-rostock.de, grivas AT inf.ethz.ch, grkk-koord AT informatik.uni-hamburg.de, grkk-ueberregional AT informatik.uni-hamburg.de, grl AT cs.rug.nl, groen AT science.uva.nl, groenend AT hum.uva.nl, groenev AT hum.uva.nl, grosof AT watson.ibm.com, gtd AT fct.unl.pt, guarino AT ladseb.pd.cnr.it, gue AT cis.uni-muenchen.de, guestx AT cs.uni-bonn.de, gui AT cs.concordia.ca, gulp AT di.unipi.it, guo AT cs.albany.edu, guttag AT larch.lcs.mit.edu, guttman AT linus.mitre.org, h.c.m.deswart AT kub.nl, h.h.jurjus AT kub.nl, h.ohlbach AT doc.ic.ac.uk, h.r.walters AT cwi.nl, h.vanmaaren AT its.tudelft.nl, h1056ken AT ella.hu, h1468sai AT ella.hu, h1469nem AT ella.hu, h2644and AT ella.hu, haddawy AT cs.uwm.edu, haehnle AT ira.uka.de, hagiya AT is.s.u-tokyo.ac.jp, halpern AT almaden.ibm.com, han.yan AT prg.oxford.ac.uk, hanks AT cs.washington.edu, hans AT tcw2.ppsw.rug.nl, hansz AT cs.uu.nl, hanus AT informatik.rwth-aachen.de, harrison AT mitre.org, hart AT kl.sri.com, hatcher AT mat.ulaval.ca, hausen AT gmd.de, hector AT ai.toronto.edu, heinsohn AT dfki.uni-sb.de, heisel AT cs.tu-berlin.de, hendler AT cs.umd.edu, hendriks AT let.rug.nl, henglein AT diku.dk, henk.j.verkuyl AT let.uu.nl, henk AT cs.kun.nl, henk AT hum.uva.nl, henriette.deswart AT let.uu.nl, henrikl AT ifi.uio.no, henschen AT eecs.nwu.edu, hensm AT essex.ac.uk, herbert AT cs.city.ac.uk, herman.hendriks AT let.uu.nl, herre AT informatik.uni-leipzig.de, hertzberg AT gmd.de, herzig AT irit.fr, hesketh AT ed.ac.uk, heuerd AT iam.unibe.ch, heydrich AT lili.uni-bielefeld.de, hg AT mpi-sb.mpg.de, hhammars AT science.uva.nl, hines AT cs.utexas.edu, hinterbe AT inf.ethz.ch, hisashi AT dcs.qmw.ac.uk, hise-safety-critical AT minster.cs.york.ac.uk, hjb AT dfki.uni-sb.de, hkirchne AT loria.loria.fr, ho1 AT doc.ic.ac.uk, hoeksema AT let.rug.nl, hollenb AT phil.uu.nl, homann AT ira.uka.de, hommel AT cs.tu-berlin.de, hoon.hong AT risc.uni-linz.ac.at, horty AT umiacs.umd.edu, houng AT phil.ccu.edu.tw, howe AT cs.cornell.edu, howe AT research.att.com, hpsg-l AT lists.stanford.edu, hrn AT daimi.aau.dk, hsiang AT csie.ntu.edu.tw, huang AT cs.uni-sb.de, huang AT dcs.qmw.ac.uk, hudson AT cs.utexas.edu, hudson AT d.umn.edu, humanist AT brownvm.brown.edu, hustadt AT mpi-sb.mpg.de, hutter AT dfki.uni-sb.de, i.green AT edinburgh.ac.uk, ia4 AT doc.ic.ac.uk, ian AT cs.unt.edu, ibens AT informatik.tu-muenchen.de, iccp AT doc.ic.ac.uk, idss AT socs.uts.edu.au, iemhoff AT science.uva.nl, ifmsig AT cs.tcd.ie, igpl AT doc.ic.ac.uk, ikbs AT caad.ed.ac.uk, ilies.alouini AT loria.fr, ilkka.niemela AT hut.fi, illc-list AT science.uva.nl, im AT panim.impan.gov.pl, imat9 AT cc.uab.es, imbert AT gia.univ-mrs.fr, img AT ai.edinburgh.ac.uk, imh AT doc.ic.ac.uk, infante AT cs.utwente.nl, infante AT science.uva.nl, infi AT mpi-sb.mpg.de, ingmar AT dds.nl, inoue AT icot.or.jp, ipratt AT cs.man.ac.uk, ir-l AT listserv.ucop.edu, isabelle-users AT cl.cam.ac.uk, isabelle.gnaedig AT loria.fr, israel AT ai.sri.com, israel AT csli.stanford.edu, ito AT ito.ecei.tohoku.ac.jp, ivanserina AT usa.net, iwanuma AT esi.yamanashi.ac.jp, j.berg AT uvm.haifa.ac.il, j.ma AT greenwich.ac.uk, j.th.vanderlinden AT et.tudelft.nl, j.w.klop AT cwi.nl, ja8 AT doc.ic.ac.uk, jaan AT keeks.ioc.ee, jabr AT math.ist.utl.pt, jackson AT cs.cornell.edu, jacma AT ida.liu.se, jaco AT cwi.nl, jaco AT phil.uu.nl, jacob AT science.uva.nl, jacquema AT lri.fr, jacquet AT imag.fr, jaeger AT mpi-sb.mpg.de, jaime.carbonell AT nl.cs.cmu.edu, james AT cs.rochester.edu, jampel AT cs.city.ac.uk, jan.heering AT cwi.nl, jan.komorowski AT idt.unit.no, jan.landsbergen AT let.uu.nl, jan.rutten AT cwi.nl, jan AT cs.uu.nl, janb AT science.uva.nl, janfriso.groote AT cwi.nl, janik AT ufal.ms.mff.cuni.cz, janikow AT RADOM.CS.umsl.edu, janine AT nbn.com, jankuper AT cs.utwente.nl, janplaza AT mthvax.cs.miami.edu, janr AT cwi.nl, janr AT janeway.inf.tu-dresden.de, jans AT phil.uu.nl, janssenw AT cs.utwente.nl, japelc AT ere.umontreal.ca, jason.brown AT comlab.oxford.ac.uk, jaspars AT science.uva.nl, jb AT dcs.qmw.ac.uk, jb AT kahuna.math.hawaii.edu, jc AT i2.com, jcb AT inf.rl.ac.uk, jcc AT inesc.pt, jcm AT cs.stanford.edu, jcmoreno AT dia.ucm.es, jean-yves.marion AT loria.fr, jean AT central.cis.upenn.edu, jeanne AT philos.rug.nl, jeannette.wing AT cs.cmu.edu, jeff AT cs.uni-sb.de, jeng AT cps.msu.edu, jens AT ling.gu.se, jerry AT phil.ccu.edu.tw, jf AT acl.lif.icnet.uk, jfg AT phil.uu.nl, jfield AT watson.ibm.com, jfp AT math.usf.edu, jgw AT mitre.org, jh AT cs.cornell.edu, jianhua AT bit.csc.lsu.edu, jiefei AT cs.uchicago.edu, jipbeanj AT si.ehu.es, jipileca AT si.ehu.es, jj AT cs.kun.nl, jj AT cs.uu.nl, jjq AT cs.tu-berlin.de, jlu AT dcs.ed.ac.uk, jluc AT gyptis.univ-mrs.fr, jmalin AT ems.jsc.nasa.gov, jmc AT cs.stanford.edu, jml AT cs.iastate.edu, jmlago AT dia.ucm.es, jochen.pfalzgraf AT risc.uni-linz.ac.at, jochen AT first.gmd.de, jochen AT ims.uni-stuttgart.de, jock AT ccl.umist.ac.uk, joelle.despeyroux AT sophia.inria.fr, joerg AT hume.informatik.uni-tuebingen.de, joeri AT cs.vu.nl, jofrank AT cs.tu-berlin.de, johan AT science.uva.nl, john.harrison AT cl.cam.ac.uk, john.slaney AT anu.edu.au, john AT cs.keele.ac.uk, jonas AT csd.uu.se, jonathan_salzedo AT compuserve.com, jonsson AT athena.cas.vanderbilt.edu, jorge AT eecs.uic.edu, joris AT science.uva.nl, josb AT win.tue.nl, joseph AT cs.wisc.edu, josko AT cs.huji.ac.il, jouannaud AT lri.fr, joxan AT watson.ibm.com, jpff AT maths.bath.ac.uk, jpinto AT ing.puc.cl, jpiris AT pleiades.upv.es, jpl1 AT doc.ic.ac.uk, jpvbende AT vnet3.vub.ac.be, jpvd AT cs.kun.nl, jpwarner AT utrecht.knoware.nl, jquemada AT dit.upm.es, jrk AT sys.uea.ac.uk, jrt1003 AT cl.cam.ac.uk, js AT doc.ic.ac.uk, jsv AT cs.brown.edu, jt AT mitre.org, juanh AT science.uva.nl, judea AT cs.ucla.edu, juerg.kohlas AT unifr.ch, juergen AT mpi-sb.mpg.de, jukpa AT ida.liu.se, jve AT cwi.nl, jvp AT doc.ic.ac.uk, jwi AT ii.uni.wroc.pl, jwk AT cs.vu.nl, jwl AT cs.bris.ac.uk, jyri.huopaniemi AT hut.fi, k.r.apt AT cwi.nl, kab AT math.ucla.edu, kabanza AT dmi.usherb.ca, kabdali AT nsf.gov, kaeufl AT ira.uka.de, kaldeway AT science.uva.nl, kamps AT ccsom.uva.nl, kanazawa AT cs.ubc.ca, kanazawa AT l.chiba-u.ac.jp, kapur AT cs.albany.edu, kapur AT lcs.mit.edu, karhu AT cs.umu.se, kars AT cs.utwente.nl, kartha AT i2.com, kasper AT ling.ohio-state.edu, kate AT cs.cornell.edu, kathol AT ling.ohio-state.edu, kathol AT socrates.berkeley.edu, kathy AT larch.lcs.mit.edu, kaufmann AT cli.com, kay AT cogsci.berkeley.edu, kay AT parc.xerox.com, kb AT doc.ic.ac.uk, kbach AT mercury.sfsu.edu, kbwee AT cs.indiana.edu, kd AT doc.ic.ac.uk, keesv AT phil.uu.nl, keil AT immd2.informatik.uni-erlangen.de, keller AT csgrad.cs.vt.edu, kempson AT mailbox.ulcc.ac.uk, keplicz AT mimuw.edu.pl, kepser AT cis.uni-muenchen.de, kerber AT cs.uni-sb.de, kerdiles AT hum.uva.nl, kerdiles AT lirmm.fr, kersch AT portal.gmu.edu, kesner AT lri.fr, kessel AT liia.insa-strasbourg.fr, keulen AT cs.utwente.nl, kfoury AT cs.bu.edu, kgs AT dbai.tuwien.ac.at, kgs AT logic.tuwien.ac.at, ki AT informatik.uni-kl.de, kiehn AT informatik.tu-muenchen.de, kim AT sics.se, kistler AT ippi.ac.msk.su, kleijn AT rulwinw.leidenuniv.nl, klein AT dbresearch-berlin.de, klingenb AT ira.uka.de, knoblock AT isi.edu, knoedel AT informatik.uni-leipzig.de, kobsa AT inf-wiss.uni-konstanz.de, koebler AT informatik.uni-ulm.de, koeling AT let.rug.nl, kohlhase AT cs.uni-sb.de, kokichi AT etl.go.jp, kolaitis AT cse.ucsc.edu, konolige AT ai.sri.com, koshi AT icot.or.jp, koza AT sunburn.stanford.edu, kozen AT cs.cornell.edu, kr AT kr.org, kracht AT math.fu-berlin.de, krenn AT coli.uni-sb.de, kreo AT informatik.uni-bremen.de, krister.segerberg AT filosofi.uu.se, kristof AT cs.kuleuven.ac.be, krizanc AT scs.carleton.ca, kronburg AT informatik.uni-kl.de, kropf AT ira.uka.de, krovetz AT research.nj.nec.com, krueger AT dfki.uni-sb.de, kruse AT ibr.cs.tu-bs.de, kuehler AT informatik.uni-kl.de, kuehn AT mailhost.uni-koblenz.de, kuhna AT gia.univ-mrs.fr, kuich AT email.tuwien.ac.at, kuipers AT cs.utexas.edu, kundu AT bit.csc.lsu.edu, kunen AT cs.wisc.edu, kwast AT hum.uva.nl
Subject: [Coq-Club] Call for Participation NIW (M4M-3, DLD, ICoS-4)
Date: Fri, 15 Aug 2003 14:28:38 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

====================================================================
                    Call for Participation

                     NANCY INFERENCE WEEK

               Method for Modalities 3 (M4M-3)
                 Description Logic Day (DLD)
        Inference in Computational Semantics 4 (ICoS-4)

             LORIA, Nancy, France, 22-26 September 2003

                 http://www.loria.fr/~areces/NIW/
====================================================================

The first Nancy Inference Week (NIW) will take place at LORIA, Nancy,
France, during the week of the 22-26 of September, 2003.

Nancy Inference Week will consist of the following events:

  o Method for Modalities 3 (M4M-3): September 22-23.
  o Description Logic Day (DLD): September 24.
  o Inference in Computational Semantics 4 (ICoS-4): September 25-26.

These three events are separate, but are linked by the common theme of
inference. M4M is a workshop devoted to inference techniques for modal
logic and their applications. DLD is a one day workshop which
introduces Description Logic, an important formalism for
representation and inference in Artificial Intelligence. ICoS is a
workshop on applying inference techniques to the semantics for natural
language (in a computational setting).

The Nancy Inference Week webpage at

            http://www.loria.fr/~areces/NIW/

has pointers to the websites for all three events.  You can register
for any of the NIW events by filling in the registration form you will
find there.

The deadline for registration for Nancy Inference Week is:

                    15 September 2003

No registration will be possible after this date. In particular, you
won't be able to register on the days of the workshop ("on-the-spot"
registrations are not possible).

====================================================================

--

M4M: Methods for Modalities                         www.science.uva.nl/~m4m

[Coq-Club] Call for Participation NIW (M4M-3, DLD, ICoS-4), Methods for Modalities