January 2020 - Categories - categories.org.au

Re: "First" use of 'Category theory' to describe our field
by David Roberts 24 Feb '24

24 Feb '24

Dear Ross, no, that's pretty good! It's mildly surprising that it took ~20 years for the name to 'stick', but maybe less so given that the field grew slowly to start. Thanks, David David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com On Thu, 11 Jul 2019 at 08:21, Ross Street <ross.street(a)mq.edu.au> wrote: > > Dear David > > From memory, the Pure Mathematics Honours (USyd) course that Max Kelly taught in 1965 > was called ``Category Theory''. It concentrated on different kinds of morphisms > and factorizations in a category, and finished with adjoint functors. > Also John Gray's (UIllinois) 1968-69 graduate course had that name. > > From Eilenberg I heard that each person using categories should have their own category of expertise. > I told this to John Gray who said that was fine; the time had come for that category to be Cat. > > I would suggest that the first category theorists to think of themselves as such were Eilenberg's students at Columbia. > However, Mac Lane was definitely a category theorist. > > This is probably not the verifiable stuff you were seeking. > > Ross > > > On 10 Jul 2019, at 10:01 PM, David Roberts <droberts.65537(a)gmail.com> wrote: > > Hi all, > > the (idle) question is: when did the phrase 'category theory' catch on > for the field? Clearly it didn't leap from either of the heads of > Eilenberg or Mac Lane full-grown, since they used the phrase 'General > theory of natural equivalences'. There are the old 'Reports of the > Midwest Category Seminar' lecture notes (the first in 1967), which > hints that 'category theory' wasn't quite the name in use. > > Even more interesting: who was the first "category theorist", by that name? > > Answers referring to verifiable sources would be best. > > Thoughts? > > David > > > > David Roberts > Webpage: https://ncatlab.org/nlab/show/David+Roberts > Blog: https://thehighergeometer.wordpress.com > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

3 4

MFPS 2nd call for papers - now with speaker info
by Patricia Johann 01 Feb '20

01 Feb '20

Second CALL FOR PAPERS: MFPS XXXVI https://www.monoidal.net/paris2020/mfps/ Thirty-sixth Conference on the Mathematical Foundations of Programming Semantics University of Paris Saclay, France June 2-6, 2020 Co-located with QPL 2020 ====================================================================== March 30, 2020: Abstract Submission April 3, 2020: Paper Submission May 8, 2020: Notification May 22, 2020: Final Papers Deadline All dates AoE ====================================================================== The 36th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2020) takes place at University of Paris Saclay, France, June 2???6, 2020. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. ---------------------------------------------------------------------- INVITED SPEAKERS & SPECIAL SESSIONS: As in previous years, MFPS will have several invited speakers and special session highlighting areas within programming languages semantics. We are pleased to announce the following invited speakers and organizers of special sessions: Gilles Barthe (IMDEA) - plenary speaker Christine Tasson (Paris VII) - plenary speaker Special session on Probabilistic programming languages ----- Dexter Kozen (Cornell) - plenary speaker Fredrik Dahlqvist (London) Ohad Kammar (Edinburgh) Radu Mardare (Strathclyde) Valeria Vignudelli (Lyon) Special session on Quantum programming - joint with QPL ----- Alexandre Miquel (Montevideo) - plenary speaker Pierre Clairambault (Lyon) Claudia Faggian (Paris VII) Vladimir Zamdzhiev (Nancy) ---------------------------------------------------------------------- SUBMISSIONS: Submissions should be prepared using the ENTCS Macros (available from http://www.entcs.org) and should be up to 12 pages long excluding bibliography and appendices. Submissions will be via EasyChair: https://easychair.org/conferences/?conf=mfps20 ---------------------------------------------------------------------- PROCEEDINGS: There will be a preliminary proceedings of the conference papers that will be distributed at the meeting, with a final proceedings published in ENTCS after the meeting. ---------------------------------------------------------------------- PROGRAMME COMMITTEE: Danel Ahman (University of Ljubljana) Andrej Bauer (University of Ljubljana) Stephen Brookes (Carnegie Mellon University) Ugo Dal Lago (University of Bologna & INRIA Sophia Antipolis) Dan Ghica (University of Birmingham) Pierre Hyvernat (Universite Savoie Mount Blanc) Mauro Jaskelioff (Universidad Nacional de Rosario) Patricia Johann (Appalachian State University) - Chair Achim Jung (University of Birmingham) Barbara Koenig (Universitaet Duisburg-Essen) Dexter Kozen (Cornell University) Neel Krishnaswami (Cambridge University) Catherine Meadows (NRL) Mike Mislove (Tulane University) Joel Ouaknine (MPI-SWS) Prakash Panangaden (McGill University) Dirk Pattinson (Australian National University) Maciej Pirog (University of Wroclaw) Peter Selinger (Dalhousie University) Alexandra Silva (University College London) Kristina Sojakova (Cornell University) Ana Sokolova (University of Salzburg) Sam Staton (University of Oxford) Tarmo Uustalu (Reykjavik University) ---------------------------------------------------------------------- STEERING COMMITTEE: The steering committee of the MFPS series consists of Andrej Bauer (Ljubljana), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Max Planck) and Prakash Panangaden (McGill). ---------------------------------------------------------------------- LOCAL ORGANIZERS: Pablo Arrighi (AMU & INRIA) Shane Mansfield (Sorbonne) Beno??t Valiron (University of Paris Saclay) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Pre-announcement for Visiting Assistant Professorship(s)
by Nick Gurski 01 Feb '20

