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