February 2026 - 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

Subject: Dedicated to R. H. Street’s 80
by George Janelidze 16 Mar '26

16 Mar '26

Dear Colleagues, In honor of the 80th birthday of Professor Ross Howard Street, we are pleased to announce a special issue of Journal of Pure and Applied Algebra dedicated to celebrating his remarkable contributions to category theory and mathematics in general. Topics of interest include (but are not limited to) all areas of pure and applied category theory. The Guest Editors are: Jiří Adámek Maria Manuel Clementino Marino Gran George Janelidze Stephen Lack We are sending this message now so that you can begin to plan for possible submissions. The deadline will be 31 July 2026, and we will write again with further information about submissions once the journal’s website is ready. George Janelidze, on behalf of the Guest Editors Disclaimer - University of Cape Town This email is subject to UCT policies and email disclaimer published on our website at https://www.uct.ac.za/main/email-disclaimer or obtainable from +27 21 650 9111. If this email is not related to the business of UCT, it is sent by the sender in an individual capacity. Please report security incidents or abuse via https://csirt.uct.ac.za/report-incident 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

CfC: SmP 2026 – Structure meets Power, 18 July, Lisbon (Portugal)
by Yoàv Montacute 26 Feb '26

26 Feb '26

**************************************** STRUCTURE MEETS POWER 2026 (LICS Workshop at FLoC) Call for Contributions **************************************** Workshop dates: 18 July 2026 (Lisbon) https://structuremeetspower.github.io/SmP2026/ Aim ——- There is a remarkable divide in the field of Logic in Computer Science between two distinct strands: one focuses on semantics and compositionality (“Structure”), the other on expressiveness and complexity (“Power”). These two traditions are studied by almost disjoint research communities using distinct technical languages and methods. We believe that bringing these communities and research fields together is an important objective for Computer Science, which may hold the key to fundamental advances in the field. The aim of this workshop is to attract researchers working at the boundary of these two strands, as well as those on either side of the divide who are interested in establishing new connections. Previous workshops on this theme were held as affiliated workshops of LICS 2021, ICALP 2022, LICS 2023, and LICS 2024. This is an affiliated workshop of LICS 2026, taking place at FLoC 2026. Important dates ————————— Workshop date: 18 July 2026 Abstract submission deadline: 15 May 2026 Author notification: 30 May 2026 Invited speakers ————————— TBA Submission ————————— Researchers wishing to give a talk at the workshop are invited to submit an extended abstract of up to three pages (excluding references) describing the key points of the proposed presentation. Submissions must have a single author, who will be the speaker. Co-authors should be clearly credited in the abstract and on the slides. Submission instructions are available on the workshop website: https://structuremeetspower.github.io/SmP2026/ We encourage submissions at all stages of development, including novel contributions, previously published work, work in progress, and survey-style presentations. Depending on the number of submissions, contributed talks will be 20–30 minutes in length. Organising and Programme Committee —————————————————————— * Samson Abramsky * Tomáš Jakl * Dan Marsden * Yoàv Montacute * Luca Reggio 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/groups/groupsubscription?source=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

CMCS 2026: Call for Short Contributions
by Thorsten Wissmann 26 Feb '26

26 Feb '26

