From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10561 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 (hosted at IRIF), Friday September 24, 2021, 15:00 CEST Date: Mon, 20 Sep 2021 08:08:04 +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="40900"; mail-complaints-to="usenet@ciao.gmane.io" To: "gratra@upb.de" , "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Wed Sep 22 04:21:49 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 1mSrtN-000ASc-IN for gsmc-categories@m.gmane-mx.org; Wed, 22 Sep 2021 04:21:49 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:57820) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1mSrpL-0002tj-5x; Tue, 21 Sep 2021 23:17:39 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1mSrqX-0006mg-7J for categories-list@rr.mta.ca; Tue, 21 Sep 2021 23:18:53 -0300 Accept-Language: en-GB, en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10561 Archived-At: 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 September 24, 15:00 CEST "Combinatorial maps transformations and application to geometric modeli= ng", R. Pascual (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 September 24, 2021, 15:00 CEST Title: Combinatorial maps transformations and application to geometric mode= ling Speaker: Romain Pascual (MICS laboratory, CentraleSup=E9lec, University Paris-Saclay= , France) Abstract: In the first part of the talk, I will present generalized maps that represe= nt quasi-manifolds through their subdivision into topological cells (vertic= es,edges, faces, volumes). We defined generalized maps as constrained label= ed graphs. Arc labels encode topological relations of the subparts of the m= odeled object, while node labels describe the geometric data used to repres= ent the object. Modeling operations are designed regardless of the object's= underlying topology. Therefore, we generalize DPO rules with a functorial = approach to encode semi-global relabeling with a product operation. Rules a= nd their extensions (called rule schemes) are considered valid if any appli= cation to a well-formed graph results in an equally well-formed graph. We p= rovide set-theoric conditions on rules and rule schemes to ensure the prese= rvation of the model consistency. In the second part of the talk, I will pr= esent how this approach allows the design of geometric modelers (software u= sed to create and edit geometric objects) in Jerboa. The set-theoric condit= ions can be checked via graph traversal in Jerboa's rule editor to ensure t= hat the code derived from the rule will never break the model. The generate= d code can be used as an add-on in other software or Jerboa's generic viewe= r. Zoom registration link: https://u-paris.zoom.us/meeting/register/tZUvd-igpj0qG9W_T2bsMKPEHInGUpmbkN= qy Link to YouTube live stream: https://youtu.be/woA2W-05fLQ ___________________________________________________ ---------------------------------------------------------------------------= - 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-G6oPmkqCgOx6UQ= OUhSQ Twitter: https://twitter.com/GReTAseminars [For admin and other information see: http://www.mta.ca/~cat-dist/ ]