August 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

CATNIP, Edinburgh, October 3
by Tom Leinster 29 Aug '25

29 Aug '25

The next meeting of the Categories Networking Project (CATNIP) will be held at University of Edinburgh on Friday 3 October https://sites.google.com/view/catniporg/meetings Invited speakers: * Christian Voigt (University of Glasgow) * Cristina Matache (University of Edinburgh) * Riu Rodriguez Sakamoto (University of Strathclyde) * Vladimir Zamdzhiev (INRIA Saclay) Please register at https://forms.gle/9GuZ9mFNhwyQe6yv9 Lunch will be provided for registered participants, and travel reimbursement may be available for participants from the three CATNIP nodes. CATNIP is a scientific network between the University of Aberdeen, the University of Edinburgh and the University of Strathclyde, funded by the Isaac Newton Institute. It is focused on category theory, both in its foundational aspects and in its interactions with computer science and with other areas of mathematics, such as topology, algebra, mathematical physics and applied mathematics. * Scientific talks are widely accessible: relevant background material is provided beforehand, and motivation is emphasised. Interacting with people outside your specific research area is encouraged. * Early career researchers count: they can gain research advice, peer interaction, and informal mentoring, in an open and low-pressure environment. * Minorities are supported: we are strongly committed to supporting underrepresented groups, including women. Funding is available to take away obstacles such as childcare, unusual accommodation needs, or audio-visual accessibility tools. Kind regards, Chris Heunen Jules Hedges Simona Paoli Tom Leinster The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336. 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

Final announcement - Collection honouring Robert Paré for his 80th birthday
by Christina Vasilakopoulou 27 Aug '25

27 Aug '25

Dear colleagues, This is a final announcement of the extension of the deadline for submissions, regarding the Collection honouring Robert Paré for his 80th birthday in Applied Categorical Structures. We will be very happy to receive your manuscripts by September the 30th in the following link https://link.springer.com/collections/dijeibfdbh Below you can find the original invitation with more details. With best regards, Bryce Clarke <bryce.clarke(a)taltech.ee<mailto:bryce.clarke@taltech.ee>> Marco Grandis <grandismrc(a)gmail.com<mailto:grandismrc@gmail.com>> Dorette Pronk <dorette.pronk(a)dal.ca<mailto:dorette.pronk@dal.ca>> Christina Vasilakopoulou <cvasilak(a)math.ntua.gr<mailto:cvasilak@math.ntua.gr>> ________________________________ From: Bryce James Clarke <bryce.clarke(a)taltech.ee<mailto:bryce.clarke@taltech.ee>> Sent: Wednesday, 25 September 2024 5:25 PM To: categories(a)mq.edu.au<mailto:categories@mq.edu.au> <categories(a)mq.edu.au<mailto:categories@mq.edu.au>> Subject: Collection honouring Robert Paré for his 80th birthday 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 0

Postdoctoral position in category theory and machine learning (2 years)
by Jamie Vicary 21 Aug '25

21 Aug '25

Dear all, I'm writing to announce a 2-year postdoctoral position currently being advertised to work with my group at the University of Cambridge. The project is on category theory and machine learning. The ideal candidate will have good experience in at least one of these fields, and will be motivated to work in a cross-disciplinary team to extend their knowledge in both areas. Please pass this on to anyone who might be interested to apply. I'm happy to answer any questions. https://www.cam.ac.uk/jobs/research-associatesenior-research-associate-cate… Best wishes, Jamie 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

RHPL@FSTTCS 2025: Second Call for Talk and Poster Proposals
by Abhisekh Sankaran 20 Aug '25

20 Aug '25

