Applied and Computational Category Theory
Total Page:16
File Type:pdf, Size:1020Kb
Applied and Computational Category Theory Till Mossakowski Dfki Lab Bremen, Germany [email protected] Jiri Adamek Technical University Braunschweig, Germany [email protected] Ana Matos Ist Lisbon, Portugal [email protected] Andrea Corradini Dipartimento Di Informatica, Pisa, Italy [email protected] Paolo Baldan Universita‘ Di Padova, Italia [email protected] Davide Grohmann University Of Udine, Italy [email protected] Dirk Pattinson Imperial College London, Uk [email protected] Dorel Lucanu Uaic, Romania [email protected] Hartmut Ehrig Faculty Iv, Germany [email protected] Emmanuel Okonkwo Ncss, Nigeria [email protected] Fabio Gadducci University Of Pisa, Italy [email protected] Ichiro Hasuo Radboud University Nijmegen, The Netherlands [email protected] Jos´eLuiz Fiadeiro University Of Leicester, Uk jose@fiadeiro.org Julia Padberg Technische Universit¨atBerlin, Germany [email protected] Jochen Pfalzgraf University Of Salzburg, Austria [email protected] Klaus Dr¨ager Universit¨atDes Saarlandes, Germany [email protected] Leen Lambers Softwaretechnik Und Theoretische Informa. , Germany [email protected] Lutz Schr¨oder Univ. Bremen And Dfki-lab Bremen, Germany [email protected] Nelma Moreira Liacc, Portugal [email protected] Narciso Marti-oliet Universidad Complutense De Madrid, Spain [email protected] Fernando Orejas Upc - Barcelona, Spain [email protected] Reiko Heckel University Of Leicester, Uk [email protected] Robert Walters Universit`aDegli Studi Dell’insubria, Italy [email protected] Manuela Sobral University Of Coimbra, Portugal [email protected] Lurdes Sousa Estv, Ip Viseu, Portugal [email protected] Ulrike Prange Technical University Of Berlin, Germany [email protected] F William Lawvere Suny At Buffalo, Usa wlawvere@buffalo.edu Uwe Wolter University Of Bergen, Norway [email protected] Canceled (AVIS) Antoine Meyer Liafa - Universit´eParis Vii, France [email protected] Caniart Nicolas Labri, France [email protected] Fr´ed´eric Herbreteau Labri, Bordeaux, France, France [email protected] Gr´egoire Sutre Cnrs / Labri, France [email protected] Hayssam Soueidan Labri, France [email protected] Jerome Leroux Cnrs / Labri, France [email protected] Babatunde Olanrewaju Aiyegbusi Ken Kenia Engr, Konsult Ltd, Nigeria ken [email protected] Magnus Myreen University Of Cambridge, Uk [email protected] Nelma Moreira Liacc, Portugal [email protected] Quang The Tran Labri, Bordeaux, France, France [email protected] Cesare Tinelli The University Of Iowa, Usa [email protected] Stehpen Osei Owusu Ticbs, Southafrica [email protected] Beyond the Generators: Practical Techniques for Real-World Software Generation Paulo Silva Universidade Do Minho, Portugal paufi[email protected] J´acome Cunha University Of Minho, Portugal [email protected] Lijesh Manjacheri University Of Minnesota, Usa [email protected] Mark Van Den Brand Technische Universiteit Eindhoven, The Netherlands [email protected] Miguel Pessoa Monteiro Fct/new University Of Lisbon, Portugal [email protected] Nelma Moreira Liacc, Portugal [email protected] Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation Juergen Dingel Queen’s University, Canada [email protected] Akihiko Tozawa Ibm Tokyo Research Lab., Japan [email protected] Ando Saabas Institute Of Cybernetics, Estonia [email protected] Emilie Balland Loria Inria, France [email protected] Damiano Zanardini Upm, Spain [email protected].fi.upm.es Adam Darvas Eth Zurich, Switzerland [email protected] David Aspinall Lfcs ¡- Informatics ¡- Edinburgh, Uk [email protected] Davide Grohmann University Of Udine, Italy [email protected] Werner M. Dietl Eth Zurich, Switzerland [email protected] David Pichardie Inria/irisa, France [email protected] Emmanuel Okonkwo Ncss, Nigeria [email protected] Andrea Flexeder Tu Muenchen, Germany fl[email protected] Thomas Gawlitza Tum M¨unchen, Germany [email protected] Gilles Barthe Inria, France [email protected] German Puebla Universidad Politecnica De Madrid, Spain german@fi.upm.es Manuel Hermenegildo Universidad Politecnica De Madrid, Spain herme@fi.upm.es Jaroslav Sevcik University Of Edinburgh, United Kingdom [email protected] Jean-marie Jacquet University Of Namur, Belgium [email protected] Joseph Kiniry University College Dublin, Ireland [email protected] David Macqueen University Of Chicago, Usa [email protected] Mario Mendez Lojo University Of New Mexico, Usa [email protected] Marieke Huisman Inria Sophia Antipolis, France [email protected] Magnus Myreen University Of Cambridge, Uk [email protected] Miguel Zamalloa Universidad Complutense, Spain [email protected].fi.upm.es Nathan Chong Arm Ltd., Uk [email protected] Pierre-etienne Moreau Inria & Loria, France [email protected] Pietro Ferrara Ecole Polytechnique Paris, Universit`aC. , Paris [email protected] Peter M¨uller Eth Zurich, Switzerland [email protected] Pavel Jezek Charles University In Prague, Czech Republic [email protected]ff.cuni.cz Hermann Lehner Eth Zurich, Switzerland [email protected] Theo Ruys University Of Twente, The Netherlands [email protected] Samir Genaim Universidad Politecnica De Madrid, Spain [email protected].fi.upm.es Bernhard Scholz The University Of Sydney, Australia [email protected] Sergiy Boroday Crim, Canada [email protected] Fausto Spoto Universita’ Di Verona, Italy [email protected] Tarmo Uustalu Institute Of Cybernetics, Estonia [email protected] Tiphaine Turpin Irisa/universit´eDe Rennes 1, France [email protected] Shuling Wang Minho University, Portugal [email protected] Yih-kuen Tsay National Taiwan University, Taiwan [email protected] Sixth Workshop on Compiler Optimization Meets Compiler Verification Fang Ling Department Of Mathematical And Computing. , Japan [email protected] Christian Genz University Of Bremen, Germany [email protected] Alan Hu University Of British Columbia, Canada [email protected] Gordon Pace University Of Malta, Malta [email protected] Geoff Hamilton Dublin City University, Ireland [email protected] Franjo Ivancic Nec Labs, Usa [email protected] Jan Olaf Blech Universitaet Kaiserslautern, Germany [email protected] Jens Knoop Tu Vienna, Austria, Austria [email protected] Barbara Jobstmann Graz University Of Technology, Austria [email protected] Christophe Joubert University Of M´alaga / Lcc / Gisum, Spain [email protected] Paritosh Pandya Tata Institute (tifr), India [email protected] Masataka Sassa Tokyo Institute Of Technology, Japan [email protected] Wolf Zimmermann University Of Halle, Germany [email protected] European Joint Conferences on Theory And Practice of Software Akinfala Tope University Of Ibadan, Nigeria uib [email protected] Aleksy Schubert Institute Of Informatics, Poland [email protected] Andrew Tolmach Portland State University/inria, France [email protected] Bernd Finkbeiner Universit¨atDes Saarlandes, Germany fi[email protected] Michel Bidoit Lsv - Cnrs & Ens Cachan, France [email protected] R´emiBrochenin Lsv - Ens De Cachan, France [email protected] Hugues Citeau Ilog, France [email protected] Daniel Grund Saarland University, Germany [email protected] Derek Mannering Open University, Uk [email protected] Didier Hoareau Valoria Lab, France [email protected] Doosan Cho Seoul National University, Korea [email protected] Fang Ling Department Of Mathematical And Computing. , Japan [email protected] Florian Horn Rwth - Aachen, France [email protected] Frank De Boer Cwi, Nl [email protected] Franz Weber Sap Ag, Germany [email protected] Hubert Comon-lundh Lsv, Ecole Normale Sup. Cachan, France [email protected] Holger Hermanns Saarland University, Germany [email protected] Bruno Berstel Ilog, France [email protected] Jeroen Fokker Utrecht University, Netherlands [email protected] Juergen Dingel Queen’s University, Canada [email protected] Pascale Le Gall University Of Evry, France [email protected] Michel Leconte Ilog, France [email protected] Luis Barbosa Univ. Minho, Portugal [email protected] Marc Fisher University Of Nebraska, United States Of America mfi[email protected] Fernando Martins University Minho/portugal, Portugal [email protected] Mariza Bigonha Ufmg, Brazil [email protected] Popoola Olamide Nil, Nigeria uib [email protected] Oyemonlan Mary Magdalene Nil, Nigeria uib [email protected] Oystein Ra Buskerud University College, Norway [email protected] Paulo Silva Universidade Do Minho, Portugal paufi[email protected] Pierpaolo Degano Dipartimento Di Informatica – U. Pisa, Italia [email protected] Roberto Bigonha Ufmg, Brazil [email protected] Shirley Goldrei Macquarie University, Australia [email protected] Taeke Kooiker Cwi, Netherlands [email protected] Till Mossakowski Dfki Lab Bremen, Germany [email protected] Timothy Sheard Portland State University, Usa [email protected] Ulrike Ranger Rwth Aachen University, Germany [email protected] Wise Kwabla Hormeku Saga Academy And Computer Training Centr. , Ghana [email protected] Reinhard Wilhelm Universit¨atDes Saarlandes, Germany [email protected] Xinyu Feng Yale University, U.s.a. [email protected] Ahmed Bouajjani Liafa, University Of Paris 7, France [email protected] Lucia Acciai Lif - Universit´eDe Provence, Marseille, France [email protected] Ana Cristina Vieira De Melo