From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10243 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Fabio Gadducci Newsgroups: gmane.science.mathematics.categories Subject: ICGT 2020: Call for Online Participation Date: Sun, 21 Jun 2020 18:27:48 +0200 Message-ID: Reply-To: Fabio Gadducci Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.5\)) Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="38170"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Tue Jun 23 03:04:44 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 1jnXMh-0009nO-Ry for gsmc-categories@m.gmane-mx.org; Tue, 23 Jun 2020 03:04:43 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:58062) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jnXM0-0002II-Rq; Mon, 22 Jun 2020 22:04:00 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jnXLx-0002Dz-VG for categories-list@rr.mta.ca; Mon, 22 Jun 2020 22:03:57 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10243 Archived-At: ----------------------------------------------------------------------- CALL FOR ONLINE PARTICIPATION ICGT 2020 13th International Conference on Graph Transformation 25-26 June 2020 as Online Conference http://icgt2020.di.unipi.it Part of STAF 2020 ----------------------------------------------------------------------- **AIMS** The use of graph-like structures for specification and modelling is by now widespread in all areas of computer science as well as in many fields of computational research and engineering. Often, these graphs undergo dynamic change, which may be captured by rule-based manipulation. Thus, graphs and graph transformation form a universal modelling paradigm for formal reasoning and analysis, ranging from the verification of given properties to the discovery of new insights. The International Conference on Graph Transformation series aims at fostering the exchange and collaboration of researchers working with graphs and graph transformation, either contributing to theoretical foundations or applying established formalisms to classical or novel areas. The conference not only serves as an established scientific publication outlet, but also as a platform to boost inter/intra-disciplinary research and to leeway for new ideas. The conference takes place under the auspices of EATCS and IFIP WG 1.3. The proceedings are published by Springer in its LNCS series. **VENUE** Due to the restrictions related to Covid-19, ICGT 2020 will be held as an online conference on June 25-26, 2020. The event will be broadcasted on the official YouTube channel of the University of Pisa. Links will be available a few days before the conference on the online program page. **PROGRAM** The conference program is online at http://icgt2020.di.unipi.it/online-program/ = **KEYNOTE TALK** Bob Coecke (University of Oxford) Quantum natural language processing (on actual quantum hardware) **REGISTRATION** Attending the conference is free of charge, the streaming sessions will be freely available. A textual interaction will be possible for the audience, and all the questions will be visibile to session chairs and speakers. Fabio Gadducci and Timo Keher (ICGT 2020 Co-Chairs)= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]