March 2024 - Categories - categories.org.au

Lecture notes by Bill Lawvere
by Michael Barr, Prof. 23 Apr '26

23 Apr '26

I got a request from someone named C. Muster who is searching for a set of lecture notes by Bill that he gave at U. Laval in 1974. Does anyone have a copy that they would be willing to send to him. Michael You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

5 4

PhD opportunities at the University of Birmingham
by Paul Levy 25 Nov '24

25 Nov '24

* Imminent funding deadline (1 December) - please contact us immediately if you are interested. * Dear all, We invite applications for PhD study at the University of Birmingham. We are a group of (mostly) theoretical computer scientists who explore fundamental concepts in computation. Our work includes category theory, computational complexity, programming language semantics, proof theory, type theory, verification and much else besides. See our webpage, with links to individual researchers, here: https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-c… Information about PhD applications may be found here: https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research… If you are considering applying, please contact any of us. We will be very happy to discuss the opportunities available. Best regards, The Birmingham CS theory group, including:- Benedikt Ahrens Rajesh Chitnis Anupam Das Martín Escardó Eric Finster Dan Ghica Mirco Giacobbe Paul Levy Sonia Marin Sean Moss Jakub Opršal Vincent Rahli Uday Reddy Eike Ritter You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 1

YaMCATS 34 - 16th April 2024 - University of Sheffield
by Nicola Gambino 29 Mar '24

29 Mar '24

*** Yorkshire and Midlands Category Theory Seminar *** Tuesday 16th April 2024 *** University of Sheffield, UK The 34th meeting of the Yorkshire and Midlands Category Theory Seminar (YaMCATS) will be held at the University of Sheffield on 16th April 2024. The program includes talks by Clark Barwick (University of Edinburgh) and Francesca Fedele (University of Leeds), and a session with open problems and speed talks. Please visit the YaMCATS website https://conferences.leeds.ac.uk/yamcats/ for further information. If you wish to attend, please complete the registration form available at https://forms.office.com/e/srQcRWFMSG by Wednesday 10th April. YaMCATS is a research network involving the Universities of Leeds, Manchester and Sheffield, supported by the London Mathematical Society. With best regards, Nicola Gambino, also on behalf of João Faria Martins (University of Leeds) and Markus Szymik (University of Sheffield) You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

MFPS 2024: Extended deadline
by Alex Simpson 29 Mar '24

29 Mar '24

Having received a number of requests to extend the deadline, we are announcing a general 1-week extension to the submission deadline for MFPS 2024, for which an updated cfp (including new information on special-session speakers appears below). The new deadline is April 5 AoE. However, we request authors to submit a title and text abstract by the original deadline of 29 March AoE. --- MFPS XL: Mathematical Foundations of Programming Semantics Call for papers The 40th Conference on the Mathematical Foundations of Programming Semantics (MFPS XL) takes place at the University of Oxford, UK, from 19-21 June 2024, where it will be colocated with the 7th International Conference on Applied Category Theory (ACT 2024). MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in computer science and mathematics can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. Conference home page: https://oxford24.github.io/ SUBMISSION Important dates: April 5 (AoE): paper submission (submission of title and text abstract is requested by March 29 AoE) May 3: notification of authors June 3: conference papers ready June 19–21: conference Submissions Submissions should be prepared using the MFPS macros https://mfpsconf.org/?page_id=309 in the form of a PDF file. Submission is via EasyChair: https://easychair.org/conferences/?conf=mfps2024 For the first time at MFPS, there are two submission categories: - regular research contributions, - early announcements. Early announcements are a new feature at MFPS XL. They offer a forum for the early presentation of new scientific contributions without the accompanying technical justification that is expected in a regular research contribution. The page limit for both kinds of submission is 15 pages, excluding bibliography and appendices. However, it is expected that early announcements will typically be much shorter, taking only as many pages as is required to present the announced contribution. Early announcements will be refereed primarily on their potential interest-value to the MFPS audience. Early announcements should be identified by clearly labelling them with "Early Announcement" at the start of the pdf document. Early announcements will be given equal presentation time to regular research contributions at the conference. Proceedings A preliminary proceedings will be distributed at the meeting, containing both regular research contributions and early announcements. Final proceedings, containing regular research contributions only, will be published in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). This open-access series is hosted by Episciences.org as an overlay for papers published by the CORR arXiv or HAL. It is planned to publish a journal special issue for selected papers from MFPS XL. INVITED SPEAKERS There will be 4 invited speakers. Philippa Gardner (Imperial College, London, UK) Ohad Kammar (University of Edinburgh, UK) Catuscia Palamidessi (INRIA Saclay & LIX, France) Andrew Pittsm(University of Cambridge Emeritus, joint ACT/MFPS plenary speaker) SPECIAL SESSIONS There will be 3 special sessions. - Special session in memory of Philip Scott (joint session with ACT, organiser Rick Blute). Speakers: - Rick Blute - Samson Abramsky - Robin Cockett - Mark Lawson - Special session on the semantics of non-wellfounded and circular proofs (organisers Anupam Das and Abhishek De). Speakers: - Gianluca Curzi - Farzaneh Derakhshan - Farzad Jafarrahmani - Special session associated with the invited talk of Philippa Gardner (organiser Philippa Gardner) PROGRAMME COMMITTEE: Danel Ahman (University of Tartu) Amal Ahmed (Northeastern University) Sandra Alves (University of Porto) Paolo Baldan (Università di Padova) Andrej Bauer (University of Ljubljana) Lars Birkedal (Aarhus University) Steve Brookes (Carnegie Mellon University) Valentina Castiglioni (Eindhoven University of Technology) Liron Cohen (Ben-Gurion University) Raphaëlle Crubillé (IRIF) Valeria De Paiva (Topos Institute, co-chair) Masahito Hasegawa (Kyoto University) Justin Hsu (Cornell University) Patricia Johann (Appalachian State University) Achim Jung (University of Birmingham) Marie Kerjean (CNRS, LIPN, Université Sorbonne Paris Nord) Robbert Krebbers (Radboud University) Paul Levy (University of Birmingham) Michael Mislove (Tulane University) Daniele Nantes-Sobrinho (Imperial College London) Alex Simpson (University of Ljubljana, co-chair) Christine Tasson (Sorbonne Université) LOCAL ORGANISER: Sam Staton You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Chair of Junior Professor in Computer science and Mathematics at Aix-Marseille University
by Pierre Clairambault 27 Mar '24

