\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}
