JJ - Universidade do Minho

JJ
Abubakar Hassan Kings College London, Uk abu.s.hassan@gmail.com
Adam Darvas Eth Zurich, Switzerland darvasa@inf.ethz.ch
Adrian Francalanza Imperial College, England adrianf@doc.ic.ac.uk
Adrian Johnstone Royal Holloway, University of London, Uk a.johnstone@rhul.ac.uk
Agata Janowska Warsaw University, Poland janowska@mimuw.edu.pl
Ahmed Bouajjani Liafa, University of Paris 7, France abou@liafa.jussieu.fr
Ahmed Rezine Uppsala University, Sweden rezine.ahmed@it.uu.se
Akihiko Tozawa Ibm Tokyo Research Lab., Japan atozawa@jp.ibm.com
Alain Ozanne France Telecom R&d / Cnrs I3s, France alain.ozanne@orange-ftgroup.com
Alan Hu University of British Columbia, Canada ajh@cs.ubc.ca
Alan Mycroft Cambridge University, Uk am@cl.cam.ac.uk
Alberto Silva IST/inesc Id, Portugal Alberto.Silva@acm.org
Alberto Simões Universidade do Minho, Portugal albie@alfarrabio.di.uminho.pt
Alberto Verdejo Universidad Complutense de Madrid, Spain alberto@sip.ucm.es
Alcino Cunha Universidade do Minho, Portugal alcino@di.uminho.pt
Aleksy Schubert Institute of Informatics, Poland alx@mimuw.edu.pl
Alessandra Di Pierro University of Verona, Italy dipierro@di.unipi.it
Alessandro Aldini University of Urbino, Italy, Italy aldini@sti.uniurb.it
Alessandro Ferrante Dipartimento Di Informatica Ed Applicazi. . . , Italy ferrante@dia.unisa.it
Alessandro Lapadula Dsiuf, Italy lapadula@dsi.unifi.it
Alessandro Orso Georgia Tech, Usa orso@cc.gatech.edu
Alexander Knapp Ludwig-maximilians-universität München, Deutschland knapp@pst.ifi.lmu.de
Alexander Kurz University of Leicester, Uk kurz@mcs.le.ac.uk
Alexander Petrenko Isp Ras, Russia petrenko@ispras.ru
Alexander Reinhard Security Engineering Group, Rwth Aachen . . . , Germany reinhard@i4.informatik.rwth-aachen.de
Alexandre Petrenko Crim, Canada petrenko@crim.ca
Alexandre Sztajnberg Uerj - Brazil, Brazil alexszt@ime.uerj.br
Alfonso Acosta Kth, Sweden alfonso.acosta@gmail.com
Amey Karkare Iit Bombay, India karkare@cse.iitb.ac.in
Ana Cristina Vieira De Melo USP, Brazil acvm@ime.usp.br
Ana Matos IST Lisbon, Portugal ana.matos@ist.utl.pt
Ana Paiva Feup, Portugal apaiva@fe.up.pt
Anaebom Chika Henry Plaza International College, Malaysia henrya2x@yahoo.com
Anders Hessel It, Uppsala University, Sweden anders.hessel@it.uu.se
Ando Saabas Institute of Cybernetics, Estonia ando@cs.ioc.ee
Andre Bottaro France Telecom, France andre.bottaro@orange-ftgroup.com
Andrea Corradini Dipartimento Di Informatica, Pisa, Italy andrea@di.unipi.it
Andrea Flexeder Tu Muenchen, Germany flexeder@in.tum.de
Andreas Metzger University of Duisburg-essen, Germany andreas.metzger@sse.uni-due.de
Andrew Martin Ibm Research, Usa andy@martin-robson.com
Andrew Pitts University of Cambridge, Uk Andrew.Pitts@cl.cam.ac.uk
Andrew Tolmach Portland State University/inria, France Andrew.Tolmach@inria.fr
Andrzej Wasowski Aalborg University (ciss), Denmark wasowski@itu.dk
Aniello Murano Università Degli Studi Di Napoli ”feder. . . , Italy murano@na.infn.it
Ankur Taly Indian Institute of Technology, Bombay, India ankur123@cse.iitb.ac.in
Anthony Sloane Macquarie University, Australia asloane@ics.mq.edu.au
Antoine Meyer Liafa - Université Paris Vii, France ameyer@liafa.jussieu.fr
Antoine Miné Ecole Normale Supérieure, France mine@brick.ens.fr
Anton Wijs CWI, The Netherlands A.J.Wijs@cwi.nl
Antonio Cerone United Nations University, Macau Sar China antonio@iist.unu.edu
Antónia Lopes University of Lisbon, Portugal mal@di.fc.ul.pt