01 Feb '20

Apologies to anyone seeing this more than once. The Case Western Reserve University Department of Mathematics, Applied Mathematics and Statistics will soon be advertising at least one and hopefully up to three Visiting Assistant Professorship(s). These positions will be for one year initially, with the possibility for renewal subject to departmental needs and budgetary approval. I strongly encourage anyone working in category theory, algebraic topology, or related subjects to apply. If you have any questions, feel free to contact me. Nick [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

EPIT 2020: Spring School on Homotopy Type Theory (second announcement)
by nicolas tabareau 30 Jan '20

30 Jan '20

==================================================================== Spring School on Theoretical Computer Science (EPIT) – Homotopy Type Theory Ile d’Oléron, CAES CNRS La vieille Perrotine, France. 25th-29th May 2020 https://epit2020cnrs.inria.fr <https://epit2020cnrs.inria.fr/> ==================================================================== The EPIT is a French thematic school proposing, on an yearly basis, an intensive 5-day long training, specializing on a particular topic in theoretical computer science. It is primarily addressed to PhD students, Post-doctoral researchers and junior academics. The 2020 edition of the EPIT will be centered around Homotopy Type Theory, a research topic at the junction of Computer Science and Mathematics. Our hope is hence to provide an introduction that is accessible to researchers in both areas. Pre-registration is now open, please visit https://epit2020cnrs.inria.fr/registration/ <https://epit2020cnrs.inria.fr/registration/> to know more. For any question, please contact epit2020(a)sciencesconf.org NB: As the number of places is limited, we have fixed a deadline for pre-registration to ** March 15, 2020 **. -------------------------------------------------------------------- Lecturers Andrej Bauer (Ljubljana University): Introduction to Homotopy Type Theory Bas Spitters (Aarhus University): The Coq-HoTT library Andy Pitts (Cambridge University): Models of (Univalent) Type Theory Anders Mörtberg (Stockholm University): Cubical Type Theory Guillaume Brunerie (Stockholm University): Synthetic Homotopy Theory [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TYPES and ITRS - Call for participation
by Ugo de Liguoro 28 Jan '20

28 Jan '20

Apologies for multiple recipiens ============================== --------------------------------------------------------------------- Call For Participation to TYPES 2020 --------------------------------------------------------------------- ================================================== 26th INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS 2020 ================================================== https://types2020.di.unito.it Turin, Italy, TYPES 2-5 March and ITRS 6 March 2020 The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. We host talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. The EUTypes Cost Action CA15123 (eutypes.cs.ru.nl) focuses on the same research topics as TYPES and partially sponsors the TYPES Conference: Part of the program is organised under the auspices of EUTypes. INVITED SPEAKERS * Ulrik Buchholtz * Pierre Marie-P?drot * Leonardo de Moura * Sara Negri The ITRS 2020 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Topics include, but are not limited to: ??? Formal properties of systems with intersection types. ??? Results for related systems, such as union types, refinement types, or singleton types. ??? Applications to lambda calculus, pi-calculus and similar systems. ??? Applications for programming languages, program analysis, and program verification. ??? Applications for other areas, such as database query languages and program extraction from proofs. ??? Related approaches using behavioural/intensional types and/or denotational semantics to characterize ??? computational properties. ??? Quantitative refinements of intersection types. Invited Speaker - Jeremy Siek (Indiana University Bloomington) Registration form: https://types2020.di.unito.it/registration.html Early registration: 12th February CONTACT Ugo de'Liguoro Email: ugo.deliguoro(a)unito.it -- Ugo de'Liguoro Associate Professor of Computer Science Dipartimento di Informatica Universit? di Torino Corso Svizzera 185, 10149, Torino, Italy [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD candidate
by Benno van den Berg 28 Jan '20

28 Jan '20

Dear all, The ILLC (part of the University of Amsterdam) is looking for an excellent PhD candidate who is interested in conducting research in an area within the ILLC that fits naturally in the Faculty of Science. The add can be found here: http://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/11506/PhD-cand… Candidates who are interested in category theory and (homotopy) type theory should feel free to contact me before applying. Deadline: 17 February 2020. Best wishes, Benno [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

First CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2020)
by Martha Lewis 25 Jan '20