Call for Short contributions The 18th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'26) Turin (Italy), 11-12 April 2026 (co-located with ETAPS 2026) https://www.coalg.org/cmcs26/ # Objectives and scope Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science, including (but not limited to) the following: * set-theoretic and categorical foundations of coalgebra; * algebra & coalgebra, (co)monads, and distributive laws; * (modal) logic; * automata theory and formal languages; * coinductive definitions and proof principles (including "up-to" techniques) * semantic models of computation (for programming languages, dynamical systems, term rewriting, etc.) * functional, objected-oriented, concurrent, and constraint programming; * type theory (notably behavioural typing); * formal verification and specification; * control theory (notably discrete events and hybrid systems); * quantum computing; * game theory; * implementation, tools, and proof assistants # Venue and event CMCS '26 will be held in Turin, Italy, co-located with ETAPS 2026 on 11-12 April 2026. # Invited Speakers - Keynote: Barbara König - Invited talks: Bahareh Afshari and Sergey Goncharov - Tutorial: Benjamin Bisping # Important dates (Anywhere On Earth) Submission short contributions: 05 March 2026 Notification short contributions: 10 March 2022 # Submission guidelines Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages including references in PDF format. Accepted short contributions will be bundled in a technical report, and are to be presented at the workshop. They do not appear in the LNCS postproceedings (which only contain regular papers). Short contributions should be submitted electronically as a PDF file via the Easychair system at https://easychair.org/conferences/?conf=cmcs2026 # Committees and chairs ## Programme committee Stelios Tsampas (University of Southern Denmark) Jorge A. Pérez (University of Groningen) Chase Ford (Leiden University) Andrei Popescu (University of Sheffield) Clovis Eberhart (Tohoku University) Filippo Bonchi (University of Pisa) Niccolò Veltri (Tallinn University of Technology) Corina Cirstea (University of Southampton) Harsh Beohar (University of Sheffield) Sebastian Enqvist (Lund University) Larry Moss (Indiana University Bloomington) Alexander Kurz (Chapman University) Ana Sokolova (University of Salzburg) Vincenzo Ciancia (Istituto di Scienza e Tecnologie) Elena Di Lavore (University of Oxford) Shin-Ya Katsumata (Kyoto Sangyo University) Helle Hvid Hansen (University of Groningen) Damien Pous (CNRS - ENS Lyon) ## PC Co-Chairs Henning Basold (Universiteit Leiden, The Netherlands) Clemens Kupke (University of Strathclyde, Glasgow) ## Publicity chair and website Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany) ## Steering committee Corina Cirstea (University of Southampton, United Kingdom) Helle Hvid Hansen (University of Groningen, The Netherlands) Ichiro Hasuo (National Institute of Informatics, Japan) Bart Jacobs (Radboud University Nijmegen, The Netherlands) Daniela Petrişan (IRIF, Université Paris-Cité, France) Jurriaan Rot (Radboud University Nijmegen, The Netherlands) Lutz Schröder (Friedrich-Alexander Universität Erlangen-Nürnberg, Germany) Alexandra Silva (Cornell University, United States) Henning Urbat (Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany) Fabio Zanasi (University College London, United Kingdom) 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/groups/groupsubscription?source=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

UCL: Lecturer/ Associate Prof. in Programming Principles, Logic, and Verification (PPLV)
by David Pym 25 Feb '26

25 Feb '26

University College London is seeking to appoint a Lecturer/ Associate Professor in Programming Principles, Logic, and Verification (PPLV). Application deadline: 16 March 2026. The post is in UCL Computer Science’s PPLV research group (Programming Principles, Logic, and Verification), in collaboration with UCL Philosophy, which together form a world-leading centre for research and teaching in logic and its applications. The main duties and responsibilities of the role are the following: to carry out and disseminate world-class research in the broad PPLV research areas; to support the delivery of the BA 'Philosophy & Computer Science' and the MASc 'Philosophy, Logic, and AI' degree programmes, and related teaching in the Department of Computer Science; and to support the general management of the Department’s activities. Candidates should hold a PhD or equivalent degree in an area that is well-aligned with the interests of the PPLV group and appropriate for supporting the joint Philosophy and Computer Science degree programmes. Candidates should have an outstanding record of research and publication, together substantive experience of teaching and experience of obtaining funding for their work that is commensurate with their career so far. Lecturer - Grade 8 - £54,931 - £64,644, Associate Professor - Grade 9 - £68,284 - £76,244. A job description and person specification can be accessed at the link below. To apply for the vacancy, please click on the ‘Apply Now’ button at the link below. Please ensure you attach your CV, a research statement, a teaching statement, and two samples of your writing (e.g., research papers). If you have any queries regarding the vacancy or the application process, please contact James Brotherston (j.brotherston(a)ucl.ac.uk<mailto:j.brotherston@ucl.ac.uk>) or David Pym d.pym(a)ucl.ac.uk<mailto:d.pym@ucl.ac.uk>). Here is the link for UCL’s page for the position: https://www.ucl.ac.uk/work-at-ucl/search-ucl-jobs/details?nPostingId=17162&… — UCL & Institute of Philosophy, School of Advanced Study University of London david.pym(a)sas.ac.uk<mailto:david.pym@sas.ac.uk> d.pym(a)ucl.ac.uk<mailto:d.pym@ucl.ac.uk> https://www.cantab.net/users/david.pym/ 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/groups/groupsubscription?source=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Pacific Category Theory Seminar (Online) - Friday, February 27
by Soichiro Fujii 24 Feb '26

24 Feb '26

