From: Logic Programming Rsrch Association <complog@cs.nmsu.edu>
To: acl2@cs.utexas.edu, acl@cs.columbia.edu,
action-semantics@brics.dk, ag-list@uni-mb.si, agents@cs.umbc.edu,
aicom@dbai.tuwien.ac.at, aiia@di.unito.it, aiia@dis.uniroma1.it,
ail-l@austin.onu.edu, alp-diffusion@univ-lille1.fr,
alp@doc.ic.ac.uk, amast-info@cs.utwente.nl, amast@cs.utwente.nl,
announce@sigart.acm.org, apng-all@apng.org, appiar@fct.unl.pt,
appiar@ncc.up.pt, appsem@cs.chalmers.se,
aprove@i2.informatik.rwth-aachen.de, atp@logic.tuwien.ac.at,
atp_alias@cs.jcu.edu.au, atp_alias@cs.jcu.edu.au,
babel@ls.fi.upm.es, benelog@cs.kuleuven.ac.be,
bforum@estas1.inrets.fr, bforum@estas1.inrets.fr,
bra-types@cs.chalmers.se, cadeinc@cs.albany.edu,
calculemus-ig@dist.unige.it, calligramme@loria.fr,
caml-list@inria.fr, caml-list@pauillac.inria.fr,
categories@mta.ca, cav-all@csa.cs.technion.ac.il,
ccl@dfki.uni-sb.de, ccp@sics.se, cctth@mucc.mahidol.ac.th,
church-announce@types.bu.edu, ciao-users@clip.dia.fi.upm.es,
ckbs-int@cs.keele.ac.uk,
cl-advertisement-adresses@janeway.inf.tu-dresden.de,
cl-adverts@spock.inf.tu-dresden.de, clean-list@cs.kun.nl,
clip@clip.dia.fi.upm.es, clp@cis.ohio-state.edu,
clp@comp.nus.edu.sg, clp@cs.cmu.edu, clp@iscs.nus.edu.sg,
colibri@let.uu.nl, comlab@comlab.ox.ac.uk, complog@cs.nmsu.edu,
comprox@doc.ic.ac.uk, compulog-deduction@cs.bham.ac.uk,
compulog-list@cwi.nl, compulog@doc.imperial.ac.uk,
compulognet-parimp@dia.fi.upm.es, compunode-exec@ecrc.de,
compunode@compulog.org, compunode@dfki.de, compunode@ecrc.de,
concurrency@cwi.nl, conferences@iao.fhg.de,
consnet-plan@dcs.rhbnc.ac.uk, constraints-list@cwi.nl,
constraints@cirl.uoregon.edu, coq-club@pauillac.inria.fr,
cphc-conf@jiscmail.ac.uk, cpworld@gmu.edu,
cs-logic@cs.indiana.edu, csp-list@cert.fr,
csp@carlit.toulouse.inra.fr, csp@granit.jouy.inra.fr,
cup@icot.or.jp, curry@informatik.rwth-aachen.de,
dai-list@ece.sc.edu, dai-list@mcc.com, dappia@di.fct.unl.pt,
db@mail-ilca.tepkom.ru, dbworld@cs.wisc.edu,
digest@aiva.ed.ac.uk, dma-list@nic.surfnet.nl,
dreamers@dai.ed.ac.uk, eacsl@dimi.uniud.it, eapls@jiscmail.ac.uk,
eatcs-it@cs.unibo.it, eclipse_users@ecrc.de,
ecoop-info@ecoop.org, edu.au@cs.ruu.nl, elan-users@loria.fr,
elsnet-list@cogsci.ed.ac.uk, erlang-questions@erlang.org,
etaps99ap1@iks.cs.tu-berlin.de, etaps99ap2@iks.cs.tu-berlin.de,
fg121@sunjessen46.informatik.tu-muenchen.de,
fm-info@air16.larc.nasa.gov, formal-methods@cs.uidaho.edu,
formal-methods@cs.utoronto.ca, forum@jsoftware.com,
fr-sem@frmug.org, frocos@loria.fr, fun@cs.unibo.it,
generic-haskell@generic-haskell.org, gigalips@acrc.bris.ac.uk,
gigalips@mcs.anl.gov, gigalips@sics.se, glp@first.gmd.de,
grin@di.unipi.it, gulp@di.unipi.it, gulp@dimi.uniud.it,
haskell@dcs.gla.ac.uk, haskell@dcs.glasgow.ac.uk,
haskell@haskell.org, hmiranda@di.fc.ul.pt,
hpsg-l@lists.stanford.edu, icfp@dcs.gla.ac.uk,
iclppubl@cs.kuleuven.ac.be, idss@socs.uts.edu.au,
ifip-wg1_3-members@brics.dk, ifm2000@tees.ac.uk,
ifmsig@cs.tcd.ie, inductive@listserv.unb.ca,
info-hol@phirewall.cs.byu.edu, informaticos@uncoma.edu.ar,
ipa@tue.nl, ipalist@win.tue.nl, isabelle-users@cl.cam.ac.uk,
isss-people@ics.uci.edu, kgs@logic.tuwien.ac.at,
lambda-usergroup@dcs.ed.ac.uk, lics-email@cs.indiana.edu,
lics@research.bell-labs.com, life-users@cs.sfu.ca,
linear-request@cs.stanford.edu, linear@cs.stanford.edu,
logic-announce@uclink4.berkeley.edu, logic-l@bucknell.edu,
logic-list@cs.rice.edu, logic-list@helsinki.fi,
logic-ml@logic.jaist.ac.jp, logic@cs.cornell.edu,
logic@cs.stanford.edu, logic@math.ufl.edu,
logic@theory.lcs.mit.edu, lotos-na@site.uottawa.ca,
lp-internet@doc.ic.ac.uk, lpca@loria.fr, lpnmr@cs.engr.uky.edu,
lppnmr@cs.engr.uky.edu, lprolog-list@cis.upenn.edu,
lprolog@central.cis.upenn.edu, lprolog@cis.upenn.edu,
lprolog@cs.umn.edu, mailinglist@fmeurope.org,
mercury-ads@cs.mu.oz.au, mfps_mail@math.tulane.edu,
mlnet@csd.abdn.ac.uk, mlnet@swi.psy.uva.nl, nl-kr@cs.rpi.edu,
nlp-ia@bosoleil.ci.umoncton.ca, nqthm-users@cli.com,
nqthm-users@cs.utexas.edu, nuprllist@cs.cornell.edu,
nvti-list@cwi.nl, nwpt-info@sool.ioc.ee, oz-users@dfki.uni-sb,
papm@dcs.ed.ac.uk, parforce-at-bristol@cs.bris.ac.uk,
parforce-at-ecrc@ecrc.de, parforce-at-inria@margaux.inria.fr,
parforce-at-pisa@di.unipi.it, parforce-at-sics@sics.se,
parforce-at-soton@ecs.soton.ac.uk, parforce-at-upm@dia.fi.upm.es,
parforce@ecrc.de, petrinets@daimu.aau.dk, pl-seminar@ccs.neu.edu,
plt-scheme@slow.flux.utah.edu, practical-applications@pap.com,
procos@jiscmail.ac.uk, prog-lang@brics.dk, prog-lang@diku.dk,
prog-logique@irisa.fr, prolia@tlxf.geomail.org,
prolog-pe@bach.ces.cwru.edu, prolog-vendors@sics.se,
prolog@mch.sni.de, prolog@sunbim.be, prolog@swi.psy.uva.nl,
puml-list@cs.york.ac.uk, pvs@csl.sri.com,
quintus-users-moderated@sics.se, quintus-users@quintus.com,
quintus-users@sics.se, rewriting@ens-lyon.fr,
rrrs-authors@zurich.csail.mit.edu,
rrrs-authors@zurich.csail.mit.edu, safety-critical@cs.york.ac.uk,
scheme48@zurich.csail.mit.edu, scheme@mc.lcs.mit.edu,
sepia_users@ecrc.de, seworld@cs.colorado.edu,
sicstus-users-moderated@sics.se, sicstus-users@sics.se,
sigparse-list@cs.cmu.edu, sigparse-list@nl.cs.cmu.edu,
sigplan@cs.virginia.edu, silfs_ia@dist.unige.it,
softverf@jaguar.cs.byu.edu, stratego-users@cs.uu.nl,
stratego@cs.uu.nl, tfm-list@doc.ic.ac.uk,
theorem-provers@ai.mit.edu, theorem-provers@mc.lcs.mit.edu,
theory-a@vm1.nodak.edu, theory-logic@cs.cmu.edu, theory@brics.dk,
theory@cl.cam.ac.uk, theorynt@listserv.nodak.edu,
types-wg@durham.ac.uk, types@cis.upenn.edu, users-prolog@gnu.org,
users@mozart-oz.org, vki-list@dfki.de, x3j17@ai.sri.com,
zforum@prg.ox.ac.uk, 4c@4c.ucc.ie, Giuseppe.Castagna@ens.fr,
Rachid.Echahed@imag.fr, S.Smetsers@cs.ru.nl,
a.finkelstein@cs.ucl.ac.uk, a.johnstone@rhul.ac.uk,
a.king@ecs.southampton.ac.uk, a.m.king@ukc.ac.uk, aal@anu.edu.au,
abader@lucent.com, abden@comp.nus.edu.sg, abder@cosytec.fr,
abegel@cs.berkeley.edu, aberlea@psi.uni-trier.de,
abrodsky@cs.ubc.ca, ac@cs.uoregon.edu, acherman@iam.unibe.ch,
aciampolini@deis.unibo.it, adeline.capouillez@unice.fr,
adiaz@exa.unicen.edu.ar, adrian@cs.rhul.ac.uk, aegyed@acm.org,
agav@dia.ucm.es, agusti@iiia.csic.es, aisb@cogs.sussex.ac.uk,
aksit@cs.utwente.nl, alai@cs.ubc.ca, alan.mycroft@cl.cam.ac.uk,
alan.mycroft@cl.cam.ac.uk, albert@lsi.upc.es,
alblas@cs.utwente.nl, alee@psl.korea.ac.kr,
alencar@csg.uwaterloo.ca, alexander.romanovsky@ncl.ac.uk,
alfonso@univaq.it, alfred.strohmeier@epfl.ch,
almendro@dia.ucm.es, alonso@inf.ethz.ch, alpuente@dsic.upv.es,
am@sunbim.be, ambraga@cpqd.com.br, amparonm@unex.es,
anagil@dia.ucm.es, andre.arnold@labri.u-bordeaux.fr,
andre@cs.bris.ac.uk, andrea.omicini@acm.org,
andrei@uni.irkutsk.su, angel@lml.ls.fi.upm.es,
animagupta@hotmail.com, anoutash@hotmail.com,
antoine.beugnard@enst-bretagne.fr, antony.courtney@yale.edu,
antony@apocalypse.org, antoy@cs.pdx.edu, aomicini@deis.unibo.it,
ap@fct.unl.pt, apes@cs.strath.ac.uk, apineda@clip.dia.fi.upm.es,
appel@princeton.edu, apt@cwi.nl, arai@dia.ucm.es, arie@cwi.nl,
arno.schmidmeier@sirius-eos.com,
arnould@sic.sp2mi.univ-poitiers.fr, asloane@comp.mq.edu.au,
atkinson@informatik.uni-kl.de, atsuhiro@lucifer.ntt.jp,
austerm@cs.uni-bonn.de, awa@uni-paderborn.de,
aycock@cpsc.ucalgary.ca, bachmendo@cs.uni-essen.de,
baldoni@di.unito.it, bam+@cs.cmu.edu, ban@doc.ic.ac.uk,
bani@cs.ubc.ca, bapty@vuse.vanderbilt.edu, barbosa@inf.ufrgs.br,
barbuti@di.unipi.it, bardou@lirmm.fr, barkers@westminster.ac.uk,
baroglio@di.unito.it, bart.dedecker@cs.kuleuven.ac.be,
bart.demoen@cs.kuleuven.ac.be, bart.dewin@cs.kuleuven.ac.be,
bart@cs.pdx.edu, bartvh@cs.kuleuven.ac.be, bastiaan@cs.uu.nl,
batory@cs.utexas.edu, beaumont@cs.bris.ac.uk,
becker@informatik.uni-frankfurt.de, bedir@cs.utwente.nl,
behavior@cs.ucsd.edu, benelog@cs.kuleuven.ac.be,
bergenti@ce.unipr.it, berger@essi.fr, bergmans@cs.utwente.nl,
bershad@cs.washington.edu, bert.robben@mediagenix.com,
black@cse.ogi.edu, blay@essi.fr, blayw@cogs.susx.ac.uk,
ble@info.fundp.ac.be, bmayoh@daimi.aau.dk, bmd@cs.kuleuven.ac.be,
bnj@mip.sdu.dk, boris@dia.fi.upm.es, bowdidge@apple.com,
brahim.hnich@dis.uu.se, brogi@di.unipi.it, browse@cs.queensu.ca,
bryant@cis.uab.edu, bsaies@loria.fr, bsamik@cs.sunysb.edu,
bsd@cs.ubc.ca, bueno@dia.fi.upm.es, buff@cs.boisestate.edu,
buhr@sce.carleton.ca, bundy@aiva.edinburgh.ac.uk, bundy@ed.ac.uk,
burnett@cs.orst.edu, bussard@eurecom.fr, calton@cc.gatech.edu,
carl@drop.aero.org, catuscia@cse.psu.edu, cdgill@cs.wustl.edu,
cecuesta@infor.uva.es, cgc@ece.unm.edu, cgeyer@uol.com.br,
chaouki@eece.unm.edu, charles.consel@inria.fr,
chechik@cs.toronto.edu, chiba@is.titech.ac.jp,
chik@icot20.icot.junet.jp, chris@tk.uni-linz.ac.at,
christa.schwanninger@mchp.siemens.de,
christian.pellegrini@cui.unige.ch, christian.queinnec@lip6.fr,
cifreire@udc.es, cl.moore@r20.utexas.edu, claude.marche@lri.fr,
codish@cs.kuleuven.ac.be, collinsp@scot.ac.uk,
colmer@dcftlx.das.net, colmer@tlxf.geomail.org, colt@cs.uiuc.edu,
comini@dimi.uniud.it, conal@microsoft.com, corchu@lsi.us.es,
cordy@cs.queensu.ca, corsini@geocub.greco-prog.fr,
corsini@labri.u-bordeaux.fr, cousot@dmi.ens.fr,
cphc-conf@jiscmail.ac.uk, cram@cs.sunysb.edu,
crespi@elet.polimi.it, crodrigu@bbn.com,
csl99org@eucmos.sim.ucm.es, csl99org@ucmail.ucm.es,
csl@dbai.tuwien.ac.at, ctaboch@dalet.com, cytron@cs.wustl.edu,
dale@linc.cis.upenn.edu, dan@cslab.ericsson.se, dan@sics.se,
dannyd@cs.kuleuven.ac.be, dave@cs.chalmers.se,
daviding@ca.ibm.com, daw@dcs.gla.ac.uk, dcodish@dalet.com,
dcowan@csg.uwaterloo.ca, ddlee@mail.arc.nasa.gov, dds@aueb.gr,
debray@cs.arizona.edu, deepak@cse.iitk.ac.in, degano@di.unipi.it,
degroot@ti-csl.csc.ti.com, delloul@larc.info.uqam.ca,
depaoli@disco.unimib.it, deransar@minos.inria.fr,
desmond-dsouza@austin.rr.com, devanbu@cs.ucdavis.edu,
devienne@lifl.fr, dfried@cs.indiana.edu, diaz@lsi.upc.es,
dib@qinetiq.com, dick@cse.ogi.edu,
didier.parigot@sophia.inria.fr, dilma@ime.usp.br, dima@cs.ubc.ca,
divesh@research.att.com, dl@cs.oswego.edu,
dl@dl-kr.cs.rmit.edu.au, dlmoore@teleport.com,
dnk@watson.ibm.com, doaitse@cs.ruu.nl, doaitse@cs.uu.nl,
doh@cse.hanyang.ac.kr, donal.lafferty@cs.tcd.ie, dong@ou.edu,
douence@emn.fr, dougo@ccs.neu.edu, dreamers@dai.ed.ac.uk,
dsr@ics.uci.edu, dtai@cs.kuleuven.ac.be, duchien@cnam.fr,
dulz@informatik.uni-erlangen.de, dvnieuwe@vub.ac.be,
dwile@teknowledge.com, dza@info.fundp.ac.be, eacsl@dimi.uniud.it,
ed.willink@rrl.co.uk, eddy@cs.kuleuven.ac.be, eernst@cs.auc.dk,
ees3as@eim.surrey.ac.uk, ehmeier@informatik.uni-erlangen.de,
ejfried@ca.sandia.gov, elamma@ing.unife.it, elissa@cs.cmu.edu,
elrad@charlie.cns.iit.edu, elrommes@cs.uu.nl,
emrek@cs.stanford.edu, engelen@cs.fsu.edu, engler@lcs.mit.edu,
epontell@cs.nmsu.edu, epontell@cs.nmsu.edu, erbi@eurecom.fr,
eric.van.wyk@comlab.ox.ac.uk, erick.vonschweber@cacheon.com,
erik.putrycz@int-evry.fr, erik@cs.uu.nl, erlend.stav@idi.ntnu.no,
esra@kr.tuwien.ac.at, esteva@iiia.csic.es,
evah@eucmax.sim.ucm.es, evans@cs.virginia.edu, evw@cs.umn.edu,
facs@lboro.ac.uk, falaschi@artemide.dei.unipd.it,
falaschi@di.unipi.it, fall@cs.sfu.ca, fayad@cse.unl.edu,
fds@ncc.up.pt, feeley@cs.ubc.ca, felisa@lsi.upc.es,
fernan@sip.ucm.es, fernando@unex.es,
fg121@bach.informatik.uni-ulm.de, fg214@informatik.uni-kiel.de,
fhunleth@cs.wustl.edu, fidel@cs.chalmers.se,
fidel@sol.info.unlp.edu.ar, file@pdmat1.unipd.it,
florijn@serc.nl, florin@cnam.fr, flucio@unex.es,
fm-info@air16.larc.nasa.gov, focs@comlab.ox.ac.uk,
forman@acm.org, forum@jsoftware.com, fox@cs.stanford.edu,
fradet@irisa.fr, fraguas@dia.ucm.es,
frank.matthijs@cs.kuleuven.ac.be,
frederic.bertrand@esa.upmf-grenoble.fr, freire@fi.udc.es,
frezza@gannon.edu, fromherz@parc.xerox.com, frossi@math.unipd.it,
fsdm@it.uq.edu.au, ftp@logic.at, ftrilnik@exa.unicen.edu.ar,
furukawa@icot20.icot.junet.jp, gal@ivs.cs.uni-magdeburg.de,
gaspari@cs.unibo.it, gb221@cus.cam.ac.uk,
geier@informatik.uni-erlangen.de,
geihs@informatik.uni-frankfurt.de, gerald@comp.lancs.ac.uk,
gerda@cs.kuleuven.ac.be, giacomo_piccinelli@hp.com,
gilberto@zenone.unipd.it, gilles.barthe@sophia.inria.fr,
gilles.roussel@univ-mlv.fr, gimac@ctima.uma.es,
giri@cs.sunysb.edu, gk@cs.uni-bonn.de, gkoutsoukos@oblog.pt,
glaesser@microsoft.com, glaesser@upb.de, glandrup@cs.utwente.nl,
goldberg@cs.nyu.edu, gondow@jaist.ac.jp, gonzalo@iiia.csic.es,
gorel.hedin@cs.lth.se, graham@cs.berkeley.edu,
grante@cs.colostate.edu, greefhor@serc.nl,
greentrip@math.sintef.no, gregor@cs.ubc.ca, gregs@ai.mit.edu,
gri@informatik.uni-rostock.de, grin@di.unipi.it,
griss@hpl.hp.com, grivas@inf.ethz.ch, gruenbac@sunset.usc.edu,
guenter.robbert@sowi.uni-bamberg.de, gulwani@eecs.berkeley.edu,
gupta@cs.nmsu.edu, gupta@utdallas.edu, gurevich@microsoft.com,
guta@csg.uwaterloo.ca, guy.bernard@int-evry.fr,
guy.steele@east.sun.com, hag@sics.se, hak@ilog.fr,
hak@prl.dec.com, hanus@informatik.rwth-aachen.de,
harrisn@watson.ibm.com, haugen@ztivax.de,
haupt@informatik.tu-darmstadt.de, hawick@bangor.ac.uk,
hcirstea@loria.fr, hcirstea@platform.com,
heath@informatics.bangor.ac.uk, hendrik.decker@mchp.siemens.de,
herbert@zeus.informatik.rwth-aachen.de,
herbert@zeus.informatik.rwth-aachen.de, herme@fi.upm.es,
herme@unm.edu, herme@unm.edu, herold@ecrc.de, hes@ai.mit.edu,
hg@uni-paderborn.de, hilsdale@parc.xerox.com, hirschfeld@acm.org,
hkuno@hpl.hp.com, hofmann@eat.e-technik.tu-muenchen.de,
horatiu.cirstea@loria.fr, huguet@ac.upc.es,
hugunin@parc.xerox.com, hundehe@math.uni-muenster.de,
hussain@cs.queensu.ca, hwxi@ececs.uc.edu, hxh169@email.psu.edu,
i.s.welch@ncl.ac.uk, ianw@ces.clemson.edu, ichisugi@etl.go.jp,
igpl@doc.ic.ac.uk, ikbs@caad.ed.ac.uk, iramos@dsic.upv.es,
isabelle.attali@sophia.inria.fr, ivp@isi.itfs.nsk.su,
j.hamer@cs.auckland.ac.nz, jaan@keeks.ioc.ee,
jacksoni@cs.ucdavis.edu, jacobsen@eecg.toronto.edu,
jaime.delgado@mtg.es, jalmen@ual.es, james.power@may.ie,
jan.bosch@ide.hk-r.se, jan@cs.ubc.ca, janma@ida.liu.se,
jas@di.uminho.pt, jaume@aisb.ed.ac.uk, jbailey@cs.mu.oz.au,
jbrichau@vub.ac.be, jclemente@unex.es, jcmoreno@dia.ucm.es,
jcorreas@clip.dia.fi.upm.es, jcr@research.att.com,
jeff_mcaffer@oti.com, jesus@cepba.upc.es, jezequel@irisa.fr,
jfall@sfu.ca, jgarcia@lml.ls.fi.upm.es, jgm@cs.cornell.edu,
jgouveia@oblog.pt, jgray@vuse.vanderbilt.edu, jherrero@unex.es,
jhf@lanl.gov, jhwu@mis.nsysu.edu.tw, jiehuang@cse.ogi.edu,
jiglesia@cs.nmsu.edu, jilles@cs.rug.nl, jim.dowling@cs.tcd.ie,
jim@meiko.co.uk, jimc@quintus.com, jj@di.uminho.pt,
jjmoreno@fi.upm.es, jjruz@dia.ucm.es, jlb@sunbim.be,
jlipton@mail.wesleyan.edu, jlk@daimi.au.dk, jll@ibm.com,
jloyall@bbn.com, jmlago@dia.ucm.es, joachim.bayer@iese.fhg.de,
jodyp@cs.ubc.ca, johan@ccs.neu.edu, john-g@cs.auckland.ac.nz,
jola@csd.uu.se, jon.cook@ed.ac.uk, jonal@cs.washington.edu,
jonas@csd.uu.se, jones@cse.ogi.edu, joost.visser@cwi.nl,
jordit@ac.upc.es, jose@fiadeiro.org,
joumana_dargham@uqah.uquebec.ca, joxan@watson.ibm.com,
jperez@lsi.us.es, jpg@ruc.dk, jpryor@exa.unicen.edu.ar,
jrb@ai.mit.edu, jsm@imm.dtu.dk, jsm@it.dtu.dk, juanher@unex.es,
juanmamu@unex.es, juha.savolainen@hut.fi,
jukka.paakki@cs.helsinki.fi, jukpa@ida.liu.se, jur@cs.uu.nl,
jwl@cs.bris.ac.uk, jwl@cs.bris.ac.uk, jyuan@cs.ucsd.edu,
jzinky@bbn.com, k.shen@icparc.ic.ac.uk, kabowen@cis.syr.edu,
kaib@acm.org, kamin@cs.uiuc.edu, kapur@cs.unm.edu,
karczma@info.unicaen.fr, kas@cs.usask.ca, katayama@jaist.ac.jp,
katsu@takilab.k.dendai.ac.jp, katz@cs.technion.ac.il,
kaufmann@cli.com, kawabe@suou.waseda.jp, kdv@cs.kuleuven.ac.be,
kdvolder@cs.ubc.ca, kdvolder@vub.ac.be, keen@cs.ucdavis.edu,
kendall@infotech.monash.edu.au, kenji@fmx.cs.titech.ac.jp,
kerherve@info.uqam.ca, kessler@inf.ufsc.br,
kfisher@research.att.com, kgs@dbai.tuwien.ac.at,
kgs@logic.tuwien.ac.at, khalid@ii.uib.no, khayri@sics.se,
kienle@yin.cs.uvic.ca, kim.mens@info.ucl.ac.be, kim@cs.uml.edu,
kjx@mcs.vuw.ac.nz, klarlund@research.att.com,
klaus.ostermann@mchp.siemens.de, klc@doc.ic.ac.uk,
klc@doc.ic.ac.uk, kollarj@ccsun.tuke.sk, kostis@csd.uu.se,
kr-postings@kr.org, krab@daimi.aau.dk, kresimir.fertalj@fer.hr,
krunz@ece.arizona.edu, kruskal@watson.ibm.com,
krzysztof.czarnecki@daimlerchrysler.com,
kuehne@informatik.uni-kl.de, kumar@cs.umn.edu, kutter@acm.org,
kw217@cl.cam.ac.uk, l.moreau@ecs.soton.ac.uk, l2lu@oakland.edu,
labman@lml.ls.fi.upm.es, laemmi@it.kth.se, lamping@acm.org,
landrade@atxsoftware.com, larus@microsoft.com,
lb@comp.lancs.ac.uk, leach@dia.ucm.es, leom@mail.ru,
leon.moonen@cwi.nl, leon@bach.ces.cwru.edu, lepreau@cs.utah.edu,
ler@di.fc.ul.pt, levi@di.unipi.it, lfcs-interest@dcs.ed.ac.uk,
lff@lcc.uma.es, lfg@lists.stanford.edu, lidia@dsic.upv.es,
lieber@ccs.neu.edu, lionel.seinturier@lip6.fr, lmp@fct.unl.pt,
lorenz@ccs.neu.edu, lseiter@scu.edu, luc.maranget@inria.fr,
ludwig@ipd.info.uni-karlsruhe.de, lurdes@dia.ucm.es,
lusk@antares.mcs.anl.gov, lusk@mcs.anl.gov,
maamaw@cosmos.imag.fr, mal@ecs.soton.ac.uk,
malloy@cs.clemson.edu, mantaras@iiia.csic.es,
manuel.serrano@inria.fr, marash@comp.lancs.ac.uk,
marcoxa@parades.rm.cnr.it, marcy@krlab.cs.tty.edu,
margus@microsoft.com, maria@csee.uq.edu.au, maria@dia.fi.upm.es,
mario.sudholt@emn.fr, mario@dia.ucm.es, marisol@unex.es,
mark.ardis@rose-hulman.edu, mark.van-den-brand@loria.fr,
marriott@cs.monash.edu.au, mateo@ac.upc.es, matighet@bbn.com,
matsc@sics.se, matsc@sics.se, matsu@is.titech.ac.jp,
matthias.jung@eurecom.fr, maurice@cs.kuleuven.ac.be,
may@informatik.uni-freiburg.de, mbanda@cs.monash.edu.au,
mcc@watson.ibm.com, mcheick@info.uqam.ca, mclennan@cs.utk.edu,
mcodish@cs.bgu.ac.il, mcs98@doc.ic.ac.uk, mdeters@cs.wustl.edu,
mehner@uni-paderborn.de, members@fmeurope.org,
mercury-users@cs.mu.oz.au, merik.meriste@ut.ee,
meseguer@csl.sri.com, meta-announce@cwi.nl,
mezini@informatik.tu-darmstadt.de, mff@research.att.com,
mfontoura@acm.org, mgelfond@redwood.cs.ttu.edu,
mh@informatik.uni-kiel.de, michael.kircher@mchp.siemens.de,
michael.mehl@ps.uni-sb.de, michael@comp.lancs.ac.uk,
michel@ncc.up.pt, michel@ncc.up.pt, miguel.antunes@inesc.pt,
mikau@cs.nmsu.edu, mikis@mimuw.edu.pl, mili@info.uqam.ca,
minker@cs.umd.edu, mis@brics.dk, mjdhondt@vub.ac.be, mjm@ibm.com,
mjm@watson.ibm.com, mjose@dsic.upv.es, mjs@doc.ic.ac.uk,
mkaplan@watson.ibm.com, mkersten@parc.xerox.com,
mklooster@baan.nl, mkupries@ccse.kfupm.edu.sa, ml@ics.uci.edu,
mnordberg@blueprinttech.com, mohamed.kande@epfl.ch,
mol@cis.upenn.edu, monga@elet.polimi.it,
monica@krlab4.cs.utep.edu, mop@cs.uu.nl, motelet@emn.fr,
mrg@itc.it, mrobilla@cs.ubc.ca,
mstecker@informatik.uni-erlangen.de, mtoro@lsi.us.es,
mueller@natlab.research.philips.com, mughal@cs.cornell.edu,
murban@ivs.cs.uni-magdeburg.de, murphy@cs.ubc.ca,
muthu@morticia.sc.intel.com, mw@di.fct.unl.pt,
n-noda@cw.jp.nec.com, naish@clip.dia.fi.upm.es,
naiwei@arizona.edu, naiwei@cs.arizona.edu,
nakasima@kuis.kyoto-u.ac.jp, nbastan@exa.unicen.edu.ar,
nch@research.bell-labs.com, nebbe@iam.unibe.ch, neil@diku.dk,
neno@sunset.usc.edu, neubauer@informatik.uni-freiburg.de,
nforman@liaison.com, nha@info.fundp.ac.be, nicos@cs.york.ac.uk,
nieva@mat.ucm.es, nigelh@yin.cs.uvic.ca, njexon@qinetiq.com,
nlcl@cogs.susx.ac.uk, norm@cs.ubc.ca, norman.sadeh@dg3.cec.be,
nsr@cin.ufpe.br, nswoboda@clip.dia.fi.upm.es,
oaldawud@lucent.com, objecttypes@daimi.aau.dk,
oegai@ifs.tuwien.ac.at, oege@comlab.ox.ac.uk,
ok@goanna.cs.rmit.edu.au, olaf@ivs.cs.uni-magdeburg.de,
olive@lsi.upc.es, om-announce@openmath.org, orejas@lsi.upc.es,
oscar@iam.unibe.ch, ossher@watson.ibm.com,
ossowski@isys.dia.fi.upm.es, otr@doc.ic.ac.uk,
overbeek@mcs.anl.gov, owen@unbsj.ca, owen@unsbsj.ca,
owner-uai@cs.orst.edu, ozsl-list@wins.uva.nl,
p-and-s@shelob.iti.salford.ac.uk,
p.j.soper@ecs.southampton.ac.uk, paakki@cs.jyu.fi,
paolo@di.unipi.it, paoluzzi@dia.uniroma3.it,
patrick.cousot@ens.fr, patrick.steyaert@mediagenix.com,
paul.hudak@yale.edu, paul.klint@cwi.nl,
pawel.wojciechowski@epfl.ch, pawlak@cnam.fr, pazzi@unimo.it,
pcdavid@emn.fr, pcox@cs.dal.ca, pdmosses@brics.dk,
pedre@di.unipi.it, pepper@opal.cs.tu-berlin.de, perbrand@sics.se,
pere@iiia.csic.es, pereira@stinson.ai.sri.com,
perry@ece.utexas.edu, pertti.kellomaki@cs.tut.fi,
peter.sties@ei.tum.de, peter.werner@telekom.de,
peter@schneider-kamp.de, peter@uni-paderborn.de,
peterson-john@cs.yale.edu, peterson-john@yale.edu,
peureux@comte.univ-fcomte.fr, philippe.bouaziz@lip6.fr,
philippe.codognet@inria.fr, philippe.lahire@unice.fr,
phmb@cin.ufpe.br, pierre-antoine.queloz@cui.unige.ch,
pierre-etienne.moreau@loria.fr, pierre.cointe@emn.fr,
pierre.crescenzo@unice.fr, pierre.deransart@inria.fr,
pierre.flener@dis.uu.se, pike@cis.ohio-state.edu,
pimentel@ctima.uma.es, pingali@cs.cornell.edu, pinna@essi.fr,
pinto@lcc.uma.es, piotr@cse.uta.edu, pjs@cs.mu.oz.au,
pjs@cs.mu.oz.au, planet-out@ares.informatik.uni-ulm.de,
plouzeau@irisa.fr, plummer@cs.swarthmore.edu,
pmello@deis.unibo.it, poggi@ce.unipr.it, popovici@inf.ethz.ch,
potter@mri.mq.edu.au, ppal@bbn.com, prh@di.uminho.pt,
priami@sci.univr.it, prins@cs.unc.edu, protagonist@cs.kun.nl,
psaila@elet.polimi.it, pulvermu@ipd.info.uni-karlsruhe.de,
puri@dia.ucm.es, puyol@iiia.csic.es, pvh@cs.brown.edu,
pviry@ilog.fr, pvr@info.ucl.ac.be, pvs@csl.sri.com,
pyang@cs.sunysb.edu, qed@mcs.anl.gov, r.j.stroud@ncl.ac.uk,
r.scheidhauer@ids-scheer.de, radhia@poly.polytechnique.fr,
raf@sunbim.be, raffaeta@di.unipi.it, raghu@cs.wisc.edu,
rak@doc.ic.ac.uk, ralena@mail.arc.nasa.gov, ralf.laemmel@cwi.nl,
ram@cs.sunysb.edu, rastofer@informatik.uni-erlangen.de,
rauzy@labri.u-bordeaux.fr, rdahab@ic.unicamp.br,
reliable_computing@interval.usl.edu,
relmics-list@heraklit.informatik.unibw-muenchen.de,
rensink@cs.utwente.nl, reps@cs.wisc.edu, rewriting@ens-lyon.fr,
rfilman@mail.arc.nasa.gov, rgr@inria.fr, ricardo@lsi.upc.es,
rito.silva@acm.org, riveill@essi.fr, rjordan@eece.unm.edu,
rladdaga@ai.mit.edu, rlinger@sei.cmu.edu,
robbie.schaefer@c-lab.de, roberto@lsi.upc.es, rod@cs.colgate.edu,
rolfs@ics.mq.edu.au, rossi@di.unipi.it, rouvellou@us.ibm.com,
rrodriguez@teleserver.es, rshapiro@bbn.com, rslopes@ncc.up.pt,
rslopes@ncc.up.pt, rubio@lsi.upc.es, rv@bluetail.com,
rwarren2@earthlink.net, rwt@mulga.edu.au, ryap@comp.nus.edu.sg,
s.g.barker@westminster.ac.uk, sadou@info.uqam.ca,
sam.michiels@cs.kuleuven.ac.be, samir@clip.dia.fi.upm.es,
sammy@cs.utexas.edu, schandra@bell-labs.com, schantz@bbn.com,
sched-l@dbai.tuwien.ac.at, schloegel_kirk@htc.honeywell.com,
schulte@imit.kth.se, schulz@dstc.edu.au, schwitt@ics.mq.edu.au,
sd@doc.ic.ac.uk, sebastian.brand@cwi.nl, secre@dia.fi.upm.es,
seif@it.kth.se, seif@sics.se, sekar@cs.sunysb.edu,
sgaico@cui.unige.ch, shamim@lucent.com, shanenbe@cs.uni-essen.de,
shao-zhong@cs.yale.edu, sheard@cse.ogi.edu, shriram@cs.rice.edu,
simmonds@us.ibm.com, simon.2.thompson@bt.com,
siobhan.clarke@cs.tcd.ie, sistac@lsi.upc.es, sjouke@win.tue.nl,
sk@cs.brown.edu, skeletons@dcs.ed.ac.uk, skotthe@iit.edu,
slugboy@cs.unm.edu, sme@cs.toronto.edu, smedley@cs.dal.ca,
smolka@dfki.uni-sb.de, smolka@ps.uni-sb.de, smolyn@cs.ubc.ca,
snaroff@apple.com, soemyats@comp.nus.edu.sg, softtech@cs.uu.nl,
softverf@jaguar.cs.byu.edu, softverf@leopard.cs.byu.edu,
speck@informatik.uni-tuebingen.de, spiro@cis.ohio-state.edu,
sprenkle@cs.duke.edu, srm@brandeis.edu, stai@us.ibm.com,
stan@comp.nus.edu.sg, stefan.hofmann@ei.tum.de,
stephan@cs.tu-berlin.de, stephang@cs.ubc.ca,
steven.prestwich@ecrc.de, stott@cs.ucla.edu,
sulzmann@comp.nus.edu.sg, supratik@mpi-sb.mpg.de,
susana@fi.upm.es, susana@fi.upm.es, suzuki@yy.cs.keio.ac.jp,
sverker@sics.se, szeredi@iqsoft.hu, t.hong@doc.ic.ac.uk,
takuo@jaist.ac.jp, tam@ji.berkeley.edu, tarau@cs.unt.edu,
tarr@watson.ibm.com, tball@microsoft.com, tbray@textuality.com,
thomas.ledoux@emn.fr, ticke@cdcna.com, tim@quintus.com,
timw@win.tue.nl, tjdhondt@vub.ac.be, tk@software-improvers.com,
tlm@cin.ufpe.br, todd@cs.arizona.edu, toledano@unex.es,
tom.mens@vub.ac.be, tom.tourwe@vub.ac.be,
tomma@cs.kuleuven.ac.be, top@ingsdb.sdu.dk,
torsten@csg.uwaterloo.ca, torvill@trolldata.no, trg@inf.ethz.ch,
troya@ctima.uma.es, troya@lcc.uma.es, tshih@cs.tku.edu.tw,
tsp@mail.tajen.edu.tw, tswift@cs.sunysb.edu, tta@cs.tut.fi,
turini@di.unipi.it, tyagi@cs.unt.edu, tyates@unm.edu,
tyugu@ebs.ee, tyuri@cs.technion.ac.il, uai@cs.orst.edu,
ubecker@informatik.uni-erlangen.de, udi@wisdom.weizmann.ac.il,
ueda@cfi.waseda.ac.jp, ueda@ueda.info.waseda.ac.jp,
ugo@di.unipi.it, uira@ime.usp.br, ulfni@ida.liu.se,
ulfni@ida.liu.se, uli@mailhost.uni-koblenz.de,
ulrich.eisenecker@t-online.de, unlandr@cs.uni-essen.de,
uwe.assmann@ida.liu.se, uwe@uni-paderborn.de,
vanhilst@cs.washington.edu, veroff@cs.unm.edu,
veronica@lccr.sfu.cdn.ca, veronique.benzaken@lri.fr,
vibha@cs.washington.edu, vilbig@in.tum.de,
vinny.cahill@cs.tcd.ie, visser@acm.org, vitor@cos.ufrj.br,
vitor@cos.ufrj.br, vittek@guma.ii.fmph.uniba.sk,
viviane@inf.puc-rio.br, vj@research.att.com,
vlad.tanasescu@epfl.ch, vpr@unm.edu, vsc@ncc.up.pt,
vsm@cs.cornell.edu, walker@cs.ubc.ca, walpole@cse.ogi.edu,
warren@acrc.bris.ac.uk, warren@acrc.bris.ac.uk,
warren@cs.sunysb.edu, warren@sbcs.sunysb.edu,
warrenw@cs.bris.ac.uk, wdmeuter@vub.ac.be, wfc@cl.cam.ac.uk,
wgg@cs.ucsd.edu, wgw@symplicity.biz, will.tracz@lmco.com,
william.waite@colorado.edu, williams@mail.cs.unm.edu,
wilsonww11@msn.com, winsboro@cs.psu.edu,
wlohmann@informatik.uni-rostock.de, wohlstad@cs.ucdavis.edu,
wolfgang.kellerer@ei.tum.de, wolfgang.mueller@c-lab.de,
wollic@di.ufpe.br, wosch@ivs.cs.uni-magdeburg.de,
wouter@cs.kuleuven.ac.be, wp@pocs.com, wrobinson@gsu.edu,
yama@cs.keio.ac.jp, yannis@cc.gatech.edu, ycoady@cs.ubc.ca,
yogi@cs.technion.ac.il, yonezaki@fmx.cs.titech.ac.jp,
yoshi@ai.rcast.u-tokyo.ac.jp, ysw@csvax.seas.smu.edu,
zancanella@inf.ufsc.br, zaniolo@cs.ucla.edu,
zhanghy@comp.nus.edu.sg, zhou@probp.com,
zhou@sci.brooklyn.cuny.edu, zhudp@cs.bu.edu,
zied.choukair@enst-bretagne.fr, zp@ncc.up.pt
Subject: PADL 2006 -- CALL FOR PAPERS
Date: Tue, 14 Jun 2005 12:10:31 -0600 [thread overview]
Message-ID: <42AF1D97.mail4BE1115YJ@pippo> (raw)
[apologies if you receive multiple copies of this message]
CALL FOR PAPERS!!!
Eighth International Symposium on
Practical Aspects of Declarative Languages 2006
(PADL '06)
http://www.cs.brown.edu/people/pvh/PADL06
Charleston Place Hotel
Charleston, South Carolina
January 9-10
Co-located with ACM POPL'06
Declarative languages build on sound theoretical bases to provide attractive
frameworks for application development. These languages have been successfully
applied to vastly different real-world situations, ranging from data base management
to active networks to software engineering to decision support systems.
New developments in theory and implementation have opened up new application areas.
At the same time, applications of declarative languages to novel problems raises
numerous interesting research issues. Well-known questions include designing for
scalability, language extensions for application deployment, and programming
environments. Thus, applications drive the progress in the theory and implementation
of declarative systems, and benefit from this progress as well.
PADL is a forum for researchers and practioners to present original work emphasizing
novel applications and implementation techniques for all forms of declarative concepts,
including, functional, logic, constraints, etc. Topics of interest include:
* innovative applications of declarative languages;
* declarative domain-specific languages and applications;
* practical applications of theoretical results;
* new language developments & their impact on applications;
* evaluation of implementation techniques on practical applications;
* novel uses of declarative languages in the classroom; and
* practical experiences
PADL 06 welcomes new ideas and approaches pertaining to applications and implementation
of declarative languages, and is not limited to the scope of the past five PADL symposia.
PADL 06 will be co-located with the ACM POPL.
IMPORTANT DATES AND SUBMISSION GUIDELINES
Paper Submission: August 20, 2005
Notification: September 30, 2005
Final Manuscript: October 20, 2005
Symposium: January 9-10, 2005
Authors should submit an electronic copy of the full paper (written in
English) in Postscript (Level 2) or PDF. Papers must be no longer than 15
pages, written in 11-point font and with single spacing. Since the final
proceedings will be published as Lecture Notes in Computer Science by Springer
Verlag, authors are strongly encouraged to use the LNCS paper formatting
guidelines for their submission.
Each submission must include on its first page the paper title; authors and
their affiliations; contact author's email and postal addresses, telephone and
fax numbers, abstract, and three to four keywords. The keywords will be used to
assist us in selecting appropriate reviewers for the paper. If electronic submission
is impossible, please contact the program chair for information on how to submit
hard copies.
MOST PRACTICAL PAPER AWARD
The Most Practical Paper award will be given to the submission that is judged
by the programm committee to be the best in terms of practicality, originality,
and clarity of presentation. The program committee may choose not to make an
award; or may make multiple awards.
PROGRAM COMMITTEE: TBA
Contacts:
For information about papers and submissions, please contact the Program Chair:
Pascal van Hentenryck
PC Chair - PADL 2006
Department of Computer Science
Brown University
Providence, RI, U.S.A.
Email: pvh@cs.brown.edu
For other information about the conference and the summer school, please contact:
Gopal Gupta
Department of Computer Science
University at Texas at Dallas
Dallas, TX, U.S.A.
Email: gupta@utdallas.edu
Sponsored by COMPULOG Americas (http://www.cs.nmsu.edu/~complog),
and in cooperation with ACM SIGPLAN.
reply other threads:[~2005-06-14 18:41 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=42AF1D97.mail4BE1115YJ@pippo \
--to=complog@cs.nmsu.edu \
--cc=4c@4c.ucc.ie \
--cc=Giuseppe.Castagna@ens.fr \
--cc=Rachid.Echahed@imag.fr \
--cc=S.Smetsers@cs.ru.nl \
--cc=a.finkelstein@cs.ucl.ac.uk \
--cc=a.johnstone@rhul.ac.uk \
--cc=a.king@ecs.southampton.ac.uk \
--cc=a.m.king@ukc.ac.uk \
--cc=aal@anu.edu.au \
--cc=abader@lucent.com \
--cc=abden@comp.nus.edu.sg \
--cc=abder@cosytec.fr \
--cc=abegel@cs.berkeley.edu \
--cc=aberlea@psi.uni-trier.de \
--cc=abrodsky@cs.ubc.ca \
--cc=ac@cs.uoregon.edu \
--cc=acherman@iam.unibe.ch \
--cc=aciampolini@deis.unibo.it \
--cc=acl2@cs.utexas.edu \
--cc=acl@cs.columbia.edu \
--cc=action-semantics@brics.dk \
--cc=adeline.capouillez@unice.fr \
--cc=adiaz@exa.unicen.edu.ar \
--cc=adrian@cs.rhul.ac.uk \
--cc=aegyed@acm.org \
--cc=ag-list@uni-mb.si \
--cc=agav@dia.ucm.es \
--cc=agents@cs.umbc.edu \
--cc=agusti@iiia.csic.es \
--cc=aicom@dbai.tuwien.ac.at \
--cc=aiia@di.unito.it \
--cc=aiia@dis.uniroma1.it \
--cc=ail-l@austin.onu.edu \
--cc=aisb@cogs.sussex.ac.uk \
--cc=aksit@cs.utwente.nl \
--cc=alai@cs.ubc.ca \
--cc=alan.mycroft@cl.cam.ac.uk \
--cc=albert@lsi.upc.es \
--cc=alblas@cs.utwente.nl \
--cc=alee@psl.korea.ac.kr \
--cc=alencar@csg.uwaterloo.ca \
--cc=alexander.romanovsky@ncl.ac.uk \
--cc=alfonso@univaq.it \
--cc=alfred.strohmeier@epfl.ch \
--cc=almendro@dia.ucm.es \
--cc=alonso@inf.ethz.ch \
--cc=alp-diffusion@univ-lille1.fr \
--cc=alp@doc.ic.ac.uk \
--cc=alpuente@dsic.upv.es \
--cc=am@sunbim.be \
--cc=amast-info@cs.utwente.nl \
--cc=amast@cs.utwente.nl \
--cc=ambraga@cpqd.com.br \
--cc=amparonm@unex.es \
--cc=anagil@dia.ucm.es \
--cc=andre.arnold@labri.u-bordeaux.fr \
--cc=andre@cs.bris.ac.uk \
--cc=andrea.omicini@acm.org \
--cc=andrei@uni.irkutsk.su \
--cc=angel@lml.ls.fi.upm.es \
--cc=animagupta@hotmail.com \
--cc=announce@sigart.acm.org \
--cc=anoutash@hotmail.com \
--cc=antoine.beugnard@enst-bretagne.fr \
--cc=antony.courtney@yale.edu \
--cc=antony@apocalypse.org \
--cc=antoy@cs.pdx.edu \
--cc=aomicini@deis.unibo.it \
--cc=ap@fct.unl.pt \
--cc=apes@cs.strath.ac.uk \
--cc=apineda@clip.dia.fi.upm.es \
--cc=apng-all@apng.org \
--cc=appel@princeton.edu \
--cc=appiar@fct.unl.pt \
--cc=appiar@ncc.up.pt \
--cc=appsem@cs.chalmers.se \
--cc=aprove@i2.informatik.rwth-aachen.de \
--cc=apt@cwi.nl \
--cc=arai@dia.ucm.es \
--cc=arie@cwi.nl \
--cc=arno.schmidmeier@sirius-eos.com \
--cc=arnould@sic.sp2mi.univ-poitiers.fr \
--cc=asloane@comp.mq.edu.au \
--cc=atkinson@informatik.uni-kl.de \
--cc=atp@logic.tuwien.ac.at \
--cc=atp_alias@cs.jcu.edu.au \
--cc=atsuhiro@lucifer.ntt.jp \
--cc=austerm@cs.uni-bonn.de \
--cc=awa@uni-paderborn.de \
--cc=aycock@cpsc.ucalgary.ca \
--cc=babel@ls.fi.upm.es \
--cc=bachmendo@cs.uni-essen.de \
--cc=baldoni@di.unito.it \
--cc=bam+@cs.cmu.edu \
--cc=ban@doc.ic.ac.uk \
--cc=bani@cs.ubc.ca \
--cc=bapty@vuse.vanderbilt.edu \
--cc=barbosa@inf.ufrgs.br \
--cc=barbuti@di.unipi.it \
--cc=bardou@lirmm.fr \
--cc=barkers@westminster.ac.uk \
--cc=baroglio@di.unito.it \
--cc=bart.dedecker@cs.kuleuven.ac.be \
--cc=bart.demoen@cs.kuleuven.ac.be \
--cc=bart.dewin@cs.kuleuven.ac.be \
--cc=bart@cs.pdx.edu \
--cc=bartvh@cs.kuleuven.ac.be \
--cc=bastiaan@cs.uu.nl \
--cc=batory@cs.utexas.edu \
--cc=beaumont@cs.bris.ac.uk \
--cc=becker@informatik.uni-frankfurt.de \
--cc=bedir@cs.utwente.nl \
--cc=behavior@cs.ucsd.edu \
--cc=benelog@cs.kuleuven.ac.be \
--cc=bergenti@ce.unipr.it \
--cc=berger@essi.fr \
--cc=bergmans@cs.utwente.nl \
--cc=bershad@cs.washington.edu \
--cc=bert.robben@mediagenix.com \
--cc=bforum@estas1.inrets.fr \
--cc=black@cse.ogi.edu \
--cc=blay@essi.fr \
--cc=blayw@cogs.susx.ac.uk \
--cc=ble@info.fundp.ac.be \
--cc=bmayoh@daimi.aau.dk \
--cc=bmd@cs.kuleuven.ac.be \
--cc=bnj@mip.sdu.dk \
--cc=boris@dia.fi.upm.es \
--cc=bowdidge@apple.com \
--cc=bra-types@cs.chalmers.se \
--cc=brahim.hnich@dis.uu.se \
--cc=brogi@di.unipi.it \
--cc=browse@cs.queensu.ca \
--cc=bryant@cis.uab.edu \
--cc=bsaies@loria.fr \
--cc=bsamik@cs.sunysb.edu \
--cc=bsd@cs.ubc.ca \
--cc=bueno@dia.fi.upm.es \
--cc=buff@cs.boisestate.edu \
--cc=buhr@sce.carleton.ca \
--cc=bundy@aiva.edinburgh.ac.uk \
--cc=bundy@ed.ac.uk \
--cc=burnett@cs.orst.edu \
--cc=bussard@eurecom.fr \
--cc=cadeinc@cs.albany.edu \
--cc=calculemus-ig@dist.unige.it \
--cc=calligramme@loria.fr \
--cc=calton@cc.gatech.edu \
--cc=caml-list@inria.fr \
--cc=caml-list@pauillac.inria.fr \
--cc=carl@drop.aero.org \
--cc=categories@mta.ca \
--cc=catuscia@cse.psu.edu \
--cc=cav-all@csa.cs.technion.ac.il \
--cc=ccl@dfki.uni-sb.de \
--cc=ccp@sics.se \
--cc=cctth@mucc.mahidol.ac.th \
--cc=cdgill@cs.wustl.edu \
--cc=cecuesta@infor.uva.es \
--cc=cgc@ece.unm.edu \
--cc=cgeyer@uol.com.br \
--cc=chaouki@eece.unm.edu \
--cc=charles.consel@inria.fr \
--cc=chechik@cs.toronto.edu \
--cc=chiba@is.titech.ac.jp \
--cc=chik@icot20.icot.junet.jp \
--cc=chris@tk.uni-linz.ac.at \
--cc=christa.schwanninger@mchp.siemens.de \
--cc=christian.pellegrini@cui.unige.ch \
--cc=christian.queinnec@lip6.fr \
--cc=church-announce@types.bu.edu \
--cc=ciao-users@clip.dia.fi.upm.es \
--cc=cifreire@udc.es \
--cc=ckbs-int@cs.keele.ac.uk \
--cc=cl-advertisement-adresses@janeway.inf.tu-dresden.de \
--cc=cl-adverts@spock.inf.tu-dresden.de \
--cc=cl.moore@r20.utexas.edu \
--cc=claude.marche@lri.fr \
--cc=clean-list@cs.kun.nl \
--cc=clip@clip.dia.fi.upm.es \
--cc=clp@cis.ohio-state.edu \
--cc=clp@comp.nus.edu.sg \
--cc=clp@cs.cmu.edu \
--cc=clp@iscs.nus.edu.sg \
--cc=codish@cs.kuleuven.ac.be \
--cc=colibri@let.uu.nl \
--cc=collinsp@scot.ac.uk \
--cc=colmer@dcftlx.das.net \
--cc=colmer@tlxf.geomail.org \
--cc=colt@cs.uiuc.edu \
--cc=comini@dimi.uniud.it \
--cc=comlab@comlab.ox.ac.uk \
--cc=comprox@doc.ic.ac.uk \
--cc=compulog-deduction@cs.bham.ac.uk \
--cc=compulog-list@cwi.nl \
--cc=compulog@doc.imperial.ac.uk \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=compunode-exec@ecrc.de \
--cc=compunode@compulog.org \
--cc=compunode@dfki.de \
--cc=compunode@ecrc.de \
--cc=conal@microsoft.com \
--cc=concurrency@cwi.nl \
--cc=conferences@iao.fhg.de \
--cc=consnet-plan@dcs.rhbnc.ac.uk \
--cc=constraints-list@cwi.nl \
--cc=constraints@cirl.uoregon.edu \
--cc=coq-club@pauillac.inria.fr \
--cc=corchu@lsi.us.es \
--cc=cordy@cs.queensu.ca \
--cc=corsini@geocub.greco-prog.fr \
--cc=corsini@labri.u-bordeaux.fr \
--cc=cousot@dmi.ens.fr \
--cc=cphc-conf@jiscmail.ac.uk \
--cc=cpworld@gmu.edu \
--cc=cram@cs.sunysb.edu \
--cc=crespi@elet.polimi.it \
--cc=crodrigu@bbn.com \
--cc=cs-logic@cs.indiana.edu \
--cc=csl99org@eucmos.sim.ucm.es \
--cc=csl99org@ucmail.ucm.es \
--cc=csl@dbai.tuwien.ac.at \
--cc=csp-list@cert.fr \
--cc=csp@carlit.toulouse.inra.fr \
--cc=csp@granit.jouy.inra.fr \
--cc=ctaboch@dalet.com \
--cc=cup@icot.or.jp \
--cc=curry@informatik.rwth-aachen.de \
--cc=cytron@cs.wustl.edu \
--cc=dai-list@ece.sc.edu \
--cc=dai-list@mcc.com \
--cc=dale@linc.cis.upenn.edu \
--cc=dan@cslab.ericsson.se \
--cc=dan@sics.se \
--cc=dannyd@cs.kuleuven.ac.be \
--cc=dappia@di.fct.unl.pt \
--cc=dave@cs.chalmers.se \
--cc=daviding@ca.ibm.com \
--cc=daw@dcs.gla.ac.uk \
--cc=db@mail-ilca.tepkom.ru \
--cc=dbworld@cs.wisc.edu \
--cc=dcodish@dalet.com \
--cc=dcowan@csg.uwaterloo.ca \
--cc=ddlee@mail.arc.nasa.gov \
--cc=dds@aueb.gr \
--cc=debray@cs.arizona.edu \
--cc=deepak@cse.iitk.ac.in \
--cc=degano@di.unipi.it \
--cc=degroot@ti-csl.csc.ti.com \
--cc=delloul@larc.info.uqam.ca \
--cc=depaoli@disco.unimib.it \
--cc=deransar@minos.inria.fr \
--cc=desmond-dsouza@austin.rr.com \
--cc=devanbu@cs.ucdavis.edu \
--cc=devienne@lifl.fr \
--cc=dfried@cs.indiana.edu \
--cc=diaz@lsi.upc.es \
--cc=dib@qinetiq.com \
--cc=dick@cse.ogi.edu \
--cc=didier.parigot@sophia.inria.fr \
--cc=digest@aiva.ed.ac.uk \
--cc=dilma@ime.usp.br \
--cc=dima@cs.ubc.ca \
--cc=divesh@research.att.com \
--cc=dl@cs.oswego.edu \
--cc=dl@dl-kr.cs.rmit.edu.au \
--cc=dlmoore@teleport.com \
--cc=dma-list@nic.surfnet.nl \
--cc=dnk@watson.ibm.com \
--cc=doaitse@cs.ruu.nl \
--cc=doaitse@cs.uu.nl \
--cc=doh@cse.hanyang.ac.kr \
--cc=donal.lafferty@cs.tcd.ie \
--cc=dong@ou.edu \
--cc=douence@emn.fr \
--cc=dougo@ccs.neu.edu \
--cc=dreamers@dai.ed.ac.uk \
--cc=dsr@ics.uci.edu \
--cc=dtai@cs.kuleuven.ac.be \
--cc=duchien@cnam.fr \
--cc=dulz@informatik.uni-erlangen.de \
--cc=dvnieuwe@vub.ac.be \
--cc=dwile@teknowledge.com \
--cc=dza@info.fundp.ac.be \
--cc=eacsl@dimi.uniud.it \
--cc=eapls@jiscmail.ac.uk \
--cc=eatcs-it@cs.unibo.it \
--cc=eclipse_users@ecrc.de \
--cc=ecoop-info@ecoop.org \
--cc=ed.willink@rrl.co.uk \
--cc=eddy@cs.kuleuven.ac.be \
--cc=edu.au@cs.ruu.nl \
--cc=eernst@cs.auc.dk \
--cc=ees3as@eim.surrey.ac.uk \
--cc=ehmeier@informatik.uni-erlangen.de \
--cc=ejfried@ca.sandia.gov \
--cc=elamma@ing.unife.it \
--cc=elan-users@loria.fr \
--cc=elissa@cs.cmu.edu \
--cc=elrad@charlie.cns.iit.edu \
--cc=elrommes@cs.uu.nl \
--cc=elsnet-list@cogsci.ed.ac.uk \
--cc=emrek@cs.stanford.edu \
--cc=engelen@cs.fsu.edu \
--cc=engler@lcs.mit.edu \
--cc=epontell@cs.nmsu.edu \
--cc=erbi@eurecom.fr \
--cc=eric.van.wyk@comlab.ox.ac.uk \
--cc=erick.vonschweber@cacheon.com \
--cc=erik.putrycz@int-evry.fr \
--cc=erik@cs.uu.nl \
--cc=erlang-questions@erlang.org \
--cc=erlend.stav@idi.ntnu.no \
--cc=esra@kr.tuwien.ac.at \
--cc=esteva@iiia.csic.es \
--cc=etaps99ap1@iks.cs.tu-berlin.de \
--cc=etaps99ap2@iks.cs.tu-berlin.de \
--cc=evah@eucmax.sim.ucm.es \
--cc=evans@cs.virginia.edu \
--cc=evw@cs.umn.edu \
--cc=facs@lboro.ac.uk \
--cc=falaschi@artemide.dei.unipd.it \
--cc=falaschi@di.unipi.it \
--cc=fall@cs.sfu.ca \
--cc=fayad@cse.unl.edu \
--cc=fds@ncc.up.pt \
--cc=feeley@cs.ubc.ca \
--cc=felisa@lsi.upc.es \
--cc=fernan@sip.ucm.es \
--cc=fernando@unex.es \
--cc=fg121@bach.informatik.uni-ulm.de \
--cc=fg121@sunjessen46.informatik.tu-muenchen.de \
--cc=fg214@informatik.uni-kiel.de \
--cc=fhunleth@cs.wustl.edu \
--cc=fidel@cs.chalmers.se \
--cc=fidel@sol.info.unlp.edu.ar \
--cc=file@pdmat1.unipd.it \
--cc=florijn@serc.nl \
--cc=florin@cnam.fr \
--cc=flucio@unex.es \
--cc=fm-info@air16.larc.nasa.gov \
--cc=focs@comlab.ox.ac.uk \
--cc=formal-methods@cs.uidaho.edu \
--cc=formal-methods@cs.utoronto.ca \
--cc=forman@acm.org \
--cc=forum@jsoftware.com \
--cc=fox@cs.stanford.edu \
--cc=fr-sem@frmug.org \
--cc=fradet@irisa.fr \
--cc=fraguas@dia.ucm.es \
--cc=frank.matthijs@cs.kuleuven.ac.be \
--cc=frederic.bertrand@esa.upmf-grenoble.fr \
--cc=freire@fi.udc.es \
--cc=frezza@gannon.edu \
--cc=frocos@loria.fr \
--cc=fromherz@parc.xerox.com \
--cc=frossi@math.unipd.it \
--cc=fsdm@it.uq.edu.au \
--cc=ftp@logic.at \
--cc=ftrilnik@exa.unicen.edu.ar \
--cc=fun@cs.unibo.it \
--cc=furukawa@icot20.icot.junet.jp \
--cc=gal@ivs.cs.uni-magdeburg.de \
--cc=gaspari@cs.unibo.it \
--cc=gb221@cus.cam.ac.uk \
--cc=geier@informatik.uni-erlangen.de \
--cc=geihs@informatik.uni-frankfurt.de \
--cc=generic-haskell@generic-haskell.org \
--cc=gerald@comp.lancs.ac.uk \
--cc=gerda@cs.kuleuven.ac.be \
--cc=giacomo_piccinelli@hp.com \
--cc=gigalips@acrc.bris.ac.uk \
--cc=gigalips@mcs.anl.gov \
--cc=gigalips@sics.se \
--cc=gilberto@zenone.unipd.it \
--cc=gilles.barthe@sophia.inria.fr \
--cc=gilles.roussel@univ-mlv.fr \
--cc=gimac@ctima.uma.es \
--cc=giri@cs.sunysb.edu \
--cc=gk@cs.uni-bonn.de \
--cc=gkoutsoukos@oblog.pt \
--cc=glaesser@microsoft.com \
--cc=glaesser@upb.de \
--cc=glandrup@cs.utwente.nl \
--cc=glp@first.gmd.de \
--cc=goldberg@cs.nyu.edu \
--cc=gondow@jaist.ac.jp \
--cc=gonzalo@iiia.csic.es \
--cc=gorel.hedin@cs.lth.se \
--cc=graham@cs.berkeley.edu \
--cc=grante@cs.colostate.edu \
--cc=greefhor@serc.nl \
--cc=greentrip@math.sintef.no \
--cc=gregor@cs.ubc.ca \
--cc=gregs@ai.mit.edu \
--cc=gri@informatik.uni-rostock.de \
--cc=grin@di.unipi.it \
--cc=griss@hpl.hp.com \
--cc=grivas@inf.ethz.ch \
--cc=gruenbac@sunset.usc.edu \
--cc=guenter.robbert@sowi.uni-bamberg.de \
--cc=gulp@di.unipi.it \
--cc=gulp@dimi.uniud.it \
--cc=gulwani@eecs.berkeley.edu \
--cc=gupta@cs.nmsu.edu \
--cc=gupta@utdallas.edu \
--cc=gurevich@microsoft.com \
--cc=guta@csg.uwaterloo.ca \
--cc=guy.bernard@int-evry.fr \
--cc=guy.steele@east.sun.com \
--cc=hag@sics.se \
--cc=hak@ilog.fr \
--cc=hak@prl.dec.com \
--cc=hanus@informatik.rwth-aachen.de \
--cc=harrisn@watson.ibm.com \
--cc=haskell@dcs.gla.ac.uk \
--cc=haskell@dcs.glasgow.ac.uk \
--cc=haskell@haskell.org \
--cc=haugen@ztivax.de \
--cc=haupt@informatik.tu-darmstadt.de \
--cc=hawick@bangor.ac.uk \
--cc=hcirstea@loria.fr \
--cc=hcirstea@platform.com \
--cc=heath@informatics.bangor.ac.uk \
--cc=hendrik.decker@mchp.siemens.de \
--cc=herbert@zeus.informatik.rwth-aachen.de \
--cc=herme@fi.upm.es \
--cc=herme@unm.edu \
--cc=herold@ecrc.de \
--cc=hes@ai.mit.edu \
--cc=hg@uni-paderborn.de \
--cc=hilsdale@parc.xerox.com \
--cc=hirschfeld@acm.org \
--cc=hkuno@hpl.hp.com \
--cc=hmiranda@di.fc.ul.pt \
--cc=hofmann@eat.e-technik.tu-muenchen.de \
--cc=horatiu.cirstea@loria.fr \
--cc=hpsg-l@lists.stanford.edu \
--cc=huguet@ac.upc.es \
--cc=hugunin@parc.xerox.com \
--cc=hundehe@math.uni-muenster.de \
--cc=hussain@cs.queensu.ca \
--cc=hwxi@ececs.uc.edu \
--cc=hxh169@email.psu.edu \
--cc=i.s.welch@ncl.ac.uk \
--cc=ianw@ces.clemson.edu \
--cc=icfp@dcs.gla.ac.uk \
--cc=ichisugi@etl.go.jp \
--cc=iclppubl@cs.kuleuven.ac.be \
--cc=idss@socs.uts.edu.au \
--cc=ifip-wg1_3-members@brics.dk \
--cc=ifm2000@tees.ac.uk \
--cc=ifmsig@cs.tcd.ie \
--cc=igpl@doc.ic.ac.uk \
--cc=ikbs@caad.ed.ac.uk \
--cc=inductive@listserv.unb.ca \
--cc=info-hol@phirewall.cs.byu.edu \
--cc=informaticos@uncoma.edu.ar \
--cc=ipa@tue.nl \
--cc=ipalist@win.tue.nl \
--cc=iramos@dsic.upv.es \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=isabelle.attali@sophia.inria.fr \
--cc=isss-people@ics.uci.edu \
--cc=ivp@isi.itfs.nsk.su \
--cc=j.hamer@cs.auckland.ac.nz \
--cc=jaan@keeks.ioc.ee \
--cc=jacksoni@cs.ucdavis.edu \
--cc=jacobsen@eecg.toronto.edu \
--cc=jaime.delgado@mtg.es \
--cc=jalmen@ual.es \
--cc=james.power@may.ie \
--cc=jan.bosch@ide.hk-r.se \
--cc=jan@cs.ubc.ca \
--cc=janma@ida.liu.se \
--cc=jas@di.uminho.pt \
--cc=jaume@aisb.ed.ac.uk \
--cc=jbailey@cs.mu.oz.au \
--cc=jbrichau@vub.ac.be \
--cc=jclemente@unex.es \
--cc=jcmoreno@dia.ucm.es \
--cc=jcorreas@clip.dia.fi.upm.es \
--cc=jcr@research.att.com \
--cc=jeff_mcaffer@oti.com \
--cc=jesus@cepba.upc.es \
--cc=jezequel@irisa.fr \
--cc=jfall@sfu.ca \
--cc=jgarcia@lml.ls.fi.upm.es \
--cc=jgm@cs.cornell.edu \
--cc=jgouveia@oblog.pt \
--cc=jgray@vuse.vanderbilt.edu \
--cc=jherrero@unex.es \
--cc=jhf@lanl.gov \
--cc=jhwu@mis.nsysu.edu.tw \
--cc=jiehuang@cse.ogi.edu \
--cc=jiglesia@cs.nmsu.edu \
--cc=jilles@cs.rug.nl \
--cc=jim.dowling@cs.tcd.ie \
--cc=jim@meiko.co.uk \
--cc=jimc@quintus.com \
--cc=jj@di.uminho.pt \
--cc=jjmoreno@fi.upm.es \
--cc=jjruz@dia.ucm.es \
--cc=jlb@sunbim.be \
--cc=jlipton@mail.wesleyan.edu \
--cc=jlk@daimi.au.dk \
--cc=jll@ibm.com \
--cc=jloyall@bbn.com \
--cc=jmlago@dia.ucm.es \
--cc=joachim.bayer@iese.fhg.de \
--cc=jodyp@cs.ubc.ca \
--cc=johan@ccs.neu.edu \
--cc=john-g@cs.auckland.ac.nz \
--cc=jola@csd.uu.se \
--cc=jon.cook@ed.ac.uk \
--cc=jonal@cs.washington.edu \
--cc=jonas@csd.uu.se \
--cc=jones@cse.ogi.edu \
--cc=joost.visser@cwi.nl \
--cc=jordit@ac.upc.es \
--cc=jose@fiadeiro.org \
--cc=joumana_dargham@uqah.uquebec.ca \
--cc=joxan@watson.ibm.com \
--cc=jperez@lsi.us.es \
--cc=jpg@ruc.dk \
--cc=jpryor@exa.unicen.edu.ar \
--cc=jrb@ai.mit.edu \
--cc=jsm@imm.dtu.dk \
--cc=jsm@it.dtu.dk \
--cc=juanher@unex.es \
--cc=juanmamu@unex.es \
--cc=juha.savolainen@hut.fi \
--cc=jukka.paakki@cs.helsinki.fi \
--cc=jukpa@ida.liu.se \
--cc=jur@cs.uu.nl \
--cc=jwl@cs.bris.ac.uk \
--cc=jyuan@cs.ucsd.edu \
--cc=jzinky@bbn.com \
--cc=k.shen@icparc.ic.ac.uk \
--cc=kabowen@cis.syr.edu \
--cc=kaib@acm.org \
--cc=kamin@cs.uiuc.edu \
--cc=kapur@cs.unm.edu \
--cc=karczma@info.unicaen.fr \
--cc=kas@cs.usask.ca \
--cc=katayama@jaist.ac.jp \
--cc=katsu@takilab.k.dendai.ac.jp \
--cc=katz@cs.technion.ac.il \
--cc=kaufmann@cli.com \
--cc=kawabe@suou.waseda.jp \
--cc=kdv@cs.kuleuven.ac.be \
--cc=kdvolder@cs.ubc.ca \
--cc=kdvolder@vub.ac.be \
--cc=keen@cs.ucdavis.edu \
--cc=kendall@infotech.monash.edu.au \
--cc=kenji@fmx.cs.titech.ac.jp \
--cc=kerherve@info.uqam.ca \
--cc=kessler@inf.ufsc.br \
--cc=kfisher@research.att.com \
--cc=kgs@dbai.tuwien.ac.at \
--cc=kgs@logic.tuwien.ac.at \
--cc=khalid@ii.uib.no \
--cc=khayri@sics.se \
--cc=kienle@yin.cs.uvic.ca \
--cc=kim.mens@info.ucl.ac.be \
--cc=kim@cs.uml.edu \
--cc=kjx@mcs.vuw.ac.nz \
--cc=klarlund@research.att.com \
--cc=klaus.ostermann@mchp.siemens.de \
--cc=klc@doc.ic.ac.uk \
--cc=kollarj@ccsun.tuke.sk \
--cc=kostis@csd.uu.se \
--cc=kr-postings@kr.org \
--cc=krab@daimi.aau.dk \
--cc=kresimir.fertalj@fer.hr \
--cc=krunz@ece.arizona.edu \
--cc=kruskal@watson.ibm.com \
--cc=krzysztof.czarnecki@daimlerchrysler.com \
--cc=kuehne@informatik.uni-kl.de \
--cc=kumar@cs.umn.edu \
--cc=kutter@acm.org \
--cc=kw217@cl.cam.ac.uk \
--cc=l.moreau@ecs.soton.ac.uk \
--cc=l2lu@oakland.edu \
--cc=labman@lml.ls.fi.upm.es \
--cc=laemmi@it.kth.se \
--cc=lambda-usergroup@dcs.ed.ac.uk \
--cc=lamping@acm.org \
--cc=landrade@atxsoftware.com \
--cc=larus@microsoft.com \
--cc=lb@comp.lancs.ac.uk \
--cc=leach@dia.ucm.es \
--cc=leom@mail.ru \
--cc=leon.moonen@cwi.nl \
--cc=leon@bach.ces.cwru.edu \
--cc=lepreau@cs.utah.edu \
--cc=ler@di.fc.ul.pt \
--cc=levi@di.unipi.it \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=lff@lcc.uma.es \
--cc=lfg@lists.stanford.edu \
--cc=lics-email@cs.indiana.edu \
--cc=lics@research.bell-labs.com \
--cc=lidia@dsic.upv.es \
--cc=lieber@ccs.neu.edu \
--cc=life-users@cs.sfu.ca \
--cc=linear-request@cs.stanford.edu \
--cc=linear@cs.stanford.edu \
--cc=lionel.seinturier@lip6.fr \
--cc=lmp@fct.unl.pt \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-l@bucknell.edu \
--cc=logic-list@cs.rice.edu \
--cc=logic-list@helsinki.fi \
--cc=logic-ml@logic.jaist.ac.jp \
--cc=logic@cs.cornell.edu \
--cc=logic@cs.stanford.edu \
--cc=logic@math.ufl.edu \
--cc=logic@theory.lcs.mit.edu \
--cc=lorenz@ccs.neu.edu \
--cc=lotos-na@site.uottawa.ca \
--cc=lp-internet@doc.ic.ac.uk \
--cc=lpca@loria.fr \
--cc=lpnmr@cs.engr.uky.edu \
--cc=lppnmr@cs.engr.uky.edu \
--cc=lprolog-list@cis.upenn.edu \
--cc=lprolog@central.cis.upenn.edu \
--cc=lprolog@cis.upenn.edu \
--cc=lprolog@cs.umn.edu \
--cc=lseiter@scu.edu \
--cc=luc.maranget@inria.fr \
--cc=ludwig@ipd.info.uni-karlsruhe.de \
--cc=lurdes@dia.ucm.es \
--cc=lusk@antares.mcs.anl.gov \
--cc=lusk@mcs.anl.gov \
--cc=maamaw@cosmos.imag.fr \
--cc=mailinglist@fmeurope.org \
--cc=mal@ecs.soton.ac.uk \
--cc=malloy@cs.clemson.edu \
--cc=mantaras@iiia.csic.es \
--cc=manuel.serrano@inria.fr \
--cc=marash@comp.lancs.ac.uk \
--cc=marcoxa@parades.rm.cnr.it \
--cc=marcy@krlab.cs.tty.edu \
--cc=margus@microsoft.com \
--cc=maria@csee.uq.edu.au \
--cc=maria@dia.fi.upm.es \
--cc=mario.sudholt@emn.fr \
--cc=mario@dia.ucm.es \
--cc=marisol@unex.es \
--cc=mark.ardis@rose-hulman.edu \
--cc=mark.van-den-brand@loria.fr \
--cc=marriott@cs.monash.edu.au \
--cc=mateo@ac.upc.es \
--cc=matighet@bbn.com \
--cc=matsc@sics.se \
--cc=matsu@is.titech.ac.jp \
--cc=matthias.jung@eurecom.fr \
--cc=maurice@cs.kuleuven.ac.be \
--cc=may@informatik.uni-freiburg.de \
--cc=mbanda@cs.monash.edu.au \
--cc=mcc@watson.ibm.com \
--cc=mcheick@info.uqam.ca \
--cc=mclennan@cs.utk.edu \
--cc=mcodish@cs.bgu.ac.il \
--cc=mcs98@doc.ic.ac.uk \
--cc=mdeters@cs.wustl.edu \
--cc=mehner@uni-paderborn.de \
--cc=members@fmeurope.org \
--cc=mercury-ads@cs.mu.oz.au \
--cc=mercury-users@cs.mu.oz.au \
--cc=merik.meriste@ut.ee \
--cc=meseguer@csl.sri.com \
--cc=meta-announce@cwi.nl \
--cc=mezini@informatik.tu-darmstadt.de \
--cc=mff@research.att.com \
--cc=mfontoura@acm.org \
--cc=mfps_mail@math.tulane.edu \
--cc=mgelfond@redwood.cs.ttu.edu \
--cc=mh@informatik.uni-kiel.de \
--cc=michael.kircher@mchp.siemens.de \
--cc=michael.mehl@ps.uni-sb.de \
--cc=michael@comp.lancs.ac.uk \
--cc=michel@ncc.up.pt \
--cc=miguel.antunes@inesc.pt \
--cc=mikau@cs.nmsu.edu \
--cc=mikis@mimuw.edu.pl \
--cc=mili@info.uqam.ca \
--cc=minker@cs.umd.edu \
--cc=mis@brics.dk \
--cc=mjdhondt@vub.ac.be \
--cc=mjm@ibm.com \
--cc=mjm@watson.ibm.com \
--cc=mjose@dsic.upv.es \
--cc=mjs@doc.ic.ac.uk \
--cc=mkaplan@watson.ibm.com \
--cc=mkersten@parc.xerox.com \
--cc=mklooster@baan.nl \
--cc=mkupries@ccse.kfupm.edu.sa \
--cc=ml@ics.uci.edu \
--cc=mlnet@csd.abdn.ac.uk \
--cc=mlnet@swi.psy.uva.nl \
--cc=mnordberg@blueprinttech.com \
--cc=mohamed.kande@epfl.ch \
--cc=mol@cis.upenn.edu \
--cc=monga@elet.polimi.it \
--cc=monica@krlab4.cs.utep.edu \
--cc=mop@cs.uu.nl \
--cc=motelet@emn.fr \
--cc=mrg@itc.it \
--cc=mrobilla@cs.ubc.ca \
--cc=mstecker@informatik.uni-erlangen.de \
--cc=mtoro@lsi.us.es \
--cc=mueller@natlab.research.philips.com \
--cc=mughal@cs.cornell.edu \
--cc=murban@ivs.cs.uni-magdeburg.de \
--cc=murphy@cs.ubc.ca \
--cc=muthu@morticia.sc.intel.com \
--cc=mw@di.fct.unl.pt \
--cc=n-noda@cw.jp.nec.com \
--cc=naish@clip.dia.fi.upm.es \
--cc=naiwei@arizona.edu \
--cc=naiwei@cs.arizona.edu \
--cc=nakasima@kuis.kyoto-u.ac.jp \
--cc=nbastan@exa.unicen.edu.ar \
--cc=nch@research.bell-labs.com \
--cc=nebbe@iam.unibe.ch \
--cc=neil@diku.dk \
--cc=neno@sunset.usc.edu \
--cc=neubauer@informatik.uni-freiburg.de \
--cc=nforman@liaison.com \
--cc=nha@info.fundp.ac.be \
--cc=nicos@cs.york.ac.uk \
--cc=nieva@mat.ucm.es \
--cc=nigelh@yin.cs.uvic.ca \
--cc=njexon@qinetiq.com \
--cc=nl-kr@cs.rpi.edu \
--cc=nlcl@cogs.susx.ac.uk \
--cc=nlp-ia@bosoleil.ci.umoncton.ca \
--cc=norm@cs.ubc.ca \
--cc=norman.sadeh@dg3.cec.be \
--cc=nqthm-users@cli.com \
--cc=nqthm-users@cs.utexas.edu \
--cc=nsr@cin.ufpe.br \
--cc=nswoboda@clip.dia.fi.upm.es \
--cc=nuprllist@cs.cornell.edu \
--cc=nvti-list@cwi.nl \
--cc=nwpt-info@sool.ioc.ee \
--cc=oaldawud@lucent.com \
--cc=objecttypes@daimi.aau.dk \
--cc=oegai@ifs.tuwien.ac.at \
--cc=oege@comlab.ox.ac.uk \
--cc=ok@goanna.cs.rmit.edu.au \
--cc=olaf@ivs.cs.uni-magdeburg.de \
--cc=olive@lsi.upc.es \
--cc=om-announce@openmath.org \
--cc=orejas@lsi.upc.es \
--cc=oscar@iam.unibe.ch \
--cc=ossher@watson.ibm.com \
--cc=ossowski@isys.dia.fi.upm.es \
--cc=otr@doc.ic.ac.uk \
--cc=overbeek@mcs.anl.gov \
--cc=owen@unbsj.ca \
--cc=owen@unsbsj.ca \
--cc=owner-uai@cs.orst.edu \
--cc=oz-users@dfki.uni-sb \
--cc=ozsl-list@wins.uva.nl \
--cc=p-and-s@shelob.iti.salford.ac.uk \
--cc=p.j.soper@ecs.southampton.ac.uk \
--cc=paakki@cs.jyu.fi \
--cc=paolo@di.unipi.it \
--cc=paoluzzi@dia.uniroma3.it \
--cc=papm@dcs.ed.ac.uk \
--cc=parforce-at-bristol@cs.bris.ac.uk \
--cc=parforce-at-ecrc@ecrc.de \
--cc=parforce-at-inria@margaux.inria.fr \
--cc=parforce-at-pisa@di.unipi.it \
--cc=parforce-at-sics@sics.se \
--cc=parforce-at-soton@ecs.soton.ac.uk \
--cc=parforce-at-upm@dia.fi.upm.es \
--cc=parforce@ecrc.de \
--cc=patrick.cousot@ens.fr \
--cc=patrick.steyaert@mediagenix.com \
--cc=paul.hudak@yale.edu \
--cc=paul.klint@cwi.nl \
--cc=pawel.wojciechowski@epfl.ch \
--cc=pawlak@cnam.fr \
--cc=pazzi@unimo.it \
--cc=pcdavid@emn.fr \
--cc=pcox@cs.dal.ca \
--cc=pdmosses@brics.dk \
--cc=pedre@di.unipi.it \
--cc=pepper@opal.cs.tu-berlin.de \
--cc=perbrand@sics.se \
--cc=pere@iiia.csic.es \
--cc=pereira@stinson.ai.sri.com \
--cc=perry@ece.utexas.edu \
--cc=pertti.kellomaki@cs.tut.fi \
--cc=peter.sties@ei.tum.de \
--cc=peter.werner@telekom.de \
--cc=peter@schneider-kamp.de \
--cc=peter@uni-paderborn.de \
--cc=peterson-john@cs.yale.edu \
--cc=peterson-john@yale.edu \
--cc=petrinets@daimu.aau.dk \
--cc=peureux@comte.univ-fcomte.fr \
--cc=philippe.bouaziz@lip6.fr \
--cc=philippe.codognet@inria.fr \
--cc=philippe.lahire@unice.fr \
--cc=phmb@cin.ufpe.br \
--cc=pierre-antoine.queloz@cui.unige.ch \
--cc=pierre-etienne.moreau@loria.fr \
--cc=pierre.cointe@emn.fr \
--cc=pierre.crescenzo@unice.fr \
--cc=pierre.deransart@inria.fr \
--cc=pierre.flener@dis.uu.se \
--cc=pike@cis.ohio-state.edu \
--cc=pimentel@ctima.uma.es \
--cc=pingali@cs.cornell.edu \
--cc=pinna@essi.fr \
--cc=pinto@lcc.uma.es \
--cc=piotr@cse.uta.edu \
--cc=pjs@cs.mu.oz.au \
--cc=pl-seminar@ccs.neu.edu \
--cc=planet-out@ares.informatik.uni-ulm.de \
--cc=plouzeau@irisa.fr \
--cc=plt-scheme@slow.flux.utah.edu \
--cc=plummer@cs.swarthmore.edu \
--cc=pmello@deis.unibo.it \
--cc=poggi@ce.unipr.it \
--cc=popovici@inf.ethz.ch \
--cc=potter@mri.mq.edu.au \
--cc=ppal@bbn.com \
--cc=practical-applications@pap.com \
--cc=prh@di.uminho.pt \
--cc=priami@sci.univr.it \
--cc=prins@cs.unc.edu \
--cc=procos@jiscmail.ac.uk \
--cc=prog-lang@brics.dk \
--cc=prog-lang@diku.dk \
--cc=prog-logique@irisa.fr \
--cc=prolia@tlxf.geomail.org \
--cc=prolog-pe@bach.ces.cwru.edu \
--cc=prolog-vendors@sics.se \
--cc=prolog@mch.sni.de \
--cc=prolog@sunbim.be \
--cc=prolog@swi.psy.uva.nl \
--cc=protagonist@cs.kun.nl \
--cc=psaila@elet.polimi.it \
--cc=pulvermu@ipd.info.uni-karlsruhe.de \
--cc=puml-list@cs.york.ac.uk \
--cc=puri@dia.ucm.es \
--cc=puyol@iiia.csic.es \
--cc=pvh@cs.brown.edu \
--cc=pviry@ilog.fr \
--cc=pvr@info.ucl.ac.be \
--cc=pvs@csl.sri.com \
--cc=pyang@cs.sunysb.edu \
--cc=qed@mcs.anl.gov \
--cc=quintus-users-moderated@sics.se \
--cc=quintus-users@quintus.com \
--cc=quintus-users@sics.se \
--cc=r.j.stroud@ncl.ac.uk \
--cc=r.scheidhauer@ids-scheer.de \
--cc=radhia@poly.polytechnique.fr \
--cc=raf@sunbim.be \
--cc=raffaeta@di.unipi.it \
--cc=raghu@cs.wisc.edu \
--cc=rak@doc.ic.ac.uk \
--cc=ralena@mail.arc.nasa.gov \
--cc=ralf.laemmel@cwi.nl \
--cc=ram@cs.sunysb.edu \
--cc=rastofer@informatik.uni-erlangen.de \
--cc=rauzy@labri.u-bordeaux.fr \
--cc=rdahab@ic.unicamp.br \
--cc=reliable_computing@interval.usl.edu \
--cc=relmics-list@heraklit.informatik.unibw-muenchen.de \
--cc=rensink@cs.utwente.nl \
--cc=reps@cs.wisc.edu \
--cc=rewriting@ens-lyon.fr \
--cc=rfilman@mail.arc.nasa.gov \
--cc=rgr@inria.fr \
--cc=ricardo@lsi.upc.es \
--cc=rito.silva@acm.org \
--cc=riveill@essi.fr \
--cc=rjordan@eece.unm.edu \
--cc=rladdaga@ai.mit.edu \
--cc=rlinger@sei.cmu.edu \
--cc=robbie.schaefer@c-lab.de \
--cc=roberto@lsi.upc.es \
--cc=rod@cs.colgate.edu \
--cc=rolfs@ics.mq.edu.au \
--cc=rossi@di.unipi.it \
--cc=rouvellou@us.ibm.com \
--cc=rrodriguez@teleserver.es \
--cc=rrrs-authors@zurich.csail.mit.edu \
--cc=rshapiro@bbn.com \
--cc=rslopes@ncc.up.pt \
--cc=rubio@lsi.upc.es \
--cc=rv@bluetail.com \
--cc=rwarren2@earthlink.net \
--cc=rwt@mulga.edu.au \
--cc=ryap@comp.nus.edu.sg \
--cc=s.g.barker@westminster.ac.uk \
--cc=sadou@info.uqam.ca \
--cc=safety-critical@cs.york.ac.uk \
--cc=sam.michiels@cs.kuleuven.ac.be \
--cc=samir@clip.dia.fi.upm.es \
--cc=sammy@cs.utexas.edu \
--cc=schandra@bell-labs.com \
--cc=schantz@bbn.com \
--cc=sched-l@dbai.tuwien.ac.at \
--cc=scheme48@zurich.csail.mit.edu \
--cc=scheme@mc.lcs.mit.edu \
--cc=schloegel_kirk@htc.honeywell.com \
--cc=schulte@imit.kth.se \
--cc=schulz@dstc.edu.au \
--cc=schwitt@ics.mq.edu.au \
--cc=sd@doc.ic.ac.uk \
--cc=sebastian.brand@cwi.nl \
--cc=secre@dia.fi.upm.es \
--cc=seif@it.kth.se \
--cc=seif@sics.se \
--cc=sekar@cs.sunysb.edu \
--cc=sepia_users@ecrc.de \
--cc=seworld@cs.colorado.edu \
--cc=sgaico@cui.unige.ch \
--cc=shamim@lucent.com \
--cc=shanenbe@cs.uni-essen.de \
--cc=shao-zhong@cs.yale.edu \
--cc=sheard@cse.ogi.edu \
--cc=shriram@cs.rice.edu \
--cc=sicstus-users-moderated@sics.se \
--cc=sicstus-users@sics.se \
--cc=sigparse-list@cs.cmu.edu \
--cc=sigparse-list@nl.cs.cmu.edu \
--cc=sigplan@cs.virginia.edu \
--cc=silfs_ia@dist.unige.it \
--cc=simmonds@us.ibm.com \
--cc=simon.2.thompson@bt.com \
--cc=siobhan.clarke@cs.tcd.ie \
--cc=sistac@lsi.upc.es \
--cc=sjouke@win.tue.nl \
--cc=sk@cs.brown.edu \
--cc=skeletons@dcs.ed.ac.uk \
--cc=skotthe@iit.edu \
--cc=slugboy@cs.unm.edu \
--cc=sme@cs.toronto.edu \
--cc=smedley@cs.dal.ca \
--cc=smolka@dfki.uni-sb.de \
--cc=smolka@ps.uni-sb.de \
--cc=smolyn@cs.ubc.ca \
--cc=snaroff@apple.com \
--cc=soemyats@comp.nus.edu.sg \
--cc=softtech@cs.uu.nl \
--cc=softverf@jaguar.cs.byu.edu \
--cc=softverf@leopard.cs.byu.edu \
--cc=speck@informatik.uni-tuebingen.de \
--cc=spiro@cis.ohio-state.edu \
--cc=sprenkle@cs.duke.edu \
--cc=srm@brandeis.edu \
--cc=stai@us.ibm.com \
--cc=stan@comp.nus.edu.sg \
--cc=stefan.hofmann@ei.tum.de \
--cc=stephan@cs.tu-berlin.de \
--cc=stephang@cs.ubc.ca \
--cc=steven.prestwich@ecrc.de \
--cc=stott@cs.ucla.edu \
--cc=stratego-users@cs.uu.nl \
--cc=stratego@cs.uu.nl \
--cc=sulzmann@comp.nus.edu.sg \
--cc=supratik@mpi-sb.mpg.de \
--cc=susana@fi.upm.es \
--cc=suzuki@yy.cs.keio.ac.jp \
--cc=sverker@sics.se \
--cc=szeredi@iqsoft.hu \
--cc=t.hong@doc.ic.ac.uk \
--cc=takuo@jaist.ac.jp \
--cc=tam@ji.berkeley.edu \
--cc=tarau@cs.unt.edu \
--cc=tarr@watson.ibm.com \
--cc=tball@microsoft.com \
--cc=tbray@textuality.com \
--cc=tfm-list@doc.ic.ac.uk \
--cc=theorem-provers@ai.mit.edu \
--cc=theorem-provers@mc.lcs.mit.edu \
--cc=theory-a@vm1.nodak.edu \
--cc=theory-logic@cs.cmu.edu \
--cc=theory@brics.dk \
--cc=theory@cl.cam.ac.uk \
--cc=theorynt@listserv.nodak.edu \
--cc=thomas.ledoux@emn.fr \
--cc=ticke@cdcna.com \
--cc=tim@quintus.com \
--cc=timw@win.tue.nl \
--cc=tjdhondt@vub.ac.be \
--cc=tk@software-improvers.com \
--cc=tlm@cin.ufpe.br \
--cc=todd@cs.arizona.edu \
--cc=toledano@unex.es \
--cc=tom.mens@vub.ac.be \
--cc=tom.tourwe@vub.ac.be \
--cc=tomma@cs.kuleuven.ac.be \
--cc=top@ingsdb.sdu.dk \
--cc=torsten@csg.uwaterloo.ca \
--cc=torvill@trolldata.no \
--cc=trg@inf.ethz.ch \
--cc=troya@ctima.uma.es \
--cc=troya@lcc.uma.es \
--cc=tshih@cs.tku.edu.tw \
--cc=tsp@mail.tajen.edu.tw \
--cc=tswift@cs.sunysb.edu \
--cc=tta@cs.tut.fi \
--cc=turini@di.unipi.it \
--cc=tyagi@cs.unt.edu \
--cc=tyates@unm.edu \
--cc=types-wg@durham.ac.uk \
--cc=types@cis.upenn.edu \
--cc=tyugu@ebs.ee \
--cc=tyuri@cs.technion.ac.il \
--cc=uai@cs.orst.edu \
--cc=ubecker@informatik.uni-erlangen.de \
--cc=udi@wisdom.weizmann.ac.il \
--cc=ueda@cfi.waseda.ac.jp \
--cc=ueda@ueda.info.waseda.ac.jp \
--cc=ugo@di.unipi.it \
--cc=uira@ime.usp.br \
--cc=ulfni@ida.liu.se \
--cc=uli@mailhost.uni-koblenz.de \
--cc=ulrich.eisenecker@t-online.de \
--cc=unlandr@cs.uni-essen.de \
--cc=users-prolog@gnu.org \
--cc=users@mozart-oz.org \
--cc=uwe.assmann@ida.liu.se \
--cc=uwe@uni-paderborn.de \
--cc=vanhilst@cs.washington.edu \
--cc=veroff@cs.unm.edu \
--cc=veronica@lccr.sfu.cdn.ca \
--cc=veronique.benzaken@lri.fr \
--cc=vibha@cs.washington.edu \
--cc=vilbig@in.tum.de \
--cc=vinny.cahill@cs.tcd.ie \
--cc=visser@acm.org \
--cc=vitor@cos.ufrj.br \
--cc=vittek@guma.ii.fmph.uniba.sk \
--cc=viviane@inf.puc-rio.br \
--cc=vj@research.att.com \
--cc=vki-list@dfki.de \
--cc=vlad.tanasescu@epfl.ch \
--cc=vpr@unm.edu \
--cc=vsc@ncc.up.pt \
--cc=vsm@cs.cornell.edu \
--cc=walker@cs.ubc.ca \
--cc=walpole@cse.ogi.edu \
--cc=warren@acrc.bris.ac.uk \
--cc=warren@cs.sunysb.edu \
--cc=warren@sbcs.sunysb.edu \
--cc=warrenw@cs.bris.ac.uk \
--cc=wdmeuter@vub.ac.be \
--cc=wfc@cl.cam.ac.uk \
--cc=wgg@cs.ucsd.edu \
--cc=wgw@symplicity.biz \
--cc=will.tracz@lmco.com \
--cc=william.waite@colorado.edu \
--cc=williams@mail.cs.unm.edu \
--cc=wilsonww11@msn.com \
--cc=winsboro@cs.psu.edu \
--cc=wlohmann@informatik.uni-rostock.de \
--cc=wohlstad@cs.ucdavis.edu \
--cc=wolfgang.kellerer@ei.tum.de \
--cc=wolfgang.mueller@c-lab.de \
--cc=wollic@di.ufpe.br \
--cc=wosch@ivs.cs.uni-magdeburg.de \
--cc=wouter@cs.kuleuven.ac.be \
--cc=wp@pocs.com \
--cc=wrobinson@gsu.edu \
--cc=x3j17@ai.sri.com \
--cc=yama@cs.keio.ac.jp \
--cc=yannis@cc.gatech.edu \
--cc=ycoady@cs.ubc.ca \
--cc=yogi@cs.technion.ac.il \
--cc=yonezaki@fmx.cs.titech.ac.jp \
--cc=yoshi@ai.rcast.u-tokyo.ac.jp \
--cc=ysw@csvax.seas.smu.edu \
--cc=zancanella@inf.ufsc.br \
--cc=zaniolo@cs.ucla.edu \
--cc=zforum@prg.ox.ac.uk \
--cc=zhanghy@comp.nus.edu.sg \
--cc=zhou@probp.com \
--cc=zhou@sci.brooklyn.cuny.edu \
--cc=zhudp@cs.bu.edu \
--cc=zied.choukair@enst-bretagne.fr \
--cc=zp@ncc.up.pt \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).