March 2021 - Categories - categories.org.au

ItaCa Fest 2021
by Giuseppe Metere 10 Mar '21

10 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie.

1 0

Poly workshop, March 15–19
by David Spivak 09 Mar '21

09 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Dear all, This is the second and final announcement of the WORKSHOP ON POLYNOMIAL FUNCTORS at the Topos Institute and online via Zoom 2021 March 15–19 (20:00-24:00 UTC). At the web site https://topos.site/p-func-2021-workshop/ there is now a complete program together with titles and abstracts, and also instructions for registration (which is free, but required). We hope to see you at the workshop. David Spivak and Joachim Kock (organizers) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: Invitation: GReTA online seminar, March 12 at 15:00 CET
by Heckel, Reiko (Prof.) 08 Mar '21

08 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. An exciting new talk in our series. See you on Friday. Reiko On 01/03/2021, 08:57, "GReTA seminar organisers" <greta(a)irif.fr> wrote: Dear colleagues, It is our great pleasure to invite you to a seminar of the “GReTA - Graph Transformation Theory and Applications” series: Friday, March 12, 15:00 CET “Composition-based Graph Rewriting”, J.-P. Jouannaud (abstract: see attached) Please refer to http://www.irif.fr/~greta<https://eur03.safelinks.protection.outlook.com/?url=http:%2F%2Fwww.irif.fr%…> for further information on how to register for this Zoom meeting, or alternatively on how to attend the meeting via a YouTube live stream! 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.irif.fr/~greta/#talks<https://eur03.safelinks.protection.outlook.com/?url=https:%2F%2Fwww.irif.fr…> for a list of upcoming events). With best regards, Nicolas Behr, Jean Krivine and Reiko Heckel (GReTA organisers) ___________________________________________________ Date and time: Friday, March 12, 15:00 CET Title: Composition-based Graph Rewriting Speaker: Jean-Pierre Jouannaud (Laboratoire d'Informatique (LIX), École Polytechnique, France) Abstract: Double Pushout (DPO) rewriting, the dominant model for graph rewriting, emerged in the early 70’s, strongly influenced at that time by graph grammars. Developed by Hartmut Ehrig and his many collaborators, graph rewriting was from the beginning based on category theory, with the major insight that the two basic rewriting constructions, namely matching and replacement, were intimately related to graph morphisms and their pushouts. A new model has emerged recently, so-called Composition based rewriting (Core), in which rewriting is based on a composition operator over directed rooted labelled graphs (drags), so that matching a drag G against a drag L amounts to compose L with some context drag C, and rewriting G with L -> R to compose R with C. We will describe Core for drags before to relate it precisely to DPO and extend it to adhesive categories of graphs and beyond. We will also show how to define composition abstractly in any category of graphs satisfying appropriate properties among which adhesivity (wrt monomorphisms). Major differences between DPO and Core will be discussed. Zoom registration link: https://zoom.us/meeting/register/tJEpdO2gqjgqHd282gCQlEKac0SfhYOxImqV<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fzoom.us%2…> Link to YouTube live stream: https://youtu.be/7Shd5RIcGd8 ___________________________________________________ ---------------------------------------------------------------------------- GReTA - Graph TRansformation Theory and Applications International Online Seminar Series --------------------------------------------------------------------------- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

New volume of CGASA
by Mojgan Mahmoudi 06 Mar '21

06 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Dear All Volume 14 of CGASA published. You can read the papers on the website: cgasa.sbu.ac.ir. Wish best wishes, and wish you all stay safe from coronavirus, Mojgan -- ************************* Mojgan Mahmoudi; Professor Department of Mathematics, Shahid Beheshti University, Tehran 19839, IRAN. Telefax: (+98)(21)(22431652) E-mail: m-mahmoudi(a)sbu.ac.ir, mojganmahmoudi(a)yahoo.com http://faculties.sbu.ac.ir/m-mahmoudi/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdoctoral position in Higher Category Theory at Johns Hopkins
by Emily Riehl 03 Mar '21

