October 2022 - Categories - categories.org.au

Bénabou Colloquium on 18 November 2022 (second announcement)
by Isar Stubbe 24 Oct '22

24 Oct '22

Dear colleagues, On Friday 18 November 2022, we organise a colloquium in memory of Jean Bénabou (20 May 1932 - 11 February 2022). This "Bénabou Colloquium" will take place entirely on-line by videoconference, and everybody is invited to attend. The programme is as follows (subject to modification): 10h15 Anatole Khélif : présentation de la journée 10h30 Dominique Bourn 11h15 David Roberts 12h00 Bob Coecke 12h45 Pause 14h00 Stéphane Dugowson 14h45 George Janelidze 15h30 René Guitart 16h00 Jacques Roubaud For the final programme, with titles and abstracts, please visit the website: https://indico.math.cnrs.fr/e/benabou To attend the "Bénabou Colloquium", please visit this website and use the appropriate link ("Register"). You can also write a mail to one of the co-organisers (see addresses below). The registered participants will receive, a few days before the colloquium, a Zoom link for the videoconference. This link will also be published on the website mentioned above. Best wishes, Isar Stubbe (isar.stubbe(a)univ-littoral.fr) Signing also on behalf of Anatole Khélif (khelif(a)imj-prg.fr) Andrée Ehresmann (ehres(a)u-picardie.fr) Stéphane Dugowson, René Guitart. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Category Theory Octoberfest 2022 , Second Announcement
by Richard Blute 24 Oct '22

24 Oct '22

Category Theory Octoberfest 2022 will take place October 29-30 over zoom. Here is a link where you will find the schedule, titles and abstracts as well as the necessary zoom information. https://richardblute.ca/octoberfest-2022/ Hope to see you all there. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Four PhD student positions in Gothenburg
by Christian Sattler 18 Oct '22

18 Oct '22

The logic and types group at Chalmers and Gothenburg university is now recruiting four PhD students to work on dependent type theory for mathematics and computer science together with Prof. Thierry Coquand and others in the group. Of interest to this list: connections with (higher) category theory can be a potential topic. The project is about homotopy type theory and univalent foundations, where type theory is extended with univalence and higher inductive types. The selected PhD students would be working on topics ranging from theoretical studies of models and connections to higher category theory to actual formalisations of mathematics, but they could also work more oriented toward implementation of proof systems, in particular connected to Agda. It is worth noting that the selected students will get a full time employment with all the benefits of a usual employment in Sweden (health and pension benefits, paid holidays, etc). Deadline for application: **November 4th 2022** More information: https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89… [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Publication of Volume LXIII-4 of the "Cahiers"
by Andree Ehresmann 17 Oct '22

17 Oct '22

Dear Colleagues, We are pleased to inform you that Volume LXIII-4 (4th quarter 2022) of the Cahiers is now freely downloadable from the website of the Cahiers: http://cahierstgdc.com both as a whole issue and as separate articles. Best regards, Andree Ehresmann, Marino Gran and Rene Guitart [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Category Theory Octoberfest 2022
by Richard Blute 15 Oct '22

15 Oct '22

Category Theory Octoberfest 2022 will take place October 29-30 over zoom. Here is a link where you will find the schedule, titles and abstracts as well as the necessary zoom information. https://richardblute.ca/octoberfest-2022/ Hope to see you all there. PS If you sent me a title and abstract and don’t see your name on the schedule, that doesn’t mean I rejected your talk. It means I misplaced your email, which happened at least once last year. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

SYCO 10 – Call for submissions
by Robin Kaarsgaard 14 Oct '22

14 Oct '22

----------------------------------------- CALL FOR SUBMISSIONS TENTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 10) Edinburgh, United Kingdom 19-20 December, 2022 Submission deadline: Monday 7 November 2022 https://www.cl.cam.ac.uk/events/syco/10/ ----------------------------------------- The Symposium on Compositional Structures (SYCO) is an interdisciplinary series of meetings aiming to support the growing community of researchers interested in the phenomenon of compositionality, from both applied and abstract perspectives, and in particular where category theory serves as a unifying common language. Previous SYCO events have been held in Birmingham, Strathclyde, Oxford, Chapman, Leicester, Tallinn, and Como. We welcome submissions from researchers across computer science, mathematics, physics, philosophy, and beyond, with the aim of fostering friendly discussion, disseminating new ideas, and spreading knowledge between fields. Submission is encouraged for both mature research and work in progress, and by both established academics and junior researchers, including students. Submissions is easy, with no formatting or page restrictions. The meeting does not have proceedings, so work can be submitted even if it has been submitted or published elsewhere. You could submit work-in-progress, or a recently completed paper, or even a PhD or Masters thesis. While no list of topics could be exhaustive, SYCO welcomes submissions with a compositional focus related to any of the following areas, in particular from the perspective of category theory: - logical methods in computer science, including classical and quantum programming, type theory, concurrency, natural language processing and machine learning; - graphical calculi, including string diagrams, Petri nets and reaction networks; - languages and frameworks, including process algebras, proof nets, type theory and game semantics; - abstract algebra and pure category theory, including monoidal category theory, higher category theory, operads, polygraphs, and relationships to homotopy theory; - quantum algebra, including quantum computation and representation theory; - tools and techniques, including rewriting, formal proofs and proof assistants, and game theory; - industrial applications, including case studies and real-world problem descriptions. ** IMPORTANT DATES ** All deadlines are 23:59 Anywhere on Earth. Submission deadline: Monday 7 November, 2022 Author notification: Sunday 20 November, 2022 Symposium dates: Monday 19 and Tuesday 20 December 2022 ** SUBMISSION INSTRUCTIONS ** Submissions are by OpenReview, via the SYCO 10 submission page: https://openreview.net/group?id=cl.cam.ac.uk/SYCO/2022/Symposium Submission is easy, with no format requirements or page restrictions. The meeting does not have proceedings, so work can be submitted even if it has been submitted or published elsewhere. Think creatively: you could submit a recent paper, or notes on work in progress, or even a recent Masters or PhD thesis. In the event that more good-quality submissions are received than can be accommodated in the timetable, the programme committee may choose to *defer* some submissions to a future meeting, rather than reject them. Deferred submissions can be re-submitted to any future SYCO meeting, where they will not need peer review, and where they will be prioritised for inclusion in the programme. Meetings will be held sufficiently frequently to avoid a backlog of deferred papers. If you have a submission which was deferred from a previous SYCO meeting, it will not automatically be considered for SYCO 10; you still need to submit it again through OpenReview. When submitting, append the words "DEFERRED FROM SYCO X" to the title of your paper, replacing "X" with the appropriate meeting number. There is no need to attach any documents. ** PROGRAMME COMMITTEE ** The PC chair is Robin Kaarsgaard, University of Edinburgh. The Programme Committee will be announced soon. ** STEERING COMMITTEE ** Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Dominic Horsman, University of Oxford Aleks Kissinger, University of Oxford Samuel Mimram, École Polytechnique Simona Paoli, University of Aberdeen Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology Jamie Vicary, University of Cambridge [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ItaCa Fest - Escardo' and Capucci
by Giuseppe Metere 14 Oct '22