Arend Rensink University of Twente, The Netherlands rensink@cs.utwente.nl
Arie Gurfinkel Software Engineering Institute, Carnegie. . . , Usa arie@sei.cmu.edu
Arnab Roy Stanford University, United States arnab@stanford.edu
Arnaud Sangnier Lsv - Ens Cachan - Cnrs, France sangnier@lsv.ens-cachan.fr
Arnd Poetzsch-heffter Tu Kaiserslautern, Germany freeman@informatik.uni-kl.de
Ashish Tiwari Sri International, Usa tiwari@csl.sri.com
Ashok Argent-katwala Department of Computing, Imperial Colleg. . . , Uk ashok@doc.ic.ac.uk
Ashok Argent-katwala Imperial College London, United Kingdom ashok@doc.ic.ac.uk
Augusto Parma Università Di Verona, Italy parma@sci.univr.it
Barbara Jobstmann Tu Graz, Austria bjobst@ist.tugraz.at
Barbara Jobstmann Graz University of Technology, Austria bjobst@ist.tugraz.at
Bas Graaf Delft University of Technology, The Netherlands b.s.graaf@tudelft.nl
Benedikt Bollig Lsv, Cnrs & Ens Cachan, France bollig@lsv.ens-cachan.fr
Benjamin Damet Université Pierre Et Marie Curie (paris. . . , France bdamet@gmail.com
Bernd Finkbeiner Universität Des Saarlandes, Germany finkbeiner@cs.uni-sb.de
Bernhard Aichernig Tu Graz, Austria aichernig@ist.tugraz.at
Bernhard Scholz The University of Sydney, Australia scholz@it.usyd.edu.au
Bertrand Meyer Eth Zurich, Switzerland Bertrand.Meyer@inf.ethz.ch
Bin Zhou School of Computer, National University . . . , China bin.zhou.cn@gmail.com
Björn Victor Uppsala University, Sweden Bjorn.Victor@it.uu.se
Blaise Genest Irisa/cnrs, France genest@crans.org
Brendan Sheehan University College Dublin, Ireland brendan.sheehan@ucd.ie
Bruno Berstel Ilog, France ydegbey@ilog.fr
Bruno Marnette Ens de Cachan, France marnette.bruno@gmail.com
Byeongcheol Lee Ut Austin, Usa bclee@cs.utexas.edu
C. R. Ramakrishnan Stony Brook University, Usa cram@cs.stonybrook.edu
Caniart Nicolas Labri, France nicolas.caniart@labri.fr
Carl Seger Intel/oxford, United Kingdom Carl.Seger@intel.com
Carlos Cetina Technical University of Valencia, Spain ccetina@dsic.upv.es
Carolyn Talcott Sri International, Usa clt@cs.stanford.edu
Carsten Kern Rwth University, Germany kern@cs.rwth-aachen.de
Carsten Lutz Tu Dresden, Germany lutz@tcs.inf.tu-dresden.de
Catalin Dima Universite Paris 12, Lacl, France dima@univ-paris12.fr
Catherine Meadows Nrl, Usa meadows@itd.nrl.navy.mil
Cesar Sanchez Stanford University, Usa cesar@cs.stanford.edu
Cesare Tinelli The University of Iowa, Usa tinelli@cs.uiowa.edu
Cezara Dragoi University of Bucharest, Romania dragoi.cezara@gmail.com
Charles Pecheur Uc Louvain, Belgium charles.pecheur@uclouvain.be
Christian Genz University of Bremen, Germany genz@informatik.uni-bremen.de
Christian Haack Radboud University Nijmegen, Netherlands chaack@cs.ru.nl
Christian Koehler Centrum Voor Wiskunde En Informatica, Am. . . , The Netherlands christian.koehler@cwi.nl
Christine Choppy Lipn, Univ Paris13, France christinechoppy@yahoo.fr
Christophe Fouqueré Lipn - Université Paris 13, France cf@lipn.univ-paris13.fr
Christophe Joubert University of Málaga / Lcc / Gisum, Spain joubert@lcc.uma.es
Christopher Ackermann Fraunhofer Usa - Cese, Usa chrisack@cs.umd.edu
Christopher Condrat Uofu, Usa chris@g6net.com
Christopher Dilloway Oxford University Computing Laboratory, Uk christopher.dilloway@keble.ox.ac.uk
Clara Bertolissi Lif-université de Provence, France clara@cmi.univ-mrs.fr
Claude Kirchner Loria, France claude.kirchner@loria.fr
Claude Marché Inria Futurs, France Claude.Marche@lri.fr
Claus Traulsen University Kiel, Germany ctr@informatik.uni-kiel.de
Clement Escoffier Grenoble University, France clement.escoffier@imag.fr
Colin Riba Loria, France riba@loria.fr
Constantin Enea Lacl, France & Univ. Iasi, Romania, France cenea@info.uaic.ro
Cristian Versari University of Bologna, Italy versari@cs.unibo.it
Cristiano Calcagno Imperial College London, Uk ccris@doc.ic.ac.uk
Cécile Hardebolle Supélec, France cecile.hardebolle@supelec.fr
Cédric Meuter Université Libre de Bruxelles, Belgique cedric.meuter@ulb.ac.be
Damiano Zanardini Upm, Spain damiano@clip.dia.fi.upm.es
Damien Pous Ens Lyon, France dpous@ens-lyon.fr
Daniel Balasubramanian Vanderbilt University, Us daniel@isis.vanderbilt.edu
Daniel Grund Saarland University, Germany grund@cs.uni-sb.de
Daniel Hirschkoff Ens Lyon, France daniel.hirschkoff@ens-lyon.fr
Daniel Kroening Eth Zuerich, Switzerland daniel.kroening@inf.ethz.ch
Daniel Varró Budapest University of Technology and Ec. . . , Hungary daniel.varro@gmail.com
Daniele Varacca Pps - University Paris 7, France varacca@pps.jussieu.fr
David Aspinall Lfcs ¡- Informatics ¡- Edinburgh, Uk da@inf.ed.ac.uk
David Macqueen University of Chicago, Usa dbm@cs.uchicago.edu
David N. Jansen Rwth Aachen, Software Modelling and Veri. . . , Germany David.Jansen@rwth-aachen.de
David Pichardie Inria/irisa, France david.pichardie@irisa.fr
David Rosenblum University College London, United Kingdom d.rosenblum@cs.ucl.ac.uk
David Stauch Verimag, France David.Stauch@imag.fr
David Von Oheimb Siemens Corporate Technology, Germany David.von.Oheimb@siemens.com
Davide Grohmann University of Udine, Italy grohmann@dimi.uniud.it
Denis Bechet Lina, France Denis.Bechet@univ-nantes.fr
Derek Dreyer Toyota Technological Institute At Chicag. . . , Usa dreyer@tti-c.org
Derek Mannering Open University, Uk derek.mannering@btinternet.com
Detlef Plump University of York, Uk det@cs.york.ac.uk
Didier Hoareau Valoria Lab, France Didier.Hoareau@univ-ubs.fr

Dietmar Schreiner Vienna University of Technology, Austria d.schreiner@infosys.tuwien.ac.at
Dilian Gurov Kth Stockholm, Sweden dilian@nada.kth.se
Dina Goldin Brown University, Usa dqg@cs.brown.edu
Dino Distefano Queen Mary, University of London, Uk ddino@dcs.qmul.ac.uk
Dirk Pattinson Imperial College London, Uk dirk@doc.ic.ac.uk
Doaitse Swierstra Utrecht University, The Netherlands doaitse@swierstra.net
Dominik Wojtczak University of Edinburgh, Scotland, Uk D.K.Wojtczak@sms.ed.ac.uk
Dominique Méry Université Henri Poincaré & Loria, Vandoeuvre mery@loria.fr
Don Batory University of Texas At Austin, U.s.a. batory@cs.utexas.edu
Don Sannella University of Edinburgh, United Kingdom dts@inf.ed.ac.uk
Doosan Cho Seoul National University, Korea dscho@optimizer.snu.ac.kr
Dorel Lucanu Uaic, Romania dlucanu@info.uaic.ro
Doron Peled Department of Computer Science, Bar Ilan. . . , Israel doron.peled@gmail.com
Dénes Bisztray University of Leicester, United Kingdom dab24@le.ac.uk
Eelco Visser Delft University of Technology, Netherlands E.Visser@tudelft.nl
Einar Broch Johnsen University of Oslo, Norway einarj@ifi.uio.no
Eleonora Sibilio Universita’ Degli Studi Di Verona, Italy sibilio@sci.univr.it
Elisabete Freire Universidade dos Açores, Portugal freire@notes.uac.pt
Elizabeth Scott University of London, Royal Holloway, England e.scott@rhul.ac.uk
Emil Axelsson Computer Science and Engineering, Chalme. . . , Sweden emax@cs.chalmers.se
Emilie Balland Loria Inria, France balland@loria.fr
Emina Torlak Massachusetts Institute of Technology, United States emina@mit.edu
Emmanuel Fleury Labri, Bordeaux-i University, France fleury@labri.fr
Eran Yahav Ibm Research, Usa eyahav@us.ibm.com
Erez Petrank Microsoft Research and Technion, Usa erez acount@yahoo.com
Eric Rutten Inria Rhone-alpes, France eric.rutten@inria.fr
Eric Van Wyk University of Minnesota, Usa evw@cs.umn.edu
Erik Poll Radboud University Nijmegen, Netherlands erikpoll@cs.ru.nl
Esther Guerra Universidad Carlos Iii de Madrid, Spain eguerra@inf.uc3m.es
Etienne Lozes Lsv, Ens Cachan & Cnrs, France lozes@lsv.ens-cachan.fr
Ewen Denney Riacs / Nasa Ames, Usa edenney@email.arc.nasa.gov
F William Lawvere Suny At Buffalo, Usa wlawvere@buffalo.edu
Fabio Gadducci University of Pisa, Italy gadducci@di.unipi.it
Fabio Tirelo Universidade do Minho, Portugal ftirelo@gmail.com
Fang Ling Department of Mathematical and Computing. . . , Japan fang3@is.titech.ac.jp
Farhad Arbab CWI & Leiden University, Netherlands farhad@cwi.nl
Fausto Spoto Universita’ Di Verona, Italy fausto.spoto@univr.it
Fernando Martins University Minho/portugal, Portugal fmm@di.uminho.pt
Fernando Orejas Upc - Barcelona, Spain orejas@lsi.upc.edu
Flaminia Luccio University of Venice, Italy luccio@unive.it
Florence Maraninchi Verimag / Inpgrenoble, France florence.maraninchi@imag.fr
Florence Plateau Lri - Inria, France plateau@lri.fr
Florent Bouchy Lsv - Cnrs & Ens Cachan, France florent.bouchy@lsv.ens-cachan.fr
Florent Jacquemard Inria Futurs & Lsv-ens de Cachan, France florent.jacquemard@lsv.ens-cachan.fr
Florian Horn Rwth - Aachen, France horn@liafa.jussieu.fr
Florian Klein University of Paderborn, Germany Florian.Klein@uni-paderborn.de
Francesco Santini Imt - Lucca, Italy francesco.santini@imtlucca.it
Francesco Tiezzi Università Di Firenze, Italy tiezzi@dsi.unifi.it
Francisco Assis Moreira Do Nascimento Ufrgs/brazil, Brazil fanascimento@inf.ufrgs.br
Franck Van Breugel York University, Canada franck@cse.yorku.ca
Franco Raimondi Ucl, London, Uk f.raimondi@cs.ucl.ac.uk
Francois Laroussinie Lsv (cnrs, Ens Cachan), France fl@lsv.ens-cachan.fr
Franjo Ivancic Nec Labs, Usa ivancic@gmail.com
Frank De Boer CWI, Nl F.S.de.Boer@cwi.nl
Frank Hermann Technical University of Berlin, Germany frank@cs.tu-berlin.de
Frank Kraemer Norwegian University of Science and Tech. . . , Norway kraemer@item.ntnu.no
Franz Weber Sap Ag, Germany Franz.Weber@sap.com
Franz Wotawa Tug / IST, Austria wotawa@ist.tugraz.at
François-régis Sinot Liacc - Universidade do Porto, Portugal frs@dcc.fc.up.pt
Frederic Blanqui Inria, France blanqui@loria.fr
Frederic Dadeau Lig / Inpg, France frederic.dadeau@imag.fr
Frédéric Besson Irisa/inria, France fbesson@irisa.fr
Frédéric Herbreteau Labri, Bordeaux, France, France fh@labri.fr
Gabriel Ciobanu Cuza University, Faculty of Computer Sci. . . , Romania gabriel@info.uaic.ro
Gabriel Kalyon Université Libre de Bruxelles, Belgique gkalyon@ulb.ac.be
Gabriele Taentzer Universität Marburg, Germany taentzer@mathematik.uni-marburg.de
Gagarine Yaikhom University of Edinburgh, United Kingdom gyaikhom@gmail.com
Ganesan Ramalingam Microsoft Research India, India grama@microsoft.com
Gavin Lowe Oxford University, Uk gavin.lowe@comlab.ox.ac.uk
Geoff Hamilton Dublin City University, Ireland hamilton@computing.dcu.ie
George Edwards University of Southern California, Usa gedwards@usc.edu
George Kuan University of Chicago, Usa gkuan@cs.uchicago.edu
Gerald Luettgen University of York, Uk gerald.luettgen@cs.york.ac.uk
German Puebla Universidad Politecnica de Madrid, Spain german@fi.upm.es
Ghassan Oreiby Lsv - Ens Cachan, France oreiby@lsv.ens-cachan.fr
Gheorghe Paun Romanian Academy, Romania gpaun@us.es
Gheorghe Stefanescu University of Bucharest, Romania gheorghe@funinf.cs.unibuc.ro
Gianfranco Ciardo University of California, Riverside, Usa ciardo@cs.ucr.edu
Gianluigi Zavattaro Univ. of Bologna, Italy zavattar@cs.unibo.it

Gilles Barthe Inria, France gbarthe@sophia.inria.fr
Gordon Pace University of Malta, Malta gordon.pace@um.edu.mt
Govindarajan Ramaswamy Indian Institute of Science, India govind@serc.iisc.ernet.in
Graham Steel University of Edinburgh, Uk gsteel@inf.ed.ac.uk
Gregor Goessler Inria Rhône-alpes, France gregor.goessler@inrialpes.fr
Gregor Wrobel Society For The Promotion of Applied Com. . . , Germany wrobel@gfai.de
Gregory Batt Verimag, France gregory.batt@imag.fr
Greta Yorsh Tel Aviv University, Israel gretay@post.tau.ac.il
Grigore Rosu University of Illinois At Urbana-champai. . . , Usa whitesel@cs.uiuc.edu
Grégoire Sutre Cnrs / Labri, France gregoire.sutre@labri.fr
Guilherme Rangel Tu-berlin, Germany rangel@cs.tu-berlin.de
Guillaume Brat Riacs, Usa brat@email.arc.nasa.gov
Gábor Nagy Alvicom Ltd., Hungary gabor.nagy@alvicom.hu
Gérard Boudol Inria, France gbo@sophia.inria.fr
Görel Hedin Lund University, Sweden gorel@cs.lth.se
Günter Graw Uni Dortmund, Germany grawg@arcor.de
Han Gao Technical University of Denmark, Denmark hg@imm.dtu.dk
Harmen Kastenberg University of Twente, The Netherlands h.kastenberg@cs.utwente.nl
Hartmut Ehrig Faculty Iv, Germany ehrig@cs.tu-berlin.de
Hayssam Soueidan Labri, France soueidan@labri.fr
Helmut Seidl Tu München, Germany seidl@in.tum.de
Herbert Wiklicky Imperial College London, Uk wiklicky@acm.org
Hermann Lehner Eth Zurich, Switzerland hermann.lehner@inf.ethz.ch
Hillel Kugler New York University, Usa kugler@cs.nyu.edu
Holger Hermanns Saarland University, Germany hermanns@cs.uni-sb.de
Hongseok Yang Queen Mary, University of London, Uk hyang@dcs.qmul.ac.uk
Horst Schmidt Universität, Germany schmidt@gmx.de
Hubert Comon-lundh Lsv, Ecole Normale Sup. Cachan, France comon@lsv.ens-cachan.fr
Hugo Simões Liacc - Universidade do Porto, Portugal hrsimoes@ncc.up.pt
Hugues Citeau Ilog, France ydegbey@ilog.fr
Hwansoo Han Kaist, Republic Of Korea hshan@cs.kaist.ac.kr
Ian Mackie King’s College London, Uk ian.mackie@kcl.ac.uk
Ian Thorpe No Institution, Uk ian.thorpe.i@gmail.com
Ichiro Hasuo Radboud University Nijmegen, The Netherlands ichiro@cs.ru.nl
Igor Walukiewicz Labri, Cnrs Bordeaux, France igw@labri.fr
Iman Poernomo King’s College London, Uk iman.poernomo@kcl.ac.uk
Imed Hammouda Tampere University of Technology, Finland imed.hammouda@tut.fi
Iovka Boneva University of Twente, Netherlands bonevai@ewi.utwente.nl
Itai Segall The Weizmann Institute of Science, Israe. . . , Israel itai.segall@weizmann.ac.il
Ivan Zapreev The University of Twente, Netherlands ivan.zapreev@gmail.com
J. Christian Attiogbe Lina - University of Nantes, France christian.attiogbe@univ-nantes.fr
Jacek Ratzinger Vienna University of Technology, Austria ratzinger@infosys.tuwien.ac.at
Jacob Illum Rasmussen Aalborg University, Denmark illum@cs.aau.dk
Jacob Thamsborg It University of Copenhagen, Denmark thamsborg@itu.dk
Jacopo Mantovani University of Genova, Italy jacopo.mantovani@unige.it
Jacques Sakarovitch Cnrs / Enst, France sakarovitch@enst.fr
James Brotherston Imperial College London, Uk J.Brotherston@imperial.ac.uk
James Worrell Oxford University, England jbw@comlab.ox.ac.uk
Jan Bosch Nokia, Finland Jan@janbosch.com
Jan Cederquist IST, Portugal jan.cederquist@ist.utl.pt
Jan Olaf Blech Universitaet Kaiserslautern, Germany blech@informatik.uni-kl.de
Jan Tobias Muehlberg University of York, Uk muehlber@cs.york.ac.uk
Jaroslav Sevcik University of Edinburgh, United Kingdom j.sevcik@sms.ed.ac.uk
Jean Bezivin Inria, France Jean.Bezivin@univ-nantes.fr
Jean-baptiste Note École Normale Supérieure, France jean-baptiste.note@ens.fr
Jean-francois Raskin Université Libre de Bruxelles, Belgium jraskin@ulb.ac.be
Jean-jacques Levy Inria Et Msr-inria, France jean-jacques.levy@inria.fr
Jean-marie Jacquet University of Namur, Belgium jmj@info.fundp.ac.be
Jens Bæk Jørgensen University of Aarhus, Denmark jbj@daimi.au.dk
Jens Knoop Tu Vienna, Austria, Austria knoop@complang.tuwien.ac.at
Jeremy Bradley Imperial College, Uk jb@doc.ic.ac.uk
Jeremy Condit Uc Berkeley, Usa jcondit@cs.berkeley.edu
Jeremy Sproston Universita‘ Di Torino, Italy sproston@di.unito.it
Jeroen Fokker Utrecht University, Netherlands jeroen@cs.uu.nl
Jerome Leroux Cnrs / Labri, France leroux@labri.fr
Jerry Den Hartog University of Twente, The Netherlands jerry.denhartog@utwente.nl
Jesper Bengtson Department of Information Technology, Sweden jesperb@it.uu.se
Jinqing Yu University of California At Riverside, Usa jqyu@cs.ucr.edu
Jiri Adamek Technical University Braunschweig, Germany J.Adamek@tu-bs.de
Jochen Pfalzgraf University of Salzburg, Austria jpfalz@cosy.sbg.ac.at
Joel Ouaknine Oxford University, Uk joel@comlab.ox.ac.uk
Johann Blieberger Tu Vienna, Austria blieb@auto.tuwien.ac.at
John G. Morrisett Harvard University - Seas, U.s.a. greg@eecs.harvard.edu
Jon Whittle George Mason University, Usa jwhittle@ise.gmu.edu
Joost-pieter Katoen Computer Science 2, Rwth Aachen, Germany katoen@informatik.rwth-aachen.de
Jose Eduardo Pina Miranda Multicert S.a., Portugal jose.miranda@multicert.com
Jose Espirito Santo University of Minho, Portugal jes@math.uminho.pt
Joseph Kiniry University College Dublin, Ireland kiniry@acm.org
Joseph Stoy Bluespec, Inc, Usa stoy@bluespec.com

Josh Berdine Microsoft Research, Uk jjb@microsoft.com
Joshua Guttman The Mitre Corporation, Usa guttman@mitre.org
José Barros Dium, Portugal jbb@di.uminho.pt
José Campos Universidade do Minho, Portugal jose.campos@di.uminho.pt
José Luiz Fiadeiro University of Leicester, Uk jose@fiadeiro.org
José Valença José Valença, Portugal jmvalenca@di.uminho.pt
José Vilaça Universidade do Minho, Portugal jmvilaca@di.uminho.pt
Jozef Gruska Faculty of Informatics, Czech Republik gruska@fi.muni.cz
João Carlos Cardoso Da Silva Universidade do Minho, Portugal jcsilva@ipca.pt
João Faria Feup, Portugal jpf@fe.up.pt
João Miguel Fernandes Universidade do Minho, Portugal jmf@di.uminho.pt
Juan De Lara Universidad Autónoma de Madrid, Spain jdelara@uam.es
Juergen Dingel Queen’s University, Canada dingel@cs.queensu.ca
Jules Villard Lsv, Ens Cachan, Cnrs, France jvillard@ens-lyon.fr
Julia Padberg Technische Universität Berlin, Germany padberg@cs.tu-berlin.de
Julian Rathke University of Southampton, United Kingdom jr2@ecs.soton.ac.uk
Juliana Kuster Filipe Bowles University of Birmingham, Uk j.bowles@cs.bham.ac.uk
Jun Pang University of Oldenburg, Germany pangjun@gmail.com
Jurgen Vinju CWI, The Netherlands jurgen.vinju@cwi.nl
Jácome Cunha University of Minho, Portugal jacome@di.uminho.pt
Karl Trygve Kalleberg University of Bergen, Norway karltk@ii.uib.no
Karsten Ehrig University of Leicester, United Kingdom karsten@mcs.le.ac.uk
Kenneth Knowles University of California, Santa Cruz, Usa kknowles@cs.ucsc.edu
Keoncheol Shin Kaist, Republic Of Korea kcshin@arcs.kaist.ac.kr
Kim Larsen Aalborg University, Denmark kgl@cs.aau.dk
Klaus Dräger Universität Des Saarlandes, Germany draeger@cs.uni-sb.de
Koen Claessen Chalmers University of Technology, Sweden koen@chalmers.se
Kohei Honda Queen Mary, University of London, Uk kohei@dcs.qmul.ac.uk
Kohei Suenaga University of Tokyo, Japan kohei@yl.is.s.u-tokyo.ac.jp
Konrad Slind University of Utah, Usa slind@cs.utah.edu
Krishnendu Chatterjee Uc Berkeley, Usa c krish@eecs.berkeley.edu
Kung-kiu Lau The University of Manchester, United Kingdom kung-kiu@cs.man.ac.uk
Kuntal Loya Microsoft, India kuntal@microsoft.com
Kyoko Iwasawa Takushoku University, Japan kiwasawa@cs.takushoku-u.ac.jp
Lars Birkedal It University of Copenhagen, Denmark birkedal@itu.dk
Laurent Doyen Epf Lausanne, Switzerland ldoyen@ulb.ac.be
Laurent Mauborgne École Normale Supérieure, France laurent.mauborgne@ens.fr
Leen Lambers Softwaretechnik Und Theoretische Informa. . . , Germany leen@cs.tu-berlin.de
Lennart Beringer University of Munich, Germany beringer@tcs.ifi.lmu.de
Lijesh Manjacheri University of Minnesota, Usa lijesh@gmail.com
Lijun Zhang University of Saarland, Germany zhang@cs.uni-sb.de
Lionel Morel Inria - Irisa, France lionel.morel@irisa.fr
Louis Mandel Inria Rocquencourt, France louis.mandel@inria.fr
Luca Bortolussi University of Trieste, Italy luca@dmi.units.it
Luca Cardelli Microsoft Research Ltd, England hayleyn@microsoft.com
Lucia Acciai Lif - Université de Provence, Marseille, France lucia.acciai@lif.univ-mrs.fr
Luis Barbosa Univ. Minho, Portugal lsb@di.uminho.pt
Luis Damas Liacc-up-pt, Portugal luis@ncc.up.pt
Luis Dominguez I. S. Técnico, Portugal doml@clix.pt
Luis Pedro Computer Science Department, University . . . , Switzerland luis.pedro@cui.unige.ch
Luis Pinto University of Minho, Portugal luis@math.uminho.pt
Lurdes Sousa Estv, IP Viseu, Portugal sousa@mat.estv.ipv.pt
Lutz Schröder Univ. Bremen and Dfki-lab Bremen, Germany lschrode@tzi.de
Luís Caires Universidade Nova de Lisboa, Portugal luis.caires@di.fct.unl.pt
Lydie Du Bousquet Lig, Ujf, France lydie.du-bousquet@imag.fr
Madhusudan Parthasarathy Uiuc, Usa, Usa madhu@cs.uiuc.edu
Magambo Philipo Gonek Enterprises, Tanzania fmultivet@excite.com
Magnus Johansson Department of Information Technology, Sweden magnusj@it.uu.se
Magnus Myreen University of Cambridge, Uk magnus.myreen@cl.cam.ac.uk
Maik Kollmann Tu Braunschweig - Ifis, Germany m.kollmann@tu-bs.de
Manfred Schmidt-schauss Computer Science; Uni Frankfurt, Germany schauss@cs.uni-frankfurt.de
Manuel Barbosa Di - Universidade do Minho, Portugal mbb@di.uminho.pt
Manuel Hermenegildo Universidad Politecnica de Madrid, Spain herme@fi.upm.es
Manuela Sobral University of Coimbra, Portugal sobral@mat.uc.pt
Marc Aiguier University of Evry, France marc.aiguier@ibisc.univ-evry.fr
Marc Eaddy Columbia University, Usa me133@columbia.edu
Marc Fisher University of Nebraska, United States Of America mfisher@cse.unl.edu
Marc Galceran Oms Universitat Politècnica de Catalunya, Spain mgalceran3@gatech.edu
Marcelo Santos Malardalan University, Sweden marcelo.santos@mdh.se
Marco Carbone Imperial College London, United Kingdom carbonem@doc.ic.ac.uk
Maria Grazia Buscemi Imt Lucca, Italy marzia.buscemi@imtlucca.it
Maria Grazia Vigliotti Imperial College, Uk mgv98@doc.ic.ac.uk
Maria João Frade Universidade do Minho, Portugal mjf@di.uminho.pt
Maria João Varanda Pereira Instituto Politécnico de Bragança, Portugal mjoao@ipb.pt
Marian Boldt University of Kiel, Germany mabo@informatik.uni-kiel.de
Mariano Moscato Universidad de Buenos Aires, Argentina mmoscato@gmail.com
Marie-claude Gaudel Lri, Univ. Paris-sud, France mcg@lri.fr
Marieke Huisman Inria Sophia Antipolis, France Marieke.Huisman@sophia.inria.fr
Mariela Pavlova Inria, Germany mariela.pavlova@ifi.lmu.de

Mariela Pavlova Inria Sophia-antipolis, Germany mariela.pavlova@sophia.inria.fr
Mario Berón Universidade do Minho, Portugal marioberon@di.uminho.pt
Mario Mendez Lojo University of New Mexico, Usa mario@cs.unm.edu
Mariza Bigonha Ufmg, Brazil mariza@dcc.ufmg.br
Marjan Mernik University of Maribor, Slovenia marjan.mernik@uni-mb.si
Mark Van Den Brand Technische Universiteit Eindhoven, The Netherlands m.g.j.v.d.brand@tue.nl
Mark Woodcock Us Dod, Usa woodcock@cs.umbc.edu
Markus Bach University Hagen, Germany bach.markus@gmx.de
Markus Lumpe Iowa State University, United States lumpe@cs.iastate.edu
Markus Müller-olm Universität Münster, Germany mmo@math.uni-muenster.de
Markus Roggenbach University of Wales Swansea, United Kingdom csmarkus@swan.ac.uk
Marlon Dumas Queensland University of Technology, Australia m.dumas@qut.edu.au
Marsha Chechik University of Toronto, Canada chechik@cs.toronto.edu
Martin Berger Imperial College, Uk M.Berger@doc.ic.ac.uk
Martin Bravenboer Delft University of Technology, The Netherlands martin.bravenboer@gmail.com
Martin Elsman It University of Copenhagen, Denmark mael@itu.dk
Martin Fränzle Dpt. of Cs, Universität Oldenburg, Germany fraenzle@informatik.uni-oldenburg.de
Martin Kuhlemann University of Magdeburg, Germany kuhlemann@iti.cs.uni-magdeburg.de
Martin Leucker Tu Munich, Germany leucker@in.tum.de
Martin Odersky Epfl, Switzerland martin.odersky@epfl.ch
Martin Ouimet Massachusetts Institute of Technology, Usa mouimet@mit.edu
Martin Strecker Université Paul Sabatier, France strecker@irit.fr
Martin Wirsing Lmu Munich, Germany wirsing@pst.ifi.lmu.de
Martins Gills Hansabank, Latvia martins.gills@hansabanka.lv
Mary Jean Harrold Georgia Institute of Technoloy, Usa harrold@cc.gatech.edu
Mary Sheeran Chalmers, Sweden ms@cs.chalmers.se
Masataka Sassa Tokyo Institute of Technology, Japan sassa@is.titech.ac.jp
Massimo Bartoletti Dip. Informatica - Univ. Pisa, Italy bart@di.unipi.it
Massimo Benerecetti Università Di Napoli ”federico Ii”, Italy bene@na.infn.it
Massimo Tivoli University of L’aquila, Italy tivoli@di.univaq.it
Mathieu Braem Vrije Universiteit Brussel, Belgium mbraem@vub.ac.be
Matteo Maffei Saarland University, Germany maffei@cs.uni-sb.de
Matthew Dwyer University of Nebraska - Lincoln, Usa dwyer@cse.unl.edu
Matthew Hague Oxford University, Uk Matthew.Hague@comlab.ox.ac.uk
Matthew Hennessy U of Sussex, Uk matthewh@sussex.ac.uk
Matthias Blume Tti Chicago, Usa blume@tti-c.org
Maura Cerioli Disi - Univ. Di Genova, Italy cerioli@disi.unige.it
Maurice Ter Beek Isti-cnr, Italy maurice.terbeek@isti.cnr.it
Max Goldman Mit, Usa maxg@mit.edu
Michael Batchelder Mcgill University, Usa britcoal@yahoo.com
Michael Hinchey Loyola College, Usa mike.hinchey@usa.net
Michael Huth Imperial College London, United Kingdom mrh@doc.ic.ac.uk
Michael Mendler University of Bamberg, Germany michael.mendler@wiai.uni-bamberg.de
Michael Smith University of Edinburgh, United Kingdom M.J.A.Smith@sms.ed.ac.uk
Michail Anastasopoulos Fraunhofer Iese, Germany michail.anastasopoulos@iese.fraunhofer
Michal Walicki University of Bergen, Norway michal@ii.uib.no
Michel Bidoit Lsv - Cnrs & Ens Cachan, France bidoit@lsv.ens-cachan.fr
Michel Leconte Ilog, France ydegbey@ilog.fr
Mieke Massink Cnr-isti, Italy m.massink@isti.cnr.it
Miguel Pessoa Monteiro Fct/new University of Lisbon, Portugal mmonteiro@di.fct.unl.pt
Miguel Zamalloa Universidad Complutense, Spain mzamalloa@clip.dia.fi.upm.es
Mihaela Gheorghiu University of Toronto, Canada mg@cs.toronto.edu
Mihaela Sighireanu Liafa University of Paris 7, France Mihaela.Sighireanu@liafa.jussieu.fr
Mohamed Lakoh Music Maker Entertainment Centre, Sierra Leone music1 maker1@yahoo.com
Mohammad Torabi Dashti CWI, The Netherlands dashti@cwi.nl
Mohammed Al-mansari University of Duisburg-essen, Germany Mohammed.Al-Mansari@icb.uni-due.d
Moshe Vardi Rice University, Usa vardi@cs.rice.edu
Mário Florido Universidade do Porto, Portugal amf@ncc.up.pt
Naoki Kobayashi Tohoku University, Japan koba@kb.ecei.tohoku.ac.jp
Naoki Yonezaki Tokyo Institute of Technology, Japan logicabeast001@yahoo.co.jp
Narciso Marti-oliet Universidad Complutense de Madrid, Spain narciso@sip.ucm.es
Natasha Sharygina University of Lugano, Switzerland natasha.sharygina@lu.unisi.ch
Nathan Chong Arm Ltd., Uk nathan.chong@arm.com
Nektarios Georgalas British Telecom, Uk nektarios.georgalas@bt.com
Nelma Moreira Liacc, Portugal nam@ncc.up.pt
Nicolas Halbwachs Verimag/cnrs, France Nicolas.Halbwachs@imag.fr
Nicolas Markey Lsv - Ens Cachan & Cnrs, France markey@lsv.ens-cachan.fr
Nicolas Perrin Ens Lyon, France nicolas.perrin@ens-lyon.fr
Nicoletta Sabadini Università Degli Studi Dell’insubria, Italy nicoletta.sabadini@uninsubria.it
Niels Joncheere Vrije Universiteit Brussel, Belgium njonchee@vub.ac.be
Nigel Horspool University of Victoria, Canada nigelh@cs.uvic.ca
Nina Amla Cadence Design Systems, Usa namla@cadence.com
Nirav Dave Mit, Usa sally@csail.mit.edu
Noam Rinetzky Tel Aviv University, Israel maon@post.tau.ac.il
Nobuko Yoshida Imperial College London, Uk yoshida@doc.ic.ac.uk
Noomene Ben Henda Department of Information Technology, Sweden noomene.benhenda@it.uu.se
Nuno Rodrigues Universidade do Minho, Portugal nfr@di.uminho.pt
Olaf Spinczyk University of Erlangen, Germany olaf.spinczyk@informatik.uni-erlangen.
Olivier Pereira Universite Catholique de Louvain, Belgium olivier.pereira@uclouvain.be

Olivier Tardieu Inria Sophia Antipolis, France olivier.tardieu@sophia.inria.fr
Orna Grumberg Technion, Israel orna@cs.technion.ac.il
Oystein Ra Buskerud University College, Norway Oystein.Ra@hibu.no
Pablo Berdaguer Umunho, Portugal pabloberdaguer@di.uminho.pt
Paola Spoletini Politecnico Di Milano, Italy spoleti@elet.polimi.it
Paolo Baldan Universita‘ Di Padova, Italia baldan@math.unipd.it
Paritosh Pandya Tata Institute (tifr), India pandya@tifr.res.in
Parosh Abdulla Uppsala University, Sweden parosh@it.uu.se
Pascal Raymond Verimag/cnrs, France Pascal.Raymond@imag.fr
Pascale Le Gall University of Evry, France pascale.legall@ibisc.univ-evry.fr
Patricia Bouyer Oxford University, Uk bouyer@lsv.ens-cachan.fr
Patrizia Scandurra University of Milan - Dti, Italy scandurra@dti.unimi.it
Paul Brauner Loria, France paul.brauner@loria.fr
Paul Kelly Imperial College London, Uk p.kelly@imperial.ac.uk
Paul Pettersson Uppsala University / Mälardalen Univers. . . , Sweden paupet@it.uu.se
Paula Valenca Universidade do Minho, Portugal pvalenca@di.uminho.pt
Paulo Silva Universidade do Minho, Portugal paufil@di.uminho.pt
Pavel Jezek Charles University In Prague, Czech Republic jezek@nenya.ms.mff.cuni.cz
Pavel Krcal Uppsala University, Sweden pavelk@it.uu.se
Pavol Cerny University of Pennsylvania, Usa cernyp@cis.upenn.edu
Pawel Sobocinski University of Southampton, United Kingdom sobocinski@gmail.com
Pedro Baltazar Clc and Sqig-it, IST-lisbon, Portugal pedrobtz@gmail.com
Pedro Vasconcelos Dcc / Fcup, Portugal pbv@dcc.fc.up.pt
Perdita Stevens University of Edinburgh, Uk perdita@inf.ed.ac.uk
Perla Velasco Elizondo University of Manchester, United Kingdom velascop@cs.man.ac.uk
Peter Mosses Swansea University, United Kingdom p.d.mosses@swan.ac.uk
Peter Müller Eth Zurich, Switzerland peter.mueller@inf.ethz.ch
Peter Szulman Fzi Research Center For Information Tech. . . , Germany szulman@fzi.de
Peter Wong University of Oxford, Uk peter.wong@comlab.ox.ac.uk
Philippa Conmy University of York, Uk mandy@cs.york.ac.uk
Philippe Schnoebelen Lsv - Cachan, France phs@lsv.ens-cachan.fr
Pierpaolo Degano Dipartimento Di Informatica – U. Pisa, Italia degano@di.unipi.it
Pierre-etienne Moreau Inria & Loria, France Pierre-Etienne.Moreau@loria.fr
Pierre-yves Schobbens University of Namur, Belgium pys@info.fundp.ac.be
Pietro Cenciarelli University of Rome - ”la Sapienza”, Italy cenciarelli@di.uniroma1.it
Pietro Ferrara Ecole Polytechnique Paris, Università C. . . , Paris pietro.ferrara@polytechnique.edu
Professor Arvind Mit, Usa sally@csail.mit.edu
Quang The Tran Labri, Bordeaux, France, France quang.tran@labri.fr
Radha Jagadeesan School of Cti, Depaul, Usa rjagadeesan@cs.depaul.edu
Radu Kopetz Inria & Loria, France kopetz@loria.fr
Rafa̷l Chmielewski Comarch S.a., Poland Rafal.Chmielewski@comarch.pl
Rajkishore Barik Ibm, India rajbarik@in.ibm.com
Ralf Reussner University of Karlsruhe (th), Germany reussner@ipd.uka.de
Rance Cleaveland University of Maryland, Usa rance@cs.umd.edu
Regis Gascon Lsv - Ens Cachan & Cnrs, France gascon@lsv.ens-cachan.fr
Reiko Heckel University of Leicester, Uk reiko@mcs.le.ac.uk
Reinhard Wilhelm Universität Des Saarlandes, Germany wilhelm@cs.uni-sb.de
René Wörzberger Rwth Aachen, Germany rwoerz@i3.informatik.rwth-aachen.de
Ricardo J. Machado Universidade do Minho, Portugal rmac@dsi.uminho.pt
Riccardo Focardi University of Venice, Italy, Italy focardi@dsi.unive.it
Ridha Khedri Mcmaster University, Canada khedri@mcmaster.ca
Rob Ennals Intel Research, Berkeley, Usa robert.ennals@intel.com
Rob Hierons Brunel University, Uk rob.hierons@brunel.ac.uk
Robby Findler University of Chicago, Usa robby@cs.uchicago.edu
Robert Walters Università Degli Studi Dell’insubria, Italy robert.walters@uninsubria.it
Roberto Bigonha Ufmg, Brazil bigonha@dcc.ufmg.br
Roberto Lopez-herrejon University of Oxford, England rlopez@comlab.ox.ac.uk
Roberto Segala University of Verona, Italy roberto.segala@univr.it
Roberto Zunino Dip. Informatica - Università Di Pisa, Italy zunino@di.unipi.it
Rocco De Nicola Università Di Firenze, Italy denicola@dsi.unifi.it
Rodrigo Ferreira Yale University, Usa rodrigo.ferreira@yale.edu
Rogério Reis Liacc-up, Portugal rvr@ncc.up.pt
Rogério Paulo Efacec, Portugal rdpaulo@se.efacec.pt
Rolf Hennicker University of Munich, Germany hennicker@ifi.lmu.de
Roly Perera Dynamic Aspects, United Kingdom roly.perera@dynamicaspects.org
Romain Robbes University of Lugano, Switzerland romain.robbes@lu.unisi.ch
Roman Manevich Tel Aviv University, Israel rumster@post.tau.ac.il
Roy Grønmo Sintef & Univ. of Oslo, Norway roy.gronmo@sintef.no
Rugang Xu Ucla, United States rugang@gmail.com
Rustan Leino Microsoft Research, Usa leino@microsoft.com
Rémi Brochenin Lsv - Ens de Cachan, France brocheni@lsv.ens-cachan.fr
Rüdiger Grammes University of Kaiserslautern, Deutschland grammes@informatik.uni-kl.de
Sabine Broda Liacc-university of Porto, Portugal sbb@ncc.up.pt
Sagar Chaki Software Engineering Institute, Carnegie. . . , Usa chaki@sei.cmu.edu
Salem Derisavi Carleton University, Canada derisavi@sce.carleton.ca
Samik Basu Iowa State University, Usa sbasu@cs.iastate.edu
Samin Ishtiaq Arm, England samin.ishtiaq@arm.com
Samir Genaim Universidad Politecnica de Madrid, Spain samir@clip.dia.fi.upm.es
Samuel Colin Loria - Dedale Team, France samuel.colin@loria.fr

Sandra Alves University of Porto, Portugal sandra@ncc.up.pt
Santosh Nagarakatte Indian Institute of Science, India santosh.nagarakatte@gmail.com
Sarah Zennou Cea-list, France sarah.zennou@cea.fr
Saswat Anand Georgia Institute of Technology, Usa saswat@cc.gatech.edu
Sava Krstic Intel Corporation, Usa sava.krstic@intel.com
Sebastian Hack Ens Lyon, France Sebastian.Hack@ens-lyon.fr
Sebastian Kupferschmid University of Freiburg, Germany kupfersc@informatik.uni-freiburg.de
Seonggun Kim Kaist, Republic Of Korea prio@arcs.kaist.ac.kr
Sergiy Boroday Crim, Canada boroday@crim.ca
Shahar Maoz The Weizmann Institute of Science, Israel shahar.maoz@weizmann.ac.il
Shaz Qadeer Microsoft Research, Usa qadeer@microsoft.com
Shin Nakajima National Institute of Informatics, Japan nkjm@nii.ac.jp
Shinya Sato King’s College London, Uk shinya.sato@kcl.ac.uk
Shirley Goldrei Macquarie University, Australia shirley@ics.mq.edu.au
Shmuel Katz Technion, Israel katz@cs.technion.ac.il
Shriram Krishnamurthi Brown University, Usa sk@cs.brown.edu
Shuling Wang Minho University, Portugal wshuling@gmail.com
Siavash Mir Arabbaygi University of Waterloo, Canada smirarab@uwaterloo.ca
Sigmund Cherem Cornell University, Usa siggi@cs.cornell.edu
Sophia Drossopoulou Imperial College London, Uk sd@doc.ic.ac.uk
Sotiris Moschoyiannis University of Surrey, United Kingdom s.moschoyiannis@surrey.ac.uk
Srinath Srinivasa International Institute of Information T. . . , India sri@iiitb.ac.in
Stefan Göller Fmi, Germany stefan.goeller@fmi.uni-stuttgart.de
Stefan Rieger Rwth Aachen University, Germany rieger@cs.rwth-aachen.de
Stefania Gnesi Isti-cnr, Italy gnesi@isti.cnr.it
Stefano Tonetta University of Lugano, Switzerland tonettas@lu.unisi.ch
Stehpen Osei Owusu Ticbs, Southafrica travellnow1@yahoo.com
Steve Harkins Helixion Ltd, Scotland sue.balatoni@helixion.com
Steve Kremer Lsv, Ens Cachan & Cnrs & Inria, France kremer@lsv.ens-cachan.fr
Steven Miller Rockwell Collins Inc, Usa spmiller@rockwellcollins.com
Stéphanie Delaune Loria, France delaune@lsv.ens-cachan.fr
Sylvain Lippi Université de Nice - Cnrs I3s, France lippi@polytech.unice.fr
Sylvain Schmitz Laboratoire I3s, Université de Nice Sop. . . , France schmitz@i3s.unice.fr
Taeke Kooiker CWI, Netherlands Taeke.Kooiker@cwi.nl
Takumi Endo Saitama University, Japan endo@aise.ics.saitama-u.ac.jp
Takuo Watanabe Tokyo Institute of Technology, Japan takuo@acm.org
Tarmo Uustalu Institute of Cybernetics, Estonia tarmo@cs.ioc.ee
Tayssir Touili Liafa, Cnrs & Univ. Paris7, France Tayssir.Touili@liafa.jussieu.fr
Theo Ruys University of Twente, The Netherlands ruys@cs.utwente.nl
Thierry Massart Ulb, Belgium tmassart@ulb.ac.be
Thomas Gawlitza Tum München, Germany gawlitza@in.tum.de
Thomas Jensen Irisa/cnrs, France jensen@irisa.fr
Thomas Maibaum Mcmaster University, Canada tom@maibaum.org
Thomas Melham Oxford University, England Tom.Melham@comlab.ox.ac.uk
Thomas Noll Rwth Aachen University, Germany noll@cs.rwth-aachen.de
Thomas Schneider University of Jena, Germany, Germany thschnei@minet.uni-jena.de
Thomas Wies University of Freiburg, Germany wies@informatik.uni-freiburg.de
Thorsten Hermes Rwth Aachen, Germany Thorsten.Hermes@rwth-aachen.de
Thorsten Schubert Offis E.v., Germany thorsten.schubert@offis.de
Tiago Alves Esa, Germany tiagomlalves@gmail.com
Tijs Van Der Storm Centrum Voor Wiskunde En Informatica (cw. . . , The Netherlands storm@cwi.nl
Till Mossakowski Dfki Lab Bremen, Germany till@informatik.uni-bremen.de
Timothy Sheard Portland State University, Usa sheard@cs.pdx.edu
Tingting Han University of Twente, Germany Tingting.Han@cs.rwth-aachen.de
Tiphaine Turpin Irisa/université de Rennes 1, France tiphaine.turpin@free.fr
Tiziana Margaria University of Potsdam, Germany margaria@cs.uni-potsdam.de
Tom Chothia CWI, Netherlands T.Chothia@cwi.nl
Torbjörn Ekman Oxford University, United Kingdom torbjorn.ekman@comlab.ox.ac.uk
Torbjörn Lundkvist Åbo Akademi University, Finland tlundkvi@abo.fi
Ugo Montanari University of Pisa, Italy ugo@di.unipi.it
Ulrik Nyman Aalborg University, Denmark ulrik@cs.aau.dk
Ulrike Prange Technical University of Berlin, Germany uprange@cs.tu-berlin.de
Ulrike Ranger Rwth Aachen University, Germany ranger@i3.informatik.rwth-aachen.de
Uwe Wolter University of Bergen, Norway wolter@ii.uib.no
Uwe Assmann Technische Universität Dresden, Germany uwe.assmann@tu-dresden.de
Viktor Kuncak Epfl, Usa vkuncak@gmail.com
Vincenzo Ciancia Dipartimento Di Informatica, Università. . . , Italy ciancia@di.unipi.it
Vittorio Cortellessa Universita’ Dell’aquila, Italy cortelle@di.univaq.it
Vivek Nigam Ecole Polytechnique, France vivek.nigam@gmail.com
Vivek Sarkar Ibm, Usa vsarkar@us.ibm.com
Vladimiro Sassone Southampton, Uk, United Kingdom vs@ecs.soton.ac.uk
Véronique Cortier Loria, Cnrs, France cortier@loria.fr
Warren A. Hunt, Jr University of Texas, United States hunt@cs.utexas.edu
Werner M. Dietl Eth Zurich, Switzerland dietlw@inf.ethz.ch
Willem-paul De Roever Department of Computer Science, Germany wpr@informatik.uni-kiel.de
Wim Vanderperren Wim Vanderperren, Belgium wvdperre@vub.ac.be
Wolf Zimmermann University of Halle, Germany zimmer@informatik.uni-halle.de
Xabier Aretxandieta Mondragon University, Spain xaretxandieta@eps.mondragon.edu
Xiaotie Deng City University of Hong Kong, China csdeng@cityu.edu.hk

Xin Zhou Ibm China Research Lab, P.r.china zhouxin@cn.ibm.com
Xinyu Feng Yale University, U.s.a. feng@cs.yale.edu
Yan Jurski Liafa, France jurski@liafa.jussieu.fr
Yannick Moy Lri, Univ Paris-sud Orsay, France yannick.moy@lri.fr
Yasuhiko Minamide University of Tsukuba, Japan minamide@score.cs.tsukuba.ac.jp
Yih-kuen Tsay National Taiwan University, Taiwan tsay@im.ntu.edu.tw
Yoshinobu Kawabe Ntt Corporation, Japan kawabe@theory.brl.ntt.co.jp
Yu-fang Chen National Taiwan University, Taiwan gulu@management.ntu.edu.tw
Yunheung Paek Seoul National University, Korea ypaek@snu.ac.kr
Yuri Gurevich Microsoft Research, Usa gurevich@microsoft.com
Yuxin Deng Shanghai Jiao Tong University, China yuxindeng@gmail.com
Yves Guiraud Inria, France yves.guiraud@loria.fr
Zvonimir Rakamaric University of British Columbia, Canada zrakamar@cs.ubc.ca
Ákos Horváth Department of Measurement and Informatio. . . , Hungary ahorvath@mit.bme.hu