25 Jan '20

[with apologies for cross-posting] CALL FOR PAPERS Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences https://sites.google.com/view/semspace2020/home <https://sites.google.com/view/semspace2020/home> Co-located with ESSLLI 2020 (https://www.esslli.eu/ <https://www.esslli.eu/>) August 8th and 9th 2020 Utrecht, The Netherlands **** AIMS AND SCOPE Vector embeddings of word meanings have become a mainstream tool in large scale natural language processing tools. The use of vectors to represent meanings in semantic spaces or feature spaces is also employed in cognitive science. Unrelated to natural language and cognitive science, vectors and vector spaces have been extensively used as models of physical theories and especially the theory of quantum mechanics. Crucial similarities between the vector representations of quantum mechanics and those of natural language are exhibited via bicompact linear logic and compact closed categorical structures in natural language. Exploiting the common ground provided by vector spaces, the proposed workshop will bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas. The interplay between these three disciplines will foster theoretically motivated approaches to understanding how meanings of words interact with each other in sentences and discourse via grammatical types, how they are determined by input from the world, and how word and sentence meanings interact logically. Topics of interest include (but are not restricted to): Reasoning in semantic spaces Compositionality in semantic spaces and conceptual spaces Conceptual spaces in linguistics and natural language processing Applications of quantum logic in natural language processing and cognitive science Modelling functional words such as prepositions and relative pronouns in compositional distributional models of meaning Diagrammatic reasoning for natural language processing and cognitive science Modelling so-called ‘non-compositional’ phenomena such as metaphor SPECIAL SESSION We will have a special session on the relevance of formal grammar methods in deep learning and other statistical and vector space approaches to language. Examples of phenomena where these methods come into play include (but of course are not limited to) anaphora resolution, long-range filler-gap dependencies, function-argument relations, locality domains, and syntactic structures in general. This session is organised jointly with the Formal Grammar conference (http://fg.phil.hhu.de/2020/ <http://fg.phil.hhu.de/2020/>) SUBMISSIONS: There are *two separate routes* for submission: either to the Formal Grammar shared session or to the main SEMSPACE workshop. Submission to the shared session with Formal Grammar should adhere to the submission guidelines at http://fg.phil.hhu.de/2020/#Submission_Details <http://fg.phil.hhu.de/2020/#Submission_Details>. Note that the deadline for the special session is 15th March 2020. Submission to the main SEMSPACE workshop: Electronic submission of original contributions (up to 16 pages) of previously unpublished work. Submission of substantial, albeit partial results of work in progress is welcomed. Extended abstracts (3 pages) of previously published work that is recent and relevant to the workshop. These should include a link to a separately published paper or preprint. Contributions should be submitted at: https://easychair.org/conferences/?conf=semspace2020 <https://easychair.org/conferences/?conf=semspace2020> A special issue of selected extended papers will be prepared following the workshop. Only original contributions will be considered for publication. Please send any queries to semspace2020(a)easychair.org <mailto:semspace2020@easychair.org> IMPORTANT DATES: Paper submission to shared session with Formal Grammar: 15th March 2020 Paper submission to SEMSPACE main workshop: 24th April 2020 Notification to contributors (SEMSPACE main workshop): 1st June 2020 Workshop dates: 8th-9th August 2020 SPEAKERS TBC PROGRAMME COMMITTEE Bob Coecke, University of Oxford Stefano Gogioso, University of Oxford Giuseppe Greco, Utrecht University Peter Gärdenfors, Lund University Helle Hvid Hansen, Delft University of Technology Jules Hedges, Max Planck Institute for Mathematics in the Sciences Peter Hines, University of York Alexander Kurz, Chapman University Antonio Lieto, University of Turin, Department of Computer Science Dan Marsden, University of Oxford Michael Moortgat, Utrecht University Richard Moot, CNRS (LIRMM) & University of Montpellier Dusko Pavlovic, University of Hawaii Emmanuel Pothos, City University London Matthew Purver, Queen Mary University of London Mehrnoosh Sadrzadeh, University College London Giovanni Sileno, University of Amsterdam Pawel Sobocinski, Tallinn University of Technology Oriol Valentín, Universitat Politècnica de Catalunya Dominic Widdows, Grab Geraint Wiggins, Vrije Universiteit Brussel / Queen Mary University of London Frank Zenker, Lund University ORGANIZATION COMMITTEE Martha Lewis, ILLC, University of Amsterdam Michael Moortgat, Utrecht University [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

