April 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

TLLA 2024 -- Call for Papers
by JS Lemay 14 May '24

14 May '24

============================================================== Call for Papers TLLA 2024 8th International Workshop on Trends in Linear Logic and Applications Tallinn, Estonia 8-9 July 2024 Affiliated with FSCD 2024 https://tlla.linear-logic.org/2024/ ============================================================== Linear Logic is not only a proof theoretical tool to analyze or control the use of resources in logic and computation. It is also a corpus of tools, approaches, and methodologies (proof nets, exponential decomposition, geometry of interaction, coherent spaces, relational models, etc.) that, even if developed for studying Linear Logic syntax and semantics, have been applied in several other fields (analysis of lambda-calculus computations, game semantics, computational complexity, program verification, etc.). The TLLA international workshop aims at bringing together researchers working on Linear Logic or applying it or its tools. The main goal is to present and discuss trends in the research on Linear Logic and its applications by means of tutorials, invited talks, open discussions, and contributed talks. The purpose is to gather researchers interested in the connections between Linear Logic and various topics such as * theory of programming languages * games and languages * proof theory * categories and algebra * implicit computational complexity * parallelism and concurrency * quantum and probabilistic computing * models of computation * possible connections with combinatorics * functional analysis and operator algebras * philosophy of logic and mathematics * linguistics ---------------------------------------------------------------------- ** Submission Guidelines ---------------------------------------------------------------------- Contributions are not restricted to talks presenting original results, but are also open to tutorials, open discussions, and position papers. For this reason, we strongly encourage contributions presenting work in progress, open questions, and research projects. Contributions presenting the application of linear logic results, techniques, or tools to other fields, or vice versa, are most welcome. To propose a contributed talk, please submit a short abstract whose length is between 2 and 5 pages at https://tlla-2024.sciencesconf.org ---------------------------------------------------------------------- ** Important dates ---------------------------------------------------------------------- * Submission deadline: 15 May 2024 * Notification to authors: 25 May 2024 * Final versions due: 16 June 2024 * Workshop date: 8-9 July 2024 ---------------------------------------------------------------------- ** Publication ---------------------------------------------------------------------- The abstracts of the contributed and invited talks will be published on the site of the conference. Possible other formats will be discussed at the workshop. ---------------------------------------------------------------------- ** Invited Speakers ---------------------------------------------------------------------- * TBA ---------------------------------------------------------------------- ** Program Committee ---------------------------------------------------------------------- * Paolo Pistone (chair), Université Lyon 1 * Farzaneh Derakhshan, Illinois Institute of Technology * Amy Felty, University of Ottawa * Zeinab Galal, Università di Bologna * Willem Heijltjes, University of Bath * Delia Kesner, Université Paris Cité * Jean-Simon Pacaud Lemay, Macquarie University * Federico Olimpieri, Université d'Aix-Marseille ---------------------------------------------------------------------- ** Organization Committee ---------------------------------------------------------------------- * Thomas Ehrhard, CNRS - Université Paris Cité, France * Stefano Guerrini, Université Sorbonne Paris Nord, France * Lorenzo Tortora de Falco, Università Roma Tre, Italy ---------------------------------------------------------------------- ** Proceedings ---------------------------------------------------------------------- We are considering the possibility of publishing online proceedings after the workshop. ---------------------------------------------------------------------- ** Contact ---------------------------------------------------------------------- All questions about submissions can be emailed at tlla-2024(a)sciencesconf.org or paolo.pistone(a)ens-lyon.fr.

1 1

School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024
by Favonia 23 Apr '24

23 Apr '24