14 Oct '22

Dear all, The next date of the ItaCa Fest will be October 18, 2022 at 3 pm (Italian time): 3:00 - 3:45 pm: M. Escardo' - Compact totally separated types 4:00 - 4:45 pm: M. Capucci - Triple categories of open cybernetic systems The zoom link is the following: https://cs-ox-ac-uk.zoom.us/j/97878376376?pwd=QithMyt5NzdOeE1EWGJRcjBxamxnU… While the Fest website is this one: https://progetto-itaca.github.io/pages/fest22.html Join us (and bring a friend)! Cheers, Beppe, Ivan, Edoardo, Fosco, Paolo. .ƸӜƷ.•°*”˜˜”*°•.ƸӜƷ.•°*”˜˜”*°•.ƸӜƷ. Giuseppe Metere, PhD Professore di Algebra Dipartimento di Matematica e Informatica Università degli Studi di Palermo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Tenure track position at CWRU
by Nick Gurski 11 Oct '22

11 Oct '22

The CWRU Department of Mathematics, Applied Mathematics and Statistics is hiring at least one tenure track pure mathematician this year in algebra, topology, or something related. The ad is up on mathjobs here https://www.mathjobs.org/jobs/list/20976 and the deadline is November 18. I would be happy to answer any questions. Nick [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)
by Fredrik Nordvall Forsberg 11 Oct '22

11 Oct '22

Dear friends, The Department of Computer and Information Sciences at the University of Strathclyde, Glasgow, is currently advertising permanent positions at the Lecturer or Senior Lecturer level (Assistant and Associate Professor respectively in American English) with an initial five-year reduced teaching load: https://www.jobs.ac.uk/job/CTO120/strathclyde-chancellors-fellow-in-compute… The application deadline is *Sunday 23 October 2022*. You will see that the ad asks for expertise connected with Trusted AI and Data Analytics, but this should be understood broadly. In particular, we believe that type theory, category theory and logic are excellent technologies for establishing trust, and the Mathematically Structured Programming group welcomes applications from type theorists, dependently typed programmers, category theorists, and logicians; we would be happy to help you develop an application. Please contact Head of Department and fellow category theorist Neil Ghani <neil.ghani(a)strath.ac.uk> if you are interested, or of course me or anyone else from the group if you have questions. (I'm employed as a Chancellor's Fellow, so would be happy to share my experience of this particular position.) You can find our group website at http://msp.cis.strath.ac.uk/ . For opportunities to join us at more senior levels (Reader and Professor), please contact Neil Ghani directly. We also have an opening for our next Head of Department! https://www.jobs.ac.uk/job/CTN847/head-of-department-and-professor-in-compu… Best wishes, Fredrik [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

