docEuropean Joint Conferences on Theory And Practice of Software
download 
Denúncia Transcrição
European Joint Conferences on Theory And Practice of Software
European Joint Conferences on Theory And Practice of Software Adam Darvas Adrian Francalanza Adrian Johnstone Agata Janowska Ahmed Bouajjani Ahmed Rezine Akihiko Tozawa Alan Mycroft Alberto Simões Alcino Cunha Aleksy Schubert Alessandro Ferrante Alessandro Lapadula Alessandro Orso Alexander Knapp Alexander Reinhard Alexandre Petrenko Amey Karkare Ana Cristina Vieira De Melo Ana Matos Anaebom Chika Henry Ando Saabas Andrea Flexeder Andreas Metzger Andrew Pitts Andrew Tolmach Andrzej Wasowski Aniello Murano Ankur Taly Anthony Sloane Antoine Meyer Antoine Miné Anton Wijs Antonio Cerone Antónia Lopes Arend Rensink Arie Gurfinkel Arnaud Sangnier Arnd Poetzsch-heffter Ashish Tiwari Ashok Argent-katwala Augusto Parma Barbara Jobstmann Barbara Jobstmann Benedikt Bollig Bernd Finkbeiner Bernhard Aichernig Bernhard Scholz Bertrand Meyer Eth Zurich, Switzerland Imperial College, England Royal Holloway, University of London, Uk Warsaw University, Poland Liafa, University of Paris 7, France Uppsala University, Sweden Ibm Tokyo Research Lab., Japan Cambridge University, Uk Universidade do Minho, Portugal Universidade do Minho, Portugal Institute of Informatics, Poland Dipartimento Di Informatica Ed Applicazi. . . , Italy Dsiuf, Italy Georgia Tech, Usa Ludwig-maximilians-universität München, Deutschland Security Engineering Group, Rwth Aachen . . . , Germany Crim, Canada Iit Bombay, India USP, Brazil IST Lisbon, Portugal Plaza International College, Malaysia Institute of Cybernetics, Estonia Tu Muenchen, Germany University of Duisburg-essen, Germany University of Cambridge, Uk Portland State University/inria, France Aalborg University (ciss), Denmark Università Degli Studi Di Napoli ”feder. . . , Italy Indian Institute of Technology, Bombay, India Macquarie University, Australia Liafa - Université Paris Vii, France Ecole Normale Supérieure, France CWI, The Netherlands United Nations University, Macau Sar China University of Lisbon, Portugal University of Twente, The Netherlands Software Engineering Institute, Carnegie. . . , Usa Lsv - Ens Cachan - Cnrs, France Tu Kaiserslautern, Germany Sri International, Usa Department of Computing, Imperial Colleg. . . , Uk Università Di Verona, Italy Tu Graz, Austria Graz University of Technology, Austria Lsv, Cnrs & Ens Cachan, France Universität Des Saarlandes, Germany Tu Graz, Austria The University of Sydney, Australia 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] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] Björn Victor Blaise Genest Bruno Berstel Bruno Marnette Byeongcheol Lee C. R. Ramakrishnan Caniart Nicolas Carolyn Talcott Carsten Kern Carsten Lutz Catalin Dima Cesar Sanchez Cesare Tinelli Charles Pecheur Christian Haack Christophe Fouqueré Christopher Ackermann Christopher Condrat Clara Bertolissi Claude Kirchner Claude Marché Colin Riba Constantin Enea Cristian Versari Cristiano Calcagno Cécile Hardebolle Cédric Meuter Damiano Zanardini Damien Pous Daniel Grund Daniel Hirschkoff Daniel Kroening Daniel Varró David Aspinall David Macqueen David N. Jansen David Pichardie David Rosenblum David Stauch Davide Grohmann Derek Dreyer Derek Mannering Didier Hoareau Dilian Gurov Doaitse Swierstra Dominik Wojtczak Dominique Méry Don Batory Don Sannella Doosan Cho Doron Peled Einar Broch Johnsen Eleonora Sibilio Elisabete Freire Elizabeth Scott Emilie Balland Emina Torlak Emmanuel Fleury Eran Yahav Erez Petrank Eric Rutten Eric Van Wyk Erik Poll Etienne Lozes Ewen Denney Fabio Tirelo Fang Ling Fernando Martins Fernando Orejas Florence Maraninchi Florence Plateau Florent Bouchy Florent Jacquemard Florian Horn Florian Klein Francesco Santini Francesco Tiezzi Francisco Assis Moreira Do Nascimento Franck Van Breugel Uppsala University, Sweden Irisa/cnrs, France Ilog, France Ens de Cachan, France Ut Austin, Usa Stony Brook University, Usa Labri, France Sri International, Usa Rwth University, Germany Tu Dresden, Germany Universite Paris 12, Lacl, France Stanford University, Usa The University of Iowa, Usa Uc Louvain, Belgium Radboud University Nijmegen, Netherlands Lipn - Université Paris 13, France Fraunhofer Usa - Cese, Usa Uofu, Usa Lif-université de Provence, France Loria, France Inria Futurs, France Loria, France Lacl, France & Univ. Iasi, Romania, France University of Bologna, Italy Imperial College London, Uk Supélec, France Université Libre de Bruxelles, Belgique Upm, Spain Ens Lyon, France Saarland University, Germany Ens Lyon, France Eth Zuerich, Switzerland Budapest University of Technology and Ec. . . , Hungary Lfcs ¡- Informatics ¡- Edinburgh, Uk University of Chicago, Usa Rwth Aachen, Software Modelling and Veri. . . , Germany Inria/irisa, France University College London, United Kingdom Verimag, France University of Udine, Italy Toyota Technological Institute At Chicag. . . , Usa Open University, Uk Valoria Lab, France Kth Stockholm, Sweden Utrecht University, The Netherlands University of Edinburgh, Scotland, Uk Université Henri Poincaré & Loria, Vandoeuvre University of Texas At Austin, U.s.a. University of Edinburgh, United Kingdom Seoul National University, Korea Department of Computer Science, Bar Ilan. . . , Israel University of Oslo, Norway Universita’ Degli Studi Di Verona, Italy Universidade dos Açores, Portugal University of London, Royal Holloway, England Loria Inria, France Massachusetts Institute of Technology, United States Labri, Bordeaux-i University, France Ibm Research, Usa Microsoft Research and Technion, Usa Inria Rhone-alpes, France University of Minnesota, Usa Radboud University Nijmegen, Netherlands Lsv, Ens Cachan & Cnrs, France Riacs / Nasa Ames, Usa Universidade do Minho, Portugal Department of Mathematical and Computing. . . , Japan University Minho/portugal, Portugal Upc - Barcelona, Spain Verimag / Inpgrenoble, France Lri - Inria, France Lsv - Cnrs & Ens Cachan, France Inria Futurs & Lsv-ens de Cachan, France Rwth - Aachen, France University of Paderborn, Germany Imt - Lucca, Italy Università Di Firenze, Italy Ufrgs/brazil, Brazil York University, 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] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [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] Franco Raimondi Francois Laroussinie Franjo Ivancic Frank De Boer Franz Weber Franz Wotawa Frederic Blanqui Frédéric Besson Frédéric Herbreteau Gabriel Kalyon Gabriele Taentzer Ganesan Ramalingam George Edwards George Kuan Gerald Luettgen German Puebla Ghassan Oreiby Gianfranco Ciardo Gianluigi Zavattaro Gilles Barthe Govindarajan Ramaswamy Graham Steel Gregor Goessler Gregory Batt Grigore Rosu Grégoire Sutre Guillaume Brat Gérard Boudol Günter Graw Han Gao Harmen Kastenberg Hartmut Ehrig Hayssam Soueidan Helmut Seidl Herbert Wiklicky Hermann Lehner Hillel Kugler Holger Hermanns Hongseok Yang Horst Schmidt Hubert Comon-lundh Hugo Simões Hugues Citeau Hwansoo Han Ian Thorpe Ichiro Hasuo Igor Walukiewicz Iovka Boneva Itai Segall Ivan Zapreev Jacek Ratzinger Jacob Illum Rasmussen Jacob Thamsborg Jacopo Mantovani Jacques Sakarovitch James Brotherston James Worrell Jan Bosch Jan Cederquist Jan Olaf Blech Jan Tobias Muehlberg Jaroslav Sevcik Jean-francois Raskin Jean-jacques Levy Jean-marie Jacquet Jens Knoop Jeremy Condit Jeremy Sproston Jeroen Fokker Jerome Leroux Jesper Bengtson Jinqing Yu Joel Ouaknine Johann Blieberger John G. Morrisett Jon Whittle Joost-pieter Katoen Josh Berdine Joshua Guttman Ucl, London, Uk Lsv (cnrs, Ens Cachan), France Nec Labs, Usa CWI, Nl Sap Ag, Germany Tug / IST, Austria Inria, France Irisa/inria, France Labri, Bordeaux, France, France Université Libre de Bruxelles, Belgique Universität Marburg, Germany Microsoft Research India, India University of Southern California, Usa University of Chicago, Usa University of York, Uk Universidad Politecnica de Madrid, Spain Lsv - Ens Cachan, France University of California, Riverside, Usa Univ. of Bologna, Italy Inria, France Indian Institute of Science, India University of Edinburgh, Uk Inria Rhône-alpes, France Verimag, France University of Illinois At Urbana-champai. . . , Usa Cnrs / Labri, France Riacs, Usa Inria, France Uni Dortmund, Germany Technical University of Denmark, Denmark University of Twente, The Netherlands Faculty Iv, Germany Labri, France Tu München, Germany Imperial College London, Uk Eth Zurich, Switzerland New York University, Usa Saarland University, Germany Queen Mary, University of London, Uk Universität, Germany Lsv, Ecole Normale Sup. Cachan, France Liacc - Universidade do Porto, Portugal Ilog, France Kaist, Republic Of Korea No Institution, Uk Radboud University Nijmegen, The Netherlands Labri, Cnrs Bordeaux, France University of Twente, Netherlands The Weizmann Institute of Science, Israe. . . , Israel The University of Twente, Netherlands Vienna University of Technology, Austria Aalborg University, Denmark It University of Copenhagen, Denmark University of Genova, Italy Cnrs / Enst, France Imperial College London, Uk Oxford University, England Nokia, Finland IST, Portugal Universitaet Kaiserslautern, Germany University of York, Uk University of Edinburgh, United Kingdom Université Libre de Bruxelles, Belgium Inria Et Msr-inria, France University of Namur, Belgium Tu Vienna, Austria, Austria Uc Berkeley, Usa Universita‘ Di Torino, Italy Utrecht University, Netherlands Cnrs / Labri, France Department of Information Technology, Sweden University of California At Riverside, Usa Oxford University, Uk Tu Vienna, Austria Harvard University - Seas, U.s.a. George Mason University, Usa Computer Science 2, Rwth Aachen, Germany Microsoft Research, Uk The Mitre Corporation, Usa [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] José Barros José Campos José Luiz Fiadeiro José Valença Jozef Gruska Juergen Dingel Jules Villard Julia Padberg Julian Rathke Jun Pang Jurgen Vinju Jácome Cunha Karsten Ehrig Kenneth Knowles Keoncheol Shin Kim Larsen Klaus Dräger Kohei Honda Kohei Suenaga Konrad Slind Krishnendu Chatterjee Kuntal Loya Kyoko Iwasawa Lars Birkedal Laurent Doyen Laurent Mauborgne Lijesh Manjacheri Lijun Zhang Lionel Morel Louis Mandel Lucia Acciai Luis Barbosa Luis Damas Luis Dominguez Luis Pedro Luı́s Caires Madhusudan Parthasarathy Magambo Philipo Magnus Johansson Magnus Myreen Manfred Schmidt-schauss Manuel Barbosa Manuel Hermenegildo Manuela Sobral Marc Aiguier Marc Fisher Marc Galceran Oms Marcelo Santos Marco Carbone Maria Grazia Buscemi Maria João Frade Maria João Varanda Pereira Marian Boldt Mariano Moscato Marie-claude Gaudel Marieke Huisman Mariela Pavlova Mariela Pavlova Mario Berón Mario Mendez Lojo Mariza Bigonha Mark Van Den Brand Mark Woodcock Markus Bach Markus Müller-olm Marlon Dumas Marsha Chechik Martin Berger Martin Elsman Martin Fränzle Martin Leucker Martin Odersky Martins Gills Mary Jean Harrold Masataka Sassa Massimo Bartoletti Massimo Benerecetti Massimo Tivoli Matteo Maffei Dium, Portugal Universidade do Minho, Portugal University of Leicester, Uk José Valença, Portugal Faculty of Informatics, Czech Republik Queen’s University, Canada Lsv, Ens Cachan, Cnrs, France Technische Universität Berlin, Germany University of Southampton, United Kingdom University of Oldenburg, Germany CWI, The Netherlands University of Minho, Portugal University of Leicester, United Kingdom University of California, Santa Cruz, Usa Kaist, Republic Of Korea Aalborg University, Denmark Universität Des Saarlandes, Germany Queen Mary, University of London, Uk University of Tokyo, Japan University of Utah, Usa Uc Berkeley, Usa Microsoft, India Takushoku University, Japan It University of Copenhagen, Denmark Epf Lausanne, Switzerland École Normale Supérieure, France University of Minnesota, Usa University of Saarland, Germany Inria - Irisa, France Inria Rocquencourt, France Lif - Université de Provence, Marseille, France Univ. Minho, Portugal Liacc-up-pt, Portugal I. S. Técnico, Portugal Computer Science Department, University . . . , Switzerland Universidade Nova de Lisboa, Portugal Uiuc, Usa, Usa Gonek Enterprises, Tanzania Department of Information Technology, Sweden University of Cambridge, Uk Computer Science; Uni Frankfurt, Germany Di - Universidade do Minho, Portugal Universidad Politecnica de Madrid, Spain University of Coimbra, Portugal University of Evry, France University of Nebraska, United States Of America Universitat Politècnica de Catalunya, Spain Malardalan University, Sweden Imperial College London, United Kingdom Imt Lucca, Italy Universidade do Minho, Portugal Instituto Politécnico de Bragança, Portugal University of Kiel, Germany Universidad de Buenos Aires, Argentina Lri, Univ. Paris-sud, France Inria Sophia Antipolis, France Inria, Germany Inria Sophia-antipolis, Germany Universidade do Minho, Portugal University of New Mexico, Usa Ufmg, Brazil Technische Universiteit Eindhoven, The Netherlands Us Dod, Usa University Hagen, Germany Universität Münster, Germany Queensland University of Technology, Australia University of Toronto, Canada Imperial College, Uk It University of Copenhagen, Denmark Dpt. of Cs, Universität Oldenburg, Germany Tu Munich, Germany Epfl, Switzerland Hansabank, Latvia Georgia Institute of Technoloy, Usa Tokyo Institute of Technology, Japan Dip. Informatica - Univ. Pisa, Italy Università Di Napoli ”federico Ii”, Italy University of L’aquila, Italy Saarland University, 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] 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] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] Matthew Dwyer Matthew Hague Matthew Hennessy Matthias Blume Maura Cerioli Max Goldman Michael Batchelder Michael Hinchey Michael Huth Michael Mendler Michail Anastasopoulos Michal Walicki Michel Bidoit Michel Leconte Miguel Pessoa Monteiro Miguel Zamalloa Mihaela Gheorghiu Mihaela Sighireanu Mohamed Lakoh Moshe Vardi Mário Florido Naoki Kobayashi Naoki Yonezaki Natasha Sharygina Nathan Chong Nicolas Halbwachs Nicolas Markey Nicolas Perrin Nigel Horspool Nina Amla Noam Rinetzky Nobuko Yoshida Noomene Ben Henda Nuno Rodrigues Olivier Tardieu Orna Grumberg Oystein Ra Paola Spoletini Paolo Baldan Paritosh Pandya Parosh Abdulla Pascal Raymond Pascale Le Gall Patricia Bouyer Paul Brauner Paul Kelly Paulo Silva Pavel Jezek Pavel Krcal Pavol Cerny Pawel Sobocinski Pedro Vasconcelos Perdita Stevens Peter Müller Peter Szulman Philippe Schnoebelen Pierpaolo Degano Pierre-etienne Moreau Pietro Cenciarelli Pietro Ferrara Quang The Tran Radha Jagadeesan Radu Kopetz Rajkishore Barik Rance Cleaveland Regis Gascon Reiko Heckel Reinhard Wilhelm Ridha Khedri Rob Ennals Robby Findler Roberto Bigonha Roberto Lopez-herrejon Roberto Segala Roberto Zunino Rocco De Nicola Rodrigo Ferreira Roly Perera Romain Robbes University of Nebraska - Lincoln, Usa Oxford University, Uk U of Sussex, Uk Tti Chicago, Usa Disi - Univ. Di Genova, Italy Mit, Usa Mcgill University, Usa Loyola College, Usa Imperial College London, United Kingdom University of Bamberg, Germany Fraunhofer Iese, Germany University of Bergen, Norway Lsv - Cnrs & Ens Cachan, France Ilog, France Fct/new University of Lisbon, Portugal Universidad Complutense, Spain University of Toronto, Canada Liafa University of Paris 7, France Music Maker Entertainment Centre, Sierra Leone Rice University, Usa Universidade do Porto, Portugal Tohoku University, Japan Tokyo Institute of Technology, Japan University of Lugano, Switzerland Arm Ltd., Uk Verimag/cnrs, France Lsv - Ens Cachan & Cnrs, France Ens Lyon, France University of Victoria, Canada Cadence Design Systems, Usa Tel Aviv University, Israel Imperial College London, Uk Department of Information Technology, Sweden Universidade do Minho, Portugal Inria Sophia Antipolis, France Technion, Israel Buskerud University College, Norway Politecnico Di Milano, Italy Universita‘ Di Padova, Italia Tata Institute (tifr), India Uppsala University, Sweden Verimag/cnrs, France University of Evry, France Oxford University, Uk Loria, France Imperial College London, Uk Universidade do Minho, Portugal Charles University In Prague, Czech Republic Uppsala University, Sweden University of Pennsylvania, Usa University of Southampton, United Kingdom Dcc / Fcup, Portugal University of Edinburgh, Uk Eth Zurich, Switzerland Fzi Research Center For Information Tech. . . , Germany Lsv - Cachan, France Dipartimento Di Informatica – U. Pisa, Italia Inria & Loria, France University of Rome - ”la Sapienza”, Italy Ecole Polytechnique Paris, Università C. . . , Paris Labri, Bordeaux, France, France School of Cti, Depaul, Usa Inria & Loria, France Ibm, India University of Maryland, Usa Lsv - Ens Cachan & Cnrs, France University of Leicester, Uk Universität Des Saarlandes, Germany Mcmaster University, Canada Intel Research, Berkeley, Usa University of Chicago, Usa Ufmg, Brazil University of Oxford, England University of Verona, Italy Dip. Informatica - Università Di Pisa, Italy Università Di Firenze, Italy Yale University, Usa Dynamic Aspects, United Kingdom University of Lugano, 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] 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] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] Roman Manevich Roy Grønmo Rugang Xu Rustan Leino Rémi Brochenin Rüdiger Grammes Sabine Broda Sagar Chaki Salem Derisavi Samin Ishtiaq Samir Genaim Samuel Colin Sandra Alves Santosh Nagarakatte Sarah Zennou Saswat Anand Sava Krstic Sebastian Hack Sebastian Kupferschmid Seonggun Kim Sergiy Boroday Shahar Maoz Shaz Qadeer Shin Nakajima Shirley Goldrei Shmuel Katz Shriram Krishnamurthi Shuling Wang Siavash Mir Arabbaygi Sigmund Cherem Sophia Drossopoulou Sotiris Moschoyiannis Stefan Göller Stefan Rieger Stefano Tonetta Stehpen Osei Owusu Steve Kremer Steven Miller Stéphanie Delaune Sylvain Lippi Taeke Kooiker Takuo Watanabe Tarmo Uustalu Tayssir Touili Thierry Massart Thomas Gawlitza Thomas Maibaum Thomas Noll Thomas Schneider Thomas Wies Thorsten Hermes Tijs Van Der Storm Till Mossakowski Timothy Sheard Tingting Han Tiphaine Turpin Tiziana Margaria Tom Chothia Torbjörn Ekman Ugo Montanari Ulrik Nyman Ulrike Ranger Uwe Wolter Viktor Kuncak Vincenzo Ciancia Vittorio Cortellessa Vivek Sarkar Vladimiro Sassone Véronique Cortier Werner M. Dietl Willem-paul De Roever Wolf Zimmermann Xin Zhou Xinyu Feng Yan Jurski Yasuhiko Minamide Yih-kuen Tsay Yoshinobu Kawabe Yu-fang Chen Tel Aviv University, Israel Sintef & Univ. of Oslo, Norway Ucla, United States Microsoft Research, Usa Lsv - Ens de Cachan, France University of Kaiserslautern, Deutschland Liacc-university of Porto, Portugal Software Engineering Institute, Carnegie. . . , Usa Carleton University, Canada Arm, England Universidad Politecnica de Madrid, Spain Loria - Dedale Team, France University of Porto, Portugal Indian Institute of Science, India Cea-list, France Georgia Institute of Technology, Usa Intel Corporation, Usa Ens Lyon, France University of Freiburg, Germany Kaist, Republic Of Korea Crim, Canada The Weizmann Institute of Science, Israel Microsoft Research, Usa National Institute of Informatics, Japan Macquarie University, Australia Technion, Israel Brown University, Usa Minho University, Portugal University of Waterloo, Canada Cornell University, Usa Imperial College London, Uk University of Surrey, United Kingdom Fmi, Germany Rwth Aachen University, Germany University of Lugano, Switzerland Ticbs, Southafrica Lsv, Ens Cachan & Cnrs & Inria, France Rockwell Collins Inc, Usa Loria, France Université de Nice - Cnrs I3s, France CWI, Netherlands Tokyo Institute of Technology, Japan Institute of Cybernetics, Estonia Liafa, Cnrs & Univ. Paris7, France Ulb, Belgium Tum München, Germany Mcmaster University, Canada Rwth Aachen University, Germany University of Jena, Germany, Germany University of Freiburg, Germany Rwth Aachen, Germany Centrum Voor Wiskunde En Informatica (cw. . . , The Netherlands Dfki Lab Bremen, Germany Portland State University, Usa University of Twente, Germany Irisa/université de Rennes 1, France University of Potsdam, Germany CWI, Netherlands Oxford University, United Kingdom University of Pisa, Italy Aalborg University, Denmark Rwth Aachen University, Germany University of Bergen, Norway Epfl, Usa Dipartimento Di Informatica, Università. . . , Italy Universita’ Dell’aquila, Italy Ibm, Usa Southampton, Uk, United Kingdom Loria, Cnrs, France Eth Zurich, Switzerland Department of Computer Science, Germany University of Halle, Germany Ibm China Research Lab, P.r.china Yale University, U.s.a. Liafa, France University of Tsukuba, Japan National Taiwan University, Taiwan Ntt Corporation, Japan 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] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] Yunheung Paek Yuri Gurevich Yuxin Deng Zvonimir Rakamaric Seoul National University, Korea Microsoft Research, Usa Shanghai Jiao Tong University, China University of British Columbia, Canada [email protected] [email protected] [email protected] [email protected]
Documentos relacionados
Applied and Computational Category Theory
uib [email protected]
[email protected]
[email protected]
[email protected]
[email protected]
[email protected]
Abubakar Hassan Kings College London, Uk abu.s.hassan@gmail
Centrum Voor Wiskunde En Informatica, Am. . . , The Netherlands
Lipn, Univ Paris13, France
Lipn - Université Paris 13, France
University of Málaga / Lcc / Gisum, Spain
Fraunhofer Usa - Cese, Usa
...
Applied and Computational Category Theory
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
Ashis...
