\documentclass[12pt,a4paper]{article} \usepackage{a4wide} \usepackage[a4paper,top=1cm,left=1cm,right=1cm,bottom=1.5cm]{geometry} \usepackage{color} \usepackage{graphicx} \usepackage{longtable} \usepackage[utf8]{inputenc} \usepackage{ucs} %\pagestyle{empty} \begin{document} \begin{center} \includegraphics[width=\textwidth]{header-small} \vskip 5mm \Huge{\sf{European Joint Conferences on \\Theory And Practice of Software}} \scriptsize \begin{longtable}{lll} % Abdinoor Ali & Atlas Comuter College, Kenya & noorkay77@hotmail.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 \\ Alan Mycroft & Cambridge University, Uk & am@cl.cam.ac.uk \\ Alberto Simões & Universidade do Minho, Portugal & albie@alfarrabio.di.uminho.pt \\ Alcino Cunha & Universidade do Minho, Portugal & alcino@di.uminho.pt \\ Aleksy Schubert & Institute of Informatics, Poland & alx@mimuw.edu.pl \\ Alessandro Ferrante & Dipartimento Di Informatica Ed Applicazi\ldots, 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 Reinhard & Security Engineering Group, Rwth Aachen \ldots, Germany & reinhard@i4.informatik.rwth-aachen.de \\ Alexandre Petrenko & Crim, Canada & petrenko@crim.ca \\ 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 \\ Anaebom Chika Henry & Plaza International College, Malaysia & henrya2x@yahoo.com \\ Ando Saabas & Institute of Cybernetics, Estonia & ando@cs.ioc.ee \\ Andrea Flexeder & Tu Muenchen, Germany & flexeder@in.tum.de \\ Andreas Metzger & University of Duisburg-essen, Germany & andreas.metzger@sse.uni-due.de \\ 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\ldots, Italy & murano@na.infn.it \\ Ankur Taly & Indian Institute of Technology, Bombay, India & ankur123@cse.iitb.ac.in \\ % Anthony Chijioke Umezuruike & The Same Institution, The Gambia & bofda@yahoo.com \\ 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\ldots, Usa & arie@sei.cmu.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\ldots, Uk & 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 \\ Benedikt Bollig & Lsv, Cnrs \& Ens Cachan, France & bollig@lsv.ens-cachan.fr \\ 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 \\ Björn Victor & Uppsala University, Sweden & Bjorn.Victor@it.uu.se \\ Blaise Genest & Irisa/cnrs, France & genest@crans.org \\ 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 \\ 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 \\ Cesar Sanchez & Stanford University, Usa & cesar@cs.stanford.edu \\ Cesare Tinelli & The University of Iowa, Usa & tinelli@cs.uiowa.edu \\ Charles Pecheur & Uc Louvain, Belgium & charles.pecheur@uclouvain.be \\ Christian Haack & Radboud University Nijmegen, Netherlands & chaack@cs.ru.nl \\ Christophe Fouqueré & Lipn - Université Paris 13, France & cf@lipn.univ-paris13.fr \\ Christopher Ackermann & Fraunhofer Usa - Cese, Usa & chrisack@cs.umd.edu \\ Christopher Condrat & Uofu, Usa & chris@g6net.com \\ 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 \\ 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 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\ldots, Hungary & daniel.varro@gmail.com \\ 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\ldots, 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 \\ Davide Grohmann & University of Udine, Italy & grohmann@dimi.uniud.it \\ Derek Dreyer & Toyota Technological Institute At Chicag\ldots, Usa & dreyer@tti-c.org \\ Derek Mannering & Open University, Uk & derek.mannering@btinternet.com \\ Didier Hoareau & Valoria Lab, France & Didier.Hoareau@univ-ubs.fr \\ Dilian Gurov & Kth Stockholm, Sweden & dilian@nada.kth.se \\ 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, USA & 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 \\ Doron Peled & Department of Computer Science, Bar Ilan\ldots, Israel & doron.peled@gmail.com \\ 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 \\ 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 \\ Etienne Lozes & Lsv, Ens Cachan \& Cnrs, France & lozes@lsv.ens-cachan.fr \\ % Eustache Muteba & Free Researcher, Democratic Republic Of Congo & muteusta@hotmail.com \\ Ewen Denney & Riacs / Nasa Ames, Usa & edenney@email.arc.nasa.gov \\ Fabio Tirelo & Universidade do Minho, Portugal & ftirelo@gmail.com \\ Fang Ling & Department of Mathematical and Computing\ldots, Japan & fang3@is.titech.ac.jp \\ Fernando Martins & University Minho/portugal, Portugal & fmm@di.uminho.pt \\ Fernando Orejas & Upc - Barcelona, Spain & orejas@lsi.upc.edu \\ 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 \\ Franz Weber & Sap Ag, Germany & Franz.Weber@sap.com \\ Franz Wotawa & Tug / IST, Austria & wotawa@ist.tugraz.at \\ Frederic Blanqui & Inria, France & blanqui@loria.fr \\ Frédéric Besson & Irisa/inria, France & fbesson@irisa.fr \\ Frédéric Herbreteau & Labri, Bordeaux, France, France & fh@labri.fr \\ Gabriel Kalyon & Université Libre de Bruxelles, Belgique & gkalyon@ulb.ac.be \\ Gabriele Taentzer & Universität Marburg, Germany & taentzer@mathematik.uni-marburg.de \\ Ganesan Ramalingam & Microsoft Research India, India & grama@microsoft.com \\ 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 \\ 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 \\ 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 \\ Gregory Batt & Verimag, France & gregory.batt@imag.fr \\ Grigore Rosu & University of Illinois At Urbana-champai\ldots, Usa & whitesel@cs.uiuc.edu \\ Grégoire Sutre & Cnrs / Labri, France & gregoire.sutre@labri.fr \\ Guillaume Brat & Riacs, Usa & brat@email.arc.nasa.gov \\ Gérard Boudol & Inria, France & gbo@sophia.inria.fr \\ 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 Thorpe & No Institution, Uk & ian.thorpe.i@gmail.com \\ Ichiro Hasuo & Radboud University Nijmegen, The Netherlands & ichiro@cs.ru.nl \\ % Ifeanyi Hycinth & Brikama Computing/business Training Cent\ldots, The Gambia & bc\_btc@yahoo.com \\ Igor Walukiewicz & Labri, Cnrs Bordeaux, France & igw@labri.fr \\ Iovka Boneva & University of Twente, Netherlands & bonevai@ewi.utwente.nl \\ Itai Segall & The Weizmann Institute of Science, Israe\ldots, Israel & itai.segall@weizmann.ac.il \\ Ivan Zapreev & The University of Twente, Netherlands & ivan.zapreev@gmail.com \\ 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-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 Knoop & Tu Vienna, Austria, Austria & knoop@complang.tuwien.ac.at \\ 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 \\ Jesper Bengtson & Department of Information Technology, Sweden & jesperb@it.uu.se \\ Jinqing Yu & University of California At Riverside, Usa & jqyu@cs.ucr.edu \\ 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, USA & 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 \\ 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 \\ Jozef Gruska & Faculty of Informatics, Czech Republik & gruska@fi.muni.cz \\ 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 \\ 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 \\ 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 \\ 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 \\ 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 \\ 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 \\ 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, Univ. \ldots, Switzerland & luis.pedro@cui.unige.ch \\ Luís Caires & Universidade Nova de Lisboa, Portugal & luis.caires@di.fct.unl.pt \\ 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 \\ 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 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 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 \\ 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 Müller-olm & Universität Münster, Germany & mmo@math.uni-muenster.de \\ 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 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 Leucker & Tu Munich, Germany & leucker@in.tum.de \\ Martin Odersky & Epfl, Switzerland & martin.odersky@epfl.ch \\ Martins Gills & Hansabank, Latvia & martins.gills@hansabanka.lv \\ Mary Jean Harrold & Georgia Institute of Technoloy, Usa & harrold@cc.gatech.edu \\ 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 \\ 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 \\ 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 \\ Michail Anastasopoulos & Fraunhofer Iese, Germany & michail.anastasopoulos@iese.fraunhofer.de \\ 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 \\ 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 \\ 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 \\ % Nasiru Mumuni & Enostus, Ghana & enostusconsult@yahoo.com \\ Natasha Sharygina & University of Lugano, Switzerland & natasha.sharygina@lu.unisi.ch \\ Nathan Chong & Arm Ltd., Uk & nathan.chong@arm.com \\ 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 \\ Nigel Horspool & University of Victoria, Canada & nigelh@cs.uvic.ca \\ Nina Amla & Cadence Design Systems, Usa & namla@cadence.com \\ 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 \\ 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 \\ 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 \\ Paul Brauner & Loria, France & paul.brauner@loria.fr \\ Paul Kelly & Imperial College London, Uk & p.kelly@imperial.ac.uk \\ 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 Vasconcelos & Dcc / Fcup, Portugal & pbv@dcc.fc.up.pt \\ Perdita Stevens & University of Edinburgh, Uk & perdita@inf.ed.ac.uk \\ Peter Müller & Eth Zurich, Switzerland & peter.mueller@inf.ethz.ch \\ Peter Szulman & Fzi Research Center For Information Tech\ldots, Germany & szulman@fzi.de \\ 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 \\ Pietro Cenciarelli & University of Rome - "la Sapienza", Italy & cenciarelli@di.uniroma1.it \\ Pietro Ferrara & Ecole Polytechnique Paris, Università C\ldots, Paris & pietro.ferrara@polytechnique.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 \\ Rajkishore Barik & Ibm, India & rajbarik@in.ibm.com \\ 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 \\ Ridha Khedri & Mcmaster University, Canada & khedri@mcmaster.ca \\ Rob Ennals & Intel Research, Berkeley, Usa & robert.ennals@intel.com \\ Robby Findler & University of Chicago, Usa & robby@cs.uchicago.edu \\ 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 \\ 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\ldots, Usa & chaki@sei.cmu.edu \\ Salem Derisavi & Carleton University, Canada & derisavi@sce.carleton.ca \\ 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 \\ 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 \\ Stefan Göller & Fmi, Germany & stefan.goeller@fmi.uni-stuttgart.de \\ Stefan Rieger & Rwth Aachen University, Germany & rieger@cs.rwth-aachen.de \\ Stefano Tonetta & University of Lugano, Switzerland & tonettas@lu.unisi.ch \\ Stehpen Osei Owusu & Ticbs, Southafrica & travellnow1@yahoo.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 \\ Taeke Kooiker & CWI, Netherlands & Taeke.Kooiker@cwi.nl \\ 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 \\ Thierry Massart & Ulb, Belgium & tmassart@ulb.ac.be \\ Thomas Gawlitza & Tum München, Germany & gawlitza@in.tum.de \\ Thomas Maibaum & Mcmaster University, Canada & tom@maibaum.org \\ 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 \\ Tijs Van Der Storm & Centrum Voor Wiskunde \ldots, 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 \\ Ugo Montanari & University of Pisa, Italy & ugo@di.unipi.it \\ Ulrik Nyman & Aalborg University, Denmark & ulrik@cs.aau.dk \\ Ulrike Ranger & Rwth Aachen University, Germany & ranger@i3.informatik.rwth-aachen.de \\ Uwe Wolter & University of Bergen, Norway & wolter@ii.uib.no \\ Viktor Kuncak & Epfl, Usa & vkuncak@gmail.com \\ Vincenzo Ciancia & Dipartimento Di Informatica, Università\ldots, Italy & ciancia@di.unipi.it \\ Vittorio Cortellessa & Universita' Dell'aquila, Italy & cortelle@di.univaq.it \\ 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 \\ Werner M. Dietl & Eth Zurich, Switzerland & dietlw@inf.ethz.ch \\ Willem-paul De Roever & Department of Computer Science, Germany & wpr@informatik.uni-kiel.de \\ % Wise Kwabla Hormeku & Saga Academy and Computer Training Centr\ldots, Ghana & hormeku@yahoo.com \\ Wolf Zimmermann & University of Halle, Germany & zimmer@informatik.uni-halle.de \\ Xin Zhou & Ibm China Research Lab, P.r.china & zhouxin@cn.ibm.com \\ Xinyu Feng & Yale University, USA & feng@cs.yale.edu \\ Yan Jurski & Liafa, France & jurski@liafa.jussieu.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 \\ Zvonimir Rakamaric & University of British Columbia, Canada & zrakamar@cs.ubc.ca \\ \end{longtable} \end{center} \newpage \end{document}