From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9900 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: James Cheney Newsgroups: gmane.science.mathematics.categories Subject: Bx 2019 Call for Participation (Workshop on Bidirectional Transformations) Date: Sat, 27 Apr 2019 10:25:03 +0100 Message-ID: Reply-To: James Cheney Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="269559"; mail-complaints-to="usenet@blaine.gmane.org" To: , Original-X-From: majordomo@mlist.mta.ca Sat Apr 27 20:42:18 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hKSHC-0017zh-DI for gsmc-categories@m.gmane.org; Sat, 27 Apr 2019 20:42:18 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:38428) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hKSI2-0008DP-FO; Sat, 27 Apr 2019 15:43:10 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hKSFr-0005eG-Ca for categories-list@mlist.mta.ca; Sat, 27 Apr 2019 15:40:55 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9900 Archived-At: Bx 2019 Call for Participation =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 Highlights ---------- * Invited speaker: Zack Ives on Views, Update Propagation, and Provenance * Registration information (early deadline: May 4) * List of accepted papers and talks General Information ------------------- * 8th International Workshop on Bidirectional Transformations * http://bx-community.wikidot.com/bx2019:home * June 4, 2019, Saint Joseph=E2=80=99s University, Philadelphia, PA, USA * as part of the Philadelphia Logic Week (PLW) 2019: https://sites.sju.edu/= plw/ Bidirectional transformations (bx) are a mechanism for maintaining the cons= istency of at least two related sources of information. Such sources can be= relational databases, software models and code, or any other document foll= owing standard or ad hoc formats. Bx are an emerging topic in a wide range = of research areas, with prominent presence at top conferences in several di= fferent fields (namely databases, programming languages, software engineeri= ng, and graph transformation), but with results in one field often getting = limited exposure in the others. Bx 2019 is a dedicated venue for bx in all = relevant fields, and is part of a workshop series that was created in order= to promote cross-disciplinary research and awareness in the area. As such,= since its beginning in 2012, the workshop has rotated between venues in di= fferent fields. Bx 2019 will be a part of Philadelphia Logic Week (PLW) 2019, which also in= cludes conference and workshops on logic, provenance, and databases, topics= that we hope will complement Bx and help build engagement with these commu= nities. Registration ------------ * https://sites.sju.edu/plw/plw-2019-registration/ * Early registration deadline: May 4 * Passes available for attending multiple co-located events, including LPNM= R (Logic Programming and Nonmonotonic Reasoning) and workshops, Datalog 2.0= (Resurgence of Datalog in Academia and Industry), and TaPP (Theory and Pra= ctice of Provenance) * Opportunities for students to receive financial support from the LPNMR Do= ctoral Consortium Invited Talk ------------ * Views, Update Propagation, and Provenance Zachary Ives (University of Pennsylvania) http://www.cis.upenn.edu/~zives/ Accepted Papers and Talks ------------------------- The abstracts can be found at http://bx-community.wikidot.com/bx2019:accept= ed . * ASN.1 Encoding Schemes Done Right Using CMPCT Mark Tullsen (Galois, Inc.) * Lenses and Learners Brendan Fong (Massachusetts Institute of Technology) and Michael Johnson (= Macquarie University) * Multicategories of Multiary Lenses Michael Johnson (Macquarie University) and Robert Rosebrugh (Mount Allison= University) * Incremental Bidirectional Model Transformation with eMoflon::IBeX (Tool P= aper) Nils Weidmann (Paderborn University), Anthony Anjorin (Paderborn Universit= y), Lars Fritsche (TU Darmstadt), Gergely Varr=C3=B3, Andy Sch=C3=BCrr (TU = Darmstadt), and Erhan Leblebici (TU Darmstadt) * A Bidirectional Krivine Machine (Short Paper) Mikael Mayer (University of Chicago) and Ravi Chugh (University of Chicago) * Consistent Runtime Adaptation of User Interfaces (Short Paper) Anthony Anjorin (Paderborn University), Enes Yigitbas (Paderborn Universit= y), and Hermann Kaindl (Vienna University of Technology) * Symmetric d-Lenses and Symmetric c-Lenses are not Coextensive (Short Pape= r) Michael Johnson (Macquarie University) and Fran=C3=A7ois Renaud (Universit= =C3=A9 Catholique de Louvain) * A Toolbox of Lenses: Dimensions of the Lens Design Space (Talk) Zinovy Diskin (McMaster University) * Expanding the Power of Lens Synthesis (Talk) Anders Miltner (Princeton University), Solomon Maina (University of Pennsy= lvania), Kathleen Fisher (Tufts University), Benjamin Pierce (University of= Pennsylvania), David Walker (Princeton University), and Steve Zdancewic (U= niversity of Pennsylvania) * Optics and Type Equivalences (Talk) Jacques Carette (McMaster University) and Amr Sabry (Indiana University Bl= oomington) * Reified Correspondences: A New Component of the Multiary Delta Lenses Fra= mework (Talk) Zinovy Diskin (McMaster University)= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]