============================================================= RHPL@FSTTCS 2025: Workshop on Research Highlights in Programming Languages December 2025, BITS Goa, co-located with FSTTCS 2025 Website: https://fmindia.cmi.ac.in/rhpl2025/ Submission deadline: September 18, 2025 ============================================================= Dear colleague, As you may know, FSTTCS 2025 (https://www.fsttcs.org.in/2025/) is going to be held at BITS Pilani, K K Birla Goa Campus (https://www.bits-pilani.ac.in/goa/) during December 17 – 19, 2025. The conference is organized by IARCS, the Indian Association for Research in Computing Science (https://www.iarcs.org.in/) in association with ACM India (https://india.acm.org/) It is a very visible forum for presenting original results in foundational aspects of Computer Science and Software Technology. As in the previous years, this year too, co-located with the main FSTTCS conference, IARCS is organizing the Workshop on Research Highlights in Programming Languages (RHPL@FSTTCS). The focus of the workshop will be on all areas of Programming Languages (PL), including but not limited to: - Applied formal methods - Automated and interactive theorem provers - Compilers - Concurrency and memory models - Domain and type theories - Program analysis and verification - Program sketching, synthesis and repair - Programming language design and semantics Further, in view of the increasing role of Artificial Intelligence (AI) and Machine Learning (ML) in PL theory and practice, the workshop also includes in its scope themes pertaining to the influences of AI/ML concepts and tools on the mentioned PL topics, and vice-versa; for instance, probabilistic programming languages. The website for the workshop is: https://fmindia.cmi.ac.in/rhpl2025/. The objective of RHPL is to foster interactions between the attendees of the workshop, and more broadly between researchers working on Programming Languages and the traditional FSTTCS community of researchers working on Theoretical Computer Science and Formal Methods. We solicit: (1) Talk proposals: On recent work that has been published in good venues, or is mature in terms of approach and evaluation. (2) Poster proposals: On early ideas that are promising but have not been developed fully. Selections of these proposals will be made based on the promise of research possibilities and their novelty. Proposals to the workshop can be based on one or more works, published or unpublished. They may be submitted using the Google form below. https://forms.gle/RufuAs54zxsadp1n7 The important dates for the workshop are as below. All dates are in Indian Standard Time (IST). - Submission portal opens: July 28, 2025 - Submission deadline: September 18, 2025 - Notification: September 25, 2025 - Early registration deadline: TBA - RHPL@FSTTCS: TBA We look forward to receiving your talk/poster proposals to the workshop. On behalf of the RHPL@FSTTCS workshop organizing committee: Abhisekh Sankaran (TCS Research) (co-Chair) Divyesh Unadkat (Synopsys) (co-Chair) Deepak D'Souza (IISc Bangalore) Uday Khedker (IIT Bombay) Kumar Madhukar (IIT Delhi) Kartik Nagar (IIT Madras) Sumanth Prabhu (TCS Research) Ganesan Ramalingam (Microsoft) Abhik Roychoudhury (National University of Singapore) 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

PSSL111 - Second Announcement
by Matteo Capucci 18 Aug '25

18 Aug '25

Dear all, We are happy to announce that the 111st Peripatetic Seminar on Sheaves and Logic (PSSL111) is set to take place on Thursday and Friday September 4th–5th, 2025, in Bologna, Italy. This edition of the PSSL is being organized by Matteo Capucci (matteo.capucci(a)gmail.com<mailto:matteo.capucci@gmail.com>) and Vikraman Choudhury (vikraman.choudhury(a)unibo.it<mailto:vikraman.choudhury@unibo.it>). All the information (venue, schedule of talks) are already or will be posted on the event webpage: > https://progetto-itaca.github.io/pssl111/ There are no registration fees, but we kindly ask that you complete the registration form by August 28th at the latest. You may find the link in the aforementioned webpage. When registering, you'll be given the option to submit a talk proposal. We seek proposals for contributed talks on all aspects of category theory and its applications. Talks about work in progress are also warmly welcomed. We especially encourage PhD students and young researchers to submit their work. Contributions from the logic, type theory, and the programming languages community would be most welcome. Apologies for multiple postings. We can't wait to see you in Bologna! Matteo and Vikraman ------------------------------------------------------------------------------------- Matteo Capucci (he/him) University of Strathclyde / ARIA Creator website, twitter I sometimes email outside standard working hours as this is convenient for me. Please don't feel the need to respond until you are at work. 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

