From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 864AE5D5 for ; Mon, 20 Jan 2020 20:21:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,343,1574118000"; d="scan'208";a="432270650" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Jan 2020 21:21:38 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 55D697F3D9; Mon, 20 Jan 2020 21:21:38 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 097E27F30F for ; Mon, 20 Jan 2020 21:16:35 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=timo.kehrer@informatik.hu-berlin.de; spf=Pass smtp.mailfrom=timo.kehrer@informatik.hu-berlin.de; spf=None smtp.helo=postmaster@mailout1.informatik.hu-berlin.de IronPort-PHdr: =?us-ascii?q?9a23=3A3HEj2hbcbPT+IEI6mcxsC+b/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrsu5bnLW6fgltlLVR4KTs6sC17OK9fm+EjNZqdbZ6TZeKccKD0dEwe?= =?us-ascii?q?wt3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMYbjZZtJ6or1xfEo3REdu?= =?us-ascii?q?ZLyWh1IV6fgwvw6t2/8ZJ+/Slcoe4t+9JFXa7nY6k2ULtUASg8PWso/sPrrx7D?= =?us-ascii?q?TQWO5nsYTGoblwdDDhbG4h/nQJr/qzP2ueVh1iaUO832Vq00Vi+576h3Uh/oiT?= =?us-ascii?q?wIOCA//WrKl8F/lqNboBampxxi347ZZZyeOfRicq/Be94RWGxMVdtTWSNcGIOx?= =?us-ascii?q?d4sBAfcfM+hboYfyqVQBogexCwS3GOPiySVFimPq0aA00eksFxzN0gw6H9IJtX?= =?us-ascii?q?TZtMv7NKYXUeCy0aLGyCvMb/NM2Tjj8ojDbxcsoe2NXbJ1dsrd00ovGB3FjlWK?= =?us-ascii?q?t4PlJSiY1uULs2iV6OpgT+evhHQ7qwFwoTij3McsipTQio0O1F/E7yF5wIczJd?= =?us-ascii?q?GiVUF0f8epHZ1NvC+UMIt2R9ktQ2BuuCsi1LIJo4W7fSgWx5Qn3RHfauaHf5KP?= =?us-ascii?q?4hL5W+adOSx4hGp/eLK+gRay/lavyvfmWsao11ZKqzJJncfItnAWyRPT9MmHRe?= =?us-ascii?q?Vn/ku7xTmP0AXT5vlZIUAylKrbM58hzqQxlpoPt0nIAyz4mF3ugaOLeUgo5/Kk?= =?us-ascii?q?5/r7brn8uJOQK5V4hhziPqgzgsCzHOo1PwcUU2WV4+iwyaDv8EzjTLlXkvE7ka?= =?us-ascii?q?/Uu43AK8sBvK62GQpV354j6xmhCzem18wVnXwdI1JEfBKHiJXpO03TLPziDPe/?= =?us-ascii?q?hVqskDBxx/DDJLLhHpTNLnvZnLfhYLZx8lVTxxQpzdBb5pJUDKsNL+/tVUPptd?= =?us-ascii?q?zYCAE2MxCszur6B9hxy5kSVXyTDqODLq/erUWE6v8zL+WRfIMVvSzyK/kh5/7g?= =?us-ascii?q?l385nlodcLG13ZsWbXC4Ge5qI0aHbnrsmNcOD30KsxE/TOzshl2CViRTZ3OoUK?= =?us-ascii?q?Ig5zE7C5iqDYfeRoy0m7OOwj27HplXZmBAEFyDDGnne52eW/gQcCKSPtNhkjsc?= =?us-ascii?q?WLe9UYAh0BWuuBb+y7pmNerU5jYVtYnj1dhw/+3cjws+9T1yD8SH0mGCVXt4nm?= =?us-ascii?q?0SR2x+4KcqqkV4zhKH0LNkq/1eD91aof1TASkgMpuJ8+1/DJjRVwLbc83BHEqn?= =?us-ascii?q?R9LgAjwxVN8r694IbUFnHty+jxOF3zfvCbIPk72NQpA5pPGPl0PtLtpwni6VnJ?= =?us-ascii?q?IqiEMrF5MWaT+Ww5Vn/g2WPLbn1l2Dnvz3J6Ua0inX8W6fzGnIvFwdWgNqVaTD?= =?us-ascii?q?G3wSNBOP/IbJo3jaRrrrMowJdw5IyMqMMKxPMIC7jFNIQ+3mMcjfYCSxhiK6CA?= =?us-ascii?q?yMx7XKYIe4IjxAjhWYM1ANlkUoxVjDNQU6AXz98WfXDThpCE62JULq/+5krXqn?= =?us-ascii?q?T0xyzxzPZUB707uzvBIY16SR?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AlEABVCiZeU2UUFI1lhDkxJQFGAx02M?= =?us-ascii?q?SqEEo8XkViLcAkBAwEKAQEjDAEBgUyFBRwHAQQ0EwIQAQEEAQEBAgECAwQBBgE?= =?us-ascii?q?ZFAeFaAyCOyKDJQYPAQUIAQEkAhI0AiYCRScIAQEFC4MSAYJ7BAutC4Eygn8BA?= =?us-ascii?q?QWCRIMugTUJgQ4qjBQPgUw/gREnD4MbgQSBRw4LBBqBIASDM4JejT0joXYHgUh?= =?us-ascii?q?0dwSGQoVDiSshgz+DQ4dnBYU5hlCOWo4IgU2BXYlYAgQGBQIVgWmBejMaJIM7C?= =?us-ascii?q?UcYDYgZIIM7M4I7giaFQEEyAotCgkMBAQ?= X-IPAS-Result: =?us-ascii?q?A0AlEABVCiZeU2UUFI1lhDkxJQFGAx02MSqEEo8XkViLcAk?= =?us-ascii?q?BAwEKAQEjDAEBgUyFBRwHAQQ0EwIQAQEEAQEBAgECAwQBBgEZFAeFaAyCOyKDJ?= =?us-ascii?q?QYPAQUIAQEkAhI0AiYCRScIAQEFC4MSAYJ7BAutC4Eygn8BAQWCRIMugTUJgQ4?= =?us-ascii?q?qjBQPgUw/gREnD4MbgQSBRw4LBBqBIASDM4JejT0joXYHgUh0dwSGQoVDiSshg?= =?us-ascii?q?z+DQ4dnBYU5hlCOWo4IgU2BXYlYAgQGBQIVgWmBejMaJIM7CUcYDYgZIIM7M4I?= =?us-ascii?q?7giaFQEEyAotCgkMBAQ?= X-IronPort-AV: E=Sophos;i="5.70,343,1574118000"; d="scan'208";a="336459095" X-MGA-submission: =?us-ascii?q?MDG4jnwnEgDxL47oWUeZCmmkKwUskeCX2lDFvD?= =?us-ascii?q?Z4jhKqXidNjiPjdh8u6ZqgHukZOrPdqTV/HfqzGDbb2vINkbxROMk3/3?= =?us-ascii?q?9L45UYaC/zSBx43dnyMdATXQexPq0DX5vCg1sA4hKgzZshVJf1+3147q?= =?us-ascii?q?6GuWOP+i4za2FQildCKFvwXg=3D=3D?= Received: from mailout1.informatik.hu-berlin.de ([141.20.20.101]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 20 Jan 2020 21:16:29 +0100 Received: from mailbox.informatik.hu-berlin.de (mailbox [141.20.20.63]) by mail.informatik.hu-berlin.de (8.15.1/8.15.1/INF-2.0-MA-SOLARIS-2.10-25) with ESMTPS id 00KKGRUq010960 (version=TLSv1.2 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK) for ; Mon, 20 Jan 2020 21:16:28 +0100 (MET) Received: from [192.168.0.195] (HSI-KBW-134-3-116-108.hsi14.kabel-badenwuerttemberg.de [134.3.116.108] (may be forged)) (authenticated bits=0) by mailbox.informatik.hu-berlin.de (8.15.1/8.15.1/INF-2.0-MA-SOLARIS-2.10-AUTH-26-465-587) with ESMTPSA id 00KKGOfU010952 (version=TLSv1.2 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 20 Jan 2020 21:16:27 +0100 (MET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=informatik.hu-berlin.de; s=mailbox; t=1579551387; bh=xLXBrO7Gn2IEDO91EeHyASW96m1ruCCXvR4jEIC4hp8=; h=From:Subject:To:Date; b=nznlU4rjGIFCw3aAUkaWiV7wKnLB29EHyeNNJTmSOVNF1c53ScYYft1zF6UTPfK/V P5B5o+Vti3m5iyrq8tNUPlADxG02wLUHkJLGTMOEbyeBx/Ti5mXIWEnfNSIQ6ic4Ck rryzbDGuO4FbwC8yYABISsrmVHkKH4Sr01HmOVyo= From: Timo Kehrer To: caml-list@inria.fr Message-ID: <9d026c55-94af-fdb1-e902-1fbf7304f0df@informatik.hu-berlin.de> Date: Mon, 20 Jan 2020 21:16:23 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: de-DE X-Virus-Scanned: clamav-milter 0.100.2 at mailbox X-Virus-Status: Clean X-Greylist: Sender succeeded STARTTLS authentication, not delayed by milter-greylist-4.6.1 (mail.informatik.hu-berlin.de [141.20.20.50]); Mon, 20 Jan 2020 21:16:28 +0100 (MET) X-Validation-by: timo.kehrer@informatik.hu-berlin.de Subject: [Caml-list] 13th International Conference on Graph Transformation (ICGT'2020): Call for Papers Reply-To: Timo Kehrer X-Loop: caml-list@inria.fr X-Sequence: 17958 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: ======================================================= 13th International Conference on Graph Transformation ICGT 2020 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 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ä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