Formal Methods Europe FME 2001 - E-mail distribution lists
[ FME 2001 ]

[ Program Committee private website | Symposium website ]

Dear PC Member

We have based FME 2001 's calls for papers on the following lists:

Thank you very much for your collaboration.

Jose N. Oliveira
Pamela Zave
Program Co-chairs

  Main CFP electronic mail address list

abo.fi Martin.Buechi
backrf
Elena.troubitsyna
anna.mikhajlova
leonid.mikhajlov
kaisa.sere
Ivan.Porres
marina.walden
backrj
acm.org pys
stefan.leue
glueck
adelard.co.uk reb
aeat.co.uk jaap.hoek
aigle.saclay.cea.fr amalric
air16.larc.nasa.gov fm-info
alcatel.at josef.doppelbauer
alcatel.fr gwendal.blorec
alf.fe.up.pt neacm
anglia.ac.uk c.n.dean
anna.stanford.edu meldal
aql.fr marc.benveniste
arnet.com.ar ucsesoft
asterix.ist.utl.pt rgc
athena.polito.it iosif
avions.aerospatiale.fr bruno.lepetit
codron
famanta.randim
jean.sourys
jean-patrice.giacomett
axlog.fr cg
b-core.com ib
bebop.math.ist.utl.pt math-phys_sem
bettina.informatik.uni-bremen.de compass-wg
bodo.fou.telenor.no nils-kristian.hansen
boeing.com keith.williamson
brics.dk danvy
pdmosses
bsi.de ullmann
bull.net gelgon
cam.sri.com herbert
ccm.cl.nec.co.jp nakajima
ccs.neu.edu lieber
cea.fr jacques.radigueau
patrick.baudin
dominique.schoen
cediti.be robert.darimont
cent.francetelecom.fr jeanfrancois.monin
cert.fr csp-list
Rene.Jacquart
cesg.gov.uk phillip.brooke
chess.ni manuel.vanden.berq
chess.nl max.geerling
marcel.verhoef
chikushi.ac.jp ktaguchi
chrysalis.com marc
ci.pwr.wroc.pi ludwik
ci.uminho.pt si17826
cis.ksu.edu dwyer
pcorina
cis.njit.edu hinchey
cis.upenn.edu types
cisi.fr armand.puccetti
cit.gu.edu.au M.Maher
cl.cam.ac.uk isabelle-users
Andrew.Pitts
cli.com nqthm-users
cnes.fr lloret
boutemy
Brigitte.combel
comlab.ox.ac.uk Richard.Bird
Jeremy.Gibbons
Jim.Woodcock
procos-list
Tony.Hoare
Oege.de.Moor
jeff
kenr
zugeis
apm
comp.nus.edu.sg clp
dongjs
joxan
comp.vuw.ac.nz lindsay
complang.tuwien.ac.at andi
crl.dec.com tuttle
cs.anu.edu.au mcn
cs.auc.dk paupet
cs.bham.ac.uk mdr
cs.caltech.edu charpov
cs.chalmers.se bove
ms
peterd
multi
bengt
afp
patrikj
bra-types
mpc98
appsem
rjmh
cs.cmu.edu Edmund.Clarke
fp
jurgend
sanjit
cokasaki
wing
jpsousa
garlan
cs.colorado.edu seworld
cs.columbia.edu stubblebine
cdo
cs.concordia.ca alagar
cs.cornell.edu nuprllist
gries
cs.hiroshima-cu.ac.jp shaoying
cs.iastate.edu leavens
cs.indiana.edu types
sjohnson
wlh
cs.ioc.ee tarmo
Jaan
cs.kuleuven.ac.be sofie
dannyd
cs.kun.nl rinus
marieke
cs.man.ac.uk petera
banach
cs.mu.oz.au lee
fjh
zs
cs.nmsu.edu gupta
cs.nott.ac.uk rcb
cs.pdx.edu apt
antoy
cs.rhbnc.ac.uk steve
cs.ruu.nl johanj
mop
cs.sfu.ca hak
cs.stanford.edu bf
logic
cs.stevens-tech.edu naumann
cs.stir.ac.uk ces
cs.sunysb.edu ram
cram
ejohnson
cs.tcd.ie mmaa
ifmsig
Andrew.Butterfield
cs.titech.ac.jp sato
cs.toronto.edu chechik
cs.tu-berlin.de bt
trancon
ehrig
santen
cs.tut.fi clark
tta
pk
rike
rks
cs.uchicago.edu gopalan
cs.ucsd.edu bogdan
cs.uidaho.edu formal-methods
cs.uiowa.edu rus
rsoricut
cs.unc.edu plaisted
cs.uni-dortmund.de padawitz
cs.uni-magdeburg.de heisel
cs.uoregon.edu ariola
cs.up.ac.za dkourie
cs.uq.oz.au fsdm
davec
cs.utexas.edu misra
cs.utoronto.ca hehner
cs.utwente.nl ruys
amast
brinksma
tretmans
cs.uu.ni frankb
cs.uu.nl doaitse
pablo
wishnu
cs.virginia.edu knight
cs.vwf.edu amims
cs.waikato.ac.nz gregr
stever
marku
cs.yale.edu tullsen
cs.york.ac.uk Jose.Campos
andyg
sam
colin
King
Fiona
ian
ajb
cs.yorku.ca paige
cse.buffalo.edu bharat
cse.ogi.edu dick
jl
sheard
hook
cse.psu.edu dale
catuscia
cse.unsw.edu.au chak
csee-transport.fr p.sainton
csee.uq.edu.au ianh
csi.sri.com meseguer
csis.hku.hk tse
csl.sci.com duran
csl.sri.com mosses
axel
shankar
pvs
davesc
lincoln
eker
pept%yl.is.s.u-tokyo.ac.jppvs
cslab.ericsson.se thomas
cup.cam.ac.uk information
cwi.nl kuipers
etaps99-list
concurrency
daimlerchrysler.com torsten.klein
daimu.aau.dk PetriNets
darmstadt.gmd.de baumgart
dassault-aviation.fr emmanuel.lodinot
dc.uba.ar felder
dany
dcc.ufmg.br lucilia
camarao
vladimir
dcs.ed.ac.uk lego-club
lambda-usergroup
skeletons
dts
dcs.gla.ac.uk joy
dcs.gla.ac.uk. alice
sreiff
dcs.kcl.ac.uk igplmember
tom
dcs.qmw.ac.uk richard
dcs.rhbnc.ac.uk simon
helent
neile
dcs.rhbnc.ec.uk carl
dcs.st-and.ac.uk kh
tom
de.ibm.com grmeyer
def.bac.co.uk stephen.paynter
dei.uc.pt isabel
deis.unibo.it sbergamaschi
dfki.de stephan
georg
dfki.uni-sb.de ccl
di.fc.ul.pt pmr
vv
hcoelho
mal
llf
di.fct.unl.pt cd
maa
Luis.Caires
lmp
di.ufpe.br ggn
jmi
acas
alcc
di.uminho.pt jno
camila
di
di.unipi.ft monta
di.unipi.it levi
boerger
aldinuc
barbuti
di.unito.it dezani
diku.dk glueck
dimap.ufrn.br anamakia
dimi.uniud.it falaschi
eacsl
diogenes.informatik.unibw-muenchen.de relmics-list
dircon.co.uk t-denvir
discus.anu.edu.au jwl
disi.unige.it astes
moggi
cuppari
dk.bosch.com gianna.belle
dmat.uevora.pt jja
spa
angelica
dmi.usherb.ca richard.St-Dens
marc.frappier
doc.ic.ac.uk kcl
I.S.Jourdan
clics
tsem
sjg
docs.uu.se adavid
dsi.unifi.it fantechi
dsi.unimi.it montesi
dsi.unimo.it sonia
dsi.unive.it focardi
dsic.upv.es slucas
alpuente
gvidal
dtkhb.de engel
dyade.fr Jean.Goubault
Dominique.Bolignano
dynamics.saab.se jan-erik.eriksson
ecs.soton.ac.uk sh1
mjb
edf.fr jean-luc.dormoy
edinfor.edp.pt antonio.rosadodacruz
ee.technion.ac.il moses
eecs.umich.edu wwshen
eifi.uottawa.ca luigi.logrippo
emn.fr Patrice.Boizumault
ens-lyon.fr Luigi.Liquori
rewriting
Pierre.Lexanne
ens.fr Maribel.Fernandez
enseeiht.fr Fabien.Dagnat
queinnec
enseeith.fr thirioux
eris.dera.gov.uk n.moffat
p.ryan
essex.ac.uk hensm
estas1.inrets.fr bug
Bforum
estec.esa.nl jterrail
etl.go.jp takahashi
eucmax.sim.ucm.es rubiod
eucmos.sim.ucm.es mario
arcas
exa.unrc.edu.ar mdaniele
fast.de Friederike.Nickl
fct.unl.pt pb
ap
fcyt.umss.edu.bo pablo
fe.up.pt jfcunha
fernuni-hagen.de beierle
fh-stpoelten.ac.at Montigel
fh-stpoelten.ac.uk monfigel
fhs-hagenberg.ac.at franz.lichtenberger
fi.upm.es herme
jjmoreno
fing.edu.uy sierra
tato
pardo
nora
fmi.uni-passau.de lengauer
fmv.se ilbra
formal.korea.ac.kr kbang
fr.bosch.de bertram.weber
frequentis.com amessing
fsel.com michael
fuip.fukuyama-u.ac.jp h-ishika
fzi.de melcher
geoinfo.tuwien.ac.at navratil
medak
gia.ist.utl.pt elsa
graco.c.u-tokyo.ac.jp tamai
halcyon.com kwilliam
harl.hitachi.co.jp takano
haskell.org haskell
hccnet.nl d.vd.meij
heraklit.informatik.unibw-muenchen.de kahl
hpcn.dsi.unifi.it bellini
htc.honeywell-com engstrom
hugo.int-evry.fr ionescu
hut.fi nisse.husberg
iami.univ-evry.fr aiguier
icase.edu lueftgen
munoz
ida.liu.se simin
iemma-one.com RDA
iet.unipi.it nico
ifad.dk sten
terada
sunesen
ifi.cs.uni-magdeburg.de aoumeur
ifi.uio.no einarj
ifra.ing.tu-bs.de meyer
ift.ulaval.ca desharn
igi.se per
ii.pw.edu.pl ratajcza
iinfo.unsj.edu.ar mcaballero
iis.sinica.edu.tw farn
liaucj
iist.unu.edu jifeng
zcc
cwg
rm
imag.fr Paul.Jacquet
Michel.levy
Nicolas.Halbwachs
graf
jean-luc.Richier
Idubousq
Joseph.Sifakis
karine.altisen
ouabdess
mounier
Didier.Bert
Yves.Ledru
Marie-laure.Potet
sophie.dupuy
iml.univ-mrs.fr tmr-linear
imsltd.com dcrocker
in.tum.de philipps
schactz
scotosch
inf.puc-rio.br armando
inf.rl.de.uk theo
info-ab.uclm.es gmoreno
info-unicaen dellache
info-unicaen.fr devulder
jll
info.ucl.ac.be elefler
info.unicaen.fr karczma
info.unlp.edu.ar mfrias
fidel
informafik.uni-bremen.de bkb
informatik.hu-berlin.de reisig
informatik.mu-luebeck.de dosch
informatik.rwth-aachen.de hanus
informatik.tu-muenchen.de Tobias.Nipkow
broy
brauer
informatik.uni-augsburg.de Thorsten.Ehm
informatik.uni-bonn.de ralf
informatik.uni-bremen.de jp
cxl
informatik.uni-freiburg.de edelkamp
thiemann
basin
informatik.uni-kiel.de bvk
hl
wpr
mh
rub
awo
uha
informatik.uni-kl.de eschbach
informatik.uni-mannheim.de mcb
informatik.uni-muenchen.de cengarle
merz
informatik.uni-oldenburg.de olderog
tapken
dierks
wehreim
informatik.unibw-muenchen.de schmidt
inforrnatik.uni-bremen.de till
inria.fr caml-list
Francoise.Weber
damien.doligez
yves.bertot
inrs-telecom.uquebec.ca gregoire
int-evry.fr cedric.besse
ana.cavalii
chrisfian.rinderknecht
ipl.t.u-tokyo.ac.jp hu
ira.uka.de reffel
irin.univ-nantes.fr Henri.Habrias
irisa.fr rusu
Albert.Benveniste
valerie.issarny
claude.jard
issarny
benveniste
thierry.jeron
Olivier.Ridoux
nmarchan
pinchina
thierry.gautier
irit.fr fortes
irst.itc.it cimatti
is.s.u-tokyo.ac.jp hagiya
is.tsukuba.ac.jp ami
is5.cs.uni-dortmund.de mm
isp.mu-luebeck.de wiedemann
ispras.ru petrenko
ist.tu-graz-ac.at rschlatt
droschl
aichernig
ist.tu-graz.ac.at bfroeh
kerschbaumer
lucas
it.dtu.dk db
jst
ah
it.kth.se tyugu
it.uc3m.es nmadrid
cdk
ptb
it.uq.edu.au akw
itd.nvl.navy.mil syverson
itl.rtu.lv marite
its.tudelft.nl C.pronk
jaguar.cs.byu.edu info-hol
jaist.ac.jp ogata
s.iida
kokichi
chiyo-m
michihiro
amori
t_suzuki
t-seino
toyama
jet.msk.su galaxy
kestrel.edu lambert
dusko
smith
kettering.edu jhuggins
ki.informatik.uni-ulm.de pfeifer
tsoubana
ki.tng.de vonkarger
kuis.kyoto-u.ac.jp masahiko
kurims.kyoto-u.ac.jp ohori
l4i.se alonso
lhe
anger
laas.fr glussier
gradit
arazo
behnia
diaz
chezalviel
waeselyn
labri.u-bordeaux.fr Pierre.Casteran
casteran
couvreur
lal.cs.byu.edu softverf
lami.univ-evry.fr mercier
legall
dubois
larc.nasa.gov R.W.Butler
lboro.ac.uk D.J.Cooke
facs-mem
codjc
lcc.uma.es afdez
pedro
let.uu.nl colibri
lib.univ-fcomte.fr darlot
lifo.univ-orleans.fr brousse
linus.mitre.org imps
lip6.fr Emmanuel.Paviot-Adet
listserv.nodak.edu THEORY-A
liyorkrd.li.co.uk pg
jpp
logica.com stepneys
loria.fr samborsk
mery
souquier
helene.kirchner
rnery
Meyer
rewriting
lri.fr mcg
filliatr
marre
lri.ft christine.paulin
ls.tu-berlin.de wg
lsi.upc.es jimenez
orejas
valiente
jmarco
lsv.ens-cachan.fr bidoit
lucent.com rmo
magdalen.oxford.ac.uk ganesh.sittampalam
mail.schneider.fr christine_mazuet
mailbase.ac.uk vdm-forum
eapls-request
eapls
mat.ua.pt ansar
rmenezes
mat.uc.pt pedro
sobral
comct
mate.uncor.edu blanco
math.ist.utl.pt fgc
mpg
pmat
acs
ccal
Jose.Carmo
css
pmr
amar
math.uminho.pt jsoares
r_ralha
mathematik.uni-marburg.de loogen
mathematik.uni-ulm.de plonka
matra-transport.fr burdy
faivre
meynadier
mc.lcs.mit.edu theorem-provers
mchp.siemens.de Jorge.Cuellar
volkmar.lotz
Joachim.Schmid
Jorge.R.Cuellar
mcmaster.ca emil
mcs.anl.gov qed
mcs.le.ac.uk gavin.lowe
med.ge.com bernd.grahlmann
member.ams.org kondoh
memo.volvo.se vac.tono
microsoft.com gurevich
schulte
mimuw.edu.pl tarlecki
mis.enac.fr gaudire
mmuw.edu.pl mengel
Kubica
mozart.si.ualg.pt aruano
msi.co.jp takashi
mta.ca categories
natlab.research.philips.com lex
ncc.up.pt mig
amf
appiar
acm
luis
ncl.ac.uk cliff.jones
neil.henderson
John.Fitzgerald
nenya.ms.mff.cuni.cz plasil
noe.ubi.pt docentes
nokia.com heikki.j.tuominen
nortel.ca lynnmar
nortelnetworks.com galter
npl.co.uk graeme.parkin
ns.di.fct.unl.pt coordina
lm
open.ac.uk l.barroca
ora.on.ca mark
dan
zeves
orchid.inf.tu-dresden.de kuehne
oucs.ox.ac.uk sebastian.rahtz
pa.dec.com lamport
larch-interest
rustan
pauillac.inria.fr coq-club
pea.enel.it ratto
perfectotech.com amit.klein
pgtr0071.mch.sni.de joachim
pi2.informatik.uni-mannheim.de msorea
pinon.ccu.uniovi.es labra
plsig.mail.abb.com tadeusz.cichocki
pobox.com vaccari
praxis-cs.co.uk rod
prover.com info
ps.uni-sb.de smolka
ptmat.lmc.fc.ul.pt mchauser
ptomely.arc.nasa.gov havelund
qub.ac.uk p.kilpatrick
ra.abo.fi kaisa
radonc.washington.edu jon
rbse.jsc.nasa.gov eichmann
rdg.bane.dk kmh
lwr
bog
reading.ac.uk V.A.Dobree
J.P.Bowen
A.Abdallah
research.att.com pamela
research.bell-labs.com libkin
howe
wadler
lics-request
research.telcordia.com ernie
rhbnc.ac.uk S.Schneider
risc.uni-linz.ac.at Mircea.Marin
rl.ac.uk b.m.matthews
j.c.bicarregui
rtri.or.jp ogino
hirao
sable.ox.ac.uk magd0688
salmosa.kaist.ac.kr thkim
sanson.dit.upm.es lotos-world
saul.cis.upenn.edu homeier
moonjoo
score.is.tsukuba.ac.jp ida
scs.leeds.ac.uk shaffi
hill
scu.edu rdavis
sdl.hitachi.co.jp kuruma
seide.di.uminho.pt jcs
sextant.thomson-csf.com osnawycz
sib.com knimour
sics.se mfd
fred
sidereus.pt nuncius
siemens.at brigitte.froehlich
siemens.ch rene.r.baumann
signaal.n dechering
sip.ucm.es rafa
fraguas
site-eerie.ena.fr mireille.larnac
socs.uts.edu.au cbj
sol.info.unlp.edu.ar ppedemon
cpons
gbaum
sophia.inria.fr sdesousa
Bernard.Serpette
Gilles.Barthe
pottier
Antonio.Ravara
soton.ac.uk gravell
springer.de hofmann
sprl.sps.mot.com mvg
sra.co.jp nakagawa
sra.cu.jp sahara
sui.co.uk rosie
sun7.mathematik.uni-freiburg.de licsr
swissonline.ch Philipp.Heuberger
synth.ipi.ac.ru leonidk
tcs.hut.fi msmakela
tcs.tifr.res.in pandya
techfak.uni-bielefeld.de enno
tees.ac.uk bill
S.E.Dunne
telin.nl janssen
terma.com jmp
terre.inrets.fr mariono
petit
bon
theory.brl.ntt.co.jp mizuhito
theory.lcs.mit.edu logic
ti.com g-clave
tls.mms.fr eric.conquet
tni.fr philippe.latour
toga.it.dtu.dk rischel
tu-bs.de H.SchuIz
turbomeca.fr eric.focone
tycho.ncsc.mil drj
tzi.de emm
bb
ualg.pt jvolivei
ueda.info.waseda.ac.jp ueda
ukc.ac.uk J.Derrick
E.A.Boiten
uma.pt engsc
unav.es clavel
uni-augsburg.de moeller
uni-mb.si marjan.mernik
uni-muenster.de kuchen
wlux
uni-paderborn.de glaesser
giusp
unislav.kiev.ua nikit
unisys.co.jp akishi.Seo
univ-lille1.fr alp-diffusion
unsl.edu.ar nmare
sflores
ayesha
unsw.edu.au k.robinson
usb.ve jravelo
borges
utopics.nl pkars
venus.is.s.u-tokyo.ac.jp pept
vtd.volvo.se mala
westonetech.com milica
white.sel.cs.hiroshima-cu.ac.jp liu
willamette.edu fruehr
win.tue.nl Rcb5
keesm
ipalist
feys
wins.uva.nl mdejonge
jvisser
wirth.cs.uakron.edu bdauriol
wisdom.weizmann.ac.il amir



6/20/2000
Jose Nuno Oliveira