DOCSLIB.ORG

ALEXANDRA SILVA Education Employment

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
ALEXANDRA SILVA Education Employment ALEXANDRA SILVA (version of April 14, 2020) Programming Principles, Logic and Verification Group Phone: +44 (0) 20 7679 2000 (UCL main) Dept. of Computer Science +44 7470078481 (mobile) University College London Email: [email protected] Gower Street, London WC1E 6BT, United Kingdom Url: http://www.alexandrasilva.org Year of birth : 1984 Citizenship: Portuguese Languages : Portuguese (Native), English (Fluent), Dutch (Fluent), French (Fluent), Spanish (Basic) Education • PhD in Computer Science, cum laude October 2006 – December 2010 Financed by a personal grant from the Portuguese science foundation (FCT) Degree awarded by the Radboud University Nijmegen Research carried out in the Dutch National Research center for Mathematics and Computer Science (CWI) Thesis title: Kleene Coalgebra Supervisors: Jan Rutten and Marcello Bonsangue • Licenciatura in Mathematics and Computer Science September 2001 – May 2006 Universidade do Minho, Braga, Portugal Final thesis title: Strong Types for Relational Data Stored in Databases or Spreadsheets Final Classification: 19/20 (best average grade among all degrees in the University of Minho) • Socrates/Erasmus student September 2003 – Feb 2004 University of Bristol, United Kingdom Main subjects: Group theory, Data analysis and Computer Graphics • High School September 1995 – Jul 2001 Escola Secundária Fernão de Magalhães, Chaves, Portugal Main subjects: Mathematics, Chemistry, Physics and Geometry Final Classification: 19/20 Employment Full Professor, University College London, United Kingdom. October 2017 – present • Professor of Algebra, Semantics, and Computation. Royal Society Wolfson Fellow (January 2019–December 2023) Senior lecturer, University College London, United Kingdom. September 2015 – September 2017 • Assistant professor, Radboud University, The Netherlands. September 2011 – August 2015 • Tenured since September 2012. Guest researcher at CWI, The Netherlands. September 2011 – August 2015 • Guest researcher at HASLab / INESC TEC, Braga, Portugal. September 2011 – present • Post-doc at CWI, The Netherlands. September 2010 – August 2011 • PhD Student at CWI, The Netherlands. October 2006 – September 2010 • Teaching assistant at University of Minho March 2006 – June 2006 • Researcher at Formal Methods Group, University of Minho. May 2005 – February 2006 • 1 of 23 Teaching assistant at University of Minho October 2004 – June 2005 • Intern at CERN, the European Organization for Nuclear Research July 2004 – September 2004 • Junior Researcher at Calouste Gulbenkian Foundation October 2002 – August 2003 • Visiting positions • Long-term visitor, Simons Institute, Berkeley, CA, USA. January 2021 – April 2021 • Visiting Professor, University Wisconsin-Madison, WI, USA. February 2020 – January 2021 • Visiting scholar, Indiana University, Blomington, IN, USA. July 2015 • Invited researcher, Oxford University, United Kingdom. April – May 2015 • Invited professor, École Normale Superieure de Lyon (Équipe Plume), France. January 2015 • Invited professor, École Normale Superieure de Lyon (Équipe Plume), France. Feb. – March 2014 • Visiting scholar, Indiana University, Blomington, IN, USA. August 2013 • Invited professor, École Normale Superieure de Lyon (Équipe Plume), France. April – May 2013 • Visiting researcher, Cornell University, Ithaca, NY, USA. March – August 2011 • Visiting researcher, Centrum Wiskunde & Informatica, The Netherlands June – September 2006 Research group • PhD students 1. William Smith, 2020 – present (second supervisor, main supervisor: Fredrik Dahlqvist) 2. Jana Wagemaker, 2019 – present. (Joint with Radboud university, main supervisors Marcello Bonsangue and Jurriaan Rot). 3. Elli Anastasiadi, 2019 – present. (Based at Reykjavik university, main supervisors Luca Aceto and Anna Ingolfsdottir). 4. Tao Gu, 2018 – present. (second supervisor, main supervisor: Fabio Zanasi) 5. Stefan Zetzsche, 2018 – present. 6. Gerco van Heerdt, 2016 – present. 7. Tobias Kappe, 2016 – present. 8. Louis Parlant, 2016 – present. 9. Joshua Moerman, PhD 2019 (promotor: Frits Vaandrager, co-promotor: Bas Terwijn). 10. Heidy Khlaaf, PhD 2018 (joint with Nir Piterman). 11. Bram Westerbaan, 2013 – 2014 (promotors: Jan Rutten and Herman Geuvers). 12. Georgiana Caltais, PhD 2013 (promotors: Jan Rutten and Anna Ingolfsdottir; co-promotor: Marcello Bonsangue). 13. Young-Joo Moon, PhD 2011 (promotor: Farhad Arbad; co-promotor: Erik de Vink). • Postdocs 1. Gerco van Heerdt (March 2020 – present). 2. Bas Westerbaan (September 2019 – present). 3. Jurriaan Rot (February 2019 – January 2020, Marie Curie Fellow). 4. Justin Hsu (September 2017 – March 2018). 5. Paul Brunet (January 2017 – October 2018). 2 of 23 6. Fredrik Dahlqvist (July 2016 – January 2019, September 2019 – present). 7. Matteo Sammartino (2015 – 2019). 8. Daniela Petrisan (2014 – 2015). • Master students 1. Gerco van Heerdt, 2015-2016. • Visitors 1. Steffen Smolka, Cornell University, 2017 (three-month visit). 2. Elvira Albert and Albert Rubio, Madrid University, 2017-2018 (six-month visit). 3. Renato Neves, Universidade do Minho, 2016 (one-month visit). 4. Jan Rutten, CWI & Radboud University, 2017 (one-month visit). 5. Joshua Moerman, Radboud University, 2017 (three-month visit). 6. Benjamin Kaminski, Aachen University, 2016-2017 (four-month visit). 7. David Frutos-Escrig, Madrid University, 2016 (two-week visit). 8. Renato Neves, Universidade do Minho, 2016 (one-month visit). 9. Joshua Moerman, Radboud University, 2016 (three-month visit). 10. Renato Neves, Universidade do Minho, 2015 (three-week visit). 11. Konstantinos Mamouras, Cornell University, 2014 (one semester visit). 12. Dexter Kozen, Cornell University, 2014 (one semester visit). 13. Georgiana Caltais, Reykjavik University, 2013 (three-month visit). 14. Louis Parlant, ENS Lyon, 2013 (three-month visit). 15. Jean-Baptiste Jeannin, Cornell University, 2013 (two-week visit). 16. Tomaz Brengos, Warsaw University of Technology, 2013 (two-week visit). 17. Ricardo Oliveira, Minho University, 2013 (one-month visit). 18. Georgiana Caltais, Reykjavik University, 2012 (three-month visit). 19. Dexter Kozen, Cornell University, 2012 (two-month visit). For short-term (less than two-week) visitors, see below. Professional Activities and Service • Invited Speaker 1. WiL 2020, 4th Women in Logic Workshop, 2020. 2. LPAR-23, 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2020. 3. SEN symposium, 6th Dutch national symposium on software engineering, 2020. 4. POPL 2020, Tutorial Fest, 2020. 5. FSTTCS 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019. 6. MFCS 2019, 44th International Symposium on Mathematical Foundations of Computer Sci- ence, 2019. 7. VECoS 2018, 12th International Conference on Verification and Evaluation of Computer and Communication Systems. 8. SYSMICS logic summer school, 2018. 9. CiE 2018, Computability in Europe, 2018. 3 of 23 10. BCTCS 2018, British Colloquium for Theoretical Computer Science, 2018. 11. FSCD 2017, Second International Conference on Formal Structures for Computation and De- duction, 2017. 12. TACL 2017, Topology, Algebra, and Categories in Logic, 2017. 13. LearnAut 2017, First workshop on Learning and Automata, 2017. 14. RAMiCS 2017, 16th International Conference on Relational and Algebraic Methods in Com- puter Science, 2017. 15. Compositionality workshop, Simons Institute Berkeley, 2016. 16. CWI Lectures in honour of Adriaan van Wijngaarden (100th anniversary), 2016. 17. CSL 2016, 25th EACSL Annual Conference on Computer Science Logic, 2016. 18. BLC 2016, British Logic Colloqium, 2016. 19. ICE 2016, 9th Interaction and Concurrency Experience, 2016. 20. WIP 2016, Workshop on Information and processes, 2016. 21. CMCS 2016, 13th International Workshop on Coalgebraic Methods in Computer Science, 2016 (invited tutorial speaker). 22. WoLLIC 2015, 22nd Workshop on Logic, Language, Information and Computation, 2015 (in- vited talk and invited tutorial). 23. TOPDRIM 2015, International School and Conference on Topology and Data, 2015. 24. CONCUR 2015, 26th Conference on Concurrency Theory, 2015. 25. TRENDS 2014, organized by IFIP WG 1.8 on Concurrency Theory, 2014. 26. Thirtieth Conference on the Mathematical Foundations of Programming Semantics, 2014. 27. Workshop in honour of Prakash Panangaden, 2014. 28. 11th Asian Symposium on Programming Languages and Systems, 2013. 29. 9th workshop on Fixed points in Computer Science, 2013. 30. Tenth International Tbilisi Symposium on Language, Logic and Computation, 2013. 31. Doctoral Symposium, University of Porto, 2011. • Editorial boards and executive committees 1. Editorial Board of Mathematical Logic Quarterly. 2. ACM SIGLOG executive committee member (secretary, 2012-2018). 3. Editorial Board of Logical Methods in Computer Science. 4. ACM SIGLOG conference committee chair. 5. Editorial board of the Journal of Logical and Algebraic Methods in Programming, Elsevier (special issues’ editor, 2014-2019). • Steering committees and special interest groups 1. Programming Languages Mentoring Workshop (PLMW, 2018 – present, chair 2020). 2. Logic Mentoring Workshop (LMW, 2016 – present, chair 2017-2020). 3. IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE, 2017 – present) 4. FoPSS summer school series (2016 – present, SIGLOG representative). 5. Annual ACM/IEEE Symposium on Logic In Computer Science (LICS, 2015 – present). 6. International workshop on Coalgebraic
Load more