3rd ItaCa Workshop - Call for Contributions
by Davide Trotta 09 Oct '22

09 Oct '22

---------------------------- 3rd ItaCa Workshop <https://progetto-itaca.github.io/ItaCa-22/> The 3rd ItaCa Workshop will take place in Pisa, Italy, on 21-22 December, at the Department of Computer Science. ItaCa Workshop is a series of short workshops organized by ItaCa, the Italian community of category theorists <https://progetto-itaca.github <https://progetto-itaca.github.io/>>. The focus of the ItaCa Workshop lies on the development and applications of category theory. Students and early career researchers are particularly encouraged to attend and to submit talk proposals. The workshop will take place in person, but we plan to stream the talks on the ItaCa YouTube channel. ------------------------------ Location Dipartimento di Informatica Università degli Studi di Pisa Piano Secondo, Largo Bruno Pontecorvo, 3, 56127 Pisa (PI) ------------------------------ Registration If you want to attend the workshop, please fill in the form available at <https://progetto-itaca.github.io/ItaCa-22/register-submit/> no later than 5 December. ------------------------------ Abstract submission If you want to give a talk, please submit an abstract (max 1 page in pdf) to: <francesco.gavazzo(a)unipi.it> no later than 20 November. Talks will be approximately 30 minutes long. ------------------------------ Invited Speakers Marco Maggesi (Università di Firenze) Fabio Zanasi (University College London) ------------------------------ Program Committee Francesco Dagnino (Università di Genova) Francesco Gavazzo (Università di Pisa) Serafina Lapenta (Università del Salento) Vincenzo Marra (Università di Milano) Samuele Maschio (Università di Padova) Davide Trotta (Università di Pisa) ------------------------------ Organizing Committee Davide Trotta (Università di Pisa) Francesco Gavazzo(Università di Pisa) Fabio Gadducci (Università di Pisa) Filippo Bonchi (Università di Pisa) Alessandro Di Giorgio (Università di Pisa) ------------------------------ Contacts For inquiries, please send an e-mail to one of the organisers: <davide.trotta(a)di.unipi.it> <francesco.gavazzo(a)unipi.it> --0000000000002776d005ea8603b3 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir="ltr"> ---------------------------- 3rd ItaCa Workshop <<a href="https://progetto-itaca.github.io/ItaCa-22/" target="_blank">https://progetto-itaca.github.io/ItaCa-22/</a>> The 3rd ItaCa Workshop will take place in Pisa, Italy, on 21-22 December, at the Department of Computer Science. ItaCa Workshop is a series of short workshops organized by ItaCa, the Italian community of category theorists <<a href="https://progetto-itaca.github.io/" style="text-decoration:underline" target="_blank">https://progetto-itaca.github</a>>. The focus of the ItaCa Workshop lies on the development and applications of category theory. Students and early career researchers are particularly encouraged to attend and to submit talk proposals. The workshop will take place in person, but we plan to stream the talks on the ItaCa YouTube channel. ------------------------------ Location Dipartimento di Informatica Università degli Studi di Pisa Piano Secondo, Largo Bruno Pontecorvo, 3, 56127 Pisa (PI) ------------------------------ Registration If you want to attend the workshop, please fill in the form available at <<a href="https://progetto-itaca.github.io/ItaCa-22/register-submit/" target="_blank">https://progetto-itaca.github.io/ItaCa-22/register-submit/</a>> no later than 5 December. ------------------------------ Abstract submission If you want to give a talk, please submit an abstract (max 1 page in pdf) to: <<a href="mailto:francesco.gavazzo@unipi.it">francesco.gavazzo(a)unipi.it</a>> no later than 20 November. Talks will be approximately 30 minutes long. ------------------------------ <h2 style="font-weight:bold;margin-top:0.35cm;margin-bottom:0.21cm;background:transparent;break-after:avoid"><a name="m_3756795477327615143_invited-speakers"></a>Invited Speakers</h2><div> </div><div>Marco Maggesi (Università di Firenze) </div><div></div><div>Fabio Zanasi (University College London)</div> ------------------------------ Program Committee Francesco Dagnino (Università di Genova) Francesco Gavazzo (Università di Pisa) Serafina Lapenta (Università del Salento) Vincenzo Marra (Università di Milano) Samuele Maschio (Università di Padova) Davide Trotta (Università di Pisa) ------------------------------ Organizing Committee Davide Trotta (Università di Pisa) Francesco Gavazzo(Università di Pisa) Fabio Gadducci (Università di Pisa) Filippo Bonchi (Università di Pisa) Alessandro Di Giorgio (Università di Pisa) ------------------------------ Contacts For inquiries, please send an e-mail to one of the organisers: <<a href="mailto:davide.trotta@di.unipi.it">davide.trotta(a)di.unipi.it</a>> <<a href="mailto:francesco.gavazzo@unipi.it">francesco.gavazzo(a)unipi.it</a>> </div> --0000000000002776d005ea8603b3-- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0