MSC2020
by Steve Lack 25 Jan '20

25 Jan '20

Readers of this list may be interested to know that in the new MSC2020 subject classification, section 18, category theory and homological algebra, has had some significant changes. You can find the full list here https://zbmath.org/classification/ Personally, I think it reflects the current state of our subject rather better than the previous version, and I?m grateful to everyone who was involved. No doubt it will continue to evolve in the future. Steve Lack. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020
by Sadrzadeh, Mehrnoosh 24 Jan '20

24 Jan '20

Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020 Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information (http://www.folli.info/?page_id=74) with financial support of the E.W. Beth Foundation (https://www.knaw.nl/en/awards/funds/evert-willem-beth-stichting/evert-wille…) Nominations are now invited for the best dissertation in these areas resulting in a Ph.D. degree awarded in 2019. The deadline for nominations is the 15th of April 2020. Qualifications: - A dissertation is eligible for the Beth Dissertation Prize 2020, if the Ph.D. degree has been awarded in Logic, Language, or Information between January 1st and December 31st, 2019. - There are no restrictions on the nationality, ethnicity, age, gender or employment status of the author of the nominated dissertation, nor on the university, academic department or scientific institution formally conferring the Ph.D. degree, nor on the language in which the dissertation has originally been written. - In accordance with the aim of the Beth Foundation to continue and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on current topics in philosophical and mathematical logic, computer science logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language and cognition. Dissertations with results more broadly impacting various research areas in their interdisciplinary investigations are especially solicited. - If a nominated dissertation has originally been written in a language other than English, its dossier should still contain the required 10 page English abstract, see below. If the committee decides that a nominated dissertation in a language other than English requires translation to English for proper evaluation, the committee can transfer its nomination to the competition in 2021. The English translation must in such cases be submitted before the deadline of the call for nominations in 2021. The committee may recommend the Beth Foundation to consider supporting such nominated dissertations for English translation, upon request by the author of the dissertation. The prize consists of: - a certificate - a donation of 3000 euros, provided by the E.W. Beth Foundation - an invitation to submit the dissertation, possibly after revision, for publication in FoLLI Publications on Logic, Language and Information (Springer). Only digital submissions are accepted, without exception. Hard copy submissions are not allowed. The following documents are to be submitted in the nomination dossier: - The original dissertation in pdf format (ps/doc/rtf etc. not acceptable). - A ten-page English abstract of the dissertation, presenting the main results of each chapter. - A letter of nomination from the dissertation supervisor, which concisely describes the scope and significance of the dissertation, stating when the degree was officially awarded and the members of the Ph.D. committee. Nominations should contain the address, phone and email details of the nominator. - Two additional letters of support, including at least one from a referee not affiliated with the academic institution that awarded the Ph.D. degree, nor otherwise related to the nominee (e.g. former teachers, supervisors, co-authors, publishers or relatives) or the dissertation. - Self-nominations are not possible. All pdf documents must be submitted electronically, as one zip file, via EasyChair by following the link https://easychair.org/conferences/?conf=bdp2020. In case of any problems with the submission one should contact the chair of the committee Mehrnoosh Sadrzadeh (m.sadrzadeh(a)ucl.ac.uk) The prize will be awarded by the chair of the FoLLI board at a ceremony during the 32nd ESSLLI summer school in University of Utrecht, August 3-14, 2020. Beth dissertation prize committee 2020: Maria Aloni (University of Amsterdam) Alexander Clark(Kings College London) Cleo Condoravdi (Stanford University) Robin Cooper (University of Gothenburg) Guy Emerson (University of Cambridge) Katrin Erk (University of Texas at Austin) Arash Eshghi (Hariot-Watt University) Sujata Ghosh (ISI, Chennai) Davide Grossi (University of Groningen and University of Amsterdam) Chris Haase (University College London) Aurelie Herbelot (University of Trento) Louise McNally (Universitat Pompeu Fabra Barcelona) Reinhard Muskens (University of Amsterdam) Laura Rimmell (Deep Mind) Mehrnoosh Sadrzadeh (University College London, chair) Mark Steedman (University of Edinburgh) Matthew Stone (Rutgers) Jouko Väänänen (University of Helsinki) Noam Zeilberger (Ecole Polytechnique) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

13th International Conference on Graph Transformation (ICGT2020): Call for Papers
by Fabio Gadducci 24 Jan '20

24 Jan '20

======================================================= 13th International Conference on Graph Transformation ICGT 2020 http://icgt2020.di.unipi.it <http://icgt2020.di.unipi.it/> co-located with STAF 2020, June 22-26 Bergen, Norway ======================================================= Aims and Scope ------------------------------------------------------- The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space graphs, control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights. The International Conference on Graph Transformation aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and to leeway for new ideas. The 13th International Conference on Graph Transformation (ICGT 2020) will be held in Bergen, Norway, as part of STAF 2020 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EATCS and IFIP WG 1.3. Proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Topics of Interest ------------------------------------------------------- In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of ICGT 2020 encourages all kinds of contributions related to graphs and graph transformation, either from a theoretical point of view or a practical one. Topics of interest include, but are not limited to the following subjects: - General models of graph transformation (e.g. adhesive categories and hyperedge replacement systems) - Analysis and verification of graph transformation systems - Graph theoretical properties of graph languages - Automata on graphs and parsing of graph languages - Logical aspects of graph transformation - Computational models based on graphs - Structuring and modularization of graph transformation - Hierarchical graphs and decomposition of graphs - Parallel, concurrent, and distributed graph transformation - Term graph and string diagram rewriting - Petri nets and other models of concurrency - Business process models and notations - Bigraphs and bigraphical reactive systems - Graph databases and graph queries - Model-driven development and model transformation - Model checking, program analysis and verification, simulation and animation - Syntax, semantics and implementation of programming languages, including domain-specific and visual languages - Graph transformation languages and tool support - Efficient algorithms (e.g. pattern matching, graph traversal, network analysis) - Applications and case studies in software engineering (e.g. software architectures, refactoring, access control, and service-orientation) - Applications to computing paradigms (e.g. bio-inspired, quantum, ubiquitous, and visual) Important Dates ------------------------------------------------------- Abstract submission: February 21, 2020 Paper submission: February 28, 2020 Notification: April 10, 2020 Camera-ready: May 01, 2020 Conference: June 22-26, 2020 Submission Guidelines ------------------------------------------------------- Papers can be submitted at http://www.easychair.org/conferences/?conf=icgt2020 <http://www.easychair.org/conferences/?conf=icgt2020> using Springer's LNCS format (http://www.springer.com/lncs <http://www.springer.com/lncs>). For regular and tool demonstration papers, simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The page limits are strict and include references. Papers are solicited in three categories: - Regular papers (limited to 16 pages in Springer LNCS format) describe innovative contributions and are evaluated with respect to their originality, significance, and technical soundness. We also solicit case studies describing applications of graph transformation in any application domain. Additional material intended for reviewers but not for publication in the final version may be included in a clearly marked appendix. - Tool presentation papers (limited to 8 pages in Springer LNCS format) demonstrate the main features and functionality of graph-based tools. A tool presentation paper may have an appendix with a detailed demo description (up to 4 pages), which will be reviewed but not included in the proceedings. - New ideas papers (limited to 2 pages in Springer LNCS format) report on relevant contributions to the theory or applications of graph transformation, which may have been published (or accepted for publication) in a peer-reviewed conference other than ICGT, as a book chapter or journal article since 2018. Papers in this category will be selected for presentation at the conference according to their relevance to the graph transformation community, and they will be considered for the special issues. Submissions will consist of a 2-page abstract. In case of extended abstracts of published papers, the submission must refer to the published paper and include the original paper in PDF. Special Issues ------------------------------------------------------- We are pleased to confirm two special issues for ICGT2020, devoted to the theoretical and application-oriented sides of the conference, respectively. The former is going to appear in Theoretical Computer Science (https://www.journals.elsevier.com/theoretical-computer-science <https://www.journals.elsevier.com/theoretical-computer-science>), the latter has been accepted as special issue in Science of Computer Programming (https://www.journals.elsevier.com/science-of-computer-programming <https://www.journals.elsevier.com/science-of-computer-programming>). Keynote Speaker ------------------------------------------------------- TBA Program Chairs ------------------------------------------------------- Fabio Gadducci (University of Pisa, Italy) Timo Kehrer (Humboldt-Universität zu Berlin, Germany) Program Committee ------------------------------------------------------- Paolo Baldan, Università degli Studi di Padova, Italy Gábor Bergmann, Budapest University of Technology and Economics, Hungary Paolo Bottoni, Sapienza Università di Roma, Italy Andrea Corradini, University of Pisa, Italy Juergen Dingel, Queen‘s University Kingston, Ontario, Canada Maribel Fernandez, King’s College London, United Kingdom Holger Giese, Hasso-Plattner-Institut Potsdam, Germany Reiko Heckel, University of Leicester, United Kingdom Thomas Hildebrandt, University of Copenhagen, Denmark Wolfram Kahl, McMaster University, Canada Barbara König, Universität Duisburg-Essen, Germany Jean Krivine, IRIF (Institut de recherche en informatique fondamentale, Université de Paris), France Leen Lambers, Hasso-Plattner-Institut Potsdam, Germany Yngve Lamo, Western Norway University of Applied Sciences Bergen, Norway Juan de Lara, Universidad Autónoma de Madrid, Spain Detlef Plump, University of York, United Kingdom Arend Rensink, University of Twente Enschede, Netherlands Leila Ribeiro, Federal University of Rio Grande do Sul (UFRGS) Porto Alegre, Brazil Andy Schürr, Technische Universität Darmstadt, Germany Pawel Maria Sobocinski, Taltech Tallinn University of Technology, Estonia Gabriele Taentzer, Philipps-Universität Marburg, Germany Matthias Tichy, Universität Ulm, Germany Uwe Egbert Wolter, University of Bergen, Norway Steffen Zschaler, King’s College London, United Kingdom [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0