May 2025 - 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

7th Workshop on Formal Topology (7WFTop)-( first annoucement)
by Maria Emilia Maietti 12 Feb '26

12 Feb '26

================================== 7th Workshop on Formal Topology (7WFTop). >From topology to dynamic constructivism, and back. (first announcement) > ------------------------------ The 7th Workshop on Formal Topology will take place in Venice, Italy, on April 13-17, 2026 at Convento di San Francesco della Vigna. This is the seventh of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The first six have been held in Padua (1997), Venice (2002), Padua (2007), Ljubljana (2012), Stockholm (2015), and Birmingham (2019). The meeting is supported by Dipartimento di Matematica “Tullio Levi-Civita” (Università di Padova). ------------------------------ Dynamic constructivism is a new approach to the foundation of mathematics proposed by Giovanni Sambin starting from the 90s and whose forthcoming book is a first organic exposition. The main claim is that mathematics is the result of a dynamic, human process, which stems from the interplay between the construction of mathematical entities, by abstraction and by idealization, and their selection according to their effectiveness in applications to reality and in the organization of mathematics itself. Pointfree topology in the form of Formal Topology and the more recent Positive Topology provides a key tool to link the effective content of mathematics with its ideal one, and thus achieve a synthesis of computation and visual intuition. A careful management of information within a dynamic view "back and forth" from mathematics to its foundation inevitably leads to accepting a plural vision of mathematics, thus enlightening connections between different constructive or even classical approaches to it. INVITED SPEAKERS: Steve Awodey, Andrej Bauer, Ingo Blechschmidt, Francesco Ciraulo, Maria Manuel Clementino, Thierry Coquand, Laura Crosilla, Tom de Jong, Martín Escardó, Hugo Herbelin, Hajime Ishihara, Tatsuji Kawai, Ansten Klev, Takako Nemoto, Michael Rathjen, Giovanni Sambin, Göran Sundholm, Mark van Atten, Steve Vickers, David Wärn, Joshua Wrigley. CONTRIBUTED TALKS There will be room for some contributed talks. Information about abstract submission will appear soon in the website of the workshop. ACCOMODATION The organizers will be happy to help you find accommodation, given the peculiarities of the city of Venice, and are making agreements with some facilities to guarantee partecipants a convenient price for their stay. If you are interested, please write to the workshop email address 7wftop(a)math.unipd.it<mailto:7wftop@math.unipd.it> as soon as possible, indicating "accommodation" in the subject. Finding accommodation at a reasonable price will be difficult or virtually impossible after June-July 2025. REGISTRATION The registration form will be available soon on the workshop website https://events.math.unipd.it/7wftop/. Participation will require a registration fee. SCIENTIFIC COMMITTEE Ingo Blechschmidt (University of Antwerp) Thierry Coquand (Gothenburg University) Martín Escardó (University of Birmingham) Maria Emilia Maietti (University of Padua) Per Martin-Löf (Stockholm University) ORGANIZING COMMITTEE Cipriano Junior Cioffo (University of Pisa) Francesco Ciraulo (University of Padua) Maria Emilia Maietti (University of Padua) Samuele Maschio (University of Padua) Pietro Sabelli (Czech Academy of Science) Giovanni Sambin (University of Padua) CONTACTS For inquiries, please send an e-mail to: 7wftop(a)math.unipd.it<mailto:7wftop@math.unipd.it> 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 3

Collection honouring Robert Paré for his 80th birthday
by Bryce James Clarke 13 Jun '25

13 Jun '25

We are pleased to announce a special collection in Applied Categorical Structures honouring our friend and colleague, Bob Paré, on the occasion of this 80th birthday. Throughout his career Bob (Professor Emeritus and Adjunct Professor at Dalhousie University) has made several lasting contributions to category theory, including notable research in a broad range of subjects, such as double categories, higher categories, indexed categories, toposes and accessible categories. This collection will bring together contributions which honour the lasting impact Bob has made, and is making, in the category theory community. Submissions will be open from 1 October 2024 until 30 June 2025 at this link: https://link.springer.com/collections/dijeibfdbh All submissions on topics which celebrate Bob's work are welcome, including double categories, higher categories, indexed categories, toposes and accessible categories. The collection will be edited by four guest editors: - Bryce Clarke (Tallinn University of Technology) - Marco Grandis (University of Genoa) - Dorette Pronk (Dalhousie University) - Christina Vasilakopoulou (National Technical University of Athens) The publication process for this collection in Applied Categorical Structures differs from the traditional model for a special volume. Articles are published within whichever issue is open at the time, and concurrently published in the collection available at the above link. This helps papers to be published quickly, without having to wait for a whole issue to be ready, while still allowing all papers in the collection to be available in a single place. The editors are happy to answer any questions, and we look forward to receiving your submissions. Best wishes, Bryce, Marco, Dorette, and Christina. 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