We are pleased to announce the School on Univalent Mathematics 2024 to be held at the University of Minnesota (Twin Cities), Minneapolis, MN, United States, July 29-August 2, 2024 (https://unimath.github.io/minneapolis2024) If you are interested, please fill out the application form (https://forms.gle/9PTB2V19hVuJsidz8) We will start the reviewing on *May 6, 2024* and accept applicants on a rolling basis. Overview ======== Homotopy Type Theory is an emerging field of mathematics that studies a fruitful relationship between homotopy theory and (dependent) type theory. This relation plays a crucial role in Voevodsky's program of Univalent Foundations, a new approach to foundations of mathematics based on ideas from homotopy theory, such as the Univalence Principle. The UniMath library is a large repository of computer-checked mathematics, developed from the univalent viewpoint. It is based on the computer proof assistant Coq. In this school, we aim to introduce newcomers to the ideas of Univalent Foundations and mathematics therein, and to the formalization of mathematics in UniMath (https://github.com/UniMath/UniMath) This is our first school in the United States in the hope that students in North America can participate more easily. Format ======= Participants will receive an introduction to Univalent Foundations and to mathematics in those foundations. In the accompanying problem sessions, they will formalize pieces of univalent mathematics in the UniMath library. Prerequisites ========== Participants should be interested in mathematics and the use of computers for mathematical reasoning. Participants do not need to have prior knowledge of logic, Coq, or Univalent Foundations. Application and funding ======================= Please fill out the form (https://forms.gle/9PTB2V19hVuJsidz8) For information on how to participate, please visit https://unimath.github.io/minneapolis2024 Best regards, The organizers Benedikt Ahrens and Favonia 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

Category Theory and Categorical Algebra *** 60th birthday of Enrico Vitale
by Giuseppe Metere 21 Apr '24

21 Apr '24

Dear colleagues and friends, On the occasion of the 60th birthday of Enrico Vitale, we are organizing a 2-days workshop *** Category Theory and Categorical Algebra *** to be held at the University of Milan, September 9th and 10th, 2024. Website: https://sites.google.com/view/beppemetere/ct-catalg The following speakers already confirmed their participation: Francis Borceux (Université catholique de Louvain) Dominique Bourn (Université du Littoral) Marino Gran (Université catholique de Louvain) Pierre-Alain Jacqmin (Université catholique de Louvain and Royal Military Academy, Belgium) Zurab Janelidze (Stellenbosch University) Mariano Messora (Università degli Studi di Milano) Giuseppe Metere (Università degli Studi di Milano) Julia Ramos González (Université catholique de Louvain, Belgium) Giuseppe Rosolini (Università degli Studi di Genova) More precise information will follow… As of now, please save the date, and plan your visit to Milan! For information and enquiries, do not hesitate to email one of the organizers. Alan Cigoli Marino Gran Sandra Mantovani Beppe Metere .ƸӜƷ.•°*”˜˜”*°•.ƸӜƷ.•°*”˜˜”*°•.ƸӜƷ. Giuseppe Metere, PhD Professore Associato DeFENS Università degli Studi di Milano 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

Registration open for ECCL 24 - a celebration of Pino Rosolini's 70th birthday
by Jacopo Emmenegger 17 Apr '24

17 Apr '24

It is now possible to register for the workshop **Effectiveness and Continuity in Categorical Logic** which will be held in Genoa on September 12th and 13th, 2024, to celebrate the 70th birthday of Pino Rosolini. > There is no registration fee, nor an actual deadline to register. However, in order to help us in the organisation, we kindly ask people intending to attend to *register by June 30* by filling out the form at > The meeting will consist of two parts: - A scientific workshop on Sept 12th and in the morning of Sept 13th, held at the department of mathematics of the University of Genoa, focusing on the topics related to the main scientific interests and contributions of Pino Rosolini. The following speakers have agreed to give a talk: Steve Awodey (Carnegie Mellon University) Nicola Gambino (University of Manchester) Martin Hyland (University of Cambridge) Maria Emilia Maietti (Università di Padova) Sandra Mantovani (Università di Milano) Eugenio Moggi (Università di Genova) Jaap van Oosten (Universiteit Utrecht) Edmund Robinson (Queen Mary, University of London) Thomas Streicher (Technische Universität Darmstadt) Enrico Vitale (Université catholique de Louvain) - A public event in the afternoon of Sept 13th, devoted to popularisation and dissemination of mathematics. This event will be held in Italian and will take place at Teatro Instabile in Genoa. It is organised by Roberto Lucchetti (Politecnico di Milano) and Roberto Natalini (Consiglio Nazionale delle Ricerche). The meeting is supported by DIMA, DIBRIS, INdAM-GNSAGA, AILA, and UniGe. For any information, please send an e-mail to: <emailto:eccl-2024@dima.unige.it>. We look forward to seeing you in Genoa! On behalf of the organisers -- Jacopo Emmenegger Postdoctoral researcher Dipartimento di Matematica (DIMA) Università degli Studi di Genova Genova 16146, Italy 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

CATNIP meeting updated programme
by Paoli, Simona 16 Apr '24

16 Apr '24

Dear All, the final programme of the CATNIP meeting at the University of Aberdeen on Friday 3 May 2024 is available on the CATNIP website https://sites.google.com/view/catniporg/meetings The final list of speakers is: John Bourke (Masaryk University) Greta Coraglia (University of Milano) Michael Johnson (Macquarie University) Robert Booth (University of Edinburgh) The meeting is open to all, but we kindly ask you to register at the website asap if you are planning to come. We look forward to seeing you in Aberdeen! Best wishes, Simona (on behalf of the CATNIP organizers). The University of Aberdeen is a charity registered in Scotland, No SC013683. Tha Oilthigh Obar Dheathain na charthannas clàraichte ann an Alba, Àir. SC013683. 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

CATNIP meeting 3 May 2024 University of Aberdeen
by Paoli, Simona 10 Apr '24

10 Apr '24

Dear Colleagues, the next meeting of the Categories Networking Project (CATNIP) will take place at the University of Aberdeen on Friday 3 May 2024. The invited speakers (updated details will be available soon at the CATNIP website) are: John Bourke (Masaryk University) Greta Coraglia (University of Milano) Third speaker TBA Details of the programme (including a Saturday morning mini-excursion) and the registration form can be found on the CATNIP website https://sites.google.com/view/catniporg/meetings We look forward to seeing you there. Best wishes, The CATNIP organizers Jules Hedges (University of Strathclyde) Chris Heunen (University of Edinburgh) Tom Leinster (University of Edinburgh) Simona Paoli (University of Aberdeen) The University of Aberdeen is a charity registered in Scotland, No SC013683. Tha Oilthigh Obar Dheathain na charthannas clàraichte ann an Alba, Àir. SC013683. 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

Publication of the Cahiers LXV-2
by Andree Ehresmann 08 Apr '24

08 Apr '24

Dear Colleagues, We are pleased to inform you that Volume LXV-2 (2nd quarter 2024) of the Cahiers is now freely downloadable from the 2 websites of the Cahiers: https://cahierstgdc.com/ and https://mes-ehres.fr/ as a whole issue or as separate articles . With our kind regards , Andree Ehresmann, Marino Gran and Rene Guit 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 24, 10th of April
by Ivan Di Liberti 06 Apr '24

06 Apr '24

Dear all, this is a reminder that ItaCa Fest is returning to live streaming on April 10th at 15:00 Italian time. Below are the speakers for the first day: • Pierre-Alain Jacqmin: Surjection-like Classes of Morphisms • Manuel Mancini: On the Representability of Actions of Non-associative Algebras • Alan Cigoli: From Yoneda's Additive Regular Spans to Fibred Cartesian Monoidal Opfibrations For the abstracts, the Zoom link, and details on upcoming seminars, visit our website: https://progetto-itaca.github.io/fests/fest24.html. Best regards, The Scientific Committee —————————————— Ivan Di Liberti Postdoc Göteborgs universitet https://diliberti.github.io 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