Dear all, Yuki Imamura will give a talk for the third session of the PCT seminar (https://pctseminar.github.io/) on Friday February 27 at 10am JST/12pm AED (1am UTC). The zoom link to join the seminar is here: https://kyoto-u-edu.zoom.us/j/82401794000?pwd=VjVmzVjmlgxhkdHES4xYeQBTpMzQk… Title: A formal category theoretic approach to the homotopy theory of dg categories Abstract: A dg category is a category enriched over the category of complexes of modules. Arising from the homotopy theory of complexes up to quasi-isomorphism, dg categories admit a natural homotopy theory in their own right, in which the weak equivalences are the quasi-equivalences. In this talk, I present an approach to the homotopy theory of dg categories from the viewpoint of formal category theory. Concretely, I construct a proarrow equipment in the sense of Wood that captures the homotopy theory of dg categories, and study the behavior of homotopy limits in dg categories within this framework. We hope to see you there! Best wishes, Soichiro Fujii, Zeinab Galal and JS PL 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/groups/groupsubscription?source=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

MFPS XLII: Final call for papers
by Danel Ahman 20 Feb '26

20 Feb '26

Final call for papers for MFPS XLII. Submission deadline is March 5! --- # MFPS XLII: Mathematical Foundations of Programming Semantics https://ul-fmf.github.io/mfps-sstt-2026/ ## CALL FOR PAPERS We are delighted to announce the 42nd Conference on the Mathematical Foundations of Programming Semantics (MFPS XLII). It will take place at the Faculty of Mathematics and Physics, University of Ljubljana in Ljubljana, Slovenia, from June 1-3, 2026, where it will be colocated with the 3rd Workshop on Syntax and Semantics of Type Theory (SSTT 2026), which is held from June 4-5, 2026. 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. 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; denotational and operational semantics; rewrite theory; proof theory. We also welcome contributions that address applications of semantics to novel areas. Participation in the meeting is expected to be in person; one author of every accepted paper has to attend the meeting and give the presentation. Exceptions might be in case there are unexpected problems with travel/visa. Joint website of MFPS XLII and SSTT 2026: https://ul-fmf.github.io/mfps-sstt-2026/ ## INVITED SPEAKERS AND SPECIAL SESSIONS As in previous years, MFPS will have several invited speakers and special sessions highlighting areas within programming languages semantics. We are pleased to announce the following invited speakers and special sessions. ### Invited speakers There will be 4 invited speakers. * Martín Escardó (University of Birmingham) * Joost-Pieter Katoen (RWTH Aachen University) * Cristina Matache (University of Edinburgh) * Ana Sokolova (University of Salzburg) ### Special sessions There will be 2 special sessions. * Proofs and Semantics - in celebration of Alex Simpson’s 60th birthday (organised by Niels Voorneveld) * Quantitative, Graded, and Interactive Semantics (organised by Dominic Orchard) ## SUBMISSION ### Important dates * Paper submission: March 5, 2026 (AoE) * Author notification: April 23, 2026 * Conference: June 1-3, 2026 ### Submissions Submissions are made through EasyChair (https://easychair.org/conferences/?conf=mfps2026) Papers can be at most 15 pages long, excluding bibliography, and should be prepared using the MFPS macros (https://mfpsconf.org/submissions-to-mfps/) Proofs omitted due to space limitations may be included in a clearly marked appendix, to be consulted at the discretion of program committee members. ### Proceedings A preliminary version will be distributed at the meeting. Final proceedings will be published in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). This new open-access series is hosted by Episciences.org as an overlay for papers published by the CORR arXiv or HAL. ## PROGRAM COMMITTEE * Danel Ahman (University of Tartu) (co-chair) * Pierre Clairambault (CNRS and Aix-Marseille Université) * Nate Foster (Cornell University) * Helle Hvid Hansen (University of Groningen) * Tom de Jong (University of Nottingham) * Robin Kaarsgaard (University of Southern Denmark) * Ohad Kammar (University of Edinburgh) * Anja Petković Komel (Argot Collective) * Ugo Dal Lago (University of Bologna and INRIA Sophia Antipolis) * Paul Blain Levy (University of Birmingham) * Matteo Mio (CNRS/ENS-Lyon) * Max New (University of Michigan) * Valeria de Paiva (Topos Institute) * Paige Randall North (Utrecht University) * Mario Román (University of Oxford) * Jurriaan Rot (Radboud University) (co-chair) * Tarmo Uustalu (Reykjavik University and Tallinn University of Technology) * Jana Wagemaker (Radboud University) * Kazuki Watanabe (National Institute of Informatics) * Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg) * Noam Zeilberger (Ecole Polytechnique) ## LOCAL ORGANISER * Andrej Bauer (University of Ljubljana) ## CONTACT For any further information about MFPS 2026, please contact the PC co-chairs: Danel Ahman and Jurriaan Rot (mfps2026(a)easychair.org) 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/groups/groupsubscription?source=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Final Call for Applications: Teaching Higher Category Theory with Computers, Aug 17 - 21 2026, ICERM
by Nima Rasekh 20 Feb '26

20 Feb '26

Dear all, This is the final announcement for the upcoming ICERM Graduate Training Workshop "Teaching Higher Category Theory with Computers", which will take place August 17 - 21, 2026. Are you a graduate student (Master's or PhD) and want to learn about ∞-categories? Then we invite you to apply! Students with some familiarity with homotopy theory, category theory, homotopy type theory, and/or proof assistants who are interested in learning about ∞-categories are particularly encouraged. Further details can be found on the ICERM webpage: https://icerm.brown.edu/program/topical_workshop/tw-26-thc Please submit your application via Cube: https://app.icerm.brown.edu/Cube/apply/607 The deadline is March 31, 2026. Best, Nima, Emily, Jonathan Nima Rasekh (University of Greifswald) Emily Riehl (Johns Hopkins University) Jonathan Weinberger (Chapman University) 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/groups/groupsubscription?source=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Autumn school "Proof and Computation", Fischbachau (Germany), 13-19 Sep 2026
by Valentin G. J. Herrmann 16 Feb '26

16 Feb '26

== Autumn school "Proof and Computation" Fischbachau, Germany, 13th to 19th September 2026 https://www.mathematik.uni-muenchen.de/~schwicht/pc26.php An international autumn school "Proof and Computation" will be held from 13th to 19th September 2026 at Aurachhof[1] in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy. Previous autumn schools in this series were PC25, PC24, PC23, PC22, PC21, PC19, PC18, PC17, PC16. === SCOPE - Predicative Foundations - Constructive Mathematics and Type Theory - Computation in Higher Types - Extraction of Programs from Proofs === COURSES - Manfred Droste (Leipzig): Universal Information Systems - Tom de Jong (Nottingham): Introduction to Homotopy Type Theory (Univalent Foundations) - Dominik Kirst (Paris): Constructive (Meta-)Mathematics and Synthetic Computability - Keisuke Nakano (Sendai) and Masahiko Sato (Kyoto): Algebra and Geometry of the Lambda-Calculus - Dirk Pattinson (Canberra): Coinduction and Infinite Data - Daniel Wessel (Munich): Gentzen's Legacy within and beyond Hilbert's Programme Celebrating the 10th edition of the autumn school we have 3 additional evening lectures: - Thierry Coquand (Gothenburg): tba - Gitta Kutyniok (Munich): Reliable and Sustainable AI: From Mathematical Foundations to Next Generation AI Computing - Hannes Leitgeb (Munich): The Logic of Reason === SCHEDULE Monday Tuesday Wednesday Thursday Friday 09:00-09:50 Mainzer Nakano/Sato de Jong Wessel Kirst 09:50-10:30 *Coffee* *Coffee* *Coffee* *Coffee* *Coffee* 10:30-11:20 Wessel Pattinson Nakano/Sato Droste Pattinson 11:30-12:20 de Jong Groups Groups Groups 15:00-15:50 Droste Wessel Nakano/Sato Droste 15:50-16:30 *Coffee* *Coffee* *Coffee* *Coffee* 16:30-17:20 Pattinson de Jong Kirst Groups 17:30-18:20 Kirst Groups Groups Groups 20:00-21:00 Kutyniok Coquand Leitgeb === WORKING GROUPS There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs. === HOW TO GET THERE The default arrival time is Sunday afternoon, and departure time Saturday after breakfast. There are frequent direct trains from Munich Hauptbahnhof, departing at tracks 27-36, in the direction to Bayerischzell. Trains depart for instance 15:29, 16:29, 17:29 with arrival in Fischbachau at 16:44, 17:44, 18:44. >From the train station in Fischbachau it is an easy 200 meter walk to Aurachhof[2]; see also its website[1] for directions. === APPLICATIONS Graduate or PhD students and young postdoctoral researchers are invited to apply. Please apply by following the steps described in https://www.math.lmu.de/~herrmann/pc26-application/ Note that an application consists in particular of a motivation letter (containing a self-introduction including research interests). Students are furthermore required to provide a letter of recommendation, preferably from the thesis adviser. The letter of recommendation should be either sent by the applicant themself together with the application or by the recommender by email to Valentin Herrmann <herrmann+pc26 (at) math (.) lmu (.) de> Deadline for applications: June 1, 2026. Applicants will be notified by June 29, 2026. === FINANCIAL SUPPORT The workshop is supported by the Udo Keller Stiftung (Hamburg)[3]. Successful applicants with funding problems may apply for financial support covering accommodation including meals for the days of the autumn school (ca. 116 Euro per day). Klaus Mainzer[4] Peter Schuster[5] Helmut Schwichtenberg[6] [1] https://www.aurachhof.de/ [2] https://www.openstreetmap.org/node/318141803 [3] https://forum-humanum.org/ [4] https://www.professoren.tum.de/en/mainzer-klaus/ [5] https://www.di.univr.it/?ent=persona&id=21404 [6] https://www.mathematik.uni-muenchen.de/~schwicht 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/groups/groupsubscription?source=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

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