CALCO/MFPS 2025: Second Call for Participation
by Thorsten Wissmann 31 May '25

31 May '25

========================================================== Second Call for Participation CALCO 2025 / MFPS XLI June 16-20, 2025 University of Strathclyde in Glasgow, UK https://coalg.org/calco-mfps-2025/ ========================================================== 11th International Conference on Algebra and Coalgebra in Computer Science 41st Conference on the Mathematical Foundations of Programming Semantics (MFPS XLI) ========================================================== Registration ------------ The registration is open until June 2, 2025 via: https://coalg.org/calco-mfps-2025/registration/ Programme --------- The tentative MFPS programme is available on https://www.coalg.org/calco-mfps-2025/programme/ The CALCO programme will be announced shortly! Invited Speakers ---------------- * Ugo dal Lago, University of Bologna, Italy (joint special session on Quantitative Semantics) * Gordon Plotkin, University of Edinburgh, UK (joint keynote speaker) * Elena di Lavore, University of Pisa, Italy (CALCO) * Alexander Kurz, Chapman University, US (CALCO) * Chris Heunen, University of Edinburgh, UK (MFPS) * Delia Kesner, Université Paris Cité, France (MFPS) * Jurriaan Rot, Radboud University, the Netherlands (MFPS) Talks ----- In addition to the above invited speakers, the accepted papers will be presented: * Accepted CALCO Papers: https://www.coalg.org/calco-mfps-2025/calco/accepted/ * Accepted MFPS Papers: https://www.coalg.org/calco-mfps-2025/mfps/accepted/ About CALCO and MFPS -------------------- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. 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 mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. 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

Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025
by Giovanni Solda 27 May '25

27 May '25

The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society. This annual event continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory. Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks. Guided by The Proof Manifesto, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond. More information can be found on the website: https://proof2025.ugent.be/ IMPORTANT DATES * (For ASL members) Deadline for the application for ASL student travel awards: 1st of June (three months before the start of the conference, see https://aslonline.org/student-travel-awards/ for more information) * Deadline for submission of abstracts for the Workshop: 16th of June * Summer School: 1st to 3rd of September * Workshop: 4th and 5th of September REGISTRATION Registration will open soon. The fees are: * Summer School (regular): 150 euros * Summer School (students): 100 euros * Workshop (regular): 150 euros * Workshop (students): 100 euros BEST STUDENT PRESENTATION AWARD As is traditional for the proof Society Workshop, there will be an award for the best student presentation. PROGRAM COMMITTEE * Fedor Pakhomov * Bahereh Afshari * Lev Beklemishev * Benno van den Berg * Lorenzo Carlucci * David Fernández-Duque * Balthasar Grabmayr * Stefan Hetzl * Jan Heylen * Rosalie Iemhoff * Mateusz Łełyk * Maria Emilia Maietti * Nicholas Pischke * Takako Nemoto * Monika Seisenberger * Johannes Stern ORGANIZING COMMITTEE * Andreas Weiermann * Fedor Pakhomov * Giovanni Soldà * Mojtaba Mojtahedi * Brett McLean * Alakh Dhruv Chopra * Philipp Provenzano * Lukas Matthias Zenger * Vlad Lazar * Jan Heylen * Daisie Job Rock * Jozefien D’haeseleer * Morgan Callewaert * Joke Meheus 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

TYPES 2025: Final Call for Participation
by Fredrik Nordvall Forsberg 21 May '25

21 May '25