XV Portuguese Category Seminar (second announcement)
by Dirk Hofmann 13 Aug '25

13 Aug '25

Dear Colleagues, The fifteenth edition of the PCS -- *Portuguese Category Seminar* -- will take in September 11-12, 2025, at the Department of Mathematics of the University of Aveiro. Relevant deadlines: - To attend: let us know by September 6. - To give a talk: if you have not done so yet, please let us know as soon as possible, and submit your abstract by August 29. - Contacts: dirk(a)ua.pt (Dirk), ruiprezado(a)ua.pt (Rui). Important information: - Address: Departamento de Matemática, Universidade de Aveiro, Campus Universitário de Santiago, 3810-193 Aveiro, Portugal - Place: Room 11.3.13 For more details, check our webpage at https://prezado.github.io/xvpcs/home.html, and for previous editions, see https://www.mat.uc.pt/~categ/pcs.html. Looking forward to see in Aveiro in September! Best regards Dirk and Rui (for the organising) 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

Gilles Dowek (1966-2025)
by Valeria de Paiva 04 Aug '25

04 Aug '25

I am sorry to bear the sad news that Gilles Dowek has passed away on 21 July, after a courageous battle with cancer. There is an obituary from Le Monde https://www.lemonde.fr/disparitions/article/2025/07/21/gilles-dowek-informa… and a note from Catherine Dubois, Thérèse Hardin and Olivier Hermant in English, via Sophie Pinchinat. With a heavy heart, Valeria ---------------------------- Dear all, It is with great sadness that we announce the passing of Gilles Dowek on 21 July, 58 years old, after a three-year courageous battle with cancer. Gilles was a Research Director at Inria and an Associate Professor at ENS Paris-Saclay. He was a major scientist in Computer Science, internationally renowned. It is difficult to summarize his contributions to our discipline in just a few lines. His work focused on the formalization of mathematics, type theory and proof theory, the links between computation and deduction, rewriting, quantum computation, and more. This theoretical work, recognized as being of prime importance, drove his research into making it available through the design and development of tools: proof assistants (Coq then Dedukti), the design of algorithms improving the safety of aeronautical systems, interoperability of formal proofs, etc. Beyond the aspects specific to his profession, Gilles was a computer scientist committed to society. His contributions span multiple fields such as ethics, popularization, and teaching in all curricula. In particular, he contributed greatly to the introduction of the ISN (Computer Science and Digital Science) option in high schools, and until recently he was still very active on the Higher Council for Programs. Gilles received numerous prizes, that demonstrate how well he was recognized by his peers: the Grand Prix de Philosophie award of the French Academy for the book "Les Métamorphoses du calcul" in 2007 ; the Grand Prix Inria - Academy of Sciences award in 2023 ; the History of Sciences and Epistemology medal of the Academy of Sciences in 2024. Finally, Gilles was an outstanding speaker and teacher, with a speech rate that could not let you fall asleep, an unmatched pedagogy and a very large culture. He was open to everybody and was first to support the youngers. He has inspired, guided, and led in his projects uncountably many persons. Thank you for everything, Gilles. Having known you has been a chance, a pleasure, but above all an honor. To conclude, we quote a paragraph that has been written by the SIF (French Computer Science Society), to which Gilles has largely contributed: "He leaves a rich inheritage, written and filmed, that tackles intemporal questions and that will for a long time keep us reflecting. He also leaves us an optimistic without naïve idealism viewpoint, an incitement to pursue the development of our human intelligence while keeping eyes wide open on the world." Catherine Dubois, Thérèse Hardin, Olivier Hermant -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ 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>

2 1