Applied and Computational Category Theory
Till Mossakowski Dfki Lab Bremen, Germany [email protected] Jiri Adamek Technical University Braunschweig, Germany [email protected] Ana Matos Ist Lisbon, Portugal [email protected] Andrea Corradini Dipartimento Di Informatica, Pisa, Italy [email protected] Paolo Baldan Universita‘ Di Padova, Italia [email protected] Davide Grohmann University Of Udine, Italy [email protected] Dirk Pattinson Imperial College London, Uk [email protected] Dorel Lucanu Uaic, Romania [email protected] Hartmut Ehrig Faculty Iv, Germany [email protected] Emmanuel Okonkwo Ncss, Nigeria [email protected] Fabio Gadducci University Of Pisa, Italy [email protected] Ichiro Hasuo Radboud University Nijmegen, The Netherlands [email protected] Jos´eLuiz Fiadeiro University Of Leicester, Uk jose@fiadeiro.org Julia Padberg Technische Universit¨atBerlin, Germany [email protected] Jochen Pfalzgraf University Of Salzburg, Austria [email protected] Klaus Dr¨ager Universit¨atDes Saarlandes, Germany [email protected] Leen Lambers Softwaretechnik Und Theoretische Informa. . . , Germany [email protected] Lutz Schr¨oder Univ. Bremen And Dfki-lab Bremen, Germany [email protected] Nelma Moreira Liacc, Portugal [email protected] Narciso Marti-oliet Universidad Complutense De Madrid, Spain [email protected] Fernando Orejas Upc - Barcelona, Spain [email protected] Reiko Heckel University Of Leicester, Uk [email protected] Robert Walters Universit`aDegli Studi Dell’insubria, Italy [email protected] Manuela Sobral University Of Coimbra, Portugal [email protected] Lurdes Sousa Estv, Ip Viseu, Portugal [email protected] Ulrike Prange Technical University Of Berlin, Germany [email protected] F William Lawvere Suny At Buffalo, Usa wlawvere@buffalo.edu Uwe Wolter University Of Bergen, Norway [email protected] Canceled (AVIS)
Antoine Meyer Liafa - Universit´eParis Vii, France [email protected] Caniart Nicolas Labri, France [email protected] Fr´ed´eric Herbreteau Labri, Bordeaux, France, France [email protected] Gr´egoire Sutre Cnrs / Labri, France [email protected] Hayssam Soueidan Labri, France [email protected] Jerome Leroux Cnrs / Labri, France [email protected] Babatunde Olanrewaju Aiyegbusi Ken Kenia Engr, Konsult Ltd, Nigeria ken [email protected] Magnus Myreen University Of Cambridge, Uk [email protected] Nelma Moreira Liacc, Portugal [email protected] Quang The Tran Labri, Bordeaux, France, France [email protected] Cesare Tinelli The University Of Iowa, Usa [email protected] Stehpen Osei Owusu Ticbs, Southafrica [email protected] Beyond the Generators: Practical Techniques for Real-World Software Generation Paulo Silva Universidade Do Minho, Portugal paufi[email protected] J´acome Cunha University Of Minho, Portugal [email protected] Lijesh Manjacheri University Of Minnesota, Usa [email protected] Mark Van Den Brand Technische Universiteit Eindhoven, The Netherlands [email protected] Miguel Pessoa Monteiro Fct/new University Of Lisbon, Portugal [email protected] Nelma Moreira Liacc, Portugal [email protected] Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation
Juergen Dingel Queen’s University, Canada [email protected] Akihiko Tozawa Ibm Tokyo Research Lab., Japan [email protected] Ando Saabas Institute Of Cybernetics, Estonia [email protected] Emilie Balland Loria Inria, France [email protected] Damiano Zanardini Upm, Spain [email protected].fi.upm.es Adam Darvas Eth Zurich, Switzerland [email protected] David Aspinall Lfcs ¡- Informatics ¡- Edinburgh, Uk [email protected] Davide Grohmann University Of Udine, Italy [email protected] Werner M. Dietl Eth Zurich, Switzerland [email protected] David Pichardie Inria/irisa, France [email protected] Emmanuel Okonkwo Ncss, Nigeria [email protected] Andrea Flexeder Tu Muenchen, Germany fl[email protected] Thomas Gawlitza Tum M¨unchen, Germany [email protected] Gilles Barthe Inria, France [email protected] German Puebla Universidad Politecnica De Madrid, Spain german@fi.upm.es Manuel Hermenegildo Universidad Politecnica De Madrid, Spain herme@fi.upm.es Jaroslav Sevcik University Of Edinburgh, United Kingdom [email protected] Jean-marie Jacquet University Of Namur, Belgium [email protected] Joseph Kiniry University College Dublin, Ireland [email protected] David Macqueen University Of Chicago, Usa [email protected] Mario Mendez Lojo University Of New Mexico, Usa [email protected] Marieke Huisman Inria Sophia Antipolis, France [email protected] Magnus Myreen University Of Cambridge, Uk [email protected] Miguel Zamalloa Universidad Complutense, Spain [email protected].fi.upm.es Nathan Chong Arm Ltd., Uk [email protected] Pierre-etienne Moreau Inria & Loria, France [email protected] Pietro Ferrara Ecole Polytechnique Paris, Universit`aC. . . , Paris [email protected] Peter M¨uller Eth Zurich, Switzerland [email protected] Pavel Jezek Charles University In Prague, Czech Republic [email protected]ff.cuni.cz Hermann Lehner Eth Zurich, Switzerland [email protected] Theo Ruys University Of Twente, The Netherlands [email protected] Samir Genaim Universidad Politecnica De Madrid, Spain [email protected].fi.upm.es Bernhard Scholz The University Of Sydney, Australia [email protected] Sergiy Boroday Crim, Canada [email protected] Fausto Spoto Universita’ Di Verona, Italy [email protected] Tarmo Uustalu Institute Of Cybernetics, Estonia [email protected] Tiphaine Turpin Irisa/universit´eDe Rennes 1, France [email protected] Shuling Wang Minho University, Portugal [email protected] Yih-kuen Tsay National Taiwan University, Taiwan [email protected] Sixth Workshop on Compiler Optimization Meets Compiler Verification
Fang Ling Department Of Mathematical And Computing. . . , Japan [email protected] Christian Genz University Of Bremen, Germany [email protected] Alan Hu University Of British Columbia, Canada [email protected] Gordon Pace University Of Malta, Malta [email protected] Geoff Hamilton Dublin City University, Ireland [email protected] Franjo Ivancic Nec Labs, Usa [email protected] Jan Olaf Blech Universitaet Kaiserslautern, Germany [email protected] Jens Knoop Tu Vienna, Austria, Austria [email protected] Barbara Jobstmann Graz University Of Technology, Austria [email protected] Christophe Joubert University Of M´alaga / Lcc / Gisum, Spain [email protected] Paritosh Pandya Tata Institute (tifr), India [email protected] Masataka Sassa Tokyo Institute Of Technology, Japan [email protected] Wolf Zimmermann University Of Halle, Germany [email protected] European Joint Conferences on Theory And Practice of Software Akinfala Tope University Of Ibadan, Nigeria uib [email protected] Aleksy Schubert Institute Of Informatics, Poland [email protected] Andrew Tolmach Portland State University/inria, France [email protected] Bernd Finkbeiner Universit¨atDes Saarlandes, Germany fi[email protected] Michel Bidoit Lsv - Cnrs & Ens Cachan, France [email protected] R´emiBrochenin Lsv - Ens De Cachan, France [email protected] Hugues Citeau Ilog, France [email protected] Daniel Grund Saarland University, Germany [email protected] Derek Mannering Open University, Uk [email protected] Didier Hoareau Valoria Lab, France [email protected] Doosan Cho Seoul National University, Korea [email protected] Fang Ling Department Of Mathematical And Computing. . . , Japan [email protected] Florian Horn Rwth - Aachen, France [email protected] Frank De Boer Cwi, Nl [email protected] Franz Weber Sap Ag, Germany [email protected] Hubert Comon-lundh Lsv, Ecole Normale Sup. Cachan, France [email protected] Holger Hermanns Saarland University, Germany [email protected] Bruno Berstel Ilog, France [email protected] Jeroen Fokker Utrecht University, Netherlands [email protected] Juergen Dingel Queen’s University, Canada [email protected] Pascale Le Gall University Of Evry, France [email protected] Michel Leconte Ilog, France [email protected] Luis Barbosa Univ. Minho, Portugal [email protected] Marc Fisher University Of Nebraska, United States Of America mfi[email protected] Fernando Martins University Minho/portugal, Portugal [email protected] Mariza Bigonha Ufmg, Brazil [email protected] Popoola Olamide Nil, Nigeria uib [email protected] Oyemonlan Mary Magdalene Nil, Nigeria uib [email protected] Oystein Ra Buskerud University College, Norway [email protected] Paulo Silva Universidade Do Minho, Portugal paufi[email protected] Pierpaolo Degano Dipartimento Di Informatica – U. Pisa, Italia [email protected] Roberto Bigonha Ufmg, Brazil [email protected] Shirley Goldrei Macquarie University, Australia [email protected] Taeke Kooiker Cwi, Netherlands [email protected] Till Mossakowski Dfki Lab Bremen, Germany [email protected] Timothy Sheard Portland State University, Usa [email protected] Ulrike Ranger Rwth Aachen University, Germany [email protected] Wise Kwabla Hormeku Saga Academy And Computer Training Centr. . . , Ghana [email protected] Reinhard Wilhelm Universit¨atDes Saarlandes, Germany [email protected] Xinyu Feng Yale University, U.s.a. [email protected] Ahmed Bouajjani Liafa, University Of Paris 7, France [email protected] Lucia Acciai Lif - Universit´eDe Provence, Marseille, France [email protected] Ana Cristina Vieira De Melo Usp, Brazil [email protected] Adedoyin Mary Nil, Nigeria uib [email protected] Foluso Aina University Of Lagos, Nigeria [email protected] Adrian Francalanza Imperial College, England [email protected] Ana Matos Ist Lisbon, Portugal [email protected] Bernhard Aichernig Tu Graz, Austria [email protected] Marc Aiguier University Of Evry, France [email protected] Adrian Johnstone Royal Holloway, University Of London, Uk [email protected] Akihiko Tozawa Ibm Tokyo Research Lab., Japan [email protected] Alexander Knapp Ludwig-maximilians-universit¨atM¨unchen, Deutschland [email protected]fi.lmu.de Alessandro Lapadula Dsiuf, Italy [email protected]fi.it Alcino Cunha Universidade Do Minho, Portugal [email protected] Alessandro Orso Georgia Tech, Usa [email protected] Alberto Sim˜oes Universidade Do Minho, Portugal [email protected] Antoine Meyer Liafa - Universit´eParis Vii, France [email protected] M´arioFlorido Universidade Do Porto, Portugal [email protected] Andreas Metzger University Of Duisburg-essen, Germany [email protected] Ando Saabas Institute Of Cybernetics, Estonia [email protected] Andrew Pitts University Of Cambridge, Uk [email protected] Ankur Taly Indian Institute Of Technology, Bombay, India [email protected] Ant´onia Lopes University Of Lisbon, Portugal [email protected] Arie Gurfinkel Software Engineering Institute, Carnegie. . . , Usa [email protected] Arnaud Sangnier Lsv - Ens Cachan - Cnrs, France [email protected] Ashish Tiwari Sri International, Usa [email protected] Ashok Argent-katwala Department Of Computing, Imperial Colleg. . . , Uk [email protected] Anthony Sloane Macquarie University, Australia [email protected] Francisco Assis Moreira Do Nascimento Ufrgs/brazil, Brazil [email protected] Augusto Parma Universit`aDi Verona, Italy [email protected] Markus Bach University Hagen, Germany [email protected] Paolo Baldan Universita‘ Di Padova, Italia [email protected] Emilie Balland Loria Inria, France [email protected] Massimo Bartoletti Dip. Informatica - Univ. Pisa, Italy [email protected] Don Batory University Of Texas At Austin, U.s.a. [email protected] Gregory Batt Verimag, France [email protected] Benedikt Bollig Lsv, Cnrs & Ens Cachan, France [email protected] Ifeanyi Hycinth Brikama Computing/business Training Cent. . . , The Gambia bc [email protected] Byeongcheol Lee Ut Austin, Usa [email protected] Massimo Benerecetti Universit`aDi Napoli ”federico Ii”, Italy [email protected] Clara Bertolissi Lif-universit´eDe Provence, France [email protected] Lars Birkedal It University Of Copenhagen, Denmark [email protected] Bj¨ornVictor Uppsala University, Sweden [email protected] Frederic Blanqui Inria, France [email protected] Johann Blieberger Tu Vienna, Austria [email protected] Matthias Blume Tti Chicago, Usa [email protected] Bertrand Meyer Eth Zurich, Switzerland [email protected] Iovka Boneva University Of Twente, Netherlands [email protected] Jan Bosch Nokia, Finland [email protected] G´erardBoudol Inria, France [email protected] Paul Brauner Loria, France [email protected] Michael Batchelder Mcgill University, Usa [email protected] Maria Grazia Buscemi Imt Lucca, Italy [email protected] Krishnendu Chatterjee Uc Berkeley, Usa c [email protected] Caniart Nicolas Labri, France [email protected] Marco Carbone Imperial College London, United Kingdom [email protected] Catalin Dima Universite Paris 12, Lacl, France [email protected] Cristiano Calcagno Imperial College London, Uk [email protected] Pietro Cenciarelli University Of Rome - ”la Sapienza”, Italy [email protected] Pavol Cerny University Of Pennsylvania, Usa [email protected] Antonio Cerone United Nations University, Macau Sar China [email protected] Cesar Sanchez Stanford University, Usa [email protected] Christian Haack Radboud University Nijmegen, Netherlands [email protected] Sagar Chaki Software Engineering Institute, Carnegie. . . , Usa [email protected] C´ecile Hardebolle Sup´elec, France [email protected] Marsha Chechik University Of Toronto, Canada [email protected] Christopher Ackermann Fraunhofer Usa - Cese, Usa [email protected] Gianfranco Ciardo University Of California, Riverside, Usa [email protected] Claude Kirchner Loria, France [email protected] Carsten Lutz Tu Dresden, Germany [email protected] Claude March´e Inria Futurs, France [email protected] C´edric Meuter Universit´eLibre De Bruxelles, Belgique [email protected] Christopher Condrat Uofu, Usa [email protected] Vittorio Cortellessa Universita’ Dell’aquila, Italy [email protected] V´eronique Cortier Loria, Cnrs, France [email protected] Constantin Enea Lacl, France & Univ. Iasi, Romania, France [email protected] Tayssir Touili Liafa, Cnrs & Univ. Paris7, France [email protected] Charles Pecheur Uc Louvain, Belgium [email protected] C. R. Ramakrishnan Stony Brook University, Usa [email protected] Carolyn Talcott Sri International, Usa [email protected] Damiano Zanardini Upm, Spain [email protected].fi.upm.es Adam Darvas Eth Zurich, Switzerland [email protected] David Aspinall Lfcs ¡- Informatics ¡- Edinburgh, Uk [email protected] St´ephanie Delaune Loria, France [email protected] Rocco De Nicola Universit`aDi Firenze, Italy [email protected]fi.it Salem Derisavi Carleton University, Canada [email protected] Davide Grohmann University Of Udine, Italy [email protected] Werner M. Dietl Eth Zurich, Switzerland [email protected] Dilian Gurov Kth Stockholm, Sweden [email protected] David N. Jansen Rwth Aachen, Software Modelling And Veri. . . , Germany [email protected] Doaitse Swierstra Utrecht University, The Netherlands [email protected] Dominik Wojtczak University Of Edinburgh, Scotland, Uk [email protected] Doron Peled Department Of Computer Science, Bar Ilan. . . , Israel [email protected] David Pichardie Inria/irisa, France [email protected] Damien Pous Ens Lyon, France [email protected] Derek Dreyer Toyota Technological Institute At Chicag. . . , Usa [email protected] David Rosenblum University College London, United Kingdom [email protected] Marlon Dumas Queensland University Of Technology, Australia [email protected] Horst Schmidt Universit¨at, Germany [email protected] Matthew Dwyer University Of Nebraska - Lincoln, Usa [email protected] Elizabeth Scott University Of London, Royal Holloway, England [email protected] George Edwards University Of Southern California, Usa [email protected] Hartmut Ehrig Faculty Iv, Germany [email protected] Einar Broch Johnsen University Of Oslo, Norway einarj@ifi.uio.no Eleonora Sibilio Universita’ Degli Studi Di Verona, Italy [email protected] Etienne Lozes Lsv, Ens Cachan & Cnrs, France [email protected] Emina Torlak Massachusetts Institute Of Technology, United States [email protected] Emmanuel Okonkwo Ncss, Nigeria [email protected] Nasiru Mumuni Enostus, Ghana [email protected] Erez Petrank Microsoft Research And Technion, Usa erez [email protected] Eric Van Wyk University Of Minnesota, Usa [email protected] Erik Poll Radboud University Nijmegen, Netherlands [email protected] Radha Jagadeesan School Of Cti, Depaul, Usa [email protected] Ewen Denney Riacs / Nasa Ames, Usa [email protected] Fr´ed´eric Besson Irisa/inria, France [email protected] Florent Bouchy Lsv - Cnrs & Ens Cachan, France fl[email protected] Alessandro Ferrante Dipartimento Di Informatica Ed Applicazi. . . , Italy [email protected] Emmanuel Fleury Labri, Bordeaux-i University, France fl[email protected] Andrea Flexeder Tu Muenchen, Germany fl[email protected] Florence Plateau Lri - Inria, France [email protected] Florent Jacquemard Inria Futurs & Lsv-ens De Cachan, France fl[email protected] Christophe Fouquer´e Lipn - Universit´eParis 13, France [email protected] Francesco Santini Imt - Lucca, Italy [email protected] Franck Van Breugel York University, Canada [email protected] Fr´ed´eric Herbreteau Labri, Bordeaux, France, France [email protected] Arnd Poetzsch-heffter Tu Kaiserslautern, Germany [email protected] Elisabete Freire Universidade Dos A¸cores, Portugal [email protected] Fabio Tirelo Universidade Do Minho, Portugal [email protected] Franz Wotawa Tug / Ist, Austria [email protected] Franco Raimondi Ucl, London, Uk [email protected] Han Gao Technical University Of Denmark, Denmark [email protected] Regis Gascon Lsv - Ens Cachan & Cnrs, France [email protected] Marie-claude Gaudel Lri, Univ. Paris-sud, France [email protected] Thomas Gawlitza Tum M¨unchen, Germany [email protected] Gilles Barthe Inria, France [email protected] Guillaume Brat Riacs, Usa [email protected] Blaise Genest Irisa/cnrs, France [email protected] German Puebla Universidad Politecnica De Madrid, Spain german@fi.upm.es Gabriel Kalyon Universit´eLibre De Bruxelles, Belgique [email protected] George Kuan University Of Chicago, Usa [email protected] Gerald Luettgen University Of York, Uk [email protected] John G. Morrisett Harvard University - Seas, U.s.a. [email protected] Gregor Goessler Inria Rhˆone-alpes, France [email protected] Govindarajan Ramaswamy Indian Institute Of Science, India [email protected] Ganesan Ramalingam Microsoft Research India, India [email protected] R¨udiger Grammes University Of Kaiserslautern, Deutschland [email protected] G¨unter Graw Uni Dortmund, Germany [email protected] Gr´egoire Sutre Cnrs / Labri, France [email protected] Jozef Gruska Faculty Of Informatics, Czech Republik gruska@fi.muni.cz Graham Steel University Of Edinburgh, Uk [email protected] Gabriele Taentzer Universit¨atMarburg, Germany [email protected] Yu-fang Chen National Taiwan University, Taiwan [email protected] Keoncheol Shin Kaist, Republic Of Korea [email protected] Joshua Guttman The Mitre Corporation, Usa [email protected] Nicolas Halbwachs Verimag/cnrs, France [email protected] Anaebom Chika Henry Plaza International College, Malaysia [email protected] Manuel Hermenegildo Universidad Politecnica De Madrid, Spain herme@fi.upm.es Florian Klein University Of Paderborn, Germany [email protected] Daniel Hirschkoff Ens Lyon, France daniel.hirschkoff@ens-lyon.fr Hugo Sim˜oes Liacc - Universidade Do Porto, Portugal [email protected] Hwansoo Han Kaist, Republic Of Korea [email protected] Hayssam Soueidan Labri, France [email protected] Michael Huth Imperial College London, United Kingdom [email protected] Hongseok Yang Queen Mary, University Of London, Uk [email protected] Ichiro Hasuo Radboud University Nijmegen, The Netherlands [email protected] Igor Walukiewicz Labri, Cnrs Bordeaux, France [email protected] Jacob Illum Rasmussen Aalborg University, Denmark [email protected] Franjo Ivancic Nec Labs, Usa [email protected] J´acome Cunha University Of Minho, Portugal [email protected] Jacopo Mantovani University Of Genova, Italy [email protected] Jan Cederquist Ist, Portugal [email protected] Agata Janowska Warsaw University, Poland [email protected] Jaroslav Sevcik University Of Edinburgh, United Kingdom [email protected] Jos´eBarros Dium, Portugal [email protected] Jan Olaf Blech Universitaet Kaiserslautern, Germany [email protected] James Brotherston Imperial College London, Uk [email protected] James Worrell Oxford University, England [email protected] Jeremy Condit Uc Berkeley, Usa [email protected] Jesper Bengtson Department Of Information Technology, Sweden [email protected] Jos´eLuiz Fiadeiro University Of Leicester, Uk jose@fiadeiro.org Josh Berdine Microsoft Research, Uk [email protected] Jean-jacques Levy Inria Et Msr-inria, France [email protected] Jens Knoop Tu Vienna, Austria, Austria [email protected] Jean-marie Jacquet University Of Namur, Belgium [email protected] Jos´eValen¸ca Jos´eValen¸ca, Portugal [email protected] Barbara Jobstmann Tu Graz, Austria [email protected] Barbara Jobstmann Graz University Of Technology, Austria [email protected] Joel Ouaknine Oxford University, Uk [email protected] Jon Whittle George Mason University, Usa [email protected] Jos´eCampos Universidade Do Minho, Portugal [email protected] Julia Padberg Technische Universit¨atBerlin, Germany [email protected] Joost-pieter Katoen Computer Science 2, Rwth Aachen, Germany [email protected] Jinqing Yu University Of California At Riverside, Usa [email protected] Jean-francois Raskin Universit´eLibre De Bruxelles, Belgium [email protected] Jacques Sakarovitch Cnrs / Enst, France [email protected] Jeremy Sproston Universita‘ Di Torino, Italy [email protected] Julian Rathke University Of Southampton, United Kingdom [email protected] Jurgen Vinju Cwi, The Netherlands [email protected] Yan Jurski Liafa, France [email protected] Jules Villard Lsv, Ens Cachan, Cnrs, France [email protected] Amey Karkare Iit Bombay, India [email protected] Karsten Ehrig University Of Leicester, United Kingdom [email protected] Harmen Kastenberg University Of Twente, The Netherlands [email protected] Yoshinobu Kawabe Ntt Corporation, Japan [email protected] Klaus Dr¨ager Universit¨atDes Saarlandes, Germany [email protected] Carsten Kern Rwth University, Germany [email protected] Kim Larsen Aalborg University, Denmark [email protected] Ridha Khedri Mcmaster University, Canada [email protected] Kyoko Iwasawa Takushoku University, Japan [email protected] Kenneth Knowles University Of California, Santa Cruz, Usa [email protected] Naoki Kobayashi Tohoku University, Japan [email protected] Kohei Honda Queen Mary, University Of London, Uk [email protected] Radu Kopetz Inria & Loria, France [email protected] Steve Kremer Lsv, Ens Cachan & Cnrs & Inria, France [email protected] Daniel Kroening Eth Zuerich, Switzerland [email protected] Kohei Suenaga University Of Tokyo, Japan [email protected] Hillel Kugler New York University, Usa [email protected] Kuntal Loya Microsoft, India [email protected] Sebastian Kupferschmid University Of Freiburg, Germany [email protected] Mohamed Lakoh Music Maker Entertainment Centre, Sierra Leone music1 [email protected] Arend Rensink University Of Twente, The Netherlands [email protected] Francois Laroussinie Lsv (cnrs, Ens Cachan), France fl@lsv.ens-cachan.fr Lu´ısCaires Universidade Nova De Lisboa, Portugal [email protected] Luis Damas Liacc-up-pt, Portugal [email protected] Laurent Doyen Epf Lausanne, Switzerland [email protected] Rustan Leino Microsoft Research, Usa [email protected] Jerome Leroux Cnrs / Labri, France [email protected] Martin Leucker Tu Munich, Germany [email protected] Lijesh Manjacheri University Of Minnesota, Usa [email protected] Sylvain Lippi Universit´eDe Nice - Cnrs I3s, France [email protected] Lionel Morel Inria - Irisa, France [email protected] Naoki Yonezaki Tokyo Institute Of Technology, Japan [email protected] Luis Pedro Computer Science Department, University . . . , Switzerland [email protected] Luis Dominguez I. S. T´ecnico, Portugal [email protected] Marian Boldt University Of Kiel, Germany [email protected] David Macqueen University Of Chicago, Usa [email protected] Madhusudan Parthasarathy Uiuc, Usa, Usa [email protected] Martin Elsman It University Of Copenhagen, Denmark [email protected] Matteo Maffei Saarland University, Germany maff[email protected] Magnus Johansson Department Of Information Technology, Sweden [email protected] Michail Anastasopoulos Fraunhofer Iese, Germany [email protected] Louis Mandel Inria Rocquencourt, France [email protected] Noam Rinetzky Tel Aviv University, Israel [email protected] Shahar Maoz The Weizmann Institute Of Science, Israel [email protected] Florence Maraninchi Verimag / Inpgrenoble, France fl[email protected] Mariela Pavlova Inria, Germany mariela.pavlova@ifi.lmu.de Mario Mendez Lojo University Of New Mexico, Usa [email protected] Markus M¨uller-olm Universit¨atM¨unster, Germany [email protected] Mark Van Den Brand Technische Universiteit Eindhoven, The Netherlands [email protected] Mark Woodcock Us Dod, Usa [email protected] Bruno Marnette Ens De Cachan, France [email protected] Martin Berger Imperial College, Uk [email protected] Martin Fr¨anzle Dpt. Of Cs, Universit¨atOldenburg, Germany [email protected] Babatunde Olanrewaju Aiyegbusi Ken Kenia Engr, Konsult Ltd, Nigeria ken [email protected] Matthew Hennessy U Of Sussex, Uk [email protected] Laurent Mauborgne Ecole´ Normale Sup´erieure, France [email protected] Maura Cerioli Disi - Univ. Di Genova, Italy [email protected] Max Goldman Mit, Usa [email protected] Manuel Barbosa Di - Universidade Do Minho, Portugal [email protected] Marcelo Santos Malardalan University, Sweden [email protected] Dominique M´ery Universit´eHenri Poincar´e& Loria, Vandoeuvre [email protected] Marc Galceran Oms Universitat Polit`ecnica De Catalunya, Spain [email protected] Mihaela Gheorghiu University Of Toronto, Canada [email protected] Martins Gills Hansabank, Latvia [email protected] Matthew Hague Oxford University, Uk [email protected] Michael Hinchey Loyola College, Usa [email protected] Marieke Huisman Inria Sophia Antipolis, France [email protected] Michal Walicki University Of Bergen, Norway [email protected] Yasuhiko Minamide University Of Tsukuba, Japan [email protected] Antoine Min´e Ecole Normale Sup´erieure, France [email protected] Maria Jo˜aoFrade Universidade Do Minho, Portugal [email protected] Mary Jean Harrold Georgia Institute Of Technoloy, Usa [email protected] Maria Jo˜aoVaranda Pereira Instituto Polit´ecnico De Bragan¸ca, Portugal [email protected] Mario Ber´on Universidade Do Minho, Portugal [email protected] Miguel Pessoa Monteiro Fct/new University Of Lisbon, Portugal [email protected] Mariano Moscato Universidad De Buenos Aires, Argentina [email protected] Magnus Myreen University Of Cambridge, Uk [email protected] Ugo Montanari University Of Pisa, Italy [email protected] Mariela Pavlova Inria Sophia-antipolis, Germany [email protected] Magambo Philipo Gonek Enterprises, Tanzania [email protected] Jan Tobias Muehlberg University Of York, Uk [email protected] Aniello Murano Universit`aDegli Studi Di Napoli ”feder. . . , Italy [email protected] Eustache Muteba Free Researcher, Democratic Republic Of Congo [email protected] Michael Mendler University Of Bamberg, Germany [email protected] Alan Mycroft Cambridge University, Uk [email protected] Miguel Zamalloa Universidad Complutense, Spain [email protected].fi.upm.es Nina Amla Cadence Design Systems, Usa [email protected] Nathan Chong Arm Ltd., Uk [email protected] Nuno Rodrigues Universidade Do Minho, Portugal [email protected] Nigel Horspool University Of Victoria, Canada [email protected] Shin Nakajima National Institute Of Informatics, Japan [email protected] Nobuko Yoshida Imperial College London, Uk [email protected] Noomene Ben Henda Department Of Information Technology, Sweden [email protected] Abdinoor Ali Atlas Comuter College, Kenya [email protected] Nicolas Perrin Ens Lyon, France [email protected] Natasha Sharygina University Of Lugano, Switzerland [email protected] Martin Odersky Epfl, Switzerland martin.odersky@epfl.ch Okojie Peter Ehis Nil, Nigeria uib [email protected] Olusola David Nil, Nigeria uib [email protected] Ghassan Oreiby Lsv - Ens Cachan, France [email protected] Fernando Orejas Upc - Barcelona, Spain [email protected] Orna Grumberg Technion, Israel [email protected] Olivier Tardieu Inria Sophia Antipolis, France [email protected] Paritosh Pandya Tata Institute (tifr), India [email protected] Parosh Abdulla Uppsala University, Sweden [email protected] Pavel Krcal Uppsala University, Sweden [email protected] Pawel Sobocinski University Of Southampton, United Kingdom [email protected] Pedro Vasconcelos Dcc / Fcup, Portugal [email protected] Pierre-etienne Moreau Inria & Loria, France [email protected] Perdita Stevens University Of Edinburgh, Uk [email protected] Alexandre Petrenko Crim, Canada [email protected] Pietro Ferrara Ecole Polytechnique Paris, Universit`aC. . . , Paris [email protected] Paul Kelly Imperial College London, Uk [email protected] Philippe Schnoebelen Lsv - Cachan, France [email protected] Peter M¨uller Eth Zurich, Switzerland [email protected] Pavel Jezek Charles University In Prague, Czech Republic [email protected]ff.cuni.cz Hermann Lehner Eth Zurich, Switzerland [email protected] Patricia Bouyer Oxford University, Uk [email protected] Seonggun Kim Kaist, Republic Of Korea [email protected] Paola Spoletini Politecnico Di Milano, Italy [email protected] Shaz Qadeer Microsoft Research, Usa [email protected] Quang The Tran Labri, Bordeaux, France, France [email protected] Rance Cleaveland University Of Maryland, Usa [email protected] Jacek Ratzinger Vienna University Of Technology, Austria [email protected] Rodrigo Ferreira Yale University, Usa [email protected] Pascal Raymond Verimag/cnrs, France [email protected] Ahmed Rezine Uppsala University, Sweden [email protected] Reiko Heckel University Of Leicester, Uk [email protected] Alexander Reinhard Security Engineering Group, Rwth Aachen . . . , Germany [email protected] Colin Riba Loria, France [email protected] Stefan Rieger Rwth Aachen University, Germany [email protected] Rajkishore Barik Ibm, India [email protected] Roberto Lopez-herrejon University Of Oxford, England [email protected] Robby Findler University Of Chicago, Usa [email protected] Rob Ennals Intel Research, Berkeley, Usa [email protected] Robert Ruth Nil, Nigeria uib [email protected] Roly Perera Dynamic Aspects, United Kingdom [email protected] Roy Grønmo Sintef & Univ. Of Oslo, Norway [email protected] Romain Robbes University Of Lugano, Switzerland [email protected] Roberto Segala University Of Verona, Italy [email protected] Rugang Xu Ucla, United States [email protected] Roman Manevich Tel Aviv University, Israel [email protected] Eric Rutten Inria Rhone-alpes, France [email protected] Samin Ishtiaq Arm, England [email protected] Samir Genaim Universidad Politecnica De Madrid, Spain [email protected].fi.upm.es Sandra Alves University Of Porto, Portugal [email protected] Don Sannella University Of Edinburgh, United Kingdom [email protected] Santosh Nagarakatte Indian Institute Of Science, India [email protected] Masataka Sassa Tokyo Institute Of Technology, Japan [email protected] Saswat Anand Georgia Institute Of Technology, Usa [email protected] Sava Krstic Intel Corporation, Usa [email protected] Sabine Broda Liacc-university Of Porto, Portugal [email protected] Manfred Schmidt-schauss Computer Science; Uni Frankfurt, Germany [email protected] Bernhard Scholz The University Of Sydney, Australia [email protected] Samuel Colin Loria - Dedale Team, France [email protected] Itai Segall The Weizmann Institute Of Science, Israe. . . , Israel [email protected] Edoh Joseph Nil, Nigeria uib [email protected] Helmut Seidl Tu M¨unchen, Germany [email protected] Sergiy Boroday Crim, Canada [email protected] Stefan G¨oller Fmi, Germany [email protected] Sebastian Hack Ens Lyon, France [email protected] Jun Pang University Of Oldenburg, Germany [email protected] Shriram Krishnamurthi Brown University, Usa [email protected] Mihaela Sighireanu Liafa University Of Paris 7, France [email protected] Sigmund Cherem Cornell University, Usa [email protected] Konrad Slind University Of Utah, Usa [email protected] Siavash Mir Arabbaygi University Of Waterloo, Canada [email protected] Shmuel Katz Technion, Israel [email protected] Yunheung Paek Seoul National University, Korea [email protected] Manuela Sobral University Of Coimbra, Portugal [email protected] Sophia Drossopoulou Imperial College London, Uk [email protected] Sotiris Moschoyiannis University Of Surrey, United Kingdom [email protected] Steven Miller Rockwell Collins Inc, Usa [email protected] David Stauch Verimag, France [email protected] Sarah Zennou Cea-list, France [email protected] Peter Szulman Fzi Research Center For Information Tech. . . , Germany [email protected] Takuo Watanabe Tokyo Institute Of Technology, Japan [email protected] Tarmo Uustalu Institute Of Cybernetics, Estonia [email protected] Jacob Thamsborg It University Of Copenhagen, Denmark [email protected] Tingting Han University Of Twente, Germany [email protected] Thorsten Hermes Rwth Aachen, Germany [email protected] Thomas Noll Rwth Aachen University, Germany [email protected] Ian Thorpe No Institution, Uk [email protected] Thomas Schneider University Of Jena, Germany, Germany [email protected] Francesco Tiezzi Universit`aDi Firenze, Italy [email protected]fi.it Cesare Tinelli The University Of Iowa, Usa [email protected] Massimo Tivoli University Of L’aquila, Italy [email protected] Tiziana Margaria University Of Potsdam, Germany [email protected] Thierry Massart Ulb, Belgium [email protected] Tom Chothia Cwi, Netherlands [email protected] Thomas Maibaum Mcmaster University, Canada [email protected] Stehpen Osei Owusu Ticbs, Southafrica [email protected] Stefano Tonetta University Of Lugano, Switzerland [email protected] Torbj¨ornEkman Oxford University, United Kingdom [email protected] Nicolas Markey Lsv - Ens Cachan & Cnrs, France [email protected] Badmus Adewale Olusola Nil, Nigeria uib [email protected] Tiphaine Turpin Irisa/universit´eDe Rennes 1, France [email protected] Tijs Van Der Storm Centrum Voor Wiskunde En Informatica (cw. . . , The Netherlands [email protected] Ulrik Nyman Aalborg University, Denmark [email protected] Moshe Vardi Rice University, Usa [email protected] Daniel Varr´o Budapest University Of Technology And Ec. . . , Hungary [email protected] Cristian Versari University Of Bologna, Italy [email protected] Vincenzo Ciancia Dipartimento Di Informatica, Universit`a.. . , Italy [email protected] Viktor Kuncak Epfl, Usa [email protected] Vivek Sarkar Ibm, Usa [email protected] Vladimiro Sassone Southampton, Uk, United Kingdom [email protected] Shuling Wang Minho University, Portugal [email protected] Andrzej Wasowski Aalborg University (ciss), Denmark [email protected] Grigore Rosu University Of Illinois At Urbana-champai. . . , Usa [email protected] Thomas Wies University Of Freiburg, Germany [email protected] Anton Wijs Cwi, The Netherlands [email protected] Herbert Wiklicky Imperial College London, Uk [email protected] Uwe Wolter University Of Bergen, Norway [email protected] Willem-paul De Roever Department Of Computer Science, Germany [email protected] Wolf Zimmermann University Of Halle, Germany [email protected] Eran Yahav Ibm Research, Usa [email protected] Yih-kuen Tsay National Taiwan University, Taiwan [email protected] Yuri Gurevich Microsoft Research, Usa [email protected] Yuxin Deng Shanghai Jiao Tong University, China [email protected] Ivan Zapreev The University Of Twente, Netherlands [email protected] Gianluigi Zavattaro Univ. Of Bologna, Italy [email protected] Lijun Zhang University Of Saarland, Germany [email protected] Xin Zhou Ibm China Research Lab, P.r.china [email protected] Zvonimir Rakamaric University Of British Columbia, Canada [email protected] Roberto Zunino Dip. Informatica - Universit`aDi Pisa, Italy [email protected] Formal Foundations of Embedded Software and Component-Based Software Architectures
Ana Cristina Vieira De Melo Usp, Brazil [email protected] Alexandre Sztajnberg Uerj - Brazil, Brazil [email protected] Dilian Gurov Kth Stockholm, Sweden [email protected] Iman Poernomo King’s College London, Uk [email protected] Juliana Kuster Filipe Bowles University Of Birmingham, Uk [email protected] Julia Padberg Technische Universit¨atBerlin, Germany [email protected] Leen Lambers Softwaretechnik Und Theoretische Informa. . . , Germany [email protected] Lionel Morel Inria - Irisa, France [email protected] Louis Mandel Inria Rocquencourt, France [email protected] Pavel Jezek Charles University In Prague, Czech Republic [email protected]ff.cuni.cz Ralf Reussner University Of Karlsruhe (th), Germany [email protected] Samuel Colin Loria - Dedale Team, France [email protected] Sotiris Moschoyiannis University Of Surrey, United Kingdom [email protected] Peter Szulman Fzi Research Center For Information Tech. . . , Germany [email protected] Martin Wirsing Lmu Munich, Germany [email protected]fi.lmu.de Willem-paul De Roever Department Of Computer Science, Germany [email protected] Foundations of Interactive Computation
Luis Barbosa Univ. Minho, Portugal [email protected] Bj¨ornVictor Uppsala University, Sweden [email protected] Cesar Sanchez Stanford University, Usa [email protected] Cezara Dragoi University Of Bucharest, Romania [email protected] Carolyn Talcott Sri International, Usa [email protected] Dina Goldin Brown University, Usa [email protected] Farhad Arbab Cwi & Leiden University, Netherlands [email protected] Gabriel Ciobanu Cuza University, Faculty Of Computer Sci. . . , Romania [email protected] Gheorghe Stefanescu University Of Bucharest, Romania [email protected] Jo˜aoCarlos Cardoso Da Silva Universidade Do Minho, Portugal [email protected] Jean-marie Jacquet University Of Namur, Belgium [email protected] Magnus Johansson Department Of Information Technology, Sweden [email protected] Roly Perera Dynamic Aspects, United Kingdom [email protected] Srinath Srinivasa International Institute Of Information T. . . , India [email protected] Sixth International Workshop on Graph Transformation and Visual Modeling Techniques
Ulrike Ranger Rwth Aachen University, Germany [email protected] Gregor Wrobel Society For The Promotion Of Applied Com. . . , Germany [email protected] Akos´ Horv´ath Department Of Measurement And Informatio. . . , Hungary [email protected] Ifeanyi Hycinth Brikama Computing/business Training Cent. . . , The Gambia bc [email protected] Iovka Boneva University Of Twente, Netherlands [email protected] Daniel Balasubramanian Vanderbilt University, Us [email protected] D´enes Bisztray University Of Leicester, United Kingdom [email protected] Esther Guerra Universidad Carlos Iii De Madrid, Spain [email protected] Gheorghe Paun Romanian Academy, Romania [email protected] Gabriele Taentzer Universit¨atMarburg, Germany [email protected] Guilherme Rangel Tu-berlin, Germany [email protected] Frank Hermann Technical University Of Berlin, Germany [email protected] Florian Klein University Of Paderborn, Germany [email protected] Juan De Lara Universidad Aut´onoma De Madrid, Spain [email protected] Jos´eVila¸ca Universidade Do Minho, Portugal [email protected] Karsten Ehrig University Of Leicester, United Kingdom [email protected] Harmen Kastenberg University Of Twente, The Netherlands [email protected] Christian Koehler Centrum Voor Wiskunde En Informatica, Am. . . , The Netherlands [email protected] Frank Kraemer Norwegian University Of Science And Tech. . . , Norway [email protected] Arend Rensink University Of Twente, The Netherlands [email protected] Reiko Heckel University Of Leicester, Uk [email protected] Roy Grønmo Sintef & Univ. Of Oslo, Norway [email protected] Ren´eW¨orzberger Rwth Aachen, Germany [email protected] Torbj¨ornLundkvist Abo˚ Akademi University, Finland tlundkvi@abo.fi Daniel Varr´o Budapest University Of Technology And Ec. . . , Hungary [email protected] Brendan Sheehan University College Dublin, Ireland [email protected] Heap Analysis and Verification
R´emiBrochenin Lsv - Ens De Cachan, France [email protected] Ahmed Bouajjani Liafa, University Of Paris 7, France [email protected] Akihiko Tozawa Ibm Tokyo Research Lab., Japan [email protected] Antoine Meyer Liafa - Universit´eParis Vii, France [email protected] Arnaud Sangnier Lsv - Ens Cachan - Cnrs, France [email protected] Lars Birkedal It University Of Copenhagen, Denmark [email protected] Iovka Boneva University Of Twente, Netherlands [email protected] Caniart Nicolas Labri, France [email protected] Cristiano Calcagno Imperial College London, Uk [email protected] Claude March´e Inria Futurs, France [email protected] Dino Distefano Queen Mary, University Of London, Uk [email protected] Werner M. Dietl Eth Zurich, Switzerland [email protected] Etienne Lozes Lsv, Ens Cachan & Cnrs, France [email protected] Erez Petrank Microsoft Research And Technion, Usa erez [email protected] Emmanuel Fleury Labri, Bordeaux-i University, France fl[email protected] Arnd Poetzsch-heffter Tu Kaiserslautern, Germany [email protected] Regis Gascon Lsv - Ens Cachan & Cnrs, France [email protected] Ganesan Ramalingam Microsoft Research India, India [email protected] Greta Yorsh Tel Aviv University, Israel [email protected] Hugo Sim˜oes Liacc - Universidade Do Porto, Portugal [email protected] Hongseok Yang Queen Mary, University Of London, Uk [email protected] James Brotherston Imperial College London, Uk [email protected] Josh Berdine Microsoft Research, Uk [email protected] Jules Villard Lsv, Ens Cachan, Cnrs, France [email protected] Amey Karkare Iit Bombay, India [email protected] Arend Rensink University Of Twente, The Netherlands [email protected] Madhusudan Parthasarathy Uiuc, Usa, Usa [email protected] Martin Elsman It University Of Copenhagen, Denmark [email protected] Noam Rinetzky Tel Aviv University, Israel [email protected] Pedro Vasconcelos Dcc / Fcup, Portugal [email protected] Philippe Schnoebelen Lsv - Cachan, France [email protected] Peter M¨uller Eth Zurich, Switzerland [email protected] Hermann Lehner Eth Zurich, Switzerland [email protected] Shaz Qadeer Microsoft Research, Usa [email protected] Stefan Rieger Rwth Aachen University, Germany [email protected] Sava Krstic Intel Corporation, Usa [email protected] Jacob Thamsborg It University Of Copenhagen, Denmark [email protected] Tiphaine Turpin Irisa/universit´eDe Rennes 1, France [email protected] Viktor Kuncak Epfl, Usa [email protected] Shuling Wang Minho University, Portugal [email protected] Thomas Wies University Of Freiburg, Germany [email protected] Willem-paul De Roever Department Of Computer Science, Germany [email protected] Eran Yahav Ibm Research, Usa [email protected] Yannick Moy Lri, Univ Paris-sud Orsay, France [email protected] Yih-kuen Tsay National Taiwan University, Taiwan [email protected] Zvonimir Rakamaric University Of British Columbia, Canada [email protected] Hardware design using Functional Languages
Professor Arvind Mit, Usa [email protected] Jeroen Fokker Utrecht University, Netherlands [email protected] Nirav Dave Mit, Usa [email protected] Timothy Sheard Portland State University, Usa [email protected] Alfonso Acosta Kth, Sweden [email protected] Andrew Martin Ibm Research, Usa [email protected] Emil Axelsson Computer Science And Engineering, Chalme. . . , Sweden [email protected] Benjamin Damet Universit´ePierre Et Marie Curie (paris. . . , France [email protected] G´erardBoudol Inria, France [email protected] Carl Seger Intel/oxford, United Kingdom [email protected] Doaitse Swierstra Utrecht University, The Netherlands [email protected] Gordon Pace University Of Malta, Malta [email protected] Jean-baptiste Note Ecole´ Normale Sup´erieure, France [email protected] Joseph Stoy Bluespec, Inc, Usa [email protected] Koen Claessen Chalmers University Of Technology, Sweden [email protected] Louis Mandel Inria Rocquencourt, France [email protected] Marc Galceran Oms Universitat Polit`ecnica De Catalunya, Spain [email protected] Nathan Chong Arm Ltd., Uk [email protected] Mary Sheeran Chalmers, Sweden [email protected] Samin Ishtiaq Arm, England [email protected] Manfred Schmidt-schauss Computer Science; Uni Frankfurt, Germany [email protected] Konrad Slind University Of Utah, Usa [email protected] Tarmo Uustalu Institute Of Cybernetics, Estonia [email protected] Thomas Melham Oxford University, England [email protected] Thorsten Schubert Offis E.v., Germany thorsten.schubert@offis.de Warren A. Hunt, Jr University Of Texas, United States [email protected] IFIP Michel Bidoit Lsv - Cnrs & Ens Cachan, France [email protected] Pascale Le Gall University Of Evry, France [email protected] Luis Barbosa Univ. Minho, Portugal [email protected] Till Mossakowski Dfki Lab Bremen, Germany [email protected] Alberto Verdejo Universidad Complutense De Madrid, Spain [email protected] Andrea Corradini Dipartimento Di Informatica, Pisa, Italy [email protected] Christine Choppy Lipn, Univ Paris13, France [email protected] Dirk Pattinson Imperial College London, Uk [email protected] Hartmut Ehrig Faculty Iv, Germany [email protected] Marie-claude Gaudel Lri, Univ. Paris-sud, France [email protected] Stefania Gnesi Isti-cnr, Italy [email protected] Rolf Hennicker University Of Munich, Germany hennicker@ifi.lmu.de Jos´eLuiz Fiadeiro University Of Leicester, Uk jose@fiadeiro.org Alexander Kurz University Of Leicester, Uk [email protected] Lu´ısCaires Universidade Nova De Lisboa, Portugal [email protected] Lutz Schr¨oder Univ. Bremen And Dfki-lab Bremen, Germany [email protected] Maurice Ter Beek Isti-cnr, Italy [email protected] Narciso Marti-oliet Universidad Complutense De Madrid, Spain [email protected] Nicoletta Sabadini Universit`aDegli Studi Dell’insubria, Italy [email protected] Fernando Orejas Upc - Barcelona, Spain [email protected] Peter Mosses Swansea University, United Kingdom [email protected] Pierre-yves Schobbens University Of Namur, Belgium [email protected] Reiko Heckel University Of Leicester, Uk [email protected] Robert Walters Universit`aDegli Studi Dell’insubria, Italy [email protected] Markus Roggenbach University Of Wales Swansea, United Kingdom [email protected] Don Sannella University Of Edinburgh, United Kingdom [email protected] Thomas Maibaum Mcmaster University, Canada [email protected] Vladimiro Sassone Southampton, Uk, United Kingdom [email protected] Martin Wirsing Lmu Munich, Germany [email protected]fi.lmu.de Seventh Workshop on Language Descriptions, Tools and Applications
Shirley Goldrei Macquarie University, Australia [email protected] Taeke Kooiker Cwi, Netherlands [email protected] Uwe Assmann Technische Universit¨at Dresden, Germany [email protected] Adrian Johnstone Royal Holloway, University Of London, Uk [email protected] Alcino Cunha Universidade Do Minho, Portugal [email protected] Anthony Sloane Macquarie University, Australia [email protected] Elizabeth Scott University Of London, Royal Holloway, England [email protected] Eelco Visser Delft University Of Technology, Netherlands [email protected] Eric Van Wyk University Of Minnesota, Usa [email protected] Fabio Tirelo Universidade Do Minho, Portugal [email protected] G¨orelHedin Lund University, Sweden [email protected] Jurgen Vinju Cwi, The Netherlands [email protected] Karl Trygve Kalleberg University Of Bergen, Norway [email protected] Carsten Kern Rwth University, Germany [email protected] Lijesh Manjacheri University Of Minnesota, Usa [email protected] Mark Van Den Brand Technische Universiteit Eindhoven, The Netherlands [email protected] Martin Bravenboer Delft University Of Technology, The Netherlands [email protected] Marjan Mernik University Of Maribor, Slovenia [email protected] Maria Jo˜aoVaranda Pereira Instituto Polit´ecnico De Bragan¸ca,Portugal [email protected] Nigel Horspool University Of Victoria, Canada [email protected] Peter Mosses Swansea University, United Kingdom [email protected] Sylvain Schmitz Laboratoire I3s, Universit´eDe Nice Sop. . . , France [email protected] Peter Szulman Fzi Research Center For Information Tech. . . , Germany [email protected] Thomas Noll Rwth Aachen University, Germany [email protected] Tiago Alves Esa, Germany [email protected] Torbj¨ornEkman Oxford University, United Kingdom [email protected] Tijs Van Der Storm Centrum Voor Wiskunde En Informatica (cw. . . , The Netherlands [email protected] 3rd Workshop on Model Based Testing
Ana Paiva Feup, Portugal [email protected] Bernd Finkbeiner Universit¨atDes Saarlandes, Germany fi[email protected] Maik Kollmann Tu Braunschweig - Ifis, Germany [email protected] Bernhard Aichernig Tu Graz, Austria [email protected] Alexander Petrenko Isp Ras, Russia [email protected] C´edric Meuter Universit´eLibre De Bruxelles, Belgique [email protected] Charles Pecheur Uc Louvain, Belgium [email protected] Frederic Dadeau Lig / Inpg, France [email protected] Dorel Lucanu Uaic, Romania [email protected] Franco Raimondi Ucl, London, Uk [email protected] Guillaume Brat Riacs, Usa [email protected] Gabriel Kalyon Universit´eLibre De Bruxelles, Belgique [email protected] G´abor Nagy Alvicom Ltd., Hungary [email protected] Jo˜aoCarlos Cardoso Da Silva Universidade Do Minho, Portugal [email protected] Jo˜aoFaria Feup, Portugal [email protected] Lydie Du Bousquet Lig, Ujf, France [email protected] Luis Pedro Computer Science Department, University . . . , Switzerland [email protected] Martin Ouimet Massachusetts Institute Of Technology, Usa [email protected] Anders Hessel It, Uppsala University, Sweden [email protected] Paul Pettersson Uppsala University / M¨alardalen Univers. . . , Sweden [email protected] Alexandre Petrenko Crim, Canada [email protected] Rob Hierons Brunel University, Uk [email protected] Sergiy Boroday Crim, Canada [email protected] Thierry Massart Ulb, Belgium [email protected] Shuling Wang Minho University, Portugal [email protected] Yuri Gurevich Microsoft Research, Usa [email protected] Lijun Zhang University Of Saarland, Germany [email protected] 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software
Alberto Silva Ist/inesc Id, Portugal [email protected] Francisco Assis Moreira Do Nascimento Ufrgs/brazil, Brazil [email protected] Bas Graaf Delft University Of Technology, The Netherlands [email protected] Jean Bezivin Inria, France [email protected] Carlos Cetina Technical University Of Valencia, Spain [email protected] C´ecile Hardebolle Sup´elec, France [email protected] Nektarios Georgalas British Telecom, Uk [email protected] Jens Bæk Jørgensen University Of Aarhus, Denmark [email protected] Jo˜aoMiguel Fernandes Universidade Do Minho, Portugal [email protected] Ridha Khedri Mcmaster University, Canada [email protected] Michail Anastasopoulos Fraunhofer Iese, Germany [email protected] Philippa Conmy University Of York, Uk [email protected] Patrizia Scandurra University Of Milan - Dti, Italy [email protected] Rog´erio Paulo Efacec, Portugal [email protected] Ricardo J. Machado Universidade Do Minho, Portugal [email protected] Peter Szulman Fzi Research Center For Information Tech. . . , Germany [email protected] Mobility, Ubiquity, and Security
Luis Pinto University Of Minho, Portugal [email protected] Ulrike Ranger Rwth Aachen University, Germany [email protected] Lennart Beringer University Of Munich, Germany [email protected]fi.lmu.de Damiano Zanardini Upm, Spain [email protected].fi.upm.es Adam Darvas Eth Zurich, Switzerland [email protected] David Aspinall Lfcs ¡- Informatics ¡- Edinburgh, Uk [email protected] Davide Grohmann University Of Udine, Italy [email protected] Werner M. Dietl Eth Zurich, Switzerland [email protected] David Pichardie Inria/irisa, France [email protected] David Von Oheimb Siemens Corporate Technology, Germany [email protected] Etienne Lozes Lsv, Ens Cachan & Cnrs, France [email protected] Emmanuel Okonkwo Ncss, Nigeria [email protected] Ewen Denney Riacs / Nasa Ames, Usa [email protected] Gilles Barthe Inria, France [email protected] German Puebla Universidad Politecnica De Madrid, Spain german@fi.upm.es G´abor Nagy Alvicom Ltd., Hungary [email protected] Daniel Hirschkoff Ens Lyon, France daniel.hirschkoff@ens-lyon.fr Joseph Kiniry University College Dublin, Ireland [email protected] Matteo Maffei Saarland University, Germany maff[email protected] Manuel Barbosa Di - Universidade Do Minho, Portugal [email protected] Maria Jo˜aoFrade Universidade Do Minho, Portugal [email protected] Peter M¨uller Eth Zurich, Switzerland [email protected] Pavel Jezek Charles University In Prague, Czech Republic [email protected]ff.cuni.cz Hermann Lehner Eth Zurich, Switzerland [email protected] Paula Valenca Universidade Do Minho, Portugal [email protected] Rafa lChmielewski Comarch S.a., Poland [email protected] Ren´eW¨orzberger Rwth Aachen, Germany [email protected] Samir Genaim Universidad Politecnica De Madrid, Spain [email protected].fi.upm.es Steve Harkins Helixion Ltd, Scotland [email protected] Vivek Nigam Ecole Polytechnique, France [email protected] Yuxin Deng Shanghai Jiao Tong University, China [email protected] Foundations and Techniques for Open Source Software Certification Luis Barbosa Univ. Minho, Portugal [email protected] Bernhard Aichernig Tu Graz, Austria [email protected] Alexander Petrenko Isp Ras, Russia [email protected] Antonio Cerone United Nations University, Macau Sar China [email protected] Marsha Chechik University Of Toronto, Canada [email protected] David Von Oheimb Siemens Corporate Technology, Germany [email protected] Anaebom Chika Henry Plaza International College, Malaysia [email protected] Maria Jo˜aoVaranda Pereira Instituto Polit´ecnico De Bragan¸ca,Portugal [email protected] Paula Valenca Universidade Do Minho, Portugal [email protected] Rog´erio Reis Liacc-up, Portugal [email protected] Program Transformation with Stratego/XT
Akihiko Tozawa Ibm Tokyo Research Lab., Japan [email protected] Alberto Verdejo Universidad Complutense De Madrid, Spain [email protected] Jo˜aoCarlos Cardoso Da Silva Universidade Do Minho, Portugal [email protected] Martin Kuhlemann University Of Magdeburg, Germany [email protected] Pablo Berdaguer Umunho, Portugal [email protected] Fifth Workshop on Quantitative Aspects of Programming Languages
Alessandro Aldini University Of Urbino, Italy, Italy [email protected] Ashok Argent-katwala Imperial College London, United Kingdom [email protected] Luca Bortolussi University Of Trieste, Italy [email protected] Jeremy Bradley Imperial College, Uk [email protected] Antonio Cerone United Nations University, Macau Sar China [email protected] Davide Grohmann University Of Udine, Italy [email protected] Alessandra Di Pierro University Of Verona, Italy [email protected] Radha Jagadeesan School Of Cti, Depaul, Usa [email protected] Francesco Santini Imt - Lucca, Italy [email protected] Franck Van Breugel York University, Canada [email protected] Gagarine Yaikhom University Of Edinburgh, United Kingdom [email protected] Jeremy Sproston Universita‘ Di Torino, Italy [email protected] Luca Cardelli Microsoft Research Ltd, England [email protected] Martin Berger Imperial College, Uk [email protected] Maria Grazia Vigliotti Imperial College, Uk [email protected] Mieke Massink Cnr-isti, Italy [email protected] Yasuhiko Minamide University Of Tsukuba, Japan [email protected] Michael Smith University Of Edinburgh, United Kingdom [email protected] Pedro Baltazar Clc And Sqig-it, Ist-lisbon, Portugal [email protected] Roberto Segala University Of Verona, Italy [email protected] Tom Chothia Cwi, Netherlands [email protected] Daniele Varacca Pps - University Paris 7, France [email protected] Vincenzo Ciancia Dipartimento Di Informatica, Universit`a.. . , Italy [email protected] Herbert Wiklicky Imperial College London, Uk [email protected] Yuxin Deng Shanghai Jiao Tong University, China [email protected] Ivan Zapreev The University Of Twente, Netherlands [email protected] Lijun Zhang University Of Saarland, Germany [email protected] Workshop on Software Composition
Taeke Kooiker Cwi, Netherlands [email protected] Uwe Assmann Technische Universit¨at Dresden, Germany [email protected] Alain Ozanne France Telecom R&d / Cnrs I3s, France [email protected] Andre Bottaro France Telecom, France [email protected] Bin Zhou School Of Computer, National University . . . , China [email protected] Clement Escoffier Grenoble University, France clement.escoffi[email protected] Vittorio Cortellessa Universita’ Dell’aquila, Italy [email protected] Dietmar Schreiner Vienna University Of Technology, Austria [email protected] Takumi Endo Saitama University, Japan [email protected] Farhad Arbab Cwi & Leiden University, Netherlands [email protected] Iman Poernomo King’s College London, Uk [email protected] Imed Hammouda Tampere University Of Technology, Finland imed.hammouda@tut.fi J. Christian Attiogbe Lina - University Of Nantes, France [email protected] Kung-kiu Lau The University Of Manchester, United Kingdom [email protected] Martin Kuhlemann University Of Magdeburg, Germany [email protected] Markus Lumpe Iowa State University, United States [email protected] Mohammed Al-mansari University Of Duisburg-essen, Germany [email protected] Mathieu Braem Vrije Universiteit Brussel, Belgium [email protected] Marcelo Santos Malardalan University, Sweden [email protected] Marc Eaddy Columbia University, Usa [email protected] Magambo Philipo Gonek Enterprises, Tanzania [email protected] Niels Joncheere Vrije Universiteit Brussel, Belgium [email protected] Peter Wong University Of Oxford, Uk [email protected] Ralf Reussner University Of Karlsruhe (th), Germany [email protected] Samuel Colin Loria - Dedale Team, France [email protected] Olaf Spinczyk University Of Erlangen, Germany [email protected] Tijs Van Der Storm Centrum Voor Wiskunde En Informatica (cw. . . , The Netherlands [email protected] Perla Velasco Elizondo University Of Manchester, United Kingdom [email protected] Shuling Wang Minho University, Portugal [email protected] Wim Vanderperren Wim Vanderperren, Belgium [email protected] Wolf Zimmermann University Of Halle, Germany [email protected] Xabier Aretxandieta Mondragon University, Spain [email protected] Gianluigi Zavattaro Univ. Of Bologna, Italy [email protected] Model-driven High-level Programming of Embedded Systems
Claus Traulsen University Kiel, Germany [email protected] Christopher Ackermann Fraunhofer Usa - Cese, Usa [email protected] Eric Van Wyk University Of Minnesota, Usa [email protected] Florence Plateau Lri - Inria, France [email protected] Gerald Luettgen University Of York, Uk [email protected] Nicolas Halbwachs Verimag/cnrs, France [email protected] Lydie Du Bousquet Lig, Ujf, France [email protected] Lionel Morel Inria - Irisa, France [email protected] Marian Boldt University Of Kiel, Germany [email protected] Louis Mandel Inria Rocquencourt, France [email protected] Florence Maraninchi Verimag / Inpgrenoble, France fl[email protected] Michael Mendler University Of Bamberg, Germany [email protected] Olivier Tardieu Inria Sophia Antipolis, France [email protected] Pedro Vasconcelos Dcc / Fcup, Portugal [email protected] Pascal Raymond Verimag/cnrs, France [email protected] Eric Rutten Inria Rhone-alpes, France [email protected] Samik Basu Iowa State University, Usa [email protected] Steven Miller Rockwell Collins Inc, Usa [email protected] David Stauch Verimag, France [email protected] 4th International Workshop on Computing with Terms and Graphs
Detlef Plump University Of York, Uk [email protected] Luis Pinto University Of Minho, Portugal [email protected] Martin Strecker Universit´ePaul Sabatier, France [email protected] Abubakar Hassan Kings College London, Uk [email protected] M´arioFlorido Universidade Do Porto, Portugal [email protected] Emilie Balland Loria Inria, France [email protected] Denis Bechet Lina, France [email protected] Clara Bertolissi Lif-universit´eDe Provence, France [email protected] Paul Brauner Loria, France [email protected] Claude Kirchner Loria, France [email protected] Davide Grohmann University Of Udine, Italy [email protected] Emmanuel Okonkwo Ncss, Nigeria [email protected] Christophe Fouquer´e Lipn - Universit´eParis 13, France [email protected] Fran¸cois-r´egis Sinot Liacc - Universidade Do Porto, Portugal [email protected] Thomas Gawlitza Tum M¨unchen, Germany [email protected] Ian Mackie King’s College London, Uk [email protected] Jose Espirito Santo University Of Minho, Portugal [email protected] Harmen Kastenberg University Of Twente, The Netherlands [email protected] Luis Damas Liacc-up-pt, Portugal [email protected] Sylvain Lippi Universit´eDe Nice - Cnrs I3s, France [email protected] Nelma Moreira Liacc, Portugal [email protected] Nicolas Perrin Ens Lyon, France [email protected] Pierre-etienne Moreau Inria & Loria, France [email protected] Colin Riba Loria, France [email protected] Sandra Alves University Of Porto, Portugal [email protected] Sabine Broda Liacc-university Of Porto, Portugal [email protected] Shinya Sato King’s College London, Uk [email protected] Yves Guiraud Inria, France [email protected] Seventh Workshop on Issues in the Theory of Security
Aleksy Schubert Institute Of Informatics, Poland [email protected] Hubert Comon-lundh Lsv, Ecole Normale Sup. Cachan, France [email protected] Jerry Den Hartog University Of Twente, The Netherlands [email protected] Pierpaolo Degano Dipartimento Di Informatica – U. Pisa, Italia [email protected] Ana Matos Ist Lisbon, Portugal [email protected] Arnab Roy Stanford University, United States [email protected] G´erardBoudol Inria, France [email protected] Catalin Dima Universite Paris 12, Lacl, France [email protected] Catherine Meadows Nrl, Usa [email protected] Christopher Dilloway Oxford University Computing Laboratory, Uk [email protected] V´eronique Cortier Loria, Cnrs, France [email protected] Constantin Enea Lacl, France & Univ. Iasi, Romania, France [email protected] Mohammad Torabi Dashti Cwi, The Netherlands [email protected] St´ephanie Delaune Loria, France [email protected] Xiaotie Deng City University Of Hong Kong, China [email protected] Erik Poll Radboud University Nijmegen, Netherlands [email protected] Riccardo Focardi University Of Venice, Italy, Italy [email protected] Han Gao Technical University Of Denmark, Denmark [email protected] Gavin Lowe Oxford University, Uk [email protected] Joshua Guttman The Mitre Corporation, Usa [email protected] Thomas Jensen Irisa/cnrs, France [email protected] Jos´eValen¸ca Jos´eValen¸ca,Portugal [email protected] Yoshinobu Kawabe Ntt Corporation, Japan [email protected] Steve Kremer Lsv, Ens Cachan & Cnrs & Inria, France [email protected] Flaminia Luccio University Of Venice, Italy [email protected] Matteo Maffei Saarland University, Germany maff[email protected] Magnus Johansson Department Of Information Technology, Sweden [email protected] Mark Woodcock Us Dod, Usa [email protected] Manuel Barbosa Di - Universidade Do Minho, Portugal [email protected] Michal Walicki University Of Bergen, Norway [email protected] Olivier Pereira Universite Catholique De Louvain, Belgium [email protected] Jose Eduardo Pina Miranda Multicert S.a., Portugal [email protected] Paula Valenca Universidade Do Minho, Portugal [email protected] Roberto Segala University Of Verona, Italy [email protected] Rog´erio Reis Liacc-up, Portugal [email protected] Anton Wijs Cwi, The Netherlands [email protected] Roberto Zunino Dip. Informatica - Universit`aDi Pisa, Italy [email protected]