Recommended publications
  • Relational and Algebraic Methods in Computer Science
    Lecture Notes in Computer Science 6663 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Germany Madhu Sudan Microsoft Research, Cambridge, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbruecken, Germany Harrie de Swart (Ed.) Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011 Rotterdam, The Netherlands, May 30 – June 3, 2011 Proceedings 13 Volume Editor Harrie de Swart Erasmus University Rotterdam Faculty of Philosophy P.O. Box 1738, 3000 DR Rotterdam, The Netherlands E-mail: [email protected] ISSN 0302-9743 e-ISSN 1611-3349 ISBN 978-3-642-21069-3 e-ISBN 978-3-642-21070-9 DOI 10.1007/978-3-642-21070-9 Springer Heidelberg Dordrecht London New York Library of Congress Control Number: Applied for CR Subject Classification (1998): F.4, I.1, I.2.3, D.2.4, D.3.4 LNCS Sublibrary: SL 1 – Theoretical Computer Science and General Issues © Springer-Verlag Berlin Heidelberg 2011 This work is subject to copyright.
    [Show full text]
  • Volume 23 - Issue 2
    IJCCR International Journal of Community Currency Research SUMMER 2019 VOLUME 23 - ISSUE 2 www.ijccr.net IJCCR 23 (Summer 2019) – ISSUE 2 Editorial 1 Georgina M. Gómez Transforming or reproducing an unequal economy? Solidarity and inequality 2-16 in a community currency Ester Barinaga Key Factors for the Durability of Community Currencies: An NPO Management 17-34 Perspective Jeremy September Sidechain and volatility of cryptocurrencies based on the blockchain 35-44 technology Olivier Hueber Social representations of money: contrast between citizens and local 45-62 complementary currency members Ariane Tichit INTERNATIONAL JOURNAL OF COMMUNITY CURRENCY RESEARCH 2017 VOLUME 23 (SUMMER) 1 International Journal of Community Currency Research VOLUME 23 (SUMMER) 1 EDITORIAL Georgina M. Gómez (*) Chief Editor International Institute of Social Studies of Erasmus University Rotterdam (*) [email protected] The International Journal of Community Currency Research was founded 23 years ago, when researchers on this topic found a hard time in getting published in other peer reviewed journals. In these two decades the academic publishing industry has exploded and most papers can be published internationally with a minimal peer-review scrutiny, for a fee. Moreover, complementary currency research is not perceived as extravagant as it used to be, so it has now become possible to get published in journals with excellent reputation. In that context, the IJCCR is still the first point of contact of practitioners and new researchers on this topic. It offers open access, free publication, and it is run on a voluntary basis by established scholars in the field. In any of the last five years, it has received about 25000 views.
    [Show full text]
  • Publications by Gunther Schmidt
    Publications by Gunther Schmidt 2020 | R¨uckblick auf die Anf¨angeder M¨unchner Informatik | Dokumente, Belege, Ver¨offent- lichungen und Erinnerungen von fr¨uhund lange Beteiligten. Die blaue Stunde der Infor- matik. Springer-Vieweg, 2020. viii+200 Seiten, ISBN 978-3-658-28754-2, ISBN 978-3-658- 28755-9 (eBook). https://doi.org/10.1007/978-3-658-28755-9 2019 | with Rudolf Berghammer and Michael Winter. Cryptomorphic topological structures: A computational, relation-algebraic approach. Journal of Logical and Algebraic Methods in Programming 102 (2019), 17{45. https://doi.org/10.1016/j.jlamp.2018. 09.004. 2018 | with Michael Winter. Relational Topology, volume 2208 of Lecture Notes in Mathe- matics. Springer-Verlag, 2018. https://doi.org/10.1007/978-3-319-74451-3 2017 | Partiality III: Observability and dispersion, 2017. In preparation. 2015 | Arranging binary relations nicely | A Guide. Technical Report 2015-01, Fakult¨atf¨ur Informatik, Universit¨atder Bundeswehr M¨unchen, December 2015. https://titurel. org/HandBookPrinted.pdf | A relational view on stochastics. The Festschrift on the occasion of the 60th birthday of Jos´eN. Oliveira, 2015. 2014 | with Michael Winter. Relational Topology. Technical Report 2014-03, Fakult¨atf¨ur Informatik, Universit¨atder Bundeswehr M¨unchen, 76 pages, Nov. 2014. | with Lothar Schmitz. Prof. Friedrich L. Bauer und seine Verbindungen zur Fakult¨at f¨urInformatik | Der Vater der deutschen Informatik. Hochschulkurier der Universit¨atder Bundeswehr, 50, 2014. 10{11. | with Michael Winter. Relational Mathematics Continued. Tech. Rep. 2014- 01, Fakult¨atf¨urInformatik, Universit¨atder Bundeswehr M¨unchen, 45 pages, Apr. 2014. http://arxiv.org/abs/1403.6957.
    [Show full text]
  • Cardinalities of Finite Relations in Coq with Applications Paul Brunet, Damien Pous, Insa Stucke
    Cardinalities of Finite Relations in Coq with Applications Paul Brunet, Damien Pous, Insa Stucke To cite this version: Paul Brunet, Damien Pous, Insa Stucke. Cardinalities of Finite Relations in Coq with Applications. Interative Theorem Proving, Aug 2016, Nancy, France. pp.466-474, 10.1007/978-3-319-43144-4_29. hal-01441262v2 HAL Id: hal-01441262 https://hal.archives-ouvertes.fr/hal-01441262v2 Submitted on 13 Jul 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Cardinalities of Finite Relations in Coq with Applications ∗ Paul Brunet Univ. Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP, UMR 5668 Damien Pous Univ. Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP, UMR 5668 Insa Stucke Institut f¨urInformatik, Christian-Albrechts-Universit¨atzu Kiel, Germany Abstract In this paper we present an extension of a Coq library for relation algebras and related algebraic structures. So far, the library did not provide any tools about the cardinalities of relations. Thus we add an algebraic axiomatisation of cardinalities. Its point-free nature makes it possible to reason about cardinal purely algebraically, which is well-suited for mechanisation. We present several applications, in the area of graph theory and program verification.
    [Show full text]
  • Romanian Civilization Supplement 1 One Hundred Romanian Authors in Theoretical Computer Science
    ROMANIAN CIVILIZATION SUPPLEMENT 1 ONE HUNDRED ROMANIAN AUTHORS IN THEORETICAL COMPUTER SCIENCE ROMANIAN CIVILIZATION General Editor: Victor SPINEI SUPPLEMENT 1 THE ROMANIAN ACADEMY THE INFORMATION SCIENCE AND TECHNOLOGY SECTION ONE HUNDRED ROMANIAN AUTHORS IN THEORETICAL COMPUTER SCIENCE Edited by: SVETLANA COJOCARU GHEORGHE PĂUN DRAGOŞ VAIDA EDITURA ACADEMIEI ROMÂNE Bucureşti, 2018 III Copyright © Editura Academiei Române, 2018. All rights reserved. EDITURA ACADEMIEI ROMÂNE Calea 13 Septembrie nr. 13, sector 5 050711, Bucureşti, România Tel: 4021-318 81 46, 4021-318 81 06 Fax: 4021-318 24 44 E-mail: [email protected] Web: www.ear.ro Peer reviewer: Acad. Victor SPINEI Descrierea CIP a Bibliotecii Naţionale a României One hundred Romanian authors in theoretical computer science / ed. by: Svetlana Cojocaru, Gheorghe Păun, Dragoş Vaida. - Bucureşti : Editura Academiei Române, 2018 ISBN 978-973-27-2908-3 I. Cojocaru, Svetlana (ed.) II. Păun, Gheorghe informatică (ed.) III. Vaida, Dragoş (ed.) 004 Editorial assistant: Doina ARGEŞANU Computer operator: Doina STOIA Cover: Mariana ŞERBĂNESCU Funal proof: 12.04.2018. Format: 16/70 × 100 Proof in sheets: 19,75 D.L.C. for large libraries: 007 (498) D.L.C. for small libraries: 007 PREFACE This book may look like a Who’s Who in the Romanian Theoretical Computer Science (TCS), it is a considerable step towards such an ambitious goal, yet the title should warn us about several aspects. From the very beginning we started working on the book having in mind to collect exactly 100 short CVs. This was an artificial decision with respect to the number of Romanian computer scientists, but natural having in view the circumstances the volume was born: it belongs to a series initiated by the Romanian Academy on the occasion of celebrating one century since the Great Romania was formed, at the end of the First World War.
    [Show full text]
  • Bioceramics: from Concept to Clinic
    Bioceramics: From Concept to Clinic Larry L. Hench* Department of Materials Science and Engineering, University of Florida, Gainesville, Florida 3261 1 Ceramics used for the repair and re- mechanical reliability under load is construction of diseased or damaged still needed. [Key words: bioceramics, parts of the musculo-skeletal sys- structure, dental ceramics, interfaces, tem, termed bioceramics, may be bio- mechanics.] inert (alumina, zirconia), resorbable (tricalcium phosphate), bioactive (hy- droxyapatite, bioactive glasses, and glass-ceramics), or porous for tissue 1. Introduction ingrowth (hydroxyapatite-coated met- MANYmillennia ago, the discovery of als, alumina). Applications include re- human kind that fire would irreversibly placements for hips, knees, teeth, transform clay into ceramic pottery led tendons, and ligaments and repair for eventually to an agrarian society and periodontal disease, maxillofacial re- an enormous improvement in the qual- construction, augmentation and stabi- ity and length of life. Within the last lization of the jaw bone, spinal fusion, four decades another revolution has and bone fillers after tumor surgery. occurred in the use of ceramics to im- Carbon coatings are thromboresistant prove the quality of life. This revolution and are used for prosthetic heart is the innovative use of specially de- valves. The mechanisms of tissue signed ceramics for the repair and re- bonding to bioactive ceramics are be- construction of diseased or damaged ginning to be understood, which can parts of the body. Ceramics used for result in the molecular design of bio- this purpose are termed bioceramics. ceramics for interfacial bonding with Bioceramics can be single crystals hard and soft tissues. Composites are (sapphire), polycrystalline (alumina or being developed with high toughness hydroxyapatite (HA)), glass (Bio- and elastic modulus match with bone.
    [Show full text]
  • Final Call for Papers, with Deadline Extension 14Th International
    Final Call for Papers, with Deadline Extension 14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014) 27 April – 1 May 2014, Marienstatt im Westerwald, Germany http://mathcs.chapman.edu/ramics2014 Invited Speakers Scope C.A.R. Hoare Microsoft Research Cambridge, We invite submissions in the general area of Relational and Algebraic Methods UK in Computer Science. Special focus will lie on formal methods for software engi- Alexander Kurz U. Leicester, UK neering, logics of programs and links with neighbouring disciplines. Particular topics José Nuno Oliveira U. Minho, Portugal of interest for the conference cover, but are not limited to: Algebraic approaches to Important Dates • specification, development, verification, and analysis of programs and algorithms Abstract Deadline: Nov. 1, 2013 • computational logic, in particular logics of programs, modal and dynamic logics, Paper Submission Deadline: Nov. 9, 2013 interval and temporal logics Notification of Acceptance: Dec. 16, 2013 • semantics of programming languages Camera-ready Papers Due: Jan. 17, 2014 Applications in fields such as • relational formal methods such as B or Z, tabular methods Program Committee • information systems Rudolf Berghammer Kiel, Germany • graph theory and combinatorial optimisation Jules Desharnais Laval U., Canada • games, automata and language theory Harrie de Swart Rotterdam, Netherlands • spatio-temporal reasoning, knowledge acquisition Marc Frappier Sherbrooke, Canada • preference and scaling methods, computational
    [Show full text]
  • RAMICS Newsletter #3 – June 2020 2 Table - Some Data on French Lcs As of End 2018
    RAMICS Newsletter #3 RESEARCH ASSOCIATION ON MONETARY INNOVATION AND COMMUNITY AND COMPLEMENTARY MONETARY SYSTEMS June 2020 Editorial Hello members, They have a common characteristic in getting I’m opening this Ramics Newsletter in an academics and practitioners to join forces unprecedented situation in which the vast around actions involving CCS. Below you will majority of the world is still experiencing find information on the Local and Regenerative Covid19 pandemia restrictions. All of us have Economies (Loreco) project, which links CCS to been affected to different degrees and have a basic income and sustainability in Belgium. now adjusted to this different reality, which We also included the details on the Medtown seems to have settled to stay for some time. project, which relates social and solidarity economy initiatives to CCS in six Lockdown measures have seriously affected Mediterranean countries. Some of these the economy, to an extent that we can hardly initiatives were reported in the news by the quantify at this point. Most forecasts indicate a BBC. retraction of the world economy of about 10%. As we know, this blow will not affect everyone We would also like to share news about the and everywhere in the same way and some positioning of CCs in international cooperation. groups and localities are going to see their Barely a year ago the European Innovation livelihoods vanish. Many are wondering when Council published a document on the “100 and how the recovery will look like, and if Radical Innovation Breakthroughs for the humans would have learnt to live with less and future”. A set of interviews with 35 experts in adopt a more sustainable lifestyle.
    [Show full text]
  • Annual Report 2002 Report Annual
    Imprint Messe Frankfurt group at a glance Editors-in-chief Concept and design Andreas Kaster thema communications ag, Klaus Münster-Müller Frankfurt am Main Editorial team Publisher Gabriele Wehrl (managing editor) Messe Frankfurt Medien und Anna-Katharina von Hoff Service GmbH, Frankfurt am Main Claudia Lehning-Berge Ralf Schirrmann Print Dr Michael Sturm Engelhardt & Bauer, Karlsruhe Annual Report 2002 Translation: Paper Jan Wheeler B.A. (Hons) BDÜ, Inside pages: Curtis by Curtis 1.3, 135g/m2 Saarbrücken Cover: Curtis by Curtis 1.3, 360 g/m2 Consolidated group von Römerturm superfine paper g Photography Messe Frankfurt m 2001 2002 Norbert Miguletz Print run: Revenue 318 335 3,000 in two editions Pre-tax profit 40 32 with the exception of the Pre-tax profit margin in % 13 10 photos on pages: Editorial team address: Net profit for the year 28 22 Thomas Fedra: 32, 33 Messe Frankfurt GmbH Balance Sheet Total 701 789 Andreas Klein: 12 left Unternehmenspresse und PR Equity 299 312 Jens Liebchen: 50, 51 Ludwig-Erhard-Anlage 1 Additions to fixed assets 138 43 Messe Frankfurt: 6 60327 Frankfurt am Main Barbara Staubach: 71, 73 Telephone+49 69 75 75-56 25 Amortisation and depreciation 35 45 Helmut Stettin: 12 centre, 42, Telefax: +49 69 75 75-67 60 Cash flow 65 67 46 centre, 49, 52, 57, 58, 59 centre, [email protected] Staff costs 58 63 66 centre, 70, 80, 86 centre, 94, 95, Employees (at 31.12. in each case) 984 1,144 Pietro Sutera: 55 Petra Welzel: 25, 56, 59 right, 63 left and centre Messe Frankfurt GmbH Ludwig-Erhard-Anlage 1 60327 Frankfurt am Main Telephone+49 69 75 75-56 25 Telefax: +49 69 75 75-67 60 www.messefrankfurt.com [email protected] Annual Report 2002 Key ratios at a glance Company ratios Messe Frankfurt group The Messe Frankfurt group conceives, plans and hosts trade fairs and exhibi- tions in Germany and abroad.
    [Show full text]
  • Call for Papers 13Th International Conference on Relational And
    Call for Papers 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13) 17{21 September 2012, Cambridge University, UK http://www.cl.cam.ac.uk/conference/ramics13 Important Dates Scope Abstract Deadline:: April 23, 2012 We invite submissions in the general area of Relational and Algebraic Methods Paper Submission Deadline: April 30, 2012 in Computer Science. Special focus will lie on formal methods for software engi- Notification of Acceptance: June 18, 2012 neering, logics of programs and links with neighbouring disciplines. Particular topics Camera-ready Papers Due: July 10, 2012 of interest for the conference cover, but are not limited to: Conference: Sept. 17{21, 2012 Algebraic approaches to • specification, development, verification, and analysis of programs and algorithms Program Committee • computational logic, in particular logics of programs, modal and dynamic logics, Rudolf Berghammer Kiel, Germany interval and temporal logics Jules Desharnais Laval U., Canada • semantics of programming languages Harrie de Swart Rotterdam, Netherlands Applications in fields such as Marc Frappier Sherbroooke, Canada • relational formal methods such as B or Z, tabular methods Hitoshi Furusawa Kagoshima, Japan • information systems Timothy G. Griffin Cambridge, UK ; Gen. Chair • graph theory and combinatorial optimisation Peter H¨ofner NICTA, Australia • games, automata and language theory Ali Jaoua Doha, Qatar • spatio-temporal reasoning, knowledge acquisition Peter Jipsen Chapman U., USA • preference and scaling methods, computational social choice, social software Wolfram Kahl McMaster U., Canada; PC Chair Larissa Meinicke U. Queensland, Australia Theoretical foundations and supporting tools, including Bernhard M¨oller Augsburg, Germany, • mechanised and automated reasoning, decision procedures Peter O'Hearn Queen Mary U., UK • process algebras, fixed point calculi, idempotent semirings, quantales, allegories Jos´eNuno Oliveira U.
    [Show full text]
  • Call for Papers 15Th International Conference On
    Call for Papers 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2015) 28 September – 1 October 2015, Braga, Portugal http://ramics2015.di.uminho.pt/ Important Dates Scope Abstract Deadline: Mar. 18, 2015 We invite submissions in the general area of Relational and Algebraic Methods in Paper Submission Deadline: Mar. 26, 2015 Computer Science. Special focus will lie on formal methods for software engineering, Notification of Acceptance: Jun. 5, 2015 logics of programs and links with neighbouring disciplines. Particular topics of interest Camera-ready Papers Due: Jul. 10, 2015 for the conference cover, but are not limited to: Algebraic approaches to Program Committee • specification, development, verification, and analysis of programs and algorithms Rudolf Berghammer Kiel, Germany • computational logic, in particular logics of programs, modal and dynamic logics, Jules Desharnais Laval U., Canada interval and temporal logics Marcelo Frias Buenos Aires, Argentina • semantics of programming languages Stephen Givant Mills College, USA Applications in fields such as Hitoshi Furusawa Kagoshima, Japan • Timothy G. Griffin Cambridge, UK relational formal methods such as B, Alloy or Z, tabular methods • Walter Guttmann Canterbury, New Zealand information systems • Robin Hirsch London, UK graph theory and combinatorial optimisation • Peter Höfner NICTA, Australia games, automata and language theory • Ali Jaoua Doha, Qatar spatio-temporal reasoning, knowledge acquisition • Peter Jipsen Chapman U., USA preference and scaling methods, computational social choice, social software Wolfram Kahl McMaster U., Canada Theoretical foundations and supporting tools, including Rodger Maddux Iowa State U., USA • mechanised and automated reasoning, decision procedures Ali Mili NJIT, U. Heights, USA • process algebras, fixed point calculi, idempotent semirings, quantales, allegories Bernhard Möller U.
    [Show full text]
  • Programme of Ramics 12: Monday, May 30, 09:00, Till Friday, June 3, 14:00, 2011
    Programme of RAMiCS 12: Monday, May 30, 09:00, till Friday, June 3, 14:00, 2011 Monday 09:00 - 10:00 Invited lecture: Chris Brink (University of Newcastle), RAMiCS and Research (Chair: Ewa Orlowska) 10:00 Ȃ 10:30 Wolfram Kahl, Dependently-Typed Formalisation of Relation-Algebraic Abstractions 10:30 Ȃ 11:00 break 11:00 Ȃ 12:30 Applications of Relational Methods (Chair: Gunther Schmidt) - Rudolf Berghammer, A Functional, Successor List Based Version of Warshall's Algorithm with Applications - Gerard Michels, Sebastiaan Joosten, Jaap van der Woude and Stef Joosten, Ampersand: Applying Relation Algebra in Practice - ó ǡUsing Bisimulations for Optimality Problems in Model Refinement 12:30 Ȃ 14:00 lunch 14:00 Ȃ 15:30 Invited tutorial: Felix Brandt (CFSC, Technische Universität Munich, Germany), From Arrow's Impossibility to Schwartz's Tournament Equilibrium Set (Chair: Harrie de Swart) 15:30 Ȃ 16:00 break 16:00 Ȃ 17:30 Logic and Social Choice (Chair: Georg Struth) - Ivo ñ ǡAn Algebraic Approach to Preference Relations - Rudolf Berghammer and Stefan Bolus, Demonstration of RelView with applications to social choice 18:00 dinner Tuesday 09:00 - 10:30 Invited tutorial: Georg Struth (Computer Science, University of Sheffield, UK), Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL (Chair: Michael Winter) 10:30 Ȃ 11:00 break 11:00 Ȃ 12:30 Relational Methods (Chair: Peter Höfner) - Rudolf Berghammer, Using Relation Algebra and the BDD-based Tool RelView for Solving Chessboard Problems - Gunther Schmidt, Constructions around
    [Show full text]