27 Mar '24

Dear colleagues, Aix-Marseille University is offering a Chair of Junior Professor [*] on the theme "Computer science and mathematics for society". Two research units are concerned by this junior professorship contract: The Institute of Mathematics of Marseille (I2M, "Institut de Mathématiques de Marseille" in French) -- https://www.i2m.univ-amu.fr/; and The Laboratory of Computer and Systems Sciences (LIS, "Laboratoire d'Informatique et des systèmes" in French) -- https://www.lis-lab.fr/. The job description is published on Galaxie (Government platform) under the reference 1430 and is available here: https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/ListesPostesPub… A working version (validated by the two laboratories) of the job offer is available at this address: https://www.lis-lab.fr/offre-de-poste-pr-ou-mcf/ Applications must be submitted before May 7 at 4:00 p.m. (Paris time). The meetings of the recruitment committee should take place between June and July. Anyone interested in this CPJ is invited to contact the persons specified in the Galaxie job description. Best regards, Pierre [*] Chairs of Junior Professor is a new recruitment method in France which is proposed to researchers in the first part of their career with a strong potential to work with or supervise and lead a research team, as well as to participate in national, European or international projects. These positions are based on a fixed-term contract (CDD) for a period of 3 to 6 years before tenure as a full professor in a university (Aix-Marseille University here). They are awarded with a teaching service (42 hours of lectures or 64 hours of tutorials) and a package sufficient to carry out a research project. You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

SYCO 12, Call For Participation
by Thibaut Benjamin 26 Mar '24

26 Mar '24