03 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. I'm delighted to announce that we are hiring a postdoctoral fellow at Johns Hopkins in higher category theory and homotopy type theory, especially as relates to quantum field theory or quantum logic (broadly defined) funded by the ARO through their MURI program. I've described the position and the application process on the n-Category Café while the official solicitation is on mathjobs: https://golem.ph.utexas.edu/category/2021/03/postdoctoral_position_in_highe… https://www.mathjobs.org/jobs/list/17392 Please feel free to get in touch if you have any questions about the position and please send me an email to alert me to your application once it's in. All the best, Emily Riehl -- Associate Professor, Dept. of Mathematics Johns Hopkins University www.math.jhu.edu/~eriehl she/her [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT20->21 First Announcement
by Giuseppe Rosolini 03 Mar '21

03 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. [Note from moderator: Apologies to the organizers for the previous post with incorrect provenance. The important subject deserves a correct posting!!] The next International Category Theory Meeting will take place in Genoa and online, from Monday 30 August to Saturday 4 September 2021. The talks will be available online for all the participants, and, if the local conditions allow it, the event will be held on site at DIMA, UniGe (Department of Mathematics, University of Genoa), in via Dodecaneso 35, Genoa, Italy. One year ago the first announcement of Category Theory 2020 was distributed, but that conference could not take place, due to the pandemic worldwide. So we decided to name the forthcoming conference "CT20->21" as it gathers the 2020 and 2021 editions. Contributions in all aspects of Category Theory are welcome and we especially encourage researchers to submit works on its applications as well as on its foundations. At the moment the website https://sites.google.com/view/ct2021 contains only basic information, and will be updated as soon as details become available, especially monitoring the local conditions. Submission for abstracts of talks will open on 1 April, through EasyChair. The deadline for submitting an abstract is 15 May. We encourage prospective contributors to submit their abstract as soon as they can, because submissions will be handled continuously as they come. Abstract acceptance will be communicated by 30 June at the latest. Registration will open on 20 April. Detailed information on registration fees and options will be made available on the conference website in due time. CT20->21 SCIENTIFIC COMMITTEE Maria M. Clementino, Marcelo Fiore, Nicola Gambino, Steve Lack, Rory Lucyshyn-Wright, Sandra Mantovani, Matías Menni (chair), Christina Vasilakopoulou KEYNOTE SPEAKERS Mai Gehrke - LJAD, Université Côte d’Azur, Nice, France Marino Gran - Université catholique de Louvain, Belgium Nick Gurski - Case Western Reserve University, Cleveland, USA Peter Johnstone - University of Cambridge, UK Angus Macintyre - Queen Mary, University of London, UK Walter Tholen - York University, Toronto, Canada To request any specific information please write to info.ct2021(a)gmail.com. We look forward to seeing you in Genoa, either in person or in video! ORGANIZING COMMITTEE Sandra Mantovani, Giuseppe Metere, Eugenio Moggi, Andrea Montoli, Giuseppe Rosolini (chair) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

Bohemian L&P Café: Jiri Rosicky, March 9
by Steve Awodey 03 Mar '21

03 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Bohemian Logical & Philosophical Café Jiri Rosicky Towards a point free model theory March 9 at 16.00 Prague time (GMT+1) The zoom link is on the webpage: https://bohemianlpc.github.io Rosicky's abstract is at this link: https://bohemianlpc.github.io/abstracts/abstracts.html#jr Regards, Steve [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Second Call for Nominations: Beth Outstanding Dissertation Prize 2021
by Sadrzadeh, Mehrnoosh 02 Mar '21