[Apologies for multiple postings.] Final Call for Participation TYPES 2025 31st International Conference on Types for Proofs and Programs Glasgow, Scotland, 9 -- 13 June 2025 https://msp.cis.strath.ac.uk/types2025/ REGISTRATION ------------ Late registration is open until 30 May; see https://msp.cis.strath.ac.uk/types2025/registration.html for more information. Students can register at a reduced fee. For details, see the above link. INVITED SPEAKERS ---------------- Ingo Blechschmidt (University of Antwerp) Sonia Marin (University of Birmingham) Chris Martens (Northeastern University) Christian Sattler (Chalmers University of Technology and University of Gothenburg) CONTRIBUTED TALKS ----------------- A list of accepted contributed talks can be found at https://msp.cis.strath.ac.uk/types2025/accepted.html . A preliminary programme can be found at https://msp.cis.strath.ac.uk/types2025/programme.html . COLOCATED EVENTS ---------------- * 10 June: Women in EuroProofNet (https://europroofnet.github.io/women-epn-2025/ ) * 16 -- 20 June: CALCO 2025 & MFPS XLI (https://www.coalg.org/calco-mfps-2025/ ) BACKGROUND ---------- The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable. If you need to discuss remote participation, please contact the organisers. VISA ISSUES ----------- Note that even if you are lucky enough to not require a visa to enter the UK, you might still need to apply for electronic travel authorisation (ETA). In particular, this applies to EU citizens. You can check what you need here: https://www.gov.uk/check-uk-visa If you do need a visa, we are happy to write you a letter of invitation, confirming that you have registered for the conference. See the registration page for more details. SPONSORS -------- Jane Street (Gold Sponsor) Formal Vindications Well-Typed IOG Tunnock's (Caramel Wafer sponsor) PROGRAMME COMMITTEE ------------------- Danel Ahman (University of Tartu, Estonia) Guillaume Allais (University of Strathclyde, Scotland) Malin Altenmüller (University of Edinburgh, Scotland) Sandra Alves (University of Porto, Portugal) Casper Bach (University of Southern Denmark, Denmark) Ana Bove (Chalmers and University of Gothenburg, Sweden) Liang-Ting Chen (Academia Sinica, Taiwan) Vikraman Choudhury (University of Bologna, Italy) Gilda Ferreira (Universidade Aberta, Portugal) Daniel Gratzer (Aarhus University, Denmark) Tom de Jong (University of Nottingham, England) Dominik Kirst (Inria Paris, France) Neel Krishnaswami (University of Cambridge, England) András Kovács (University of Gothenburg and Chalmers, Sweden) Peter LeFanu Lumsdaine (Stockholm University, Sweden) Kenji Maillard (Inria Rennes-Bretagne Atlantique, France) Max New (University of Michigan, United States of America) Fredrik Nordvall Forsberg (University of Strathclyde, Scotland) (chair) Elaine Pimentel (University College London, England) Andrew Swan (University of Ljubljana, Slovenia) Tarmo Uustalu (Reykjavík University, Iceland) Niels van der Weide (Radboud University Nijmegen, The Netherlands) Théo Winterhalter (Inria Saclay, France) Maaike Zwart (IT University Copenhagen, Denmark) TYPES STEERING COMMITTEE ------------------------ Eduardo Hermo Reyes (Formal Vindications, Spain) Tom de Jong (University of Nottingham, England) Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) Fredrik Nordvall Forsberg (University of Strathclyde, Scotland) Paige Randall North (Utrecht University, The Netherlands) (chair) Benno van den Berg (University of Amsterdam, The Netherlands) (secretary) ABOUT TYPES ----------- The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 onwards, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019), Virtual (2021), Nantes (2022), València (2023), Copenhagen (2024). CONTACT ------- Email: CIS_types2025(a)groups.strath.ac.uk ORGANISERS ---------- Guillaume Allais (University of Strathclyde, Scotland) Stuart Gale (University of Strathclyde, Scotland) Fredrik Nordvall Forsberg (University of Strathclyde, Scotland) 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

Postdoctoral Research Position, University of Birmingham
by Sergey Goncharov 20 May '25

20 May '25

**Postdoctoral Research Position in Theoretical Computer Science** at the University of Birmingham, UK The University of Birmingham invites applications for a fully funded postdoctoral research position in Theoretical Computer Science. The position is funded by the German Research Foundation (DFG) and provides support for 18 months of full-time research, with a possible further extension by another 6 months. The successful candidate will contribute to the project "Higher-Order Monad-based Programming and Reasoning (HOMBRe)", which explores foundational aspects of program semantics and verification. A central focus of the project is the treatment of computational effects via monads and their generalizations as well as the semantics of iteration and recursion via trace operators, with particular interest in the notion of guarded traces. The project welcomes a broad range of perspectives across functional-imperative programming, verification logics, and categorical semantics. The position is open immediately and preferably to be filled as soon as possible. Applications will be considered on a rolling basis. To apply, use the following link to the University's Job Portal: https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6… Send your informal inquiries to Sergey Goncharov (S.Goncharov(a)bham.ac.uk) 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

CT2025 Registration Deadline Reminder
by bourkej 19 May '25

19 May '25

Dear colleagues, This is a reminder that the deadline for registration for CT2025 is this Friday the 23rd of May 2025. If you have not yet registered, we encourage you to do so as soon as possible. For more information about the conference, please visit our website at https://conference.math.muni.cz/ct2025/ Best regards, The Organizing Committee of CT2025 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

ItaCa Fest - 20th of May
by Giacomo Tendas 18 May '25

18 May '25

Dear all, On Tuesday the 20th of May, we will meet again for the ItaCa Fest. We will start at 3:00 PM (Italian time). As usual, you can find all the relevant information (schedule, abstracts, and Zoom link) at the following page: https://progetto-itaca.github.io/fests/fest25.html Here is the list of speakers for this episode: • Peter Lumsdaine – TBA • Sanjiv Ranchod – Substitution for Linear-Cartesian and Full Substructural Theories • Pablo Donato – The Flower Calculus Best, Giacomo 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

A question
by dariush Aqababaei dehkordi 18 May '25

18 May '25

Dear categories How do i define multi allegory,generalized multi allegory,meta allegory? With the best wishes Dr dariush.aqababaei.dehkordi 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