From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10598 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Reiko Heckel Newsgroups: gmane.science.mathematics.categories Subject: FW: Invitation: GReTA online seminar, Friday November 5, 2021, 15:00 CET Date: Tue, 2 Nov 2021 15:46:27 +0000 Message-ID: Reply-To: Reiko Heckel Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="27111"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" , "gratra@upb.de" Original-X-From: majordomo@rr.mta.ca Wed Nov 03 19:28:20 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1miKzj-0006rG-J2 for gsmc-categories@m.gmane-mx.org; Wed, 03 Nov 2021 19:28:19 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:34298) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1miKz4-0006RB-V2; Wed, 03 Nov 2021 15:27:38 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1miKyI-0001ef-5L for categories-list@rr.mta.ca; Wed, 03 Nov 2021 15:26:50 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10598 Archived-At: A special treat this week, making executable category theory work for graph= transformation. Reiko On 01/11/2021, 09:45, "GReTA Seminar organisers" wrote: Dear colleagues, It is our great pleasure to invite you to the next seminar of the =93GReTA = - Graph Transformation Theory and Applications=94 series: Friday November 5, 15:00 CET "GReTA-ExACT: towards Executable Applied Category Theory", N. Behr (abstract, Zoom and YouTube links attached below) The GReTA seminar series aims to serve as a platform for the international = graph rewriting community, to promote recent developments and trends in the= field, and to permit a regular networking and interaction between members = of this community. Seminars are scheduled twice a month (cf. https://www.ir= if.fr/~greta/#talks for a list of upcoming events). With best regards, Nicolas Behr, Andrea Corradini, Jean Krivine and Reiko Heckel (GReTA organisers) ___________________________________________________ Date and time: Friday November 5, 2021, 15:00 CET Title: GReTA-ExACT: towards Executable Applied Category Theory Speaker: Nicolas Behr (Universit=E9 de Paris, CNRS, IRIF, France) Abstract: This talk marks the beginning of GReTA-ExACT, a new online working group wi= thin the GReTA community. The aim of this working group will consist in pro= viding an interdisciplinary forum for exploring the diverse aspects of appl= ied category theory relevant in graph transformation systems and their gene= ralizations, in developing a methodology for formalizing diagrammatic proof= s as relevant in rewriting theories via proof assistants such as Coq, and i= n establishing a community-driven wiki system and repository for mathematic= al knowledge in our research field (akin to a domain-specific Coq-enabled v= ariant of the nLab). A further research question will consist in exploring = the possibility for deriving reference prototype implementations of concret= e rewriting systems (e.g., over multi- or simple directed graphs) directly = from the category-theoretical semantics, in the spirit of the translation-b= ased approaches as in [1],[2] (utilizing theorem provers such as Microsoft = Z3). In the first part of this talk, I will provide an illustrated tour of broad= scope of mathematical concepts in modern categorical rewriting theories, r= anging over the definitions of Double-Pushout (DPO) and Sesqui-Pushout (SqP= O) semantics to the notions of concurrency and associativity theorems, thei= r proofs (illustrating a particular type of diagrammatic reasoning on commu= tative diagrams), the theory of tracelets, their Hopf algebras and decompo= sition spaces, certain concepts of opfibrations and finally double-categori= cal structures that are currently under active investigation (joint work wi= th Paul-Andr=E9 Melli=E8s and Noam Zeilberger). In the second part of the t= alk, I will outline a proposal for the new GReTA-ExACT online working group= format. References: [1] R. Heckel, L. Lambers, M.G. Saadat, \"Analysis of Graph Transformation = Systems: Native vs Translation-based Techniques\", EPTCS 309, 2019, pp. 1-2= 2. http://dx.doi.org/10.4204/EPTCS.309.1 [2] N. Behr, R. Heckel, M.G. Saadat, \"Efficient Computation of Graph Overl= aps for Rule Composition: Theory and Z3 Prototyping\", EPTCS 330, 2020, pp.= 126=96144. http://dx.doi.org/10.4204/EPTCS.330.8 Zoom registration link: https://u-paris.zoom.us/meeting/register/tZwrcuGoqT4qGd1HCZQnhptpmt0aTiWdDF= 67 Link to YouTube live stream: https://youtu.be/tx0asw82EXU ___________________________________________________ ---------------------------------------------------------------------------= - GReTA - Graph TRansformation Theory and Applications International Online Seminar Series ---------------------------------------------------------------------------= - Contact: greta@irif.fr Webpage: www.irif.fr/~greta YouTube: https://www.youtube.com/channel/UC6j-G6oPmkqCgOx6UQOUhSQ Twitter: https://twitter.com/GReTAseminars [For admin and other information see: http://www.mta.ca/~cat-dist/ ]