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 Drger
Leen Lambers
Lutz Schrder
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 Universitt Berlin, Germany
University Of Salzburg, Austria
Universitt 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
Frdric Herbreteau
Grgoire 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
Jcome 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 Mller
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 Mnchen, 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 Mlaga / 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
Rmi 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
Universitt 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
Universitt 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 Simes
Antoine Meyer
Mrio Florido
Andreas Metzger
Ando Saabas
Andrew Pitts
Ankur Taly
Antnia 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
Bjrn Victor
Frederic Blanqui
Johann Blieberger
Matthias Blume
Bertrand Meyer
Iovka Boneva
Jan Bosch
Grard 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
Ccile Hardebolle
Marsha Chechik
Christopher Ackermann
Gianfranco Ciardo
Claude Kirchner
Carsten Lutz
Claude March
Cdric Meuter
Christopher Condrat
Vittorio Cortellessa
Vronique Cortier
Constantin Enea
Tayssir Touili
Charles Pecheur
C. R. Ramakrishnan
Carolyn Talcott
Damiano Zanardini
Adam Darvas
David Aspinall
Stphanie Delaune
Rocco De Nicola
Salem Derisavi
Davide Grohmann
Werner M. Dietl
Royal Holloway, University Of London, Uk
Ibm Tokyo Research Lab., Japan
Ludwig-maximilians-universitt Mnchen, 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
Suplec, 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]