----------------------------------------- CALL FOR PARTICIPATION TWELFTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 12) Birmingham, UK 15-16 April, 2024 Registration deadline: Wednesday 03 April 2024 https://www.cl.cam.ac.uk/events/syco/12/ ----------------------------------------- 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, Como, Edinburgh and Palaiseau. The program consists of 2 invited talks and 14 contributed talks. We will try to offer the possibility of following the talks online. REGISTRATION ============ Registration is open until Wednesday 03 April 2024 at https://forms.gle/XxKEssgXiYSo4TUZ8 Registration is free and required even if you plan to follow the event online. INVITED SPEAKERS ================ The invited speakers are - Miriam Backens (INRIA Nancy): Graphical rewriting of quantum computations using the ZX-calculus and flow properties - Sean Moss (University of Birmingham): The Markov category of a random graph CONTRIBUTED TALKS ================= The full schedule is available at https://www.cl.cam.ac.uk/events/syco/12/ - Tanguy Massacrier, Philippe Malbos, Georg Struth Single-set cubical categories and their formalisation with a proof assistant - Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski Diagrammatic Algebra of First Order Logic - Aziz Kharoof Homotopical characterization of strong contextuality - Pablo Donato The Flower Calculus - Flavien Breuvart, Quan Long, Vladimir Zamdzhiev On the Centre of Strong Graded Monads - Grégoire Sergeant-Perthuis Compositional statistical mechanics, entropy and variational inference - Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary homotopy.io: a proof assistant for finitely-presented globular n-categories - Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis Correspondence between Composite Theories and Distributive Laws - Adrián Doña Mateo Pushing monads forward - Joshua Wrigley A topos-theoretic framework for reconstruction theorems in model theory - David Forsman Monoidal Meta-Theorem - Paul B Levy Game-enriched categories - Bruno Gavranović, Paul Lessard, Andrew Joseph Dudzik, Tamara von Glehn, João Guilherme Madeira Araújo, Petar Veličković Categorical Deep Learning: An Algebraic Theory of Architectures - Alexei Lisitsa, Andrew Fish Automated Reasoning for Tangles with Quantum Verification Applications PROGRAM COMMITTEE ================= Todd Ambridge, University of Birmingham Thibaut Benjamin, University of Cambridge (Chair) Olivia Caramello, Univserity of Insubria, Université Paris-Saclay Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Dominic Horsman, University of Grenoble George Kaye, University of Birmingham Aleks Kissinger, University of Oxford Jean-Simon Lemay, Macquarie University Paul Levy, University of Birmingham Ioannis Markakis, University of Cambridge Samuel Mimram, Ecole Polytechnique Paige North, Utrecht University Simona Paoli, University of Aberdeen Daniela Petrisan, Université Paris Cité Morgan Rogers, Université Sorbonne Paris Nord Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology Jamie Vicary, University of Cambridge STEERING COMMITTEE ================== Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Dominic Horsman, University of Oxford Aleks Kissinger, University of Oxford Samuel Mimram, Ecole Polytechnique Simona Paoli, University of Aberdeen Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology Jamie Vicary, University of Cambridge You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Re: Marek Zawadowski
by Karol Szumiło 23 Mar '24

23 Mar '24

The news of Marek's passing is immensely saddening. He was among the kindest, most thoughtful and optimistic people I have ever known. He was my first teacher of category theory and his influence over my outlook on mathematics cannot be overstated. Marek was also the one who urged me to take up a job at the University of Warsaw. I count myself lucky for having the benefit of his companionship over the last two years. He will be greatly missed. Karol Szumiło You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

7 7

T-algebras in CAT v. categories in T-alg
by David Yetter 23 Mar '24

23 Mar '24