02 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2021 Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information (http://www.folli.info/?page_id=74) with financial support of the E.W. Beth Foundation (https://www.knaw.nl/en/awards/funds/evert-willem-beth-stichting/evert-wille…) Nominations are now invited for the best dissertation in these areas resulting in a Ph.D. degree awarded in 2020. The deadline for nominations is the 15th of April 2021. Qualifications: - A Ph.D. dissertation on a topic concerning Logic, Language, or Information is eligible for the Beth Dissertation Prize 2021, if the degree was awarded between January 1st and December 31st, 2020. - There are no restrictions on the nationality, ethnicity, age, gender or employment status of the author of the nominated dissertation, nor on the university, academic department or scientific institution formally conferring the Ph.D. degree, nor on the language in which the dissertation has originally been written. - In accordance with the aim of the Beth Foundation to continue and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on topics in the broad remit of ESSLLI, including current topics in philosophical and mathematical logic, computer science logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language, and cognition. Dissertations with results more broadly impacting various research areas in their interdisciplinary investigations are especially solicited. - If a nominated dissertation has originally been written in a language other than English, its dossier should still contain the required 10 page English abstract, see below. If the committee decides that a nominated dissertation in a language other than English requires translation to English for proper evaluation, the committee can transfer its nomination to the competition in 2022. The English translation must in such cases be submitted before the deadline of the call for nominations in 2022. The committee may recommend the Beth Foundation to consider supporting such nominated dissertations for English translation, upon request by the author of the dissertation. The prize consists of: - a certificate - a donation of 3000 euros, provided by the E.W. Beth Foundation, divided among the winners, should there be more than one winner - an invitation to submit the dissertation, possibly after revision, for publication in FoLLI Publications on Logic, Language and Information (Springer). Only digital submissions are accepted, without exception. Hard copy submissions are not allowed. The following documents are to be submitted in the nomination dossier: - The original dissertation in pdf format (ps/doc/rtf etc. not acceptable). - A ten-page English abstract of the dissertation, presenting the main results of each chapter. - A letter of nomination from the dissertation supervisor, which concisely describes the scope and significance of the dissertation, stating when the degree was officially awarded and the members of the Ph.D. committee. Nominations should contain the address, phone and email details of the nominator. - Two additional letters of support, including at least one from a referee not affiliated with the academic institution that awarded the Ph.D. degree, nor otherwise related to the nominee (e.g. former teachers, supervisors, co-authors, publishers or relatives) or the dissertation. - Self-nominations are not possible. All pdf documents must be submitted electronically, as one zip file, via EasyChair by following the link https://easychair.org/conferences/?conf=bodp2021. In case of any problems or questions please contact the chair of the committee Mehrnoosh Sadrzadeh (m.sadrzadeh(a)ucl.ac.uk) The prize will be awarded by the chair of the FoLLI board at a ceremony during the 32nd ESSLLI summer school, which will be based in Utrecht, but held online August 2-13, 2021. Beth dissertation prize committee 2021: Samson Abramsky (University of Oxford) Maria Aloni (University of Amsterdam) Cleo Condoravdi(Stanford University) Robin Cooper (University of Gothenburg) Guy Emerson (University of Cambridge) Katrin Erk (University of Texas at Austin) Sujata Ghosh (ISI, Chennai) Davide Grossi (Universities of Groningen and Amsterdam) Christoph Haase (University of Oxford) Louise McNally (Universitat Pompeu Fabra Barcelona) Reinhard Muskens (University of Amsterdam) Mehrnoosh Sadrzadeh (University College London, chair) Mark Steedman (University of Edinburgh) Matthew Stone (Rutgers University) Jouko Vaananen (University of Helsinki and University of Amsterdam) FoLLI is committed to diversity and inclusion and we welcome dissertations from all under-represented groups [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ETAPS 2021 call for participation
by Tarmo Uustalu 01 Mar '21

01 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Registration is open. Early registration is until 15 March 2021. From 16 March, late registration rates apply. Author registration (ETAPS 2021 and ETAPS 2020) is until 15 March 2021. ****************************************************************** CALL FOR PARTICIPATION 24th European Joint Conferences on Theory And Practice of Software ETAPS 2021 online from Luxembourg, Luxembourg, 27 March - 1 April 2021 http://www.etaps.org/2021 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2021 is the twenty-fourth event in the series. -- MAIN CONFERENCES (29 March - 1 April) -- * ESOP: European Symposium on Programming (PC chair: Nobuko Yoshida, Imperial College London, UK) * FASE: Fundamental Approaches to Software Engineering (PC chairs: Esther Guerra, Univ. Autónoma de Madrid, Spain, and Mariëlle Stoelinga, Univ. Twente, The Netherlands) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Stefan Kiefer, Univ. of Oxford, UK, and Christine Tasson, IRIF, Univ. Paris Diderot, France) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Jan Friso Groote, Techn. Univ. Eindhoven, The Netherlands, and Kim G. Larsen, Aalborg Univ., Denmark) TACAS '21 hosts the 10th Competition on Software Verification (SV-COMP). https://sv-comp.sosy-lab.org/2021/ -- INVITED TALKS AND TUTORIALS -- * Unifying speakers: Scott Smolka, Stony Brook University, USA Jane Hillston (University of Edinburgh, UK) * ESOP invited speaker: Isil Dillig (University of Texas at Austin, USA) * FASE invited speaker: Willem Visser (Stellenbosch University, South Africa) * Tutorial speakers: Erika Ábrahám (RWTH Aachen University, Germany) Madhusudan Parthasararathy (University of Illinois at Urbana-Champaign, USA) -- CONTRIBUTED PAPERS -- See the accepted paper lists at webpages of the individual conferences. For the 4th year, the proceedings of the ETAPS main conferences in LNCS/ARCoSS will appear in Gold Open Access. In addition to the accepted papers of this year, papers accepted for ETAPS 2020 will also be presented. -- PROGRAM -- To appear soonest on the conference website. -- SATELLITE EVENTS (27-28 March) -- 8 satellite workshops and other events will take place before ETAPS 2021. FMSRL '21: 1st Workshop on Formal Methods for Safe Reinforcement Learning Organizers: Nathan Fulton, Alessandro Abate, Roderick Bloem http://workshop.safelearning.ai (TBC) HCVS '21: 8th Workshop on Horn Clauses for Verification and Synthesis Organiser: Fabio Fioravanti https://www.sci.unich.it/hcvs21/ LiVe '21: 5th Workshop on Learning in Verification Organiser: Jan Kretinsky https://www7.in.tum.de/~kretinsk/LiVe2021.html QAVS '21: 2nd Workshop on Quantitative Aspects of Variant-rich Systems Organizers: Clemens Dubslaff and Maurice H. ter Beek https://qavs.edgecloud.de RW '21: Rust Verify Organizers: Rajeev Joshi, Nicholas Matsakis, Peter Müller https://sites.google.com/view/rustverify2021 TADM '21: 1st International Workshop on Trusted Automated Decision Making Organizers: Ramesh Bharadwaj and Ilya Parker https://3drationality.com/TADM2021/ VerifyThis '21: VerifyThis Verification Competition 2020 Organizers: Siddharth Krishna, Wytse Oortwijn, Marieke Huisman, Rosemary Monahan, Peter Müller, Mattias Ulbrich http://verifythis.ethz.ch/ VPT '21: 9th International Workshop on Verification and Program Transformation Organizers: Alexei Lisitsa and Andrei Nemytykh http://refal.botik.ru/vpt/vpt2021/ -- REGISTRATION -- Registration is open. Early registration is until 15 March 2021. From 16 March, late registration rates apply. Author registration (ETAPS 2021 and ETAPS 2020) is until 15 March 2021. https://etaps.org/2021/registration -- HOST INSTITUTION -- ETAPS 2021 is organised by the Interdisciplinary Centre for Security, Reliability and Trust (SnT), Université du Luxembourg. -- ORGANIZERS General chair: Peter Y. A. Ryan (SnT & Université du Luxembourg) Workshops chair: Joaquin Garcia-Alfaro (Telecom SudParis, France) Organization chair: Peter Roenne (SnT Luxembourg) Event manager: Magali Martin (SnT Luxembourg) -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2021 at uni.lu . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0