From: Andrea Sorbi <sorbi@unisi.it>
To: "CiE2007 preliminary announcement: ;hajo.broersma"@durham.ac.uk,
4c@4c.ucc.ie, DMANET@zpr.uni-koeln.de,
EAPLS-request@JISCMAIL.AC.UK, Map@mozart.ujf-grenoble.fr,
acl2@cs.utexas.edu, acl@cs.columbia.edu, afelty@site.uottawa.ca,
agents@cs.umbc.edu, aiia@di.unito.it, aisb@cogs.sussex.ac.uk,
alp-request@nic.surfnet.nl, apng-all@apng.org,
behavior@cs.ucsd.edu, calligramme@loria.fr,
caml-list@pauillac.inria.fr, categories@mta.ca, ccl@ps.uni-sb.de,
cie@amsta.leeds.ac.uk, clp@comp.nus.edu.sg, clt@cs.stanford.edu,
coalgebras@iti.cs.tu-bs.de, colibri@let.uu.nl,
collinsp@scot.ac.uk, comlab@comlab.ox.ac.uk,
comp-thy@listserv.nd.edu, complog@cs.nmsu.edu,
comprox@doc.ic.ac.uk, compulognet-parimp@dia.fi.upm.es,
concurrency@cwi.nl, coordinator@agentlink.org,
coq-club@pauillac.inria.fr, cphc-conf@jiscmail.ac.uk,
cs-logic@cs.indiana.edu, csd@lists.ut.ee,
curry@informatik.rwth-aachen.de, dai-list@ece.sc.edu,
dmanet@zpr.uni-koeln.de, eacsl@dimi.uniud.it,
eapls-request@jiscmail.ac.uk, eapls-request@jiscmail.ac.uk,
elan-users@loria.fr, esterel-users@sophia.inria.fr,
fg214@informatik.uni-kiel.de, fmics@inrialpes.fr,
formal-methods@cs.uidaho.edu, glp@first.gmd.de, grin@di.unipi.it,
iiia@iiia.csic.es, imps@linus.mitre.org,
informatica@deis.unibo.it, isabelle-users-request@cl.cam.ac.uk,
isabelle-users@cl.cam.ac.uk, kaw@swi.psy.uva.nl, kgs@logic.at,
lfcs-interest@dcs.ed.ac.uk, lfg@lists.stanford.edu,
lics@informatik.hu-berlin.de, linear-request@cs.stanford.edu,
list@prooftheory.org, logic-list@helsinki.fi,
logic@math.uni-bonn.de, logik@math.uni-freiburg.de,
logik@math.uni-muenster.de,
logik@math02.mathematik.uni-muenchen.de,
lotos-world@site.uottawa.ca, lpnmr@cs.engr.uky.edu,
lprolog@cs.umn.edu, mailinglist@fmeurope.org,
mathematics@swansea.ac.uk, mercury-users@cs.mu.oz.au,
ml@isle.org, mol@cis.upenn.edu, mrg@itc.it,
nlp-ia@bosoleil.ci.umoncton.ca, nqthm-users@cs.utexas.edu,
nuprlnotes@cs.cornell.edu,
petrinet-owner@informatik.uni-hamburg.de,
petrinet@informatik.uni-hamburg.de, pieper@mcs.anl.gov,
prog-lang@daimi.au.dk, prog-lang@diku.dk,
prole@babel.ls.fi.upm.es, proof-complexity@math.cas.cz,
pt@janeway.inf.tu-dresden.de, pvs@csl.sri.com,
rewriting-request@loria.fr, rewriting@ens-lyon.fr,
seworld@cs.colorado.edu, sicstus-users@sics.se,
sigparse-list@cs.cmu.edu, sml-list@cs.cmu.edu, softtech@cs.uu.nl,
stratego@cs.uu.nl, theorem-provers@ai.mit.edu,
theorem-provers@mc.lcs.mit.edu, theory-logic@cs.cmu.edu,
theorynt@listserv.nodak.edu, types-announce@lists.seas.upenn.edu,
types@cis.upenn.edu, vki-list@dfki.de,
webmaster@hypercomputation.net, zforum@prg.ox.ac.uk,
a.g.setzer@swan.ac.uk, a7323910@cic.aku.ac.ir,
aa@cableinet.co.uk, aa@math.tau.ac.il, aal@tc.unicyb.kiev.ua,
abadi@research.bell-labs.com, abarbanl@haifasc3.vnet.ibm.com,
abden@comp.nus.edu.sg, abel@informatik.uni-muenchen.de,
abel@trane.colorado.edu, ablass@umich.edu, abunker@cs.utah.edu,
acl@cs.columbia.edu, acm@ciup1.ncc.up.pt, adnan@cs.berkeley.edu,
adp@iasi.rm.cnr.it, ae@telelogic.se, agn@acm.org,
agogino@needs.org, aguilar@lsi.us.es, agupta@ccrl.nj.nec.com,
ahmed.bouajjani@imag.fr, aicom@dbai.tuwien.ac.at,
aiia@di.unito.it, ajh@cs.ubc.ca, ajm@fe.up.pt,
akama@is.s.u-tokyo.ac.jp, akdag@poleia.lip6.fr,
alagar@cs.concordia.ca, alanje@cogs.susx.ac.uk,
alanw@cs.man.ac.uk, alberto@eecs.berkeley.edu,
alguero@correo.uniovi.es, allison@shasta.stanford.edu,
alp@doc.ic.ac.uk, alur@ic.eecs.berkeley.edu, am@cpe.fr,
amast-info@cs.utwente.nl, amast@cs.utwente.nl,
ami@is.tsukuba.ac.jp, amir@wisdom.weizmann.ac.il,
ammartin@mail.cinvestav.mx, amomigliano60@yahoo.it,
anca@theory.stanford.edu, anderson@cs.washington.edu,
andre.bigand@lasl-gw.univ-littoral.fr, andrea.omicini@acm.org,
andrzej@comlab.ox.ac.uk, animagupta@hotmail.com,
anna@uni-trier.de, annette@cs.vu.nl, annn@csse.monash.edu.au,
announce@sigart.acm.org, annrad@im.pw.edu.pl,
ant%cs.keele.ac.uksroychow@us.oracle.com, antony@apocalypse.org,
antoy@cs.pdx.edu, anuj@eecs.berkeley.edu, ap@cl.cam.ac.uk,
apes@cs.strath.ac.uk, appsem@cs.chalmers.se,
ariel@ee.technion.ac.il, arjun@vangogh.stanford.edu,
armando@dist.unige.it, armin@ira.uka.de,
arpanet-bboards@mc.lcs.mit.edu, ashar@ccrl.nj.nec.com,
asl@vassar.com, aslp@cs.princeton.edu, atp@logic.tuwien.ac.at,
atserias@lsi.upc.es, avalls@etse.urv.es, avg@cs.ucsc.edu,
avl@info.ucl.ac.be, avrunin@math.umass.edu,
b.richards@co.umist.ac.uk, baaz@logic.at, balbiani@irit.fr,
balbiani@lipn.univ-paris13.fr, barhaim@haifasc3.vnet.ibm.com,
baron@poleia.lip6.fr, bastie@toulouse.inra.fr,
bbrennan@ichips.intel.com, bcousin@irisa.fr,
beauquier@univ-paris12.fr, beer@haifasc3.vnet.ibm.com,
behavior@cs.ucsd.edu, belohlav@osu.cz,
benedikt@research.bell-labs.com, benferha@irit.fr,
bengt@docs.uu.se, benny@iil.intel.com,
benoit.gennart@axs-tech.com, benveniste@irisa.fr,
beppu@zzz.or.jp, berard@lsv.ens-cachan.fr,
bernadet@irin.univ-nantes.fr, bernadette.bouchon-meunier@lip6.fr,
bernard.debaets@rug.ac.be, bernd@informatik.uni-hildesheim.de,
bernhard.heinemann@fernuni-hagen.de,
bernhard.josko@arbi.informatik.uni-oldenburg.de,
bernhard@cogs.susx.ac.uk, berthold@cs.berkeley.edu,
berwanger@informatik.rwth-aachen.de, bezem@ii.uib.no,
bf@cs.stanford.edu, bidoit@lsv.ens-cachan.fr, bijan@gsu.edu,
bill.roscoe@comlab.ox.ac.uk, bimbo@csl.anu.edu.au,
birk@ee.technion.ac.il, bjesse@cs.chalmers.se,
bknaack@win.tue.nl, blair@top.cis.syr.edu,
blanc@lsv.ens-cachan.fr, blecharlier@info.fundp.ac.be,
block@cs.chalmers.se, bmkapron@csr.uvic.ca,
boaz.lerner@cl.cam.ac.uk, boaz@taux01.nsc.com,
boehler@informatik.uni-wuerzburg.de, boerger@di.unipi.it,
boerlage@norsys.com, bohn@informatik.uni-oldenburg.de,
boigelot@montefiore.ulg.ac.be, boisseau@lsv.ens-cachan.fr,
bouyer@lsv.ens-cachan.fr, bouzid@cril.univ-artois.fr,
bra-types@cs.chalmers.se, brafman@cs.bgu.ac.il,
branco@iltc.uff.br, brayton@eecs.berkeley.edu,
breese@microsoft.com, brewka@informatik.uni-leipzig.de,
brian@daimi.aau.dk, brigitte.rozoy@lri.fr,
brinksma@cs.utwente.nl, brookes@cs.cmu.edu,
broy@informatik.tu-muenchen.de, brudaru@tuiasi.ro,
buckley@math.uab.edu, bultan@cs.umd.edu,
burkett%uriacc.uri.eduma1capoa@uco.es, bwolen@cs.cmu.edu,
c.a.j.v.eijk@ele.tue.nl, c.faggian@dpmms.cam.ac.uk,
cabodi@polito.it, cachat@informatik.rwth-aachen.de,
calculemus-ig@dist.unige.it, calendar@acm.org,
camilla.schwind@lim.univ-mrs.fr, caml-list@inria.fr,
campos@cs.cmu.edu, carol_logan@vnet.ibm.com, carsten@cs.cmu.edu,
carsten@cs.yale.edu, cattani@brics.dk, ccl@dfki.de,
ccl@dfki.uni-sb.de, cclin@verplex.com, cdk@it.uc3m.es,
cdrossos@math.upatras.gr, cdz@zblmath.fiz-karlsruhe.de,
cenciarelli@dsi.uniroma1.it, cesabian@dsi.unimi.it,
cestluk@polyu.edu.hk, cf245@dpmms.cam.ac.uk, cfmanski@nwu.edu,
charlie@cs.uml.edu, chaudron@cert.fr, chein@lirmm.fr,
chengq@em.tsinghua.edu.cn, chenno@dic.k8.rt.bosch.de,
chezalviel@laas.fr, chitta@cs.utep.edu, cholvy@cert.fr,
christine.paulin@lri.fr, chuijs@cs.utwente.nl,
chungli@cs.colgate.edu, cic@eps.udl.es, cindye@vnet.ibm.com,
cjf@cs.uq.oz.au, cl@informatik.uni-mainz.de, claesen@imec.be,
claudette.cayrol@irit.fr, clote@cs.bc.edu, clp@comp.nus.edu.sg,
colibri@let.uu.nl, comlab@comlab.ox.ac.uk,
comon@lsv.ens-cachan.fr, complog@cs.nmsu.edu,
compulog-deduction@cs.bham.ac.uk, compulog@doc.imperial.ac.uk,
compulognet-parimp@dia.fi.upm.es, compunode@dfki.de,
concurrency@cwi.nl, coppola@dimi.uniud.it,
coq-club@pauillac.inria.fr, coquand@cs.chalmers.se,
corbett@hawaii.edu, cordier@irisa.fr,
corsini@labri.u-bordeaux.fr, cortier@lsv.ens-cachan.fr,
coste@cril.univ-artois.fr, costello@cs.stanford.edu,
courcou@ics.forth.gr, covaliu@research.circ.gwu.edu,
cpalka@kik.pcz.czest.pl, cphc-conf@jiscmail.ac.uk,
cps@dcs.ed.ac.uk, crlin@cup.hp.com, cs-logic@cs.indiana.edu,
cseger@ichips.intel.com, cselena@cs.technion.ac.il,
csl03-pc@logic.at, csl03@logic.at, csp@www-bia.inra.fr,
ctchou@mipos2.intel.com, cwiddoes@0-in.com, cyrluk@csl.sri.com,
da@dcs.ed.ac.uk, dagreve@collins.rockwell.com,
damir@austin.ibm.com, damm@informatik.uni-oldenburg.de,
dan@ora.on.ca, dana.scott@cs.cmu.edu, danh@ikos.com,
danos@logique.jussieu.fr, danwu@cs.uregina.ca,
darwiche@cs.ucla.edu, daryl.stewart@cl.cam.ac.uk,
dataling@cst.ku.dk, david.aspinall@dcs.ed.ac.uk,
david.sinclair@compapp.dcu.ie, david@labri.u-bordeaux.fr,
david@univ-savoie.fr, davise@cs.nyu.edu, dbechet@irisa.fr,
dbudescu@s.psych.uiuc.edu, dbworld@cs.wisc.edu, dechter@uci.edu,
deepak@smi.ernet.in, deiser@rz.mathematik.uni-muenchen.de,
delval@ai.ii.uam.es, demri@lsv.ens-cachan.fr,
denis_r_dancanet@cmu.edu, des@inmos.co.uk, detlefs@east.sun.com,
dh@cermics.enpc.fr, dharel@weizmann.ac.il,
diekert@informatik.uni-stuttgart.de, diram@riscd2.eco.ub.es,
dirkr@cs.kuleuven.ac.be, dmery@loria.fr, dmjans@wins.uia.ac.be,
doller@cse.uta.edu, dominic@cs.stanford.edu,
dominique.borrione@imag.fr, doron@tick.ece.utexas.edu,
dpl@us.ibm.com, dragsal@eunet.yu, draiciu@zugros.usc.edu,
dran@cs.albany.edu, dreamers@dai.ed.ac.uk, drianyo@etse.urv.es,
drj@tycho.ncsc.mil, drp@eng.sun.com, drutko@kik.pcz.czest.pl,
dshardin@cca.rockwell.com, dubois@irit.fr,
duflot@lsv.ens-cachan.fr, dvermeir@vub.ac.be,
dvir@haifasc3.vnet.ibm.com, dvmlg@math.uni-bonn.de,
dvmlglist@math.fu-berlin.de, dza@info.fundp.ac.be,
e.ritter@cs.bham.ac.uk, eacsl@dimi.uniud.it,
eatcs-it@cs.unibo.it, echos@ens.fr, ecroft@mech.ubc.ca,
edaniel@iil.intel.com, edmundr@dcs.qmul.ac.uk,
eduardo@sol.info.unlp.edu.ar, edubois@info.fundp.ac.be,
efrati@iil.intel.com, eh@cs.rit.edu, ejkushne@ichips.intel.com,
ekan@pop.jpl.nasa.gov, elinora@iil.intel.com, elkan@cs.ucsd.edu,
ellen@eecs.berkeley.edu, eloy.mata@dmc.unirioja.es,
elsnet-list@let.uu.nl, elsnet@cogsci.ed.ac.uk, em@info.ucl.ac.be,
emami@mie.utoronto.ca, emc@cs.cmu.edu, emerson@cs.utexas.edu,
emil@mpi-sb.mpg.de, emmanuel.ledinot@dassault-aviation.fr,
eric.madelaine@sophia.inria.fr, eric.rutten@irisa.fr,
erisa@ida.liu.se, escrigm@inf.uji.es, esik@inf.u-szeged.hu,
esparza@informatik.tu-muenchen.de, esteva@iiia.csic.es,
etessami@dimacs.rutgers.edu, ethan@hsvaic.hv.boeing.com,
ether@cirl.uoregon.edu, etienne.kerre@rug.ac.be,
etienne@info.unicaen.fr, eveking@rs.e-technik.th-darmstadt.de,
eytan@dpt-info.u-strasbg.fr, f.k.hanna@ukc.ac.uk,
f.masulli@computer.org, f.p.voorbraak@amc.uva.nl,
fabiani@cert.fr, fabio@colorado.edu, facs-mem@lboro.ac.uk,
fahimi@sina.sharif.ac.ir, farag@mech.ubc.ca, faraon@dccia.ua.es,
farinas@irit.fr, farn@iis.sinica.edu.tw, farnam@eecs.umich.edu,
fbacchus@logos.uwaterloo.ca, fbs@cs.cornell.edu,
fcantu@aisb.ed.ac.uk, fcs@ime.usp.br, fehrerd@sick.de,
feige@wisdom.weizmann.ac.il, felice@cadence.com,
felix@joachimski.de, fernan@dif.um.es,
fg121@sunjessen46.informatik.tu-muenchen.de,
fg214@informatik.uni-kiel.d400.de, fgcozman@usp.br,
fhq@leibniz.iimas.unam.mx,
finite-model-theory@informatik.rwth-aachen.de,
finkel@logique.jussieu.fr, finkel@lsv.ens-cachan.fr,
fjdiez@dia.uned.es, fl@lsv.ens-cachan.fr, flin@cs.ust.hk,
fm-info@air16.larc.nasa.gov, fm@sics.se,
fmang@ic.eecs.berkeley.edu, fmavadda@math.uwaterloo.ca,
formal-methods@cs.uidaho.edu, forum@jsoftware.com, fp@cs.cmu.edu,
francois.levy@ura1507.univ-paris13.fr,
francois.maurel@pps.jussieu.fr, frank.neven@luc.ac.be,
frankb@cs.uu.nl, fred@sics.se, fredrik@sics.se,
freksa@informatik.uni-hamburg.de, fribourg@lsv.ens-cachan.fr,
friedman@iil.intel.com, fsdm@it.uq.edu.au,
ftabesh@ichips.intel.com, fujita@fla.fujitsu.com, fvj@cs.auc.dk,
gabriella.pasi@itim.mi.cnr.it, gaglio@unipa.it,
gallois@aigle.saclay.cea.fr, galmiche@loria.fr,
galota@informatik.uni-wuerzburg.de, ganesh@cs.utah.edu,
garavel@imag.fr, garland@lcs.mit.edu, gb221@cus.cam.ac.uk,
geert@watson.ibm.com, geist@haifa.vnet.ibm.com,
genie-logiciel@wanadoo.fr, geoffb@bristol.st.com,
george.plouffe@east.sun.com, georges.gonthier@inria.fr,
gerard.berry@sophia.inria.fr,
gerard.ferrand@lifo.univ-orleans.fr, gerard.huet@inria.fr,
german@watson.ibm.com, gernot.kleiter@sbg.ac.at,
gert.decooman@rug.ac.be, ges@labri.u-bordeaux.fr, ggh@ira.uka.de,
giesl@cs.unm.edu, gilio@dipmat.unict.it, gilles.dowek@inria.fr,
giorgi@saul.cis.upenn.edu, girard@iml.univ-mrs.fr,
giuseppe.delcastillo@mchp.siemens.de, givan@alum.mit.edu,
gkamhi@iil.intel.com, gloria@itim.mi.cnr.it, gmr@prg.ox.ac.uk,
gms@eecs.berkeley.edu, godo@iiia.csic.es,
goerdt@informatik.tu-chemnitz.de, gofman@haifasc3.vnet.ibm.com,
golumbic@cs.biu.ac.il, golumbic@macs.biu.ac.il,
gonzalo@iiia.csic.es, gopalan@cs.umn.edu,
goubault@lsv.ens-cachan.fr, gp@isds.duke.edu, gps@kdnuggets.com,
graduiertenkolleg-infos@ims.uni-stuttgart.de,
graedel@informatik.rwth-aachen.de, green@crssa.rutgers.edu,
greg@stat.washington.edu, gregoire@cril.univ-artois.fr,
gregoire@inrs-telecom.uquebec.ca, greiner@cs.ualberta.ca,
gribomon@montefiore.ulg.ac.be, griffaul@labri.u-bordeaux.fr,
grohe@dcs.ed.ac.uk, grosu@cs.uiuc.edu, gulp@di.unipi.it,
gunnar.wittich@informatik.uni-oldenburg.de, gunnar@prover.com,
guo@cs.albany.edu, guptam%sask.usask.cahaddawy@cs.uwm.edu,
gurandatevdoradze@yahoo.com, gurevich@microsoft.com,
guttag@lcs.mit.edu, guy.camparo@francetelecom.com,
guym@cogs.susx.ac.uk, gw@inf.fu-berlin.de, h.c.m.deswart@kub.nl,
h.webber@signal.dera.gov.uk, hajek@uivt.cas.cz,
halpern@cs.cornell.edu, hama@ics.es.osaka-u.ac.jp,
hanks@cs.washington.edu, harlow@src.org,
harsham@ubmail.ubalt.edu, heckerma@microsoft.com,
hector@cs.toronto.edu, heitmeye@itd.nrl.navy.mil,
helgason@uic.edu, herman@cs.kun.nl,
hermann.ilmberger@mchp.siemens.de, hermann@loria.fr,
herrera@decsai.ugr.es, herzig@irit.fr,
hgreenbe@carbon.cudenver.edu, hiraishi@cc.kyoto-su.ac.jp,
hiroyuki@colorado.edu, hisaoi@ie.osakafu-u.ac.jp,
hitoshi.ohsaki@aist.go.jp, hodas@cs.hmc.edu,
hojati@ic.eecs.berkeley.edu, holger.busch@mchp.siemens.de,
horia@synopsys.com, hosabett@cs.utah.edu, howard@cadence.com,
howard@r3.cs.man.ac.uk,
hrherman@immd7.informatik.uni-erlangen.de,
hschuetz@informatik.uni-muenchen.de,
hungar@informatik.uni-oldenburg.de, hwv@theforce.stanford.edu,
hxh169@email.psu.edu, hxie@saul.cis.upenn.edu,
hyang@theforce.stanford.edu, i.a.stewart@mcs.le.ac.uk,
i.ogata@aist.go.jp, ian@cs.unt.edu, ibaraki@i.kyoto-u.ac.jp,
icastillo@tamu.edu, idm@di.fct.unl.pt, idss@socs.uts.edu.au,
ieee-rttc@cs.bu.edu, ifip-10.5@ics.uci.edu, igw@brics.dk,
ikbsbb@inf.rl.ac.uk, illc-list@wins.uva.nl, imk@cs.tut.fi,
implexe@gulliver.fr, inak@ifi.unizh.ch, info-elra@calva.net,
info-hol@jaguar.cs.byu.edu, ip@cs.stanford.edu,
ipalist@win.tue.nl, isabelle.vernier@lip6.fr,
ishihara@jaist.ac.jp, istolero@iil.intel.com,
iwaihara@is.kyushu-u.ac.jp, j.bauer@cs.cmu.edu,
jackson@cs.cornell.edu, jacob@ee.technion.ac.il,
jacobsen@wiwi.hu-berlin.de, jaeger@iam.unibe.ch,
jaeger@mpi-sb.mpg.de, jahnke@uni-paderborn.de, jam@imsc.ernet.in,
jam@mining.ubc.ca, jan.komorowski@idi.ntnu.no,
janos@cs.technion.ac.il, jaume@cermics.enpc.fr,
javier_montero@mat.ucm.es, jb@dcs.qmw.ac.uk,
jdkim@galaxy.nsc.com, jean-charles.pomerol@lip6.fr,
jean-yves.marion@loria.fr, jeanfrancois.bonnefo@free.fr,
jeanfrancois.monin@francetelecom.com, jeff@ma.man.ac.uk,
jelling@iesd.auc.dk, jeremy.dawson@csl.anu.edu.au,
jerome.vouillon@inria.fr, jerzy@eecs.ukans.edu,
jes@math.uminho.pt, jf@acl.icnet.uk, jgamez@info-ab.uclm.es,
jhg@decsai.ugr.es, jim@cs.sfu.ca, jiml@cogs.susx.ac.uk,
jlorenzo@dis.ulpgc.es, jma@ii.uni.wroc.pl, jmc@cs.stanford.edu,
jmj@info.fundp.ac.be, jo.ebergen@eng.sun.com, joachim@docs.uu.se,
joelle.despeyroux@inria.fr, joerg.lohse@mchp.siemens.de,
johnm@cse.ogi.edu, joleary@ichips.intel.com,
jonathan@cs.yorku.ca, joram@post.tau.ac.il, joram@taux01.nsc.com,
jorge.cuellar@mchp.siemens.de, jose.villar@iit.upco.es,
joseph.sifakis@imag.fr, josette.pastor@purpan.inserm.fr,
josko@informatik.uni-oldenburg.de,
jouannaud@lix.polytechnique.fr, jpl1@doc.ic.ac.uk,
jrb@cadence.com, judea@cs.ucla.edu, juerg.kohlas@unifr.ch,
juergen@synopsys.com, juha.nurmonen@helsinki.fi,
jules@dcs.qmul.ac.uk, jura@dame.fee.vutbr.cz,
jurgen.dingel@cs.cmu.edu, jurgend@cs.cmu.edu,
jus@cs.stanford.edu, juthe@infra.kth.se, jve@cwi.nl,
jvt@dadd.ti.com, kabanza@dmi.usherb.ca, kaci@irit.fr,
kacprzyk@ibspan.waw.pl, kahle@informatik.uni-tuebingen.de,
kakutani@kurims.kyoto-u.ac.jp, kandel@csee.usf.edu,
kannas@leland.stanford.edu, kanovich@saul.cis.upenn.edu,
karl.stroetmann@mchp.siemens.de, katz@csa.cs.technion.ac.il,
kb@doc.ic.ac.uk, kdj@rambus.com, kedar@cs.utexas.edu,
keimel@mathematik.tu-darmstadt.de, kennes@ulb.ac.be,
kerene@mcil.comm.mot.com, kfisher@cs.stanford.edu,
kgj@inf.rl.ac.uk, kgl@iesd.auc.dk, kgs@dbai.tuwien.ac.at,
khama@cs.cmu.edu, khayata@info.univ-angers.fr,
kiehn@informatik.tu-muenchen.de, kiero@ii.uni.wroc.pl,
kimura@is.aist-nara.ac.jp, kjc@eecs.umich.edu,
klaedtke@informatik.uni-freiburg.de, klarlund@research.att.com,
klaskey@gmu.edu, klaus.schneider@informatik.uni-kl.de,
klaus.schneider@ira.uka.de, klawonn@et-inf.fho-emden.de,
kleist@iesd.auc.dk, kln@vnet.ibm.com, klweber@math.tu-cottbus.de,
kmarg@uom.gr, kmartin@comlab.ox.ac.uk,
kobashi@comp.eng.himeji-tech.ac.jp, kojima@rudolph.brl.ntt.co.jp,
kolaitis@cse.ucsc.edu, konieczny@irit.fr, kopylov@cs.cornell.edu,
korb@csse.monash.edu.au, koriche@lirmm.fr, kozen@cs.cornell.edu,
kpotthoff@logik.uni-kiel.de, krajicek@math.cas.cz,
kreutzer@informatik.rwth-aachen.de, krishnan@eecs.berkeley.edu,
kruse@iws.cs.uni-magdeburg.de, ks@gyptis.univ-mrs.fr,
ksuzuki@eecs.berkeley.edu, kucan@theory.lcs.mit.edu,
kuebler@sexypexas.de, kukimoto@eecs.berkeley.edu,
kukula@synopsys.com, kxt@dcs.ed.ac.uk, l.amgoud@elec.qmw.ac.uk,
l.m.hogg@qmw.ac.uk, l2lu@oakland.edu, lagasq@irit.fr,
lakov@sun.iccs.bas.bg, lakshman@cisco.com,
lalita@research.bell-labs.com, langerak@cs.utwente.nl,
larsk@docs.uu.se, larskri@iu.hio.no, laurence@gyptis.univ-mrs.fr,
laurent.garcia@univ-angers.fr, lci@decsai.ugr.es,
lcs@saul.cis.upenn.edu, lduren%bbn.compeklund@cs.umu.se,
ledesma@fi.upm.es, ledinot@dassault-aviation.fr,
lee@cis.upenn.edu, leguernic@irisa.fr, leiss@cis.uni-muenchen.de,
leivant@cs.indiana.edu, lejoly@montefiore.ulg.ac.be,
lenisa@dimi.uniud.it, lenzi@sabsns.sns.it,
leonard.studer@iphe.unil.ch, leora@watson.ibm.com,
lesperan@cs.yorku.ca, levy@msil.sps.mot.com, levy@pps.jussieu.fr,
lfcs-interest@dcs.ed.ac.uk, lfg@lists.stanford.edu,
lflgalex@usc.es, libkin@research.bell-labs.com,
lics-request@math.uic.edu, lincoln@csl.sri.com, lindner@fzi.de,
linear@cs.stanford.edu, lmp@di.fct.unl.pt,
lock@fmi.uni-passau.de, loetzbeyer@fzi.de,
logic-announce@uclink4.berkeley.edu, logic@math.ufl.edu,
long@emailmh.agere.com, lordtime@diku.dk, lpnmr@cs.engr.uky.edu,
lprolog@cs.umn.edu, lschrode@informatik.uni-bremen.de,
lscoelho@lcmi.ufsc.br, luca@cs.stanford.edu,
lugiez@cmi.univ-mrs.fr, lumi@imse.cnm.es,
lutz.strassburger@inf.tu-dresden.de, lwh@montefiore.ulg.ac.be,
lynch@theory.lcs.mit.edu, m.r.brown@derby.ac.uk, ma1hegoj@uco.es,
macha@labri.u-bordeaux.fr, madelain@sophia.inria.fr,
madigan@stat.washington.edu, maietti@math.unipd.it,
maione@poliba.it, mal@dsi.uniroma1.it,
malcolm.farrow@sunderland.ac.uk, mandel@yorku.ca,
manna@cs.stanford.edu, marcd@cs.kuleuven.ac.be,
marek@cs.engr.uky.edu, marek@sis.pitt.edu,
marinadv@tinf1.vub.ac.be, marius@cs.cmu.edu, mark_heap@hp.com,
markus.kaltenbach@mchp.siemens.de, markus@sztaki.hu,
marquis@cril.univ-artois.fr, martin.oxenham@dsto.defence.gov.au,
martin@dcs.ed.ac.uk, martinw@cs.chalmers.se, mary@prover.com,
maryanne@frey.newcastle.edu.au, massios@wins.uva.nl,
matthes@informatik.uni-muenchen.de, maximilian.fuchs@bmw.de,
mc3430@mclink.it, mcbielza@fi.upm.es, mccolm@math.usf.edu,
mccune@mcs.anl.gov, mcguire@cs.stanford.edu,
mcisaac@bristol.st.com, mcmillan@cadence.com,
mdemarco@math.wesleyan.edu, mdransfi@radium.ncsc.mil,
medina@cs.umass.edu, meek@microsoft.com, meinel@uni-trier.de,
melis@cs.uni-sb.de, mendlson@ee.technion.ac.il, mengin@irit.fr,
menhaj@cic.aku.ac.ir, menzel@informatik.uni-hamburg.de,
mes@cs.toronto.edu, meseguer@csl.sri.com,
mesiar@vox.svf.stuba.sk, mgelfond@cs.utep.edu,
mgwl@infosystems.newcastle.edu.au, mh@mathematik.th-darmstadt.de,
michael@cs.keele.ac.uk, michaelk@path.berkeley.edu,
michals@msil.sps.mot.com, michel.simonet@imag.fr,
mihalis@research.bell-labs.com, mikau@cs.nmsu.edu,
mike.gordon@cl.cam.ac.uk, mike.nachtegael@rug.ac.be,
mike.reed@comlab.ox.ac.uk, mis@informatik.uni-kiel.de,
mischu@research.att.com, misra@cs.utexas.edu,
mituharu@is.s.u-tokyo.ac.jp, miyamoto@esys.tsukuba.ac.jp,
mjones@cs.utah.edu, mju@eecs.berkeley.edu, mkzwick@ust.hk,
mlittman@cs.duke.edu, mmwildin@cca.rockwell.com, mn@dia.unisa.it,
mogbil@iml.univ-mrs.fr, moggi@disi.unige.it, moises@erg.sri.com,
mok@cs.utexas.edu, mol-list@cis.upenn.edu, mol@cis.upenn.edu,
monicaf@vnet.ibm.com, montana@dimi.uniud.it, moore@cs.utexas.edu,
morales@lcc.uma.es, morri@mpce.mq.edu.au, moser@ece.ucsb.edu,
moshier@chapman.edu, mouaddib@irin.univ-nantes.fr,
mperloff@pitt.edu, mrf@synergia.com, mrg@cs.ubc.ca,
ms@info.ucl.ac.be, ms@taux01.nsc.com, msew@pobox.com,
msiddappa@hotmail.com, murahiko@main.eng.hokudai.ac.jp,
mvelev@ece.cmu.edu, myoeli@cs.technion.ac.il, mzemanko@nsf.gov,
nachum@cs.huji.ac.il, nada@elec.rma.ac.be,
nadia.papamich@man.ac.uk, nakagawa@sra.co.jp,
nanchen@inf.ethz.ch, nanya@hal.rcast.u-tokyo.ac.jp,
naomil@cs.huji.ac.il, napoli@loria.fr, naso@poliba.it,
naumov@psu.edu, nday@cse.ogi.edu,
nebel@informatik.uni-freiburg.de,
neves%univ-tlse2.froommen@scs.carleton.ca, nguyen@mimuw.edu.pl,
nicolas.halbwachs@imag.fr, nikolaj@cs.stanford.edu,
nikos@dcs.ed.ac.uk, nir@cs.stanford.edu,
nisch@informatik.uni-mainz.de, nivelle@mpi-sb.mpg.de,
nl-kr@cs.rpi.edu, nlcl@cogs.susx.ac.uk,
nlp-ia@bosoleil.ci.umoncton.ca, nlpeople@dai.ed.ac.uk,
nogin@cs.cornell.edu, notin@loria.fr, notkin@cs.washington.edu,
nuprllist@cs.cornell.edu, nvaidhy@eos.ncsu.edu,
nza@cs.nott.ac.uk, o.kullmann@swansea.ac.uk, o.tveretina@tue.nl,
ochsenschlaeger@darmstadt.gmd.de, ofert@dsp.co.il,
ohearn@dcs.qmw.ac.uk, ohsaki@etl.go.jp,
okrslar@cis.uni-muenchen.de, olderog@informatik.uni-oldenburg.de,
omoeller@brics.dk, orlowska@itl.waw.pl, orna@cs.technion.ac.il,
orna@ic.eecs.berkeley.edu, orna_l@barley.cteh.ac.il,
oz-users@dfki.uni-sb.de, ozalp@dm.unibo.it,
ozsl-list@wins.uva.nl, p.s.miner@larc.nasa.gov,
pacho@info.univ-angers.fr, pacholsk@tcs.uni.wroc.pl,
panda@rtt.colorado.edu, panderso@tcnj.edu, pandey@cs.cmu.edu,
papini@univ-tln.fr, parigot@logique.jussieu.fr,
parosh@docs.uu.se, pascal.fontaine@ulg.ac.be,
patrice.buche@inapg.inra.fr, patrice.perny@lip6.fr,
patrick.cousot@ens.fr, patrick.verlinde@tele.rma.ac.be,
pattinso@informatik.uni-muenchen.de, paudenae@cage.rug.ac.be,
paul-andre.monney@unifr.ch, paul.loewenstein@eng.sun.com,
paulo.garrido@dei.uminho.pt, pauly@cwi.nl, paupet@kay.docs.uu.se,
pbj@dcs.ed.ac.uk, pedja@elfak.ni.ac.yu, pedro@lcc.uma.es,
perussel@univ-tlse1.fr,
peter.schuster@mathematik.uni-muenchen.de,
petit@lsv.ens-cachan.fr, petr.jancar@vsb.cz,
philippe.lamarre@irin.univ-nantes.fr, phs@lsv.ens-cachan.fr,
pierre.deransart@inria.fr, pierre.flener@dis.uu.se, pino@ula.ve,
pinter@haifasc3.vnet.ibm.com, pirottin@montefiore.ulg.ac.be,
pjf@cis.upenn.edu, pk@cs.uq.oz.au, pkata@ludens.elte.hu,
pmat@math.ist.utl.pt, pmms@ece.ucsb.edu, pnava@ece.utep.edu,
poizat@desargues.univ-lyon1.fr, polk@mimuw.edu.pl,
poole@cs.ubc.ca, pownuk@zeus.polsl.gliwice.pl, ppw@ee.duke.edu,
prabhas@chula.ac.th, prade@irit.fr, prakash@cs.mcgill.ca,
prasad@cs.chalmers.se, prensani@informatik.tu-muenchen.de,
procos-list@comlab.ox.ac.uk, progers@bournemouth.ac.uk,
prolog-vendors@sics.se, prologia@prologianet.univ-mrs.fr,
proof-request@cs.chalmers.se, protagonist@cs.kun.nl,
pschust@rz.mathematik.uni-muenchen.de, pshenoy@ukans.edu,
psmets@ulb.ac.be, puyol@iiia.csic.es, pvs@csl.sri.com,
pw@cs.brown.edu, pxs@dcs.ed.ac.uk, qed@mcs.anl.gov,
quemada@dit.upm.es, r.m.cooke@twi.tudelft.nl,
r.nagarajan@doc.ic.ac.uk, raanan@vnet.ibm.com,
radha@math.luc.edu, radim@utia.cas.cz, raffalli@univ-savoie.fr,
raguideau@aigle.saclay.cea.fr, raj@cis.upenn.edu,
rajat@isical.ac.in, rajeev@eecs.berkeley.edu,
rakefet@techunix.technion.ac.il, rampacher@gi-ev.de,
ran@ee.technion.ac.il, rance@csc.ncsu.edu,
randy.bryant@cs.cmu.edu, ranga.vemuri@uc.edu,
rasmusse@cs.rutgers.edu, ratan@cs.utah.edu,
raufaste@univ-tlse2.fr, rauzy@labri.u-bordeaux.fr,
raynal@irisa.fr, rc@cs.cornell.edu, rdevil@ulb.ac.be,
rdv@cs.vu.nl, reddy@cs.uiuc.edu, regis@info.unicaen.fr,
regis@ktl.mii.lt, reiser@atlas.ucpel.tche.br,
repp@darmstadt.gmd.de, reps@cs.wisc.edu, rewriting@ens-lyon.fr,
rey@mi.ras.ru, rgirard@univ-reunion.fr, rgubryn@ippt.gov.pl,
rho@cs.stanford.edu, riadh.robbana@imag.fr, ricardo@dc.uba.ar,
rich@cs.umd.edu, rich@merl.com, richard@oracorp.com,
rita@inet.ssc.nsu.ru, riza@ukans.edu, rkaivola@cs.helsinki.fi,
rkurshan@cadence.com, rmc@toulouse.inra.fr, rmilne@bcs.org.uk,
robert.jeansoulin@lim.univ-mrs.fr, robertd@synopsys.com,
rocacher@enssat.fr, rod@cs.colgate.edu,
roemer@informatik.tu-muenchen.de, roger@lsv.ens-cachan.fr,
rogerio@inf.ufsc.br, rogier@cs.uu.nl,
roland.zimbel@kst.siemens.de, rommelfanger@wiwi.uni-frankfurt.de,
romscozz@dmmm.uniroma1.it, ronchi@di.unito.it,
rosolini@disi.unige.it, roux@ircyn.ec-nantes.fr,
roventa@yorku.ca, roversi@di.unito.it, rowan+@cs.cmu.edu,
rozenber@wi.leidenuniv.nl, rruksena@aton.abo.fi, rsm@ucl.ac.uk,
rupak@eecs.berkeley.edu, rushby@csl.sri.com,
russ@cogs.susx.ac.uk, ryager@iona.edu, s.d.parsons@csc.liv.ac.uk,
sabbadin@toulouse.inra.fr, saddek@csl.sri.com,
sadowski@math.uwb.edu.pl, sagromat@sol.racsa.co.cr,
sakari.kuikka%rktl.filafage@irit.fr, salawu@alum.mit.edu,
salzamas@netlab.it, samson@comlab.ox.ac.uk,
sanchez@newsup.univ-mrs.fr, sandeep@cs.albany.edu,
sandri@iiia.csic.es, sanguesa@lsi.upc.es,
sansonvolmark@sudnet.com.ar, santoro@scs.carleton.ca,
sara@cs.york.ac.uk, sarabia@eucmax.sim.ucm.es, sas@cs.sunysb.edu,
sattler@cs.rwth-aachen.de, scedrov@cis.upenn.edu,
schauss@cs.uni-frankfurt.de, scherl@cis.njit.edu,
schubert@cs.pdx.edu, schulte@microsoft.com, schwartz@cs.fsu.edu,
schwicht@rz.mathematik.uni-muenchen.de,
scott@concave.cs.wits.ac.za, scurley@csom.umn.edu,
sebastien.limet@lifo.univ-orleans.fr, seger@cs.ubc.ca,
seidl@psi.uni-trier.de,
seipel@sunflower.informatik.uni-tuebingen.de,
seisenb@rz.mathematik.uni-muenchen.de, selam@iil.intel.com,
selman@cs.cornell.edu, serdar@ic.eecs.berkeley.edu,
sergey.berezin@cs.cmu.edu, sergio.campos@gs56.sp.cs.cmu.edu,
sergio.yovine@imag.fr, seth@imsc.ernet.in, setzer@math.uu.se,
seworld@cs.colorado.edu, seyr@dbai.tuwien.ac.at, sfs@cs.cmu.edu,
sgarro@univ.trieste.it, shachter@sumex.stanford.edu,
shankar@csl.sri.com, shastri@icsi.berkeley.edu,
shayashi@kobe-u.ac.jp, shaz@eecs.berkeley.edu,
shelah@math.huji.ac.il, shiple@eecs.berkeley.edu,
shoham@vnet.ibm.com, shore@math.cornell.edu,
shurek@haifasc3.vnet.ibm.com, siamnews@siam.org,
sicstus-users@sics.se, sidsepln@si.ehu.es, siggen@cs.bgu.ac.il,
sigparse-list@cs.cmu.edu, silvio@dist.unige.it,
sipma@cs.stanford.edu, sistla@surya.eecs.uic.edu,
sjha@cs.cmu.edu, sjohnson@cs.indiana.edu, skchin@syr.edu,
skoenig@cc.gatech.edu, slwang@csa500.isu.edu.tw,
smajerci@bowdoin.edu, smc@decsai.ugr.es,
solange@gyptis.univ-mrs.fr, sonoteno@etl.go.jp,
sorenchr@ariel.daimi.aau.dk, spullela@cisco.com,
srajan@fla.fujitsu.com, sriramr@ic.eecs.berkeley.edu,
sshankar@cs.cmu.edu, sst@aifb.uni-karlsruhe.de,
staerk@inf.ethz.ch, stefan.hoereth@mchp.siemens.de,
steffen@fmi.uni-passau.de, steve@dcs.rhbnc.ac.uk,
sth@informatik.uni-frankfurt.de,
stijn.viaene@econ.kuleuven.ac.be, stock@almaden.ibm.com,
straccia@isti.cnr.it, struss@in.tum.de,
struth@informatik.uni-augsburg.de, stump@stanford.edu,
subu@cs.albany.edu, suermondt@hpl.hp.com, supratik@mpi-sb.mpg.de,
surajitc@microsoft.com, susanne.graf@imag.fr,
sylvain.piechowiak@univ-valenciennes.fr,
t.centrella@computer.org, tah@eecs.berkeley.edu,
tahar@ece.concordia.ca, takayama@flab.fujitsu.co.jp,
tanaka@ie.osakafu-u.ac.jp, tania@zoran.co.il,
taniguchi@ics.es.osaka-u.ac.jp, tanja@cs.ruu.nl,
tanya@lpcs.math.msu.ru, taw@cs.monash.edu.au,
tball@microsoft.com, tdettmann@acm.org, tesfaye@cs.ubc.ca,
tfm@dcs.gla.ac.uk, theodor@netflash.com.br,
theorem-provers@ai.mit.edu, theory-a@listserv.nodak.edu,
theorynt@listserv.nodak.edu, thiemann@acm.org,
thierry.denoeux@hds.utc.fr, thierry.jeron@irisa.fr,
thomas.lukasiewicz@kr.tuwien.ac.at, thomas@cslab.ericsson.se,
thomas@informatik.rwth-aachen.de, tick@informatik.uni-mainz.de,
timerove@time-rover.com, tirri@cs.helsinki.fi, tld@cs.brown.edu,
tmassart@ulb.ac.be, tmr@imm.dtu.dk, tom.wallsten@unc.edu,
tony@fi.muni.cz, torasso@di.unito.it, torsten@cs.uni-potsdam.de,
tracy@eps.udl.es, trakht@macs.biu.ac.il, tripakis@imag.fr,
tronci@univaq.it, trs@etl.go.jp, tschuber@ichips.intel.com,
tsoukias%lamsade.dauphine.frrobert@laas.fr, tswift@cs.sunysb.edu,
txa@cs.nott.ac.uk, tyagi@cs.unt.edu, tylin@cs.sjsu.edu,
ugo@di.unipi.it, uli@beet.stanford.edu,
uribe@theory.stanford.edu, urzy@mimuw.edu.pl,
v.rybakov@mmu.ac.uk, v.sazonov@csc.liv.ac.uk,
vadim_kotov@acm.org, varaiya@eecs.berkeley.edu,
vardi@cs.rice.edu, vdbuss@luc.ac.be, vdschoot@csi.uottawa.ca,
verdegay@goliat.ugr.es, verma@lsv.ens-cachan.fr,
veronique.bruyere@umh.ac.be, vhenke@informatik.uni-ulm.de,
vila@decsai.ugr.es, vila@ensam.inra.fr, vila@iiia.csic.es,
visserw@cs.man.ac.uk, vivek@zycad.com, voda@fmph.uniba.sk,
vojtas@kosice.upjs.sk, volger@byrd.fmi.uni-passau.de,
vorobyov@csd.uu.se, voronkov@cs.man.ac.uk, vtorra@iiia.csic.es,
waba@scientist.com, wadler@avaya.com, wangyd@perkin-elmer.com,
weiser@iil.intel.com, weldon.lodwick@cudenver.edu,
werner.damm@arbi.informatik.uni-oldenburg.de, whj@us.ibm.com,
whunt@austin.ibm.com, wiebe@cs.uu.nl,
wills@informatik.uni-muenchen.de, wim@elec.rma.ac.be,
windley@cs.byu.edu, wjl@mit.edu, wlock@scdt.intel
Subject: CiE 2007 preliminary announcement
Date: Tue, 03 Oct 2006 10:18:11 +0200 [thread overview]
Message-ID: <6.2.1.2.0.20061003095404.01e56720@mailsrv.unisi.it> (raw)
[Apologies for multiple copies]
PRELIMINARY ANNOUNCEMENT
CiE 2007
http://www.mat.unisi.it/newsito/cie07.html
Computability in Europe 2007: Computation and Logic in the Real World
Department of Mathematics and Computer Science "Roberto Magari"
University of Siena
Siena, 18-23 June 2007
IMPORTANT DATES:
Submission of papers: Jan. 12, 2007
Notification of authors: Feb. 16, 2007
Deadline for final revisions: Mar. 9, 2007
The Third Conference CiE 2007, organised by CiE (Computability in
Europe) will take place at the University of Siena, June 18-23 2007
CiE is a European network of mathematicians, logicians, computer
scientists, philosophers, theoretical physicists and others interested
in new developments in computability and in their underlying
significance for the real world.
CiE 2007 will address various aspects of the ways computability and
theoretical computer science enable scientists and philosophers to deal
with mathematical and real world issues, ranging through problems
related to logic, mathematics, physical processes, real computation and
learning theory. At the same time it will focus on different ways in
which computability emerges from the real world, and how this affects
our way of thinking about everyday computational issues.
CiE 2007 will be co-located with the annual CCA (Computability and
Complexity in Analysis) Conference (Siena, College Santa Chiara, June
16-18, 2007):
http://cca-net.de/cca2007/
CiE 2007 conference topics include, but not exclusively -
* Admissible sets
* Analog computation
* Artificial intelligence
* Automata theory
* Classical computability and degree structures
* Complexity classes
* Computability theoretic aspects of programs
* Computable analysis and real computation
* Computable structures and models
* Computational and proof complexity
* Computational learning and complexity
* Concurrency and distributed computation
* Constructive mathematics
* Cryptographic complexity
* Decidability of theories
* Derandomization
* DNA computing
* Domain theory and computability
* Dynamical systems and computational models
* Effective descriptive set theory
* Finite model theory
* Formal aspects of program analysis
* Formal methods
* Foundations of computer science
* Games
* Generalized recursion theory
* History of computation
* Hybrid systems
* Higher type computability
* Hypercomputational models
* Infinite time Turing machines
* Kolmogorov complexity
* Lambda and combinatory calculi
* L-systems and membrane computation
* Mathematical models of emergence
* Molecular computation
* Neural nets and connectionist models
* Philosophy of science and computation
* Physics and computability
* Probabilistic systems
* Process algebra
* Programming language semantics
* Proof mining
* Proof theory and computability
* Quantum computing and complexity
* Randomness
* Reducibilities and relative computation
* Relativistic computation
* Reverse mathematics
* Swarm intelligence
* Type systems and type theory
* Uncertain Reasoning
* Weak systems of arithmetic and applications
We particularly welcome submissions in emergent areas, such as
bioinformatics and natural computation, where they have a basic
connection with computability.
Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:
M. Agrawal (Kanpur) M. Arslanov (Kazan)
G. Ausiello (Roma) A. Bauer (Ljubljana)
A. Beckmann (Swansea) U. Berger (Swansea)
A. Cantini (Firenze) B. Cooper (Leeds,
co-chair)
L. Crosilla (Firenze) J. Diaz (Barcelona)
C. Dimitracopoulos (Athens) F. Ferreira (Lisbon)
S. Goncharov (Novosibirsk) P. Gruenwald (Amsterdam)
D. Harel (Rehovot) A. Hodges (Oxford)
J. Kempe (Paris) G. Longo (Paris)
B. Loewe (Amsterdam) J. Makowsky (Haifa)
E. Mayordomo Camara (Zaragoza) W. Merkle (Heidelberg)
F. Montagna (Siena) D. Normann (Oslo)
T. Pheidas (Heraklion) G. Rozenberg (Leiden)
G. Sambin (Padova) H. Schwichtenberg (Muenchen)
W. Sieg (Carnegie Mellon) A. Sorbi (Siena, co-chair)
I. Soskov (Sofia) P. van Emde Boas
(Amsterdam).
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF-format, max 10 pages) for presentation at CiE 2007. We particularly
invite papers that build bridges between different parts of the
research community.
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
There will also be journal special issues, collecting invited
contributions related to the conference.
The conference is sponsored by AILA, EATCS, ASL, EACSL.
reply other threads:[~2006-10-03 8:24 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=6.2.1.2.0.20061003095404.01e56720@mailsrv.unisi.it \
--to=sorbi@unisi.it \
--cc="CiE2007 preliminary announcement: ;hajo.broersma"@durham.ac.uk \
--cc=4c@4c.ucc.ie \
--cc=DMANET@zpr.uni-koeln.de \
--cc=EAPLS-request@JISCMAIL.AC.UK \
--cc=Map@mozart.ujf-grenoble.fr \
--cc=a.g.setzer@swan.ac.uk \
--cc=a7323910@cic.aku.ac.ir \
--cc=aa@cableinet.co.uk \
--cc=aa@math.tau.ac.il \
--cc=aal@tc.unicyb.kiev.ua \
--cc=abadi@research.bell-labs.com \
--cc=abarbanl@haifasc3.vnet.ibm.com \
--cc=abden@comp.nus.edu.sg \
--cc=abel@informatik.uni-muenchen.de \
--cc=abel@trane.colorado.edu \
--cc=ablass@umich.edu \
--cc=abunker@cs.utah.edu \
--cc=acl2@cs.utexas.edu \
--cc=acl@cs.columbia.edu \
--cc=acm@ciup1.ncc.up.pt \
--cc=adnan@cs.berkeley.edu \
--cc=adp@iasi.rm.cnr.it \
--cc=ae@telelogic.se \
--cc=afelty@site.uottawa.ca \
--cc=agents@cs.umbc.edu \
--cc=agn@acm.org \
--cc=agogino@needs.org \
--cc=aguilar@lsi.us.es \
--cc=agupta@ccrl.nj.nec.com \
--cc=ahmed.bouajjani@imag.fr \
--cc=aicom@dbai.tuwien.ac.at \
--cc=aiia@di.unito.it \
--cc=aisb@cogs.sussex.ac.uk \
--cc=ajh@cs.ubc.ca \
--cc=ajm@fe.up.pt \
--cc=akama@is.s.u-tokyo.ac.jp \
--cc=akdag@poleia.lip6.fr \
--cc=alagar@cs.concordia.ca \
--cc=alanje@cogs.susx.ac.uk \
--cc=alanw@cs.man.ac.uk \
--cc=alberto@eecs.berkeley.edu \
--cc=alguero@correo.uniovi.es \
--cc=allison@shasta.stanford.edu \
--cc=alp-request@nic.surfnet.nl \
--cc=alp@doc.ic.ac.uk \
--cc=alur@ic.eecs.berkeley.edu \
--cc=am@cpe.fr \
--cc=amast-info@cs.utwente.nl \
--cc=amast@cs.utwente.nl \
--cc=ami@is.tsukuba.ac.jp \
--cc=amir@wisdom.weizmann.ac.il \
--cc=ammartin@mail.cinvestav.mx \
--cc=amomigliano60@yahoo.it \
--cc=anca@theory.stanford.edu \
--cc=anderson@cs.washington.edu \
--cc=andre.bigand@lasl-gw.univ-littoral.fr \
--cc=andrea.omicini@acm.org \
--cc=andrzej@comlab.ox.ac.uk \
--cc=animagupta@hotmail.com \
--cc=anna@uni-trier.de \
--cc=annette@cs.vu.nl \
--cc=annn@csse.monash.edu.au \
--cc=announce@sigart.acm.org \
--cc=annrad@im.pw.edu.pl \
--cc=ant%cs.keele.ac.uksroychow@us.oracle.com \
--cc=antony@apocalypse.org \
--cc=antoy@cs.pdx.edu \
--cc=anuj@eecs.berkeley.edu \
--cc=ap@cl.cam.ac.uk \
--cc=apes@cs.strath.ac.uk \
--cc=apng-all@apng.org \
--cc=appsem@cs.chalmers.se \
--cc=ariel@ee.technion.ac.il \
--cc=arjun@vangogh.stanford.edu \
--cc=armando@dist.unige.it \
--cc=armin@ira.uka.de \
--cc=arpanet-bboards@mc.lcs.mit.edu \
--cc=ashar@ccrl.nj.nec.com \
--cc=asl@vassar.com \
--cc=aslp@cs.princeton.edu \
--cc=atp@logic.tuwien.ac.at \
--cc=atserias@lsi.upc.es \
--cc=avalls@etse.urv.es \
--cc=avg@cs.ucsc.edu \
--cc=avl@info.ucl.ac.be \
--cc=avrunin@math.umass.edu \
--cc=b.richards@co.umist.ac.uk \
--cc=baaz@logic.at \
--cc=balbiani@irit.fr \
--cc=balbiani@lipn.univ-paris13.fr \
--cc=barhaim@haifasc3.vnet.ibm.com \
--cc=baron@poleia.lip6.fr \
--cc=bastie@toulouse.inra.fr \
--cc=bbrennan@ichips.intel.com \
--cc=bcousin@irisa.fr \
--cc=beauquier@univ-paris12.fr \
--cc=beer@haifasc3.vnet.ibm.com \
--cc=behavior@cs.ucsd.edu \
--cc=belohlav@osu.cz \
--cc=benedikt@research.bell-labs.com \
--cc=benferha@irit.fr \
--cc=bengt@docs.uu.se \
--cc=benny@iil.intel.com \
--cc=benoit.gennart@axs-tech.com \
--cc=benveniste@irisa.fr \
--cc=beppu@zzz.or.jp \
--cc=berard@lsv.ens-cachan.fr \
--cc=bernadet@irin.univ-nantes.fr \
--cc=bernadette.bouchon-meunier@lip6.fr \
--cc=bernard.debaets@rug.ac.be \
--cc=bernd@informatik.uni-hildesheim.de \
--cc=bernhard.heinemann@fernuni-hagen.de \
--cc=bernhard.josko@arbi.informatik.uni-oldenburg.de \
--cc=bernhard@cogs.susx.ac.uk \
--cc=berthold@cs.berkeley.edu \
--cc=berwanger@informatik.rwth-aachen.de \
--cc=bezem@ii.uib.no \
--cc=bf@cs.stanford.edu \
--cc=bidoit@lsv.ens-cachan.fr \
--cc=bijan@gsu.edu \
--cc=bill.roscoe@comlab.ox.ac.uk \
--cc=bimbo@csl.anu.edu.au \
--cc=birk@ee.technion.ac.il \
--cc=bjesse@cs.chalmers.se \
--cc=bknaack@win.tue.nl \
--cc=blair@top.cis.syr.edu \
--cc=blanc@lsv.ens-cachan.fr \
--cc=blecharlier@info.fundp.ac.be \
--cc=block@cs.chalmers.se \
--cc=bmkapron@csr.uvic.ca \
--cc=boaz.lerner@cl.cam.ac.uk \
--cc=boaz@taux01.nsc.com \
--cc=boehler@informatik.uni-wuerzburg.de \
--cc=boerger@di.unipi.it \
--cc=boerlage@norsys.com \
--cc=bohn@informatik.uni-oldenburg.de \
--cc=boigelot@montefiore.ulg.ac.be \
--cc=boisseau@lsv.ens-cachan.fr \
--cc=bouyer@lsv.ens-cachan.fr \
--cc=bouzid@cril.univ-artois.fr \
--cc=bra-types@cs.chalmers.se \
--cc=brafman@cs.bgu.ac.il \
--cc=branco@iltc.uff.br \
--cc=brayton@eecs.berkeley.edu \
--cc=breese@microsoft.com \
--cc=brewka@informatik.uni-leipzig.de \
--cc=brian@daimi.aau.dk \
--cc=brigitte.rozoy@lri.fr \
--cc=brinksma@cs.utwente.nl \
--cc=brookes@cs.cmu.edu \
--cc=broy@informatik.tu-muenchen.de \
--cc=brudaru@tuiasi.ro \
--cc=buckley@math.uab.edu \
--cc=bultan@cs.umd.edu \
--cc=burkett%uriacc.uri.eduma1capoa@uco.es \
--cc=bwolen@cs.cmu.edu \
--cc=c.a.j.v.eijk@ele.tue.nl \
--cc=c.faggian@dpmms.cam.ac.uk \
--cc=cabodi@polito.it \
--cc=cachat@informatik.rwth-aachen.de \
--cc=calculemus-ig@dist.unige.it \
--cc=calendar@acm.org \
--cc=calligramme@loria.fr \
--cc=camilla.schwind@lim.univ-mrs.fr \
--cc=caml-list@inria.fr \
--cc=caml-list@pauillac.inria.fr \
--cc=campos@cs.cmu.edu \
--cc=carol_logan@vnet.ibm.com \
--cc=carsten@cs.cmu.edu \
--cc=carsten@cs.yale.edu \
--cc=categories@mta.ca \
--cc=cattani@brics.dk \
--cc=ccl@dfki.de \
--cc=ccl@dfki.uni-sb.de \
--cc=ccl@ps.uni-sb.de \
--cc=cclin@verplex.com \
--cc=cdk@it.uc3m.es \
--cc=cdrossos@math.upatras.gr \
--cc=cdz@zblmath.fiz-karlsruhe.de \
--cc=cenciarelli@dsi.uniroma1.it \
--cc=cesabian@dsi.unimi.it \
--cc=cestluk@polyu.edu.hk \
--cc=cf245@dpmms.cam.ac.uk \
--cc=cfmanski@nwu.edu \
--cc=charlie@cs.uml.edu \
--cc=chaudron@cert.fr \
--cc=chein@lirmm.fr \
--cc=chengq@em.tsinghua.edu.cn \
--cc=chenno@dic.k8.rt.bosch.de \
--cc=chezalviel@laas.fr \
--cc=chitta@cs.utep.edu \
--cc=cholvy@cert.fr \
--cc=christine.paulin@lri.fr \
--cc=chuijs@cs.utwente.nl \
--cc=chungli@cs.colgate.edu \
--cc=cic@eps.udl.es \
--cc=cie@amsta.leeds.ac.uk \
--cc=cindye@vnet.ibm.com \
--cc=cjf@cs.uq.oz.au \
--cc=cl@informatik.uni-mainz.de \
--cc=claesen@imec.be \
--cc=claudette.cayrol@irit.fr \
--cc=clote@cs.bc.edu \
--cc=clp@comp.nus.edu.sg \
--cc=clt@cs.stanford.edu \
--cc=coalgebras@iti.cs.tu-bs.de \
--cc=colibri@let.uu.nl \
--cc=collinsp@scot.ac.uk \
--cc=comlab@comlab.ox.ac.uk \
--cc=comon@lsv.ens-cachan.fr \
--cc=comp-thy@listserv.nd.edu \
--cc=complog@cs.nmsu.edu \
--cc=comprox@doc.ic.ac.uk \
--cc=compulog-deduction@cs.bham.ac.uk \
--cc=compulog@doc.imperial.ac.uk \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=compunode@dfki.de \
--cc=concurrency@cwi.nl \
--cc=coordinator@agentlink.org \
--cc=coppola@dimi.uniud.it \
--cc=coq-club@pauillac.inria.fr \
--cc=coquand@cs.chalmers.se \
--cc=corbett@hawaii.edu \
--cc=cordier@irisa.fr \
--cc=corsini@labri.u-bordeaux.fr \
--cc=cortier@lsv.ens-cachan.fr \
--cc=coste@cril.univ-artois.fr \
--cc=costello@cs.stanford.edu \
--cc=courcou@ics.forth.gr \
--cc=covaliu@research.circ.gwu.edu \
--cc=cpalka@kik.pcz.czest.pl \
--cc=cphc-conf@jiscmail.ac.uk \
--cc=cps@dcs.ed.ac.uk \
--cc=crlin@cup.hp.com \
--cc=cs-logic@cs.indiana.edu \
--cc=csd@lists.ut.ee \
--cc=cseger@ichips.intel.com \
--cc=cselena@cs.technion.ac.il \
--cc=csl03-pc@logic.at \
--cc=csl03@logic.at \
--cc=csp@www-bia.inra.fr \
--cc=ctchou@mipos2.intel.com \
--cc=curry@informatik.rwth-aachen.de \
--cc=cwiddoes@0-in.com \
--cc=cyrluk@csl.sri.com \
--cc=da@dcs.ed.ac.uk \
--cc=dagreve@collins.rockwell.com \
--cc=dai-list@ece.sc.edu \
--cc=damir@austin.ibm.com \
--cc=damm@informatik.uni-oldenburg.de \
--cc=dan@ora.on.ca \
--cc=dana.scott@cs.cmu.edu \
--cc=danh@ikos.com \
--cc=danos@logique.jussieu.fr \
--cc=danwu@cs.uregina.ca \
--cc=darwiche@cs.ucla.edu \
--cc=daryl.stewart@cl.cam.ac.uk \
--cc=dataling@cst.ku.dk \
--cc=david.aspinall@dcs.ed.ac.uk \
--cc=david.sinclair@compapp.dcu.ie \
--cc=david@labri.u-bordeaux.fr \
--cc=david@univ-savoie.fr \
--cc=davise@cs.nyu.edu \
--cc=dbechet@irisa.fr \
--cc=dbudescu@s.psych.uiuc.edu \
--cc=dbworld@cs.wisc.edu \
--cc=dechter@uci.edu \
--cc=deepak@smi.ernet.in \
--cc=deiser@rz.mathematik.uni-muenchen.de \
--cc=delval@ai.ii.uam.es \
--cc=demri@lsv.ens-cachan.fr \
--cc=denis_r_dancanet@cmu.edu \
--cc=des@inmos.co.uk \
--cc=detlefs@east.sun.com \
--cc=dh@cermics.enpc.fr \
--cc=dharel@weizmann.ac.il \
--cc=diekert@informatik.uni-stuttgart.de \
--cc=diram@riscd2.eco.ub.es \
--cc=dirkr@cs.kuleuven.ac.be \
--cc=dmery@loria.fr \
--cc=dmjans@wins.uia.ac.be \
--cc=doller@cse.uta.edu \
--cc=dominic@cs.stanford.edu \
--cc=dominique.borrione@imag.fr \
--cc=doron@tick.ece.utexas.edu \
--cc=dpl@us.ibm.com \
--cc=dragsal@eunet.yu \
--cc=draiciu@zugros.usc.edu \
--cc=dran@cs.albany.edu \
--cc=dreamers@dai.ed.ac.uk \
--cc=drianyo@etse.urv.es \
--cc=drj@tycho.ncsc.mil \
--cc=drp@eng.sun.com \
--cc=drutko@kik.pcz.czest.pl \
--cc=dshardin@cca.rockwell.com \
--cc=dubois@irit.fr \
--cc=duflot@lsv.ens-cachan.fr \
--cc=dvermeir@vub.ac.be \
--cc=dvir@haifasc3.vnet.ibm.com \
--cc=dvmlg@math.uni-bonn.de \
--cc=dvmlglist@math.fu-berlin.de \
--cc=dza@info.fundp.ac.be \
--cc=e.ritter@cs.bham.ac.uk \
--cc=eacsl@dimi.uniud.it \
--cc=eatcs-it@cs.unibo.it \
--cc=echos@ens.fr \
--cc=ecroft@mech.ubc.ca \
--cc=edaniel@iil.intel.com \
--cc=edmundr@dcs.qmul.ac.uk \
--cc=eduardo@sol.info.unlp.edu.ar \
--cc=edubois@info.fundp.ac.be \
--cc=efrati@iil.intel.com \
--cc=eh@cs.rit.edu \
--cc=ejkushne@ichips.intel.com \
--cc=ekan@pop.jpl.nasa.gov \
--cc=elan-users@loria.fr \
--cc=elinora@iil.intel.com \
--cc=elkan@cs.ucsd.edu \
--cc=ellen@eecs.berkeley.edu \
--cc=eloy.mata@dmc.unirioja.es \
--cc=elsnet-list@let.uu.nl \
--cc=elsnet@cogsci.ed.ac.uk \
--cc=em@info.ucl.ac.be \
--cc=emami@mie.utoronto.ca \
--cc=emc@cs.cmu.edu \
--cc=emerson@cs.utexas.edu \
--cc=emil@mpi-sb.mpg.de \
--cc=emmanuel.ledinot@dassault-aviation.fr \
--cc=eric.madelaine@sophia.inria.fr \
--cc=eric.rutten@irisa.fr \
--cc=erisa@ida.liu.se \
--cc=escrigm@inf.uji.es \
--cc=esik@inf.u-szeged.hu \
--cc=esparza@informatik.tu-muenchen.de \
--cc=esterel-users@sophia.inria.fr \
--cc=esteva@iiia.csic.es \
--cc=etessami@dimacs.rutgers.edu \
--cc=ethan@hsvaic.hv.boeing.com \
--cc=ether@cirl.uoregon.edu \
--cc=etienne.kerre@rug.ac.be \
--cc=etienne@info.unicaen.fr \
--cc=eveking@rs.e-technik.th-darmstadt.de \
--cc=eytan@dpt-info.u-strasbg.fr \
--cc=f.k.hanna@ukc.ac.uk \
--cc=f.masulli@computer.org \
--cc=f.p.voorbraak@amc.uva.nl \
--cc=fabiani@cert.fr \
--cc=fabio@colorado.edu \
--cc=facs-mem@lboro.ac.uk \
--cc=fahimi@sina.sharif.ac.ir \
--cc=farag@mech.ubc.ca \
--cc=faraon@dccia.ua.es \
--cc=farinas@irit.fr \
--cc=farn@iis.sinica.edu.tw \
--cc=farnam@eecs.umich.edu \
--cc=fbacchus@logos.uwaterloo.ca \
--cc=fbs@cs.cornell.edu \
--cc=fcantu@aisb.ed.ac.uk \
--cc=fcs@ime.usp.br \
--cc=fehrerd@sick.de \
--cc=feige@wisdom.weizmann.ac.il \
--cc=felice@cadence.com \
--cc=felix@joachimski.de \
--cc=fernan@dif.um.es \
--cc=fg121@sunjessen46.informatik.tu-muenchen.de \
--cc=fg214@informatik.uni-kiel.d400.de \
--cc=fg214@informatik.uni-kiel.de \
--cc=fgcozman@usp.br \
--cc=fhq@leibniz.iimas.unam.mx \
--cc=finite-model-theory@informatik.rwth-aachen.de \
--cc=finkel@logique.jussieu.fr \
--cc=finkel@lsv.ens-cachan.fr \
--cc=fjdiez@dia.uned.es \
--cc=fl@lsv.ens-cachan.fr \
--cc=flin@cs.ust.hk \
--cc=fm-info@air16.larc.nasa.gov \
--cc=fm@sics.se \
--cc=fmang@ic.eecs.berkeley.edu \
--cc=fmavadda@math.uwaterloo.ca \
--cc=fmics@inrialpes.fr \
--cc=formal-methods@cs.uidaho.edu \
--cc=forum@jsoftware.com \
--cc=fp@cs.cmu.edu \
--cc=francois.levy@ura1507.univ-paris13.fr \
--cc=francois.maurel@pps.jussieu.fr \
--cc=frank.neven@luc.ac.be \
--cc=frankb@cs.uu.nl \
--cc=fred@sics.se \
--cc=fredrik@sics.se \
--cc=freksa@informatik.uni-hamburg.de \
--cc=fribourg@lsv.ens-cachan.fr \
--cc=friedman@iil.intel.com \
--cc=fsdm@it.uq.edu.au \
--cc=ftabesh@ichips.intel.com \
--cc=fujita@fla.fujitsu.com \
--cc=fvj@cs.auc.dk \
--cc=gabriella.pasi@itim.mi.cnr.it \
--cc=gaglio@unipa.it \
--cc=gallois@aigle.saclay.cea.fr \
--cc=galmiche@loria.fr \
--cc=galota@informatik.uni-wuerzburg.de \
--cc=ganesh@cs.utah.edu \
--cc=garavel@imag.fr \
--cc=garland@lcs.mit.edu \
--cc=gb221@cus.cam.ac.uk \
--cc=geert@watson.ibm.com \
--cc=geist@haifa.vnet.ibm.com \
--cc=genie-logiciel@wanadoo.fr \
--cc=geoffb@bristol.st.com \
--cc=george.plouffe@east.sun.com \
--cc=georges.gonthier@inria.fr \
--cc=gerard.berry@sophia.inria.fr \
--cc=gerard.ferrand@lifo.univ-orleans.fr \
--cc=gerard.huet@inria.fr \
--cc=german@watson.ibm.com \
--cc=gernot.kleiter@sbg.ac.at \
--cc=gert.decooman@rug.ac.be \
--cc=ges@labri.u-bordeaux.fr \
--cc=ggh@ira.uka.de \
--cc=giesl@cs.unm.edu \
--cc=gilio@dipmat.unict.it \
--cc=gilles.dowek@inria.fr \
--cc=giorgi@saul.cis.upenn.edu \
--cc=girard@iml.univ-mrs.fr \
--cc=giuseppe.delcastillo@mchp.siemens.de \
--cc=givan@alum.mit.edu \
--cc=gkamhi@iil.intel.com \
--cc=gloria@itim.mi.cnr.it \
--cc=glp@first.gmd.de \
--cc=gmr@prg.ox.ac.uk \
--cc=gms@eecs.berkeley.edu \
--cc=godo@iiia.csic.es \
--cc=goerdt@informatik.tu-chemnitz.de \
--cc=gofman@haifasc3.vnet.ibm.com \
--cc=golumbic@cs.biu.ac.il \
--cc=golumbic@macs.biu.ac.il \
--cc=gonzalo@iiia.csic.es \
--cc=gopalan@cs.umn.edu \
--cc=goubault@lsv.ens-cachan.fr \
--cc=gp@isds.duke.edu \
--cc=gps@kdnuggets.com \
--cc=graduiertenkolleg-infos@ims.uni-stuttgart.de \
--cc=graedel@informatik.rwth-aachen.de \
--cc=green@crssa.rutgers.edu \
--cc=greg@stat.washington.edu \
--cc=gregoire@cril.univ-artois.fr \
--cc=gregoire@inrs-telecom.uquebec.ca \
--cc=greiner@cs.ualberta.ca \
--cc=gribomon@montefiore.ulg.ac.be \
--cc=griffaul@labri.u-bordeaux.fr \
--cc=grin@di.unipi.it \
--cc=grohe@dcs.ed.ac.uk \
--cc=grosu@cs.uiuc.edu \
--cc=gulp@di.unipi.it \
--cc=gunnar.wittich@informatik.uni-oldenburg.de \
--cc=gunnar@prover.com \
--cc=guo@cs.albany.edu \
--cc=guptam%sask.usask.cahaddawy@cs.uwm.edu \
--cc=gurandatevdoradze@yahoo.com \
--cc=gurevich@microsoft.com \
--cc=guttag@lcs.mit.edu \
--cc=guy.camparo@francetelecom.com \
--cc=guym@cogs.susx.ac.uk \
--cc=gw@inf.fu-berlin.de \
--cc=h.c.m.deswart@kub.nl \
--cc=h.webber@signal.dera.gov.uk \
--cc=hajek@uivt.cas.cz \
--cc=halpern@cs.cornell.edu \
--cc=hama@ics.es.osaka-u.ac.jp \
--cc=hanks@cs.washington.edu \
--cc=harlow@src.org \
--cc=harsham@ubmail.ubalt.edu \
--cc=heckerma@microsoft.com \
--cc=hector@cs.toronto.edu \
--cc=heitmeye@itd.nrl.navy.mil \
--cc=helgason@uic.edu \
--cc=herman@cs.kun.nl \
--cc=hermann.ilmberger@mchp.siemens.de \
--cc=hermann@loria.fr \
--cc=herrera@decsai.ugr.es \
--cc=herzig@irit.fr \
--cc=hgreenbe@carbon.cudenver.edu \
--cc=hiraishi@cc.kyoto-su.ac.jp \
--cc=hiroyuki@colorado.edu \
--cc=hisaoi@ie.osakafu-u.ac.jp \
--cc=hitoshi.ohsaki@aist.go.jp \
--cc=hodas@cs.hmc.edu \
--cc=hojati@ic.eecs.berkeley.edu \
--cc=holger.busch@mchp.siemens.de \
--cc=horia@synopsys.com \
--cc=hosabett@cs.utah.edu \
--cc=howard@cadence.com \
--cc=howard@r3.cs.man.ac.uk \
--cc=hrherman@immd7.informatik.uni-erlangen.de \
--cc=hschuetz@informatik.uni-muenchen.de \
--cc=hungar@informatik.uni-oldenburg.de \
--cc=hwv@theforce.stanford.edu \
--cc=hxh169@email.psu.edu \
--cc=hxie@saul.cis.upenn.edu \
--cc=hyang@theforce.stanford.edu \
--cc=i.a.stewart@mcs.le.ac.uk \
--cc=i.ogata@aist.go.jp \
--cc=ian@cs.unt.edu \
--cc=ibaraki@i.kyoto-u.ac.jp \
--cc=icastillo@tamu.edu \
--cc=idm@di.fct.unl.pt \
--cc=idss@socs.uts.edu.au \
--cc=ieee-rttc@cs.bu.edu \
--cc=ifip-10.5@ics.uci.edu \
--cc=igw@brics.dk \
--cc=iiia@iiia.csic.es \
--cc=ikbsbb@inf.rl.ac.uk \
--cc=illc-list@wins.uva.nl \
--cc=imk@cs.tut.fi \
--cc=implexe@gulliver.fr \
--cc=imps@linus.mitre.org \
--cc=inak@ifi.unizh.ch \
--cc=info-elra@calva.net \
--cc=info-hol@jaguar.cs.byu.edu \
--cc=informatica@deis.unibo.it \
--cc=ip@cs.stanford.edu \
--cc=ipalist@win.tue.nl \
--cc=isabelle-users-request@cl.cam.ac.uk \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=isabelle.vernier@lip6.fr \
--cc=ishihara@jaist.ac.jp \
--cc=istolero@iil.intel.com \
--cc=iwaihara@is.kyushu-u.ac.jp \
--cc=j.bauer@cs.cmu.edu \
--cc=jackson@cs.cornell.edu \
--cc=jacob@ee.technion.ac.il \
--cc=jacobsen@wiwi.hu-berlin.de \
--cc=jaeger@iam.unibe.ch \
--cc=jaeger@mpi-sb.mpg.de \
--cc=jahnke@uni-paderborn.de \
--cc=jam@imsc.ernet.in \
--cc=jam@mining.ubc.ca \
--cc=jan.komorowski@idi.ntnu.no \
--cc=janos@cs.technion.ac.il \
--cc=jaume@cermics.enpc.fr \
--cc=javier_montero@mat.ucm.es \
--cc=jb@dcs.qmw.ac.uk \
--cc=jdkim@galaxy.nsc.com \
--cc=jean-charles.pomerol@lip6.fr \
--cc=jean-yves.marion@loria.fr \
--cc=jeanfrancois.bonnefo@free.fr \
--cc=jeanfrancois.monin@francetelecom.com \
--cc=jeff@ma.man.ac.uk \
--cc=jelling@iesd.auc.dk \
--cc=jeremy.dawson@csl.anu.edu.au \
--cc=jerome.vouillon@inria.fr \
--cc=jerzy@eecs.ukans.edu \
--cc=jes@math.uminho.pt \
--cc=jf@acl.icnet.uk \
--cc=jgamez@info-ab.uclm.es \
--cc=jhg@decsai.ugr.es \
--cc=jim@cs.sfu.ca \
--cc=jiml@cogs.susx.ac.uk \
--cc=jlorenzo@dis.ulpgc.es \
--cc=jma@ii.uni.wroc.pl \
--cc=jmc@cs.stanford.edu \
--cc=jmj@info.fundp.ac.be \
--cc=jo.ebergen@eng.sun.com \
--cc=joachim@docs.uu.se \
--cc=joelle.despeyroux@inria.fr \
--cc=joerg.lohse@mchp.siemens.de \
--cc=johnm@cse.ogi.edu \
--cc=joleary@ichips.intel.com \
--cc=jonathan@cs.yorku.ca \
--cc=joram@post.tau.ac.il \
--cc=joram@taux01.nsc.com \
--cc=jorge.cuellar@mchp.siemens.de \
--cc=jose.villar@iit.upco.es \
--cc=joseph.sifakis@imag.fr \
--cc=josette.pastor@purpan.inserm.fr \
--cc=josko@informatik.uni-oldenburg.de \
--cc=jouannaud@lix.polytechnique.fr \
--cc=jpl1@doc.ic.ac.uk \
--cc=jrb@cadence.com \
--cc=judea@cs.ucla.edu \
--cc=juerg.kohlas@unifr.ch \
--cc=juergen@synopsys.com \
--cc=juha.nurmonen@helsinki.fi \
--cc=jules@dcs.qmul.ac.uk \
--cc=jura@dame.fee.vutbr.cz \
--cc=jurgen.dingel@cs.cmu.edu \
--cc=jurgend@cs.cmu.edu \
--cc=jus@cs.stanford.edu \
--cc=juthe@infra.kth.se \
--cc=jve@cwi.nl \
--cc=jvt@dadd.ti.com \
--cc=kabanza@dmi.usherb.ca \
--cc=kaci@irit.fr \
--cc=kacprzyk@ibspan.waw.pl \
--cc=kahle@informatik.uni-tuebingen.de \
--cc=kakutani@kurims.kyoto-u.ac.jp \
--cc=kandel@csee.usf.edu \
--cc=kannas@leland.stanford.edu \
--cc=kanovich@saul.cis.upenn.edu \
--cc=karl.stroetmann@mchp.siemens.de \
--cc=katz@csa.cs.technion.ac.il \
--cc=kaw@swi.psy.uva.nl \
--cc=kb@doc.ic.ac.uk \
--cc=kdj@rambus.com \
--cc=kedar@cs.utexas.edu \
--cc=keimel@mathematik.tu-darmstadt.de \
--cc=kennes@ulb.ac.be \
--cc=kerene@mcil.comm.mot.com \
--cc=kfisher@cs.stanford.edu \
--cc=kgj@inf.rl.ac.uk \
--cc=kgl@iesd.auc.dk \
--cc=kgs@dbai.tuwien.ac.at \
--cc=kgs@logic.at \
--cc=khama@cs.cmu.edu \
--cc=khayata@info.univ-angers.fr \
--cc=kiehn@informatik.tu-muenchen.de \
--cc=kiero@ii.uni.wroc.pl \
--cc=kimura@is.aist-nara.ac.jp \
--cc=kjc@eecs.umich.edu \
--cc=klaedtke@informatik.uni-freiburg.de \
--cc=klarlund@research.att.com \
--cc=klaskey@gmu.edu \
--cc=klaus.schneider@informatik.uni-kl.de \
--cc=klaus.schneider@ira.uka.de \
--cc=klawonn@et-inf.fho-emden.de \
--cc=kleist@iesd.auc.dk \
--cc=kln@vnet.ibm.com \
--cc=klweber@math.tu-cottbus.de \
--cc=kmarg@uom.gr \
--cc=kmartin@comlab.ox.ac.uk \
--cc=kobashi@comp.eng.himeji-tech.ac.jp \
--cc=kojima@rudolph.brl.ntt.co.jp \
--cc=kolaitis@cse.ucsc.edu \
--cc=konieczny@irit.fr \
--cc=kopylov@cs.cornell.edu \
--cc=korb@csse.monash.edu.au \
--cc=koriche@lirmm.fr \
--cc=kozen@cs.cornell.edu \
--cc=kpotthoff@logik.uni-kiel.de \
--cc=krajicek@math.cas.cz \
--cc=kreutzer@informatik.rwth-aachen.de \
--cc=krishnan@eecs.berkeley.edu \
--cc=kruse@iws.cs.uni-magdeburg.de \
--cc=ks@gyptis.univ-mrs.fr \
--cc=ksuzuki@eecs.berkeley.edu \
--cc=kucan@theory.lcs.mit.edu \
--cc=kuebler@sexypexas.de \
--cc=kukimoto@eecs.berkeley.edu \
--cc=kukula@synopsys.com \
--cc=kxt@dcs.ed.ac.uk \
--cc=l.amgoud@elec.qmw.ac.uk \
--cc=l.m.hogg@qmw.ac.uk \
--cc=l2lu@oakland.edu \
--cc=lagasq@irit.fr \
--cc=lakov@sun.iccs.bas.bg \
--cc=lakshman@cisco.com \
--cc=lalita@research.bell-labs.com \
--cc=langerak@cs.utwente.nl \
--cc=larsk@docs.uu.se \
--cc=larskri@iu.hio.no \
--cc=laurence@gyptis.univ-mrs.fr \
--cc=laurent.garcia@univ-angers.fr \
--cc=lci@decsai.ugr.es \
--cc=lcs@saul.cis.upenn.edu \
--cc=lduren%bbn.compeklund@cs.umu.se \
--cc=ledesma@fi.upm.es \
--cc=ledinot@dassault-aviation.fr \
--cc=lee@cis.upenn.edu \
--cc=leguernic@irisa.fr \
--cc=leiss@cis.uni-muenchen.de \
--cc=leivant@cs.indiana.edu \
--cc=lejoly@montefiore.ulg.ac.be \
--cc=lenisa@dimi.uniud.it \
--cc=lenzi@sabsns.sns.it \
--cc=leonard.studer@iphe.unil.ch \
--cc=leora@watson.ibm.com \
--cc=lesperan@cs.yorku.ca \
--cc=levy@msil.sps.mot.com \
--cc=levy@pps.jussieu.fr \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=lfg@lists.stanford.edu \
--cc=lflgalex@usc.es \
--cc=libkin@research.bell-labs.com \
--cc=lics-request@math.uic.edu \
--cc=lics@informatik.hu-berlin.de \
--cc=lincoln@csl.sri.com \
--cc=lindner@fzi.de \
--cc=linear-request@cs.stanford.edu \
--cc=linear@cs.stanford.edu \
--cc=list@prooftheory.org \
--cc=lmp@di.fct.unl.pt \
--cc=lock@fmi.uni-passau.de \
--cc=loetzbeyer@fzi.de \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@helsinki.fi \
--cc=logic@math.ufl.edu \
--cc=logic@math.uni-bonn.de \
--cc=logik@math.uni-freiburg.de \
--cc=logik@math.uni-muenster.de \
--cc=logik@math02.mathematik.uni-muenchen.de \
--cc=long@emailmh.agere.com \
--cc=lordtime@diku.dk \
--cc=lotos-world@site.uottawa.ca \
--cc=lpnmr@cs.engr.uky.edu \
--cc=lprolog@cs.umn.edu \
--cc=lschrode@informatik.uni-bremen.de \
--cc=lscoelho@lcmi.ufsc.br \
--cc=luca@cs.stanford.edu \
--cc=lugiez@cmi.univ-mrs.fr \
--cc=lumi@imse.cnm.es \
--cc=lutz.strassburger@inf.tu-dresden.de \
--cc=lwh@montefiore.ulg.ac.be \
--cc=lynch@theory.lcs.mit.edu \
--cc=m.r.brown@derby.ac.uk \
--cc=ma1hegoj@uco.es \
--cc=macha@labri.u-bordeaux.fr \
--cc=madelain@sophia.inria.fr \
--cc=madigan@stat.washington.edu \
--cc=maietti@math.unipd.it \
--cc=mailinglist@fmeurope.org \
--cc=maione@poliba.it \
--cc=mal@dsi.uniroma1.it \
--cc=malcolm.farrow@sunderland.ac.uk \
--cc=mandel@yorku.ca \
--cc=manna@cs.stanford.edu \
--cc=marcd@cs.kuleuven.ac.be \
--cc=marek@cs.engr.uky.edu \
--cc=marek@sis.pitt.edu \
--cc=marinadv@tinf1.vub.ac.be \
--cc=marius@cs.cmu.edu \
--cc=mark_heap@hp.com \
--cc=markus.kaltenbach@mchp.siemens.de \
--cc=markus@sztaki.hu \
--cc=marquis@cril.univ-artois.fr \
--cc=martin.oxenham@dsto.defence.gov.au \
--cc=martin@dcs.ed.ac.uk \
--cc=martinw@cs.chalmers.se \
--cc=mary@prover.com \
--cc=maryanne@frey.newcastle.edu.au \
--cc=massios@wins.uva.nl \
--cc=mathematics@swansea.ac.uk \
--cc=matthes@informatik.uni-muenchen.de \
--cc=maximilian.fuchs@bmw.de \
--cc=mc3430@mclink.it \
--cc=mcbielza@fi.upm.es \
--cc=mccolm@math.usf.edu \
--cc=mccune@mcs.anl.gov \
--cc=mcguire@cs.stanford.edu \
--cc=mcisaac@bristol.st.com \
--cc=mcmillan@cadence.com \
--cc=mdemarco@math.wesleyan.edu \
--cc=mdransfi@radium.ncsc.mil \
--cc=medina@cs.umass.edu \
--cc=meek@microsoft.com \
--cc=meinel@uni-trier.de \
--cc=melis@cs.uni-sb.de \
--cc=mendlson@ee.technion.ac.il \
--cc=mengin@irit.fr \
--cc=menhaj@cic.aku.ac.ir \
--cc=menzel@informatik.uni-hamburg.de \
--cc=mercury-users@cs.mu.oz.au \
--cc=mes@cs.toronto.edu \
--cc=meseguer@csl.sri.com \
--cc=mesiar@vox.svf.stuba.sk \
--cc=mgelfond@cs.utep.edu \
--cc=mgwl@infosystems.newcastle.edu.au \
--cc=mh@mathematik.th-darmstadt.de \
--cc=michael@cs.keele.ac.uk \
--cc=michaelk@path.berkeley.edu \
--cc=michals@msil.sps.mot.com \
--cc=michel.simonet@imag.fr \
--cc=mihalis@research.bell-labs.com \
--cc=mikau@cs.nmsu.edu \
--cc=mike.gordon@cl.cam.ac.uk \
--cc=mike.nachtegael@rug.ac.be \
--cc=mike.reed@comlab.ox.ac.uk \
--cc=mis@informatik.uni-kiel.de \
--cc=mischu@research.att.com \
--cc=misra@cs.utexas.edu \
--cc=mituharu@is.s.u-tokyo.ac.jp \
--cc=miyamoto@esys.tsukuba.ac.jp \
--cc=mjones@cs.utah.edu \
--cc=mju@eecs.berkeley.edu \
--cc=mkzwick@ust.hk \
--cc=ml@isle.org \
--cc=mlittman@cs.duke.edu \
--cc=mmwildin@cca.rockwell.com \
--cc=mn@dia.unisa.it \
--cc=mogbil@iml.univ-mrs.fr \
--cc=moggi@disi.unige.it \
--cc=moises@erg.sri.com \
--cc=mok@cs.utexas.edu \
--cc=mol-list@cis.upenn.edu \
--cc=mol@cis.upenn.edu \
--cc=monicaf@vnet.ibm.com \
--cc=montana@dimi.uniud.it \
--cc=moore@cs.utexas.edu \
--cc=morales@lcc.uma.es \
--cc=morri@mpce.mq.edu.au \
--cc=moser@ece.ucsb.edu \
--cc=moshier@chapman.edu \
--cc=mouaddib@irin.univ-nantes.fr \
--cc=mperloff@pitt.edu \
--cc=mrf@synergia.com \
--cc=mrg@cs.ubc.ca \
--cc=mrg@itc.it \
--cc=ms@info.ucl.ac.be \
--cc=ms@taux01.nsc.com \
--cc=msew@pobox.com \
--cc=msiddappa@hotmail.com \
--cc=murahiko@main.eng.hokudai.ac.jp \
--cc=mvelev@ece.cmu.edu \
--cc=myoeli@cs.technion.ac.il \
--cc=mzemanko@nsf.gov \
--cc=nachum@cs.huji.ac.il \
--cc=nada@elec.rma.ac.be \
--cc=nadia.papamich@man.ac.uk \
--cc=nakagawa@sra.co.jp \
--cc=nanchen@inf.ethz.ch \
--cc=nanya@hal.rcast.u-tokyo.ac.jp \
--cc=naomil@cs.huji.ac.il \
--cc=napoli@loria.fr \
--cc=naso@poliba.it \
--cc=naumov@psu.edu \
--cc=nday@cse.ogi.edu \
--cc=nebel@informatik.uni-freiburg.de \
--cc=neves%univ-tlse2.froommen@scs.carleton.ca \
--cc=nguyen@mimuw.edu.pl \
--cc=nicolas.halbwachs@imag.fr \
--cc=nikolaj@cs.stanford.edu \
--cc=nikos@dcs.ed.ac.uk \
--cc=nir@cs.stanford.edu \
--cc=nisch@informatik.uni-mainz.de \
--cc=nivelle@mpi-sb.mpg.de \
--cc=nl-kr@cs.rpi.edu \
--cc=nlcl@cogs.susx.ac.uk \
--cc=nlp-ia@bosoleil.ci.umoncton.ca \
--cc=nlpeople@dai.ed.ac.uk \
--cc=nogin@cs.cornell.edu \
--cc=notin@loria.fr \
--cc=notkin@cs.washington.edu \
--cc=nqthm-users@cs.utexas.edu \
--cc=nuprllist@cs.cornell.edu \
--cc=nuprlnotes@cs.cornell.edu \
--cc=nvaidhy@eos.ncsu.edu \
--cc=nza@cs.nott.ac.uk \
--cc=o.kullmann@swansea.ac.uk \
--cc=o.tveretina@tue.nl \
--cc=ochsenschlaeger@darmstadt.gmd.de \
--cc=ofert@dsp.co.il \
--cc=ohearn@dcs.qmw.ac.uk \
--cc=ohsaki@etl.go.jp \
--cc=okrslar@cis.uni-muenchen.de \
--cc=olderog@informatik.uni-oldenburg.de \
--cc=omoeller@brics.dk \
--cc=orlowska@itl.waw.pl \
--cc=orna@cs.technion.ac.il \
--cc=orna@ic.eecs.berkeley.edu \
--cc=orna_l@barley.cteh.ac.il \
--cc=oz-users@dfki.uni-sb.de \
--cc=ozalp@dm.unibo.it \
--cc=ozsl-list@wins.uva.nl \
--cc=p.s.miner@larc.nasa.gov \
--cc=pacho@info.univ-angers.fr \
--cc=pacholsk@tcs.uni.wroc.pl \
--cc=panda@rtt.colorado.edu \
--cc=panderso@tcnj.edu \
--cc=pandey@cs.cmu.edu \
--cc=papini@univ-tln.fr \
--cc=parigot@logique.jussieu.fr \
--cc=parosh@docs.uu.se \
--cc=pascal.fontaine@ulg.ac.be \
--cc=patrice.buche@inapg.inra.fr \
--cc=patrice.perny@lip6.fr \
--cc=patrick.cousot@ens.fr \
--cc=patrick.verlinde@tele.rma.ac.be \
--cc=pattinso@informatik.uni-muenchen.de \
--cc=paudenae@cage.rug.ac.be \
--cc=paul-andre.monney@unifr.ch \
--cc=paul.loewenstein@eng.sun.com \
--cc=paulo.garrido@dei.uminho.pt \
--cc=pauly@cwi.nl \
--cc=paupet@kay.docs.uu.se \
--cc=pbj@dcs.ed.ac.uk \
--cc=pedja@elfak.ni.ac.yu \
--cc=pedro@lcc.uma.es \
--cc=perussel@univ-tlse1.fr \
--cc=peter.schuster@mathematik.uni-muenchen.de \
--cc=petit@lsv.ens-cachan.fr \
--cc=petr.jancar@vsb.cz \
--cc=petrinet-owner@informatik.uni-hamburg.de \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=philippe.lamarre@irin.univ-nantes.fr \
--cc=phs@lsv.ens-cachan.fr \
--cc=pieper@mcs.anl.gov \
--cc=pierre.deransart@inria.fr \
--cc=pierre.flener@dis.uu.se \
--cc=pino@ula.ve \
--cc=pinter@haifasc3.vnet.ibm.com \
--cc=pirottin@montefiore.ulg.ac.be \
--cc=pjf@cis.upenn.edu \
--cc=pk@cs.uq.oz.au \
--cc=pkata@ludens.elte.hu \
--cc=pmat@math.ist.utl.pt \
--cc=pmms@ece.ucsb.edu \
--cc=pnava@ece.utep.edu \
--cc=poizat@desargues.univ-lyon1.fr \
--cc=polk@mimuw.edu.pl \
--cc=poole@cs.ubc.ca \
--cc=pownuk@zeus.polsl.gliwice.pl \
--cc=ppw@ee.duke.edu \
--cc=prabhas@chula.ac.th \
--cc=prade@irit.fr \
--cc=prakash@cs.mcgill.ca \
--cc=prasad@cs.chalmers.se \
--cc=prensani@informatik.tu-muenchen.de \
--cc=procos-list@comlab.ox.ac.uk \
--cc=prog-lang@daimi.au.dk \
--cc=prog-lang@diku.dk \
--cc=progers@bournemouth.ac.uk \
--cc=prole@babel.ls.fi.upm.es \
--cc=prolog-vendors@sics.se \
--cc=prologia@prologianet.univ-mrs.fr \
--cc=proof-complexity@math.cas.cz \
--cc=proof-request@cs.chalmers.se \
--cc=protagonist@cs.kun.nl \
--cc=pschust@rz.mathematik.uni-muenchen.de \
--cc=pshenoy@ukans.edu \
--cc=psmets@ulb.ac.be \
--cc=pt@janeway.inf.tu-dresden.de \
--cc=puyol@iiia.csic.es \
--cc=pvs@csl.sri.com \
--cc=pw@cs.brown.edu \
--cc=pxs@dcs.ed.ac.uk \
--cc=qed@mcs.anl.gov \
--cc=quemada@dit.upm.es \
--cc=r.m.cooke@twi.tudelft.nl \
--cc=r.nagarajan@doc.ic.ac.uk \
--cc=raanan@vnet.ibm.com \
--cc=radha@math.luc.edu \
--cc=radim@utia.cas.cz \
--cc=raffalli@univ-savoie.fr \
--cc=raguideau@aigle.saclay.cea.fr \
--cc=raj@cis.upenn.edu \
--cc=rajat@isical.ac.in \
--cc=rajeev@eecs.berkeley.edu \
--cc=rakefet@techunix.technion.ac.il \
--cc=rampacher@gi-ev.de \
--cc=ran@ee.technion.ac.il \
--cc=rance@csc.ncsu.edu \
--cc=randy.bryant@cs.cmu.edu \
--cc=ranga.vemuri@uc.edu \
--cc=rasmusse@cs.rutgers.edu \
--cc=ratan@cs.utah.edu \
--cc=raufaste@univ-tlse2.fr \
--cc=rauzy@labri.u-bordeaux.fr \
--cc=raynal@irisa.fr \
--cc=rc@cs.cornell.edu \
--cc=rdevil@ulb.ac.be \
--cc=rdv@cs.vu.nl \
--cc=reddy@cs.uiuc.edu \
--cc=regis@info.unicaen.fr \
--cc=regis@ktl.mii.lt \
--cc=reiser@atlas.ucpel.tche.br \
--cc=repp@darmstadt.gmd.de \
--cc=reps@cs.wisc.edu \
--cc=rewriting-request@loria.fr \
--cc=rewriting@ens-lyon.fr \
--cc=rey@mi.ras.ru \
--cc=rgirard@univ-reunion.fr \
--cc=rgubryn@ippt.gov.pl \
--cc=rho@cs.stanford.edu \
--cc=riadh.robbana@imag.fr \
--cc=ricardo@dc.uba.ar \
--cc=rich@cs.umd.edu \
--cc=rich@merl.com \
--cc=richard@oracorp.com \
--cc=rita@inet.ssc.nsu.ru \
--cc=riza@ukans.edu \
--cc=rkaivola@cs.helsinki.fi \
--cc=rkurshan@cadence.com \
--cc=rmc@toulouse.inra.fr \
--cc=rmilne@bcs.org.uk \
--cc=robert.jeansoulin@lim.univ-mrs.fr \
--cc=robertd@synopsys.com \
--cc=rocacher@enssat.fr \
--cc=rod@cs.colgate.edu \
--cc=roemer@informatik.tu-muenchen.de \
--cc=roger@lsv.ens-cachan.fr \
--cc=rogerio@inf.ufsc.br \
--cc=rogier@cs.uu.nl \
--cc=roland.zimbel@kst.siemens.de \
--cc=rommelfanger@wiwi.uni-frankfurt.de \
--cc=romscozz@dmmm.uniroma1.it \
--cc=ronchi@di.unito.it \
--cc=rosolini@disi.unige.it \
--cc=roux@ircyn.ec-nantes.fr \
--cc=roventa@yorku.ca \
--cc=roversi@di.unito.it \
--cc=rowan+@cs.cmu.edu \
--cc=rozenber@wi.leidenuniv.nl \
--cc=rruksena@aton.abo.fi \
--cc=rsm@ucl.ac.uk \
--cc=rupak@eecs.berkeley.edu \
--cc=rushby@csl.sri.com \
--cc=russ@cogs.susx.ac.uk \
--cc=ryager@iona.edu \
--cc=s.d.parsons@csc.liv.ac.uk \
--cc=sabbadin@toulouse.inra.fr \
--cc=saddek@csl.sri.com \
--cc=sadowski@math.uwb.edu.pl \
--cc=sagromat@sol.racsa.co.cr \
--cc=sakari.kuikka%rktl.filafage@irit.fr \
--cc=salawu@alum.mit.edu \
--cc=salzamas@netlab.it \
--cc=samson@comlab.ox.ac.uk \
--cc=sanchez@newsup.univ-mrs.fr \
--cc=sandeep@cs.albany.edu \
--cc=sandri@iiia.csic.es \
--cc=sanguesa@lsi.upc.es \
--cc=sansonvolmark@sudnet.com.ar \
--cc=santoro@scs.carleton.ca \
--cc=sara@cs.york.ac.uk \
--cc=sarabia@eucmax.sim.ucm.es \
--cc=sas@cs.sunysb.edu \
--cc=sattler@cs.rwth-aachen.de \
--cc=scedrov@cis.upenn.edu \
--cc=schauss@cs.uni-frankfurt.de \
--cc=scherl@cis.njit.edu \
--cc=schubert@cs.pdx.edu \
--cc=schulte@microsoft.com \
--cc=schwartz@cs.fsu.edu \
--cc=schwicht@rz.mathematik.uni-muenchen.de \
--cc=scott@concave.cs.wits.ac.za \
--cc=scurley@csom.umn.edu \
--cc=sebastien.limet@lifo.univ-orleans.fr \
--cc=seger@cs.ubc.ca \
--cc=seidl@psi.uni-trier.de \
--cc=seipel@sunflower.informatik.uni-tuebingen.de \
--cc=seisenb@rz.mathematik.uni-muenchen.de \
--cc=selam@iil.intel.com \
--cc=selman@cs.cornell.edu \
--cc=serdar@ic.eecs.berkeley.edu \
--cc=sergey.berezin@cs.cmu.edu \
--cc=sergio.campos@gs56.sp.cs.cmu.edu \
--cc=sergio.yovine@imag.fr \
--cc=seth@imsc.ernet.in \
--cc=setzer@math.uu.se \
--cc=seworld@cs.colorado.edu \
--cc=seyr@dbai.tuwien.ac.at \
--cc=sfs@cs.cmu.edu \
--cc=sgarro@univ.trieste.it \
--cc=shachter@sumex.stanford.edu \
--cc=shankar@csl.sri.com \
--cc=shastri@icsi.berkeley.edu \
--cc=shayashi@kobe-u.ac.jp \
--cc=shaz@eecs.berkeley.edu \
--cc=shelah@math.huji.ac.il \
--cc=shiple@eecs.berkeley.edu \
--cc=shoham@vnet.ibm.com \
--cc=shore@math.cornell.edu \
--cc=shurek@haifasc3.vnet.ibm.com \
--cc=siamnews@siam.org \
--cc=sicstus-users@sics.se \
--cc=sidsepln@si.ehu.es \
--cc=siggen@cs.bgu.ac.il \
--cc=sigparse-list@cs.cmu.edu \
--cc=silvio@dist.unige.it \
--cc=sipma@cs.stanford.edu \
--cc=sistla@surya.eecs.uic.edu \
--cc=sjha@cs.cmu.edu \
--cc=sjohnson@cs.indiana.edu \
--cc=skchin@syr.edu \
--cc=skoenig@cc.gatech.edu \
--cc=slwang@csa500.isu.edu.tw \
--cc=smajerci@bowdoin.edu \
--cc=smc@decsai.ugr.es \
--cc=sml-list@cs.cmu.edu \
--cc=softtech@cs.uu.nl \
--cc=solange@gyptis.univ-mrs.fr \
--cc=sonoteno@etl.go.jp \
--cc=sorenchr@ariel.daimi.aau.dk \
--cc=spullela@cisco.com \
--cc=srajan@fla.fujitsu.com \
--cc=sriramr@ic.eecs.berkeley.edu \
--cc=sshankar@cs.cmu.edu \
--cc=sst@aifb.uni-karlsruhe.de \
--cc=staerk@inf.ethz.ch \
--cc=stefan.hoereth@mchp.siemens.de \
--cc=steffen@fmi.uni-passau.de \
--cc=steve@dcs.rhbnc.ac.uk \
--cc=sth@informatik.uni-frankfurt.de \
--cc=stijn.viaene@econ.kuleuven.ac.be \
--cc=stock@almaden.ibm.com \
--cc=straccia@isti.cnr.it \
--cc=stratego@cs.uu.nl \
--cc=struss@in.tum.de \
--cc=struth@informatik.uni-augsburg.de \
--cc=stump@stanford.edu \
--cc=subu@cs.albany.edu \
--cc=suermondt@hpl.hp.com \
--cc=supratik@mpi-sb.mpg.de \
--cc=surajitc@microsoft.com \
--cc=susanne.graf@imag.fr \
--cc=sylvain.piechowiak@univ-valenciennes.fr \
--cc=t.centrella@computer.org \
--cc=tah@eecs.berkeley.edu \
--cc=tahar@ece.concordia.ca \
--cc=takayama@flab.fujitsu.co.jp \
--cc=tanaka@ie.osakafu-u.ac.jp \
--cc=tania@zoran.co.il \
--cc=taniguchi@ics.es.osaka-u.ac.jp \
--cc=tanja@cs.ruu.nl \
--cc=tanya@lpcs.math.msu.ru \
--cc=taw@cs.monash.edu.au \
--cc=tball@microsoft.com \
--cc=tdettmann@acm.org \
--cc=tesfaye@cs.ubc.ca \
--cc=tfm@dcs.gla.ac.uk \
--cc=theodor@netflash.com.br \
--cc=theorem-provers@ai.mit.edu \
--cc=theorem-provers@mc.lcs.mit.edu \
--cc=theory-a@listserv.nodak.edu \
--cc=theory-logic@cs.cmu.edu \
--cc=theorynt@listserv.nodak.edu \
--cc=thiemann@acm.org \
--cc=thierry.denoeux@hds.utc.fr \
--cc=thierry.jeron@irisa.fr \
--cc=thomas.lukasiewicz@kr.tuwien.ac.at \
--cc=thomas@cslab.ericsson.se \
--cc=thomas@informatik.rwth-aachen.de \
--cc=tick@informatik.uni-mainz.de \
--cc=timerove@time-rover.com \
--cc=tirri@cs.helsinki.fi \
--cc=tld@cs.brown.edu \
--cc=tmassart@ulb.ac.be \
--cc=tmr@imm.dtu.dk \
--cc=tom.wallsten@unc.edu \
--cc=tony@fi.muni.cz \
--cc=torasso@di.unito.it \
--cc=torsten@cs.uni-potsdam.de \
--cc=tracy@eps.udl.es \
--cc=trakht@macs.biu.ac.il \
--cc=tripakis@imag.fr \
--cc=tronci@univaq.it \
--cc=trs@etl.go.jp \
--cc=tschuber@ichips.intel.com \
--cc=tsoukias%lamsade.dauphine.frrobert@laas.fr \
--cc=tswift@cs.sunysb.edu \
--cc=txa@cs.nott.ac.uk \
--cc=tyagi@cs.unt.edu \
--cc=tylin@cs.sjsu.edu \
--cc=types-announce@lists.seas.upenn.edu \
--cc=types@cis.upenn.edu \
--cc=ugo@di.unipi.it \
--cc=uli@beet.stanford.edu \
--cc=uribe@theory.stanford.edu \
--cc=urzy@mimuw.edu.pl \
--cc=v.rybakov@mmu.ac.uk \
--cc=v.sazonov@csc.liv.ac.uk \
--cc=vadim_kotov@acm.org \
--cc=varaiya@eecs.berkeley.edu \
--cc=vardi@cs.rice.edu \
--cc=vdbuss@luc.ac.be \
--cc=vdschoot@csi.uottawa.ca \
--cc=verdegay@goliat.ugr.es \
--cc=verma@lsv.ens-cachan.fr \
--cc=veronique.bruyere@umh.ac.be \
--cc=vhenke@informatik.uni-ulm.de \
--cc=vila@decsai.ugr.es \
--cc=vila@ensam.inra.fr \
--cc=vila@iiia.csic.es \
--cc=visserw@cs.man.ac.uk \
--cc=vivek@zycad.com \
--cc=vki-list@dfki.de \
--cc=voda@fmph.uniba.sk \
--cc=vojtas@kosice.upjs.sk \
--cc=volger@byrd.fmi.uni-passau.de \
--cc=vorobyov@csd.uu.se \
--cc=voronkov@cs.man.ac.uk \
--cc=vtorra@iiia.csic.es \
--cc=waba@scientist.com \
--cc=wadler@avaya.com \
--cc=wangyd@perkin-elmer.com \
--cc=webmaster@hypercomputation.net \
--cc=weiser@iil.intel.com \
--cc=weldon.lodwick@cudenver.edu \
--cc=werner.damm@arbi.informatik.uni-oldenburg.de \
--cc=whj@us.ibm.com \
--cc=whunt@austin.ibm.com \
--cc=wiebe@cs.uu.nl \
--cc=wills@informatik.uni-muenchen.de \
--cc=wim@elec.rma.ac.be \
--cc=windley@cs.byu.edu \
--cc=wjl@mit.edu \
--cc=wlock@scdt.intel \
--cc=zforum@prg.ox.ac.uk \
/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