Dear Colleagues: This is surely something well-known, but it is also opaque to search-engine queries. It is well-known (and I've both used the result and proved it by hand) than group objects in Cat and category object in Groups are the same thing: strict monoidal categories in which every object and every arrow have an inverse with respect to \otimes. What class of theories (e.g. finite product, left-exact, finitely axiomatizable equational,...) have the property that category objects in their category of models are the same as models of the theory in Cat? Citations would be welcomed. The question came up in work with an old student of mine, and rather than spending time proving the result we'd like for the particular theory at hand, I thought it best to see if it followed from something in the literature. Alas, all sensible keyword combinations give pages of irrelevant search results, so asking the community seemed the best way to proceed. Thanks in advance. Best thoughts, D.Y. You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

5 5

Re: T-algebras in CAT v. categories in T-alg
by Andrea Corradini 22 Mar '24

22 Mar '24

Dear David, The following paper can be relevant: J.W. Gray, The category of sketches as a model for algebraic semantics, Contemp. Math. 92 (1989) Look at the tensor product in the category of sketches defined in Section 4. Models of sketch $A \otimes B$ are models of $B$ in the category of models of $A$, and $\otimes$ is commutative. Best, Andrea Corradini On Thu, Mar 21, 2024 at 10:28 PM David Yetter <dyetter(a)ksu.edu<mailto:dyetter@ksu.edu>> wrote: Dear Colleagues: This is surely something well-known, but it is also opaque to search-engine queries. It is well-known (and I've both used the result and proved it by hand) than group objects in Cat and category object in Groups are the same thing: strict monoidal categories in which every object and every arrow have an inverse with respect to \otimes. What class of theories (e.g. finite product, left-exact, finitely axiomatizable equational,...) have the property that category objects in their category of models are the same as models of the theory in Cat? Citations would be welcomed. The question came up in work with an old student of mine, and rather than spending time proving the result we'd like for the particular theory at hand, I thought it best to see if it followed from something in the literature. Alas, all sensible keyword combinations give pages of irrelevant search results, so asking the community seemed the best way to proceed. Thanks in advance. Best thoughts, D.Y. You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files | Leave group | Learn more about Microsoft 365 Groups You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

3 2

Second CfP and deadline extension: 14th Panhellenic Logic Symposium
by Alex Kavvos 21 Mar '24

21 Mar '24

*** The deadlines for the 14th Panhellenic Logic Symposium have now been extended. *** *** Please see below. *** PLS14: THE FOURTEENTH PANHELLENIC LOGIC SYMPOSIUM July 01-05, 2024, Thessaloniki, Greece Organized by the Aristotle University of Thessaloniki http://panhellenic-logic-symposium.org/ Dedicated to the memory of Thanases Pheidas. Paper submission link: https://easychair.org/conferences/?conf=pls140 The Panhellenic Logic Symposium (PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. ===================================================================== IMPORTANT DATES - DEADLINES HAVE NOW BEEN EXTENDED * Deadline for submission Friday, April 5 2024 * Notification Monday, April 29 2024 * Final version due Wednesday, May 29 2024 ===================================================================== INVITED SPEAKERS - Aristotelis Panagiotopoulos, Kurt Gödel Research Center University of Vienna - Christina Vassilakopoulou, National Technical University of Athens - David Aspero, University of East Anglia [to be confirmed] - Isolde Adler, University of Bamberg - Matthias Aschenbrenner, University of Vienna - Paul Blain Levy, University of Birmingham - Yannick Forster, Inria TUTORIALS - Angeliki Koutsoukou-Argyraki, Royal Holloway University of London - Takayuki Kihara, Nagoya University ===================================================================== SPECIAL SESSIONS Logic and Philosophy: Higher-Order Logic - Bruno Jacinto, University of Lisbon - Cian Dorr, New York University - Gabriel Uzquiano, University of Southern California Special session in memory of Thanases Pheidas - Dimitra Chompitaki, University of Crete - Konstantinos Kartas, IMJ-PRG/Sorbonne Université - Lefteris Kirousis, University of Athens - Xavier Vidaux, University of Concepción [to be confirmed] ===================================================================== SUBMISSION GUIDELINES Research papers The Scientific Committee invites all researchers in the areas of the conference to submit their papers for presentation at PLS14. All submitted papers will be reviewed by the Scientific Committee of the symposium, who will make final decisions on acceptance. Accepted papers will appear in an informal, electronic proceedings volume, which will be posted on the event's webpage. During the actual event, each accepted paper should be presented by at least one of its authors. Papers should be written in English, a maximum of 5 pages long, and prepared (in PDF format) using the EasyChair class style (easychair.org/publications/for_authors) Submissions will happen through EasyChair. Paper submission link: https://easychair.org/conferences/?conf=pls140 Poster session Graduate students and early-career researchers are invited to submit a short, 1-page abstract on preliminary work that may not be ready for a full talk yet. Those accepted will be able to present their work in poster form in a special poster session. The session will also feature a mentoring component in which senior researchers will discuss the posters and provide feedback to the authors. Interested students and early-career researchers should submit their abstracts by Wednesday, 29 May 2024 Submissions will be accepted by email at the address pls14(a)softlab.ntua.gr ===================================================================== GRANTS Students may apply for travel funds to the Association for Symbolic Logic (ASL), under the following provisions: a) the applicants are ASL members and b) the application is received three months prior to the start of the meeting. See https://aslonline.org/meetings/student-travel-awards/ for more details. Further travel grants will be provided for students and young researchers. Details will be uploaded on the conference webpage. ===================================================================== LIST OF TOPICS Areas of interest include (but are not limited to): - Computability theory - Model theory - Set theory - Proof theory - Categorical logic - Philosophical logic - Nonclassical and modal logics - Logic in Computer Science ===================================================================== COMMITTEES Program Committee Alex Kavvos, University of Bristol (chair) Alexandra Soskova, Sofia University Ana Sokolova, University of Salzburg Andrew Lewis-Pye, London School of Economics Antonis Achilleos, Reykjavik University Antonis Kakas, University of Cyprus Costas Dimitracopoulos, University of Athens Elli Anastasiadi, Uppsala University George Barmpalias, Chinese Academy of Sciences Konstantinos Tsaprounis, University of the Aegean Kostas Hatzikiriakou, University of Thessaly Pantelis Eleftheriou, University of Leeds Rizos Sklinos, University of Crete Vassilis Gregoriades, National Technical University of Athens (chair) Yannis Stephanou, University of Athens Organizing committee Ioannis Souldatos, University of Thessaloniki (chair) Nikolaos Papaspyrou, National Technical University of Athens Paraskevas Alvanos, University of Thessaloniki ===================================================================== CONTACTS General enquiries: pls14(a)softlab.ntua.gr Alex Kavvos and Vassilis Gregoriades, Chairs of the Scientific Committee Ioannis Souldatos, Chair of the Organizing Committee ===================================================================== SPONSORS European Mathematical Society Foundation Compositio Mathematica Association for Symbolic Logic Aristotle University of Thessaloniki University of Bristol University of Cyprus … Alex Kavvos … Senior Lecturer in Programming Languages … School of Computer Science, University of Bristol, UK … https://seis.bristol.ac.uk/~tz20861/ … Alex Kavvos … Senior Lecturer in Programming Languages … School of Computer Science, University of Bristol, UK … https://seis.bristol.ac.uk/~tz20861/ You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0