From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10115 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Fabio Gadducci Newsgroups: gmane.science.mathematics.categories Subject: 13th International Conference on Graph Transformation (ICGT2020): Call for Papers Date: Thu, 23 Jan 2020 23:23:46 +0100 Message-ID: Reply-To: Fabio Gadducci Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="98578"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Fri Jan 24 15:23:37 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1iuzs1-000PaQ-CW for gsmc-categories@m.gmane-mx.org; Fri, 24 Jan 2020 15:23:37 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:41948) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1iuzq8-0004BV-Bm; Fri, 24 Jan 2020 10:21:40 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1iuzq6-0007Kc-Vo for categories-list@rr.mta.ca; Fri, 24 Jan 2020 10:21:38 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10115 Archived-At: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D 13th International Conference on Graph Transformation ICGT 2020 http://icgt2020.di.unipi.it co-located with STAF 2020, June 22-26 Bergen, Norway =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D 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=3Dicgt2020 = using Springer's = LNCS format (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 = ), the = latter has been accepted as special issue in 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=C3=A4t zu Berlin, Germany) Program Committee ------------------------------------------------------- Paolo Baldan, Universit=C3=A0 degli Studi di Padova, Italy G=C3=A1bor Bergmann, Budapest University of Technology and Economics, = Hungary Paolo Bottoni, Sapienza Universit=C3=A0 di Roma, Italy Andrea Corradini, University of Pisa, Italy Juergen Dingel, Queen=E2=80=98s University Kingston, Ontario, Canada Maribel Fernandez, King=E2=80=99s 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=C3=B6nig, Universit=C3=A4t Duisburg-Essen, Germany Jean Krivine, IRIF (Institut de recherche en informatique fondamentale, = Universit=C3=A9 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=C3=B3noma 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=C3=BCrr, Technische Universit=C3=A4t Darmstadt, Germany Pawel Maria Sobocinski, Taltech Tallinn University of Technology, = Estonia Gabriele Taentzer, Philipps-Universit=C3=A4t Marburg, Germany Matthias Tichy, Universit=C3=A4t Ulm, Germany Uwe Egbert Wolter, University of Bergen, Norway Steffen Zschaler, King=E2=80=99s College London, United Kingdom= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]