[-- Attachment #1: Type: text/plain, Size: 2205 bytes --] Two one-year postdoc positions (one possibly extendible to 1.5 years) are available in the ICE-TCS lab of the Department of Computer Science of Reykjavik University (https://www.ru.is/<https://url.au.m.mimecastprotect.com/s/5eKgCANpnDCyRQq5u8ntte?domain=ru.is>). One position is in the Icelandic Research Fund research project on computational effects and high-level control. In this project, we study in particular effectful concurrency and event-drivenness. These are the topics where we expect the postdoc to make research contributions. The other is in the University Collaboration Fund project to advance and promote computer-assisted proof in Iceland, in particular to introduce this technology to CS and math teaching at Reykjavik University and the University of Iceland. The postdoc has to prepare teaching material on verification of algorithms and datastructures in a type-theoretic proof assistant and teach from it, but there is also room for research in this domain. Start date: soonest, summer/autumn 2024. The gross salary is 663000 ISK (~4420 EUR) per month which amounts to ~3210 EUR after tax, with tax relief for foreign experts ~3675 EUR after tax. For closer information on the two projects as well as the research environment and the conditions of the contract, please get in touch with Tarmo Uustalu, firstname at ru . is. To apply, please send me a motivation letter explaining your background and interests together with your CV (including the names of two references) and copies of degree certificates latest by 31 March 2024. 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 4155 bytes --]
[-- Attachment #1: Type: text/plain, Size: 2467 bytes --] The Logic and Semantics Group at the Department of Software Science of the Tallinn University of Technology (https://www.taltech.ee/<https://url.au.m.mimecastprotect.com/s/FgMYCZY146sZj8kQsKx5xV?domain=taltech.ee>) conducts research into type theory, proof theory, category theory, languages and automata, semantics of programming languages, formalization of mathematics and programming theory. Detailed information about our profile, incl. our publications, is available from our webpage: https://cs.ioc.ee/lsg/<https://url.au.m.mimecastprotect.com/s/k8n5C1WLjwsyZBPqsXHIkJ?domain=cs.ioc.ee> We are currently seeking strong and motivated candidates for one or two PhD positions in one of the following research areas: - type theory and formalization of mathematics (Niccolò Veltri) - categorical proof theory (Niccolò Veltri, Tarmo Uustalu) - languages and automata (Hellis Tamm, Hendrik Maarand) - categorical program semantics (Tarmo Uustalu) - cellular automata (Silvio Capobianco) We are happy to discuss potential PhD topics in all of these areas. The nominal PhD study time at TUT is 4 years. PhD studentships are salaried positions. At this moment, we pay PhD students a taxable gross salary of 1828 EUR/month (~1450 EUR/month after taxes), topped up with a tax-free stipend of 500 EUR/month. This ensures a good living standard in Estonia for this career stage and includes insurance by the national health system. The expected start time is summer or autumn 2024. To apply, please send a motivation letter together with your CV and copies of your diploma(s) and transcripts to Tarmo Uustalu <tarmo@cs.ioc.ee> (the lab head) and the prospective supervisor(s) soonest, latest by 7 April 2024. We will consider applications as they arrive. There is also a subsequent formal admission process. 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 4461 bytes --]
[-- Attachment #1: Type: text/plain, Size: 2279 bytes --] Dear Charlie, I would happily take the volumes off your hands - and find good homes in old Cambridge for those few which I already own. But it somehow seems crazy to ship them across the Atlantic? So I think of Emily Riehl at Johns Hopkins whom I much admire as a young researcher in abstract mathematics and wonder whether she would appreciate the access which you are offering to the early history. Best wishes, Martin Hyland On 14 Mar 2024, at 17:09, Herlands, Charles <Charles.Herlands@stockton.edu<mailto:Charles.Herlands@stockton.edu>> wrote: I have 19 volumes of Springer Lecture Notes from 1967-1979 that I am no longer using and would happy to donate to anyone who would take any or all of them: Vol 47, Reports of the Midwest Category Seminar 61, Reports of the Midwest Category Seminar II 80, Seminar on Triples and Categorical Homology Theory 86, 92, 99 Category Theory, Homology Theory and their Applications I,II, III 106,137,195, Reports of the Midwest Category Seminar III,IV, V 145, Dubuc, Kan Extensions in Enriched Category Theory 236 Barr, Grillet, van Osdol, Exact Categories 274, Toposes, Algebraic Geometry and Logic, Proceedings 1971 391, Gray, Formal Category Theory: Adjointness for 2-Categories 420, Category Seminar, Proceedings 1972-73 445, Model Theory and Topoi 700, Module Theory, Proceedings 719, Categorial Topology, Proceedings 752, Barr, *-Autonomous Categories 753, Applications of Sheaves, Proceedings Charlie Herlands Professor Emeritus of Mathematics Stockton 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/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 13671 bytes --]
[-- Attachment #1: Type: text/plain, Size: 1712 bytes --] I have 19 volumes of Springer Lecture Notes from 1967-1979 that I am no longer using and would happy to donate to anyone who would take any or all of them: Vol 47, Reports of the Midwest Category Seminar 61, Reports of the Midwest Category Seminar II 80, Seminar on Triples and Categorical Homology Theory 86, 92, 99 Category Theory, Homology Theory and their Applications I,II, III 106,137,195, Reports of the Midwest Category Seminar III,IV, V 145, Dubuc, Kan Extensions in Enriched Category Theory 236 Barr, Grillet, van Osdol, Exact Categories 274, Toposes, Algebraic Geometry and Logic, Proceedings 1971 391, Gray, Formal Category Theory: Adjointness for 2-Categories 420, Category Seminar, Proceedings 1972-73 445, Model Theory and Topoi 700, Module Theory, Proceedings 719, Categorial Topology, Proceedings 752, Barr, *-Autonomous Categories 753, Applications of Sheaves, Proceedings Charlie Herlands Professor Emeritus of Mathematics Stockton 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/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 7769 bytes --]
[-- Attachment #1: Type: text/plain, Size: 1673 bytes --] Dear colleagues, We are looking to recruit a postdoctoral researcher to work with us at the University of Strathclyde (Glasgow, Scotland) on our EPSRC grant EP/Y000455/1 A Correct-by-Construction Approach to Approximate Computation. This research is aiming at combining techniques from logics, model theory, type theory, category theory, continuous mathematics and AI for developing the foundations of approximate (quantitative) computation and apply this to programming and learning paradigms. More details about the project can be found here: https://personal.cis.strath.ac.uk/r.mardare/projects.htm<https://url.au.m.mimecastprotect.com/s/2u8SCGv0Z6fx61G8ipeNNc?domain=personal.cis.strath.ac.uk> The call for this position, with a deadline of 31 March, can be found here: https://strathvacancies.engageats.co.uk/Vacancies/W/5820/0/421067/15019/research-fellow-599328<https://url.au.m.mimecastprotect.com/s/U1XNCJyBZ6tGVq5nfLubax?domain=strathvacancies.engageats.co.uk> Kind regards, Radu Mardare Neil Ghani Fredrik Nordvall Forsberg 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 3592 bytes --]
[-- Attachment #1: Type: text/plain, Size: 6243 bytes --] 7th Annual International Conference on Applied Category Theory (ACT2024) 17 - 21 June 2024 Https://oxford24.Github.Io/<https://url.au.m.mimecastprotect.com/s/5gGPCnx1Z5U0J8klt94Zfh?domain=oxford24.github.io/> The Seventh International Conference on Applied Category Theory will take place at the University of Oxford from 17 - 21 June 2024, preceded by the Adjoint School 2024 from 10-14 July. This year, the ACT conference will be co-located with the 40th conference on Mathematical Foundations of Programming Semantics (MFPS). This conference follows previous events at University of Maryland College Park (MD), Strathclyde (UK), Cambridge (UK), Cambridge (MA), Oxford (UK) and Leiden (NL). Call for Papers Applied category theory is important to a growing community of researchers who study computer science, logic, engineering, physics, biology, chemistry, social science, systems, linguistics and other subjects using category-theoretic tools. The background and experience of our members is as varied as the systems being studied. The goal of the applied category theory conference series is to bring researchers together, strengthen the applied category theory community, disseminate the latest results, and facilitate further development of the field. Submissions We accept submissions in English of original research papers, talks about work accepted/submitted/published elsewhere, and demonstrations of relevant software. Accepted original research papers will be published in a proceedings volume. The conference will include an industry showcase event and community meeting. We particularly encourage people from underrepresented groups to submit their work and the organizers are committed to non-discrimination, equity, and inclusion. Conference papers should present original, high-quality work in the style of a computer science conference paper (up to 12 pages, not counting the bibliography; more detailed parts of proofs may be included in an appendix for the convenience of the reviewers). Such submissions should not be an abridged version of an existing journal article although pre-submission arxiv preprints are permitted. These submissions will be adjudicated for both a talk and publication in the conference proceedings. Talk proposals not to be published in the proceedings or about work accepted/submitted/published elsewhere,should be submitted as abstracts, one or two pages long. Authors are encouraged to include links to any full versions of their papers, preprints or manuscripts. The purpose of the abstract is to provide a basis for determining the topics and quality of the anticipated presentation. Software demonstration proposals should also be submitted as abstracts, one or two pages. The purpose of the abstract is to provide the program committee with enough information to assess the content of the demonstration. The selected conference papers are expected to be published with EPTCS, and authors are advised to use the style files available at style.eptcs.org<https://url.au.m.mimecastprotect.com/s/nhkrCoV1Y2SN7OQlizP3bm?domain=style.eptcs.org>. Submission, dates and deadlines: The exact deadline time on these dates is given by anywhere on earth (AoE). Abstract registration by 26 March 2024 Papers due 29 March 2024 Author notification in 3 May 2024 Conference 17 - 21 June 2024 (Reviewing will be single-blind, and we are not making public the reviews, reviewer names, the discussions nor the list of under-review submissions. This is the same as previous instances of ACT.) Limited financial support will be available for travel. Priority will be given to people with financial need and those giving presentations. We are also aware that not everyone is able to travel to the UK, e.g. For visa reasons, and we will accommodate that in the programme via remote participation etc.. Please contact the organizers for more information. Program committee chairs: David Jaz Myers (Abu Dhabi) and Michael Johnson (Sydney) Programme Committee: Benedikt Ahrens, Delft University of Technology and University of Birmingham Dylan Braithwaite, University of Strathclyde Spencer Breiner, NIST Matteo Capucci, University of Strathclyde Titouan Carette, University of Latvia Bryce Clarke, Inria Saclay Centre Greta Coraglia, University of Milan Geoffrey Cruttwell, Mount Allison University Bojana Femic, Serbian Academy of Sciences And Arts Fabio Gadducci, University of Pisa Richard Garner, Macquarie University Neil Ghani, University of Strathclyde Amar Hadzihasanovic, Tallinn University of Technology Martha Lewis, University of Bristol Sophie Libkind, Topos Institute Rory Lucyshyn-wright, Brandon University Owen Lynch, Topos Institute Sean Moss, University of Oxford Evan Patterson, Topos Institute Paolo Perrone, University of Oxford Paige Randall North, University of Utrecht Sophie Raynor, James Cook University Emily Roff, University of Edinburgh Morgan Rogers, Université Sorbonne Paris Nord Mario Román, Tallinn University of Technology Maru Sarazola, University of Minnesota Bas Spitters, Aarhus University Priyaa Varshinee Srinivasan, Topos Institute Sam Staton, University of Oxford Dario Stein, Radboud University Nijmegen Eswaran Subrahmanian, Nist, CMU Ana Luiza da Conceição Tenorio, University of São Paulo Kobe Wullaert, Delft University of Technology Ryan Wisnesky, Conexus Vladimir Zamdzhiev, Inria Fabio Zanasi, University College London Mathew Di Meglio, University of Edinburgh 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 30040 bytes --]
[-- Attachment #1: Type: text/plain, Size: 1421 bytes --] We have a part-time (0.3) senior researcher position open in the Logic and Semantics Group of the Tallinn University of Technology, on program logics. https://candidate.recrur.com/public/jobad/en/e8217e2b-1<https://url.au.m.mimecastprotect.com/s/k0qsC3QNl1S1wgyWcDGekE?domain=candidate.recrur.com> Start date 1 Sept 2024. The deadline for applications is 28 March 2024. Apply via the page linked above. These are the webpages of the university and the group: https://www.taltech.ee/<https://url.au.m.mimecastprotect.com/s/IQYYC4QO8xSNy2DRhVnHc6?domain=taltech.ee> https://cs.ioc.ee/lsg/<https://url.au.m.mimecastprotect.com/s/6tVWC5QP8ySmoPXwT8gkjz?domain=cs.ioc.ee> For closer information about the position and the research environment (the group), please approach Tarmo Uustalu. 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 3348 bytes --]
[-- Attachment #1: Type: text/plain, Size: 917 bytes --] Dear colleagues, This is a reminder concerning important deadlines for the CT2024 * Abstract submission: 20th of March 2024 * Early registration: 15th of April 2024 Looking forward to seeing you in Santiago de Compostela. Best regards, The Organizing Committee of the CT2024 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 4891 bytes --]
[-- Attachment #1: Type: text/plain, Size: 1004 bytes --] Dear Friends and Colleagues, I would like to repeat all good words said about Marek and, as I am sure many of you would, add my own good words... But how could such a tragedy happen? I had a friendly exchange of several messages with Marek during February 20-24, and there was no sign that he is not well (actually we agreed to do something that would take several months...). George 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 3501 bytes --]
[-- Attachment #1: Type: text/plain, Size: 6404 bytes --] ----------------------------------------- CALL FOR SUBMISSIONS TWELFTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 12) Birmingham, UK 15-16 April, 2024 Submission deadline: Monday 11 March 2024 https://www.cl.cam.ac.uk/events/syco/12/<https://url.au.m.mimecastprotect.com/s/Cf56CzvkmpflJNljI4dOxm?domain=cl.cam.ac.uk/> ----------------------------------------- The Symposium on Compositional Structures (SYCO) is an interdisciplinary series of meetings aiming to support the growing community of researchers interested in the phenomenon of compositionality, from both applied and abstract perspectives, and in particular where category theory serves as a unifying common language. Previous SYCO events have been held in Palaiseau, Birmingham, Strathclyde, Oxford, Chapman, Leicester, Tallinn, and Como. We welcome submissions from researchers across computer science, mathematics, physics, philosophy, and beyond, with the aim of fostering friendly discussion, disseminating new ideas, and spreading knowledge between fields. Submission is encouraged for both mature research and work in progress, and by both established academics and junior researchers, including students. Submissions is easy, with no formatting or page restrictions. The meeting does not have proceedings, so work can be submitted even if it has been submitted or published elsewhere. You could submit work-in-progress, or a recently completed paper, or even a PhD or Masters thesis. While no list of topics could be exhaustive, SYCO welcomes submissions with a compositional focus related to any of the following areas, in particular from the perspective of category theory: - logical methods in computer science, including classical and quantum programming, type theory, concurrency, natural language processing and machine learning; - graphical calculi, including string diagrams, Petri nets and reaction networks; - languages and frameworks, including process algebras, proof nets, type theory and game semantics; - abstract algebra and pure category theory, including monoidal category theory, higher category theory, operads, polygraphs, and relationships to homotopy theory; - quantum algebra, including quantum computation and representation theory; - tools and techniques, including rewriting, formal proofs and proof assistants, and game theory; - industrial applications, including case studies and real-world problem descriptions. IMPORTANT DATES =============== All deadlines are 23:59 Anywhere on Earth. Submission deadline: Monday 11 March, 2024 Author notification: Monday 18 March, 2024 Symposium dates: Monday 15 and Tuesday 16 April 2024 SUBMISSION INSTRUCTIONS ======================= Submissions are by OpenReview, via the SYCO 12 submission page: https://openreview.net/group?id=cl.cam.ac.uk/SYCO/2024/Symposium<https://url.au.m.mimecastprotect.com/s/ni4HCANpnDCy7JyDS8Mo9J?domain=openreview.net> (be aware that you will need to create an account on OpenReview, which is automatic if you are using an academic e-mail address, but might take up to 2 weeks with a non-academic e-mail address) Submission is easy, with no format requirements or page restrictions. The meeting does not have proceedings, so work can be submitted even if it has been submitted or published elsewhere. Think creatively: you could submit a recent paper, or notes on work in progress, or even a recent Masters or PhD thesis. In the event that more good-quality submissions are received than can be accommodated in the timetable, the programme committee may choose to *defer* some submissions to a future meeting, rather than reject them. Deferred submissions can be re-submitted to any future SYCO meeting, where they will not need peer review, and where they will be prioritised for inclusion in the programme. Meetings will be held sufficiently frequently to avoid a backlog of deferred papers. If you have a submission which was deferred from a previous SYCO meeting, it will not automatically be considered for SYCO 12; you still need to submit it again through OpenReview. When submitting, append the words "DEFERRED FROM SYCO X" to the title of your paper, replacing "X" with the appropriate meeting number. There is no need to attach any documents. INVITED SPEAKERS ================ Miriam Backens, INRIA Nancy, Graphical rewriting of quantum computations using the ZX-calculus and flow properties Sean Moss, University of Birmingham, TBA PROGRAMME COMMITTEE =================== Todd Ambridge, University of Birmingham Thibaut Benjamin, University of Cambridge (Chair) Olivia Caramello, Univserity of Insubria, Université Paris-Saclay Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Dominic Horsman, University of Grenoble George Kaye, University of Birmingham Aleks Kissinger, University of Oxford Jean-Simon Lemay, Macquarie University Paul Levy, University of Birmingham Samuel Mimram, Ecole Polytechnique Simona Paoli, University of Aberdeen Daniela Petrisan, Université Paris Cité Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology Jamie Vicary, University of Cambridge STEERING COMMITTEE ================== Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Dominic Horsman, University of Grenoble Aleks Kissinger, University of Oxford Samuel Mimram, Ecole Polytechnique Simona Paoli, University of Aberdeen Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology Jamie Vicary, University of Cambridge You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 30232 bytes --]
[-- Attachment #1: Type: text/plain, Size: 2020 bytes --] Dear colleagues, I would like to advertise an 18 month postdoc at Tallinn University of Technology. The application deadline is 28 March 2024, and the job starts 1 September 2024. <https://url.au.m.mimecastprotect.com/s/D2yrCwV1jpSMYVpYFVeXBX?domain=candidate.recrur.com> POSTDOCTORAL RESEARCHER IN COMPOSITIONAL APPROACHES IN CRYPTOGRAPHY AND/OR CYBERSECURITY<https://url.au.m.mimecastprotect.com/s/D2yrCwV1jpSMYVpYFVeXBX?domain=candidate.recrur.com> candidate.recrur.com<https://url.au.m.mimecastprotect.com/s/D2yrCwV1jpSMYVpYFVeXBX?domain=candidate.recrur.com> [favicon.ico]<https://url.au.m.mimecastprotect.com/s/D2yrCwV1jpSMYVpYFVeXBX?domain=candidate.recrur.com> The successful applicant will work on applying concepts and techniques from category theory to study cryptographic and cybersecurity protocols. They will work closely with me, Niels Voorneveld at Cybernetica, and Denis Firsov at Tallinn University of Technology and Matter Labs. They will also be expected to take part in the activities of the EU funded Cybersecurity Excellence Hub in Estonia and South Moravia (CHESS). This job would be perfect for a recent CT or CT-adjacent PhD graduate (or someone very close to graduating). Tallinn offers an attractive working environment, with an active and growing community of categorically minded people. Please contact me directly with any enquiries. Best wishes, Pawel 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2.1: Type: text/html, Size: 6593 bytes --] [-- Attachment #2.2: favicon.ico --] [-- Type: image/vnd.microsoft.icon, Size: 6758 bytes --]
[-- Attachment #1: Type: text/plain, Size: 8170 bytes --] I stand corrected and I certainly apologize if I caused offence ... my "dates" may well be as wrong as my "facts". This was a shocked reaction to the news and just my very impressionistic memories of my visit to Poland, what was happening at that time, and how I first met Marek! The "Polish People's republic" was, absolutely, an independent state (using zloti)! It was – from the west's perspective – "behind the iron curtain" but, oh dear, not Soviet. Most likely, I simply mixed up Solidarity being outlawed with Lech Welesa being in prison (oh dear!). Thank you for correcting me. While not being so happy about my insensitive blunders ... you also pointed out more brutally what repression could mean in Poland at that time. I just wished for it not to be forgotten what a different world that was -- hopefully not to be repeated -- and yet, also, how out of that world grew Marek with his smile. -robin ________________________________ From: Tadeusz Litak <tadeusz.litak@gmail.com> Sent: Wednesday, March 6, 2024 9:52 PM To: Robin Cockett <robin@ucalgary.ca>; Karol Szumiło <karol.szumilo@gmail.com>; categories@mq.edu.au <categories@mq.edu.au> Subject: Re: Marek Zawadowski [△EXTERNAL] I'd like to add to the condolences with my own recollection of Marek (and, less importantly, correct some mistaken claims in Robin's email). Ironically, I only met Marek after I left Poland for good, in Tbilisi 2003, at the first edition of the TANCL conference (later known as TACL, with "categories" replacing "non-classical logics" in the name). The first immediate impression was how youthful he was, in the best possible sense: both physically and intellectually, despite already being an accomplished researcher. Having heard that there were other Poles at the event (Tomasz Kowalski and me), he immediately descended upon our room, inquiring how many slides we had prepared, and whether we thought that the scorching heat outside would reach 40 degrees that day... Within less than a minute, you knew that this was somebody whose excellent intellect wouldn't get in the way of good fun and good companionship. And that worked splendidly at that conference. I also saw soon with admiration and relief that he was unwilling to respect artificial borders between fields. We should admit here that the relationships between category theorists and logicians were sometimes complicated, and as usual in such cases, both sides are probably to blame. But Marek was among those researchers who couldn't care less about any sectarian divisions. His joint book with Silvio Ghilardi on "Sheaves, Games and Model Completions" is a great expression of this spirit. Even very (apparently) inherently syntactic results turn out to allow duality-based proofs using their methods. While in the case of uniform interpolation for intuitionistic logic or Löb logic semantic proofs using less overtly categorical terminology were found independently by Albert Visser, the potential of their framework still needs to be fully explored. An excellent example was provided recently by Silvio Ghilardi and Luigi Santocanale, who showed how a (seemingly impenetrable) syntactic theorem by Wim Ruitenburg (JSL 1984) on finite order of intuitionistic formulas can be proved using methods of that book. But one cannot discuss this or anything else with Marek anymore. The only way left to learn from him now is by reading his papers. And ancient philosophers often suggested that this is an inferior method of learning from masters. Now for correcting Robin's claims: > Helena led an effort to keep Polish mathematicians and computer scientists in touch with their western counterparts despite being part of the soviet union Let me point out that the Polish People's Republic, while certainly being an unfree, oppressive and poor country, equally certainly wasn't a part of the Soviet Union. Had it been the case, Robin, you would have been paid in rubles rather than in złotys, for example. The differences went deeper. Unlike the Soviet Union, the "Polish People's Republic" had powerful individual agriculture and Church not controlled by the state. An independent trade union like Solidarity, boasting at its 1980-81 peak more that a quarter of the entire population as its members, would have been downright impossible in the USSR. "The Eastern side of the Iron Curtain" and "The Soviet Union" were not equivalent notions, even if one could hardly speak about sovereignty either (can we speak about it these days?). I don't want to go too deeply into present-day politics, but perhaps this can explain the difference to you: presently, the Western world is militarily, economically and politically controlled from Washington. It still doesn't imply that Calgary or Warwick lie in the United States. Even though the language is the same (which isn't the case with Polish and Russian; in fact rather few Poles spoke fluent Russian even back then in 1986, despite the language being officially taught at schools...). > Lech Welesa was in prison at that time. Actually, this also seems untrue, unless you got the date of your visit to Poland wrong by five years, and even then it wouldn't have been fully correct. In 1981-82, during martial law in Poland, Wałęsa was interned in Chylice, Otwock Wielki and Abramowo. These weren't conventional prisons, as the authorities tried to convince him to create a fully controlled neo-Solidarity at that time. It didn't work out, Wałęsa didn't commit such a spectacular political suicide, Solidarity remained officially outlawed until 1986, but Wałęsa himself got released in November 1982. There were still some opposition figures and numerous regular activists who ended up again in prison afterwards (Bogdan Borusewicz, Bogdan Lis, Zbigniew Bujak, Adam Michnik, all released by amnesty in September 1986) or were in hiding (Kornel Morawiecki, Andrzej Kołodziej). Perhaps you confused Wałęsa with one of them. This is not such a trivial historical point. Imprisoning a Peace Nobel Prize winner was not something that the half-corroded regime, with little popular support and with dramatic need for foreign loans and investments, could afford at that stage. Ordinary people were often risking more: if you were caught transporting opposition materials, for example, even if you didn't end up in prison, you risked at least your car being confiscated. You can't imagine how many years it took to get a car at that time, if you were ever so lucky. And no BBC or Radio Free Europe would protest on the behalf of some unknown dude or gal. It would have been easier for security services to beat up or sometimes even kill somebody without a high profile, not to mention "trivia" like losing your job. Anyway, regardless of any infelicities, thanks for this interesting recollection! t. > The first experience of Soviet life (in winter) was to discover that the communal hot water did not work as pipes from the power station had burst (actually no one said what happened or even would admit that the system had broken). I recall Helena -- the realist -- making arrangements so that participants could have a bath in another quarter of the city. > > At the end of the meeting I still had a huge amount of zloti so Marek took me shopping. This was an interesting experience as it consisted of joining queues to find out what they were queuing for! Needless to say I could not spend all my zloti so I ended up giving them to Marek. I learned that university staff were not really paid a living wage so these perks (and visiting positions in the US -- often brokered by Helena) were essential. > > I was always delighted to see Marek at (Category Theory) conferences and will greatly miss him. > > -robin > (Robin Cockett) > > > > > > > > > ---------- > > You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. > > Leave group: > https://url.au.m.mimecastprotect.com/s/Vu42CD1vRkC2r2j5iWb0gm?domain=outlook.office365.com [-- Attachment #2: Type: text/html, Size: 13204 bytes --]
[-- Attachment #1: Type: text/plain, Size: 2899 bytes --] Yes, Makkai was Marek's hero. I remember them by a blackboard in the corner of the common room at McGill, passing the chalk to each other. Makkai also liked Marek a lot. I remember Marek's calm voice, and mild smile. There would be no wars if people were like Marek. Good that we remember him. -- dusko On Wed, Mar 6, 2024 at 6:55 PM Camell Kachour <camell.kachour@gmail.com<mailto:camell.kachour@gmail.com>> wrote: Dear Colleagues, I first met Marek during CT2008 in Calais. It was the first time that I was confronted with the academic world, and Marek, with his smile and his fortuitous sympathy, reassured me a lot. Marek was very interested in Penon and Batanin's approach of higher categories. As soon as the opportunity presented itself, he wanted to understand and took photos of the blackboards which I tried to fill in as best as I could. Two years after I left Sydney, in 2015, Marek kindly invited me for a week in Warsaw to talk about my algebraic approach to (infinity,n)-categories. His welcome in Warsaw is an unforgettable memory for me! Marek wanted to better understand my work, but also Grothendieck's homotopy theory. In 2017 he produced a result in this direction (for opetopic sets). In September 2016 he came to Paris to see people from IRIF, and contacted me to talk about mathematics. On this occasion he must have spoken about me to his colleagues at IRIF, and probably thanks to his intervention I was able to obtain a 3-month postdoc. It was my one and only postdoc of my career, thanks to him! During this stay we walked around Paris together, and we talked about mathematics. I knew Makkai and Grothendieck were his heroes ! I am very sad to have learned of his death. All my condolences go to his family. Camell. 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://url.au.m.mimecastprotect.com/s/A8p9COMK7YcVryY2iERJfW?domain=outlook.office365.com> | Leave group<https://url.au.m.mimecastprotect.com/s/Q5V9CP7L1NfYAkg5C09ROi?domain=outlook.office365.com> | Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/A0hBCQnM1WfG4yVNUMlJB7?domain=aka.ms> 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 6927 bytes --]
[-- Attachment #1: Type: text/plain, Size: 6970 bytes --] I'd like to add to the condolences with my own recollection of Marek (and, less importantly, correct some mistaken claims in Robin's email). Ironically, I only met Marek after I left Poland for good, in Tbilisi 2003, at the first edition of the TANCL conference (later known as TACL, with "categories" replacing "non-classical logics" in the name). The first immediate impression was how youthful he was, in the best possible sense: both physically and intellectually, despite already being an accomplished researcher. Having heard that there were other Poles at the event (Tomasz Kowalski and me), he immediately descended upon our room, inquiring how many slides we had prepared, and whether we thought that the scorching heat outside would reach 40 degrees that day... Within less than a minute, you knew that this was somebody whose excellent intellect wouldn't get in the way of good fun and good companionship. And that worked splendidly at that conference. I also saw soon with admiration and relief that he was unwilling to respect artificial borders between fields. We should admit here that the relationships between category theorists and logicians were sometimes complicated, and as usual in such cases, both sides are probably to blame. But Marek was among those researchers who couldn't care less about any sectarian divisions. His joint book with Silvio Ghilardi on "Sheaves, Games and Model Completions" is a great expression of this spirit. Even very (apparently) inherently syntactic results turn out to allow duality-based proofs using their methods. While in the case of uniform interpolation for intuitionistic logic or Löb logic semantic proofs using less overtly categorical terminology were found independently by Albert Visser, the potential of their framework still needs to be fully explored. An excellent example was provided recently by Silvio Ghilardi and Luigi Santocanale, who showed how a (seemingly impenetrable) syntactic theorem by Wim Ruitenburg (JSL 1984) on finite order of intuitionistic formulas can be proved using methods of that book. But one cannot discuss this or anything else with Marek anymore. The only way left to learn from him now is by reading his papers. And ancient philosophers often suggested that this is an inferior method of learning from masters. Now for correcting Robin's claims: > Helena led an effort to keep Polish mathematicians and computer scientists in touch with their western counterparts despite being part of the soviet union Let me point out that the Polish People's Republic, while certainly being an unfree, oppressive and poor country, equally certainly wasn't a part of the Soviet Union. Had it been the case, Robin, you would have been paid in rubles rather than in złotys, for example. The differences went deeper. Unlike the Soviet Union, the "Polish People's Republic" had powerful individual agriculture and Church not controlled by the state. An independent trade union like Solidarity, boasting at its 1980-81 peak more that a quarter of the entire population as its members, would have been downright impossible in the USSR. "The Eastern side of the Iron Curtain" and "The Soviet Union" were not equivalent notions, even if one could hardly speak about sovereignty either (can we speak about it these days?). I don't want to go too deeply into present-day politics, but perhaps this can explain the difference to you: presently, the Western world is militarily, economically and politically controlled from Washington. It still doesn't imply that Calgary or Warwick lie in the United States. Even though the language is the same (which isn't the case with Polish and Russian; in fact rather few Poles spoke fluent Russian even back then in 1986, despite the language being officially taught at schools...). > Lech Welesa was in prison at that time. Actually, this also seems untrue, unless you got the date of your visit to Poland wrong by five years, and even then it wouldn't have been fully correct. In 1981-82, during martial law in Poland, Wałęsa was interned in Chylice, Otwock Wielki and Abramowo. These weren't conventional prisons, as the authorities tried to convince him to create a fully controlled neo-Solidarity at that time. It didn't work out, Wałęsa didn't commit such a spectacular political suicide, Solidarity remained officially outlawed until 1986, but Wałęsa himself got released in November 1982. There were still some opposition figures and numerous regular activists who ended up again in prison afterwards (Bogdan Borusewicz, Bogdan Lis, Zbigniew Bujak, Adam Michnik, all released by amnesty in September 1986) or were in hiding (Kornel Morawiecki, Andrzej Kołodziej). Perhaps you confused Wałęsa with one of them. This is not such a trivial historical point. Imprisoning a Peace Nobel Prize winner was not something that the half-corroded regime, with little popular support and with dramatic need for foreign loans and investments, could afford at that stage. Ordinary people were often risking more: if you were caught transporting opposition materials, for example, even if you didn't end up in prison, you risked at least your car being confiscated. You can't imagine how many years it took to get a car at that time, if you were ever so lucky. And no BBC or Radio Free Europe would protest on the behalf of some unknown dude or gal. It would have been easier for security services to beat up or sometimes even kill somebody without a high profile, not to mention "trivia" like losing your job. Anyway, regardless of any infelicities, thanks for this interesting recollection! t. > The first experience of Soviet life (in winter) was to discover that the communal hot water did not work as pipes from the power station had burst (actually no one said what happened or even would admit that the system had broken). I recall Helena -- the realist -- making arrangements so that participants could have a bath in another quarter of the city. > > At the end of the meeting I still had a huge amount of zloti so Marek took me shopping. This was an interesting experience as it consisted of joining queues to find out what they were queuing for! Needless to say I could not spend all my zloti so I ended up giving them to Marek. I learned that university staff were not really paid a living wage so these perks (and visiting positions in the US -- often brokered by Helena) were essential. > > I was always delighted to see Marek at (Category Theory) conferences and will greatly miss him. > > -robin > (Robin Cockett) > > > > > > > > > ---------- > > You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. > > Leave group: > https://url.au.m.mimecastprotect.com/s/YxHbCOMK7YcVrQRkHEaYca?domain=outlook.office365.com [-- Attachment #2: Type: text/html, Size: 7714 bytes --]
[-- Attachment #1: Type: text/plain, Size: 1947 bytes --] Dear Colleagues, I first met Marek during CT2008 in Calais. It was the first time that I was confronted with the academic world, and Marek, with his smile and his fortuitous sympathy, reassured me a lot. Marek was very interested in Penon and Batanin's approach of higher categories. As soon as the opportunity presented itself, he wanted to understand and took photos of the blackboards which I tried to fill in as best as I could. Two years after I left Sydney, in 2015, Marek kindly invited me for a week in Warsaw to talk about my algebraic approach to (infinity,n)-categories. His welcome in Warsaw is an unforgettable memory for me! Marek wanted to better understand my work, but also Grothendieck's homotopy theory. In 2017 he produced a result in this direction (for opetopic sets). In September 2016 he came to Paris to see people from IRIF, and contacted me to talk about mathematics. On this occasion he must have spoken about me to his colleagues at IRIF, and probably thanks to his intervention I was able to obtain a 3-month postdoc. It was my one and only postdoc of my career, thanks to him! During this stay we walked around Paris together, and we talked about mathematics. I knew Makkai and Grothendieck were his heroes ! I am very sad to have learned of his death. All my condolences go to his family. Camell. 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 3834 bytes --]
[-- Attachment #1.1: Type: text/plain, Size: 2979 bytes --] Attached is a picture I took during the reception mentioned by André. First on the left, you can see Marek with his unmistakable smile. Best, Chris On 2024-03-06 11:52 a.m., Joyal, André wrote: > Dear Karol, > > I am shocked to learn that Marek Zawadowski has passed away. > I wish to express my condolances to all, especially to you Karol, > to Justyna Grudzinska and to Krzysztof Kapulkin. > > Marek was a very talented mathematician, a great teacher and a very > kind person. > He received is Phd from the University of Montreal in 1989 under the > direction of Gonzalo Reyes. > He mostly worked in mathematical logic, category theory and higher > category theory, > He contributed to the rebirth of the great Polish school of mathematics. > He was passionate about the philosophical and social impact of mathematics. > I will always remember the reception he held with his father in Warsaw > during > the celebration of Eilenberg's centenary in 2013. > His father remembered the brutality of WWII. > I wish to his express my condolances to Marek's family. > > André Joyal > > > > > > ------------------------------------------------------------------------ > *De :* Karol Szumiło <karol.szumilo@gmail.com> > *Envoyé :* 6 mars 2024 01:20 > *À :* categories@mq.edu.au <categories@mq.edu.au> > *Objet :* Re: Marek Zawadowski > The news of Marek's passing is immensely saddening. He was among the > kindest, most thoughtful and optimistic people I have ever known. He was > my first teacher of category theory and his influence over my outlook on > mathematics cannot be overstated. Marek was also the one who urged me to > take up a job at the University of Warsaw. I count myself lucky for > having the benefit of his companionship over the last two years. He will > be greatly missed. > > Karol Szumiło > > You're receiving this message because you're a member of the Categories > mailing list group from Macquarie University. To take part in this > conversation, reply all to this message. > View group files > <https://url.au.m.mimecastprotect.com/s/QhL4CYW86EsRoDANI0b4Qj?domain=outlook.office365.com> | Leave group <https://url.au.m.mimecastprotect.com/s/dbOMCZY146sZn7QDcjsiSE?domain=outlook.office365.com> | Learn more about Microsoft 365 Groups <https://url.au.m.mimecastprotect.com/s/N3XGC1WLjwsyw6qkFpve6H?domain=aka.ms> > > 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://url.au.m.mimecastprotect.com/s/jeqPC2xMRkUqoV8RF2Pgq-?domain=outlook.office365.com> | Leave group <https://url.au.m.mimecastprotect.com/s/KmeOC3QNl1S1YX2GsQ7Asd?domain=outlook.office365.com> | Learn more about Microsoft 365 Groups <https://url.au.m.mimecastprotect.com/s/N3XGC1WLjwsyw6qkFpve6H?domain=aka.ms> > [-- Attachment #1.2: Type: text/html, Size: 4283 bytes --] [-- Attachment #2: P1180135.JPG --] [-- Type: image/jpeg, Size: 2447097 bytes --]
Let me add my condolences and shock to hear of Marek's death. I first met Marek in about 1986 -- I think he was a student in Warsaw at the time. I had been invited to talk at the Banach Center by Helena Rasiowa -- my connection to the formidable Helena was actually through her son Zbigniew Ras. Helena led an effort to keep Polish mathematicians and computer scientists in touch with their western counterparts despite being part of the soviet union ... often through invitations to the Banach Center. Needless to say I was very excited to travel behind the iron curtain. Helena had appointed a "chaperone" for me: being rather ignorant I assumed it might be a member of the communist party and a requirement for visitors. It was, however, Marek! Not at all communist! Helena knew I was interested in category theory and had paired me accordingly. At that time it was usual to get some local currency of the country before you travelled there: I recall going to the bank (in the US) and being told that there was "no exchange rate" for zloti. So when I arrived at the airport in Warsaw I naively had first in mind to get zloti. There was a booth to exchange money so I exchanged some dollars and got what I thought must be a very generous exchange rate. Marek met me at the gate and the first thing he said was "I hope you did not exchange any money! They give a terrible exchange rate!" ... I instantly knew that I could trust Marek! In fact, the Banach institute gave me a generous stipend in zloti and there was no need to exchange any money. Marek was an excellent host and introduced me to a Warsaw ... still behind the iron curtain. Lech Welesa was in prison at that time. The first experience of Soviet life (in winter) was to discover that the communal hot water did not work as pipes from the power station had burst (actually no one said what happened or even would admit that the system had broken). I recall Helena -- the realist -- making arrangements so that participants could have a bath in another quarter of the city. At the end of the meeting I still had a huge amount of zloti so Marek took me shopping. This was an interesting experience as it consisted of joining queues to find out what they were queuing for! Needless to say I could not spend all my zloti so I ended up giving them to Marek. I learned that university staff were not really paid a living wage so these perks (and visiting positions in the US -- often brokered by Helena) were essential. I was always delighted to see Marek at (Category Theory) conferences and will greatly miss him. -robin (Robin Cockett) ---------- You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. Leave group: https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b
[-- Attachment #1: Type: text/plain, Size: 2678 bytes --] Dear Karol, I am shocked to learn that Marek Zawadowski has passed away. I wish to express my condolances to all, especially to you Karol, to Justyna Grudzinska and to Krzysztof Kapulkin. Marek was a very talented mathematician, a great teacher and a very kind person. He received is Phd from the University of Montreal in 1989 under the direction of Gonzalo Reyes. He mostly worked in mathematical logic, category theory and higher category theory, He contributed to the rebirth of the great Polish school of mathematics. He was passionate about the philosophical and social impact of mathematics. I will always remember the reception he held with his father in Warsaw during the celebration of Eilenberg's centenary in 2013. His father remembered the brutality of WWII. I wish to his express my condolances to Marek's family. André Joyal ________________________________ De : Karol Szumiło <karol.szumilo@gmail.com> Envoyé : 6 mars 2024 01:20 À : categories@mq.edu.au <categories@mq.edu.au> Objet : Re: Marek Zawadowski The news of Marek's passing is immensely saddening. He was among the kindest, most thoughtful and optimistic people I have ever known. He was my first teacher of category theory and his influence over my outlook on mathematics cannot be overstated. Marek was also the one who urged me to take up a job at the University of Warsaw. I count myself lucky for having the benefit of his companionship over the last two years. He will be greatly missed. Karol Szumiło You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://url.au.m.mimecastprotect.com/s/E55TCWLVn6i7vJOyt6SN2_?domain=outlook.office365.com> | Leave group<https://url.au.m.mimecastprotect.com/s/wwE8CXLW6Div3w2MTVAEbi?domain=outlook.office365.com> | Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/jHGOCYW86EsRPrM6c9h2c3?domain=aka.ms> 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 12321 bytes --]
[-- Attachment #1: Type: text/plain, Size: 2236 bytes --] I’m so sad to hear this. Many years ago, Marek and I shared an office as postdocs at McGill. He was always a kind and decent soul, always willing to talk to any student who wanted his advice. I saw him again recently for the first time in many years, and it was like we were still postdocs sharing an office. From: Ryszard Paweł Kostecki <Ryszard.Kostecki@fuw.edu.pl> Date: Wednesday, March 6, 2024 at 12:16 PM To: categories@mq.edu.au <categories@mq.edu.au> Subject: Marek Zawadowski Attention : courriel externe | external email With a great sadness and a feeling of a heartbreaking premature loss I let the categorical community know that Marek Zawadowski has passed away on Sunday, 3 March 2024. The funeral will take place in Warszawa, on Monday, 11 March 2024. (More detailed information is available here: https://klepsydry.kupamieci.pl/powiadomienie/DBTQMS)<https://url.au.m.mimecastprotect.com/s/2eRpC4QO8xSNGMWQIOlqTH?domain=klepsydry.kupamieci.pl>. I will miss very much his kind presence, sense of humour, and approach to many things -- in research, and in life. And I will always remain grateful for his mentorship, which has opened my mind to mathematics. Here is a photo of Marek from 87th PSSL at Patras (in April 2008): https://www.fuw.edu.pl/~kostecki/photos/_cqg/marek.jpg<https://url.au.m.mimecastprotect.com/s/SB2hC5QP8ySmO5KQFOayrC?domain=fuw.edu.pl> and a photo of him, walking the path with André Joyal: https://www.fuw.edu.pl/~kostecki/photos/_cqg/marek_andre.jpg<https://url.au.m.mimecastprotect.com/s/LSBdC6XQ68f2xj9AsmLD_4?domain=fuw.edu.pl> Ryszard Kostecki 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 6048 bytes --]
[-- Attachment #1: Type: text/plain, Size: 1458 bytes --] Dear Colleagues The loss of Marek comes as a real shock to me. I emailed him recently asking whether he would referee a paper. He told me he was undergoing treatment but could begin a report after June. I said I would ask other people and, if I had no suitable report by June, I would take up his offer. He confirmed that he was happy with that on 27 February. I agree with all the comments about Marek's pleasant nature and I respect his great contribution to mathematics. Please if you can, Ryszard, convey my sincere condolences to Marek's family. Ross On 6 Mar 2024, at 11:57 am, Ryszard Paweł Kostecki <Ryszard.Kostecki@fuw.edu.pl> wrote: With a great sadness and a feeling of a heartbreaking premature loss I let the categorical community know that Marek Zawadowski has passed away on Sunday, 3 March 2024. 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 5568 bytes --]
[-- Attachment #1: Type: text/plain, Size: 1082 bytes --] The news of Marek's passing is immensely saddening. He was among the kindest, most thoughtful and optimistic people I have ever known. He was my first teacher of category theory and his influence over my outlook on mathematics cannot be overstated. Marek was also the one who urged me to take up a job at the University of Warsaw. I count myself lucky for having the benefit of his companionship over the last two years. He will be greatly missed. Karol Szumiło You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 2967 bytes --]
[-- Attachment #1: Type: text/plain, Size: 3244 bytes --] Dear all, I was absolutely devastated to learn about Marek's passing two days ago. I benefited immensely from his kindness, patience, and generosity, certainly more than would be my fair share. He has been a profound influence in my life, having shaped both who I am as a mathematician and as a person. I looked up to him for guidance on how to be a good researcher, an engaging teacher, and a generous supervisor. As any of the thousands of students he taught would tell you, Marek's signature was his real life analogies for even the most abstract mathematical concepts, many of which I have since adopted in my teaching. In a first year introduction to proofs course, he would explain how the operation of taking the image preserves unions because it has a "right friend." He was always funny in what seemed to be an effortless way. Although our mathematical paths diverged in recent years, we stayed in touch and he would invite me over whenever I was able to visit Europe. The two of us would spend hours in his apartment in Warsaw discussing pretty much any imaginable topic from the historical development of categorical logic to Canadian politics (which, as I learned from him, is far more interesting than it seems!). Marek's premature death is a great loss: of an outstanding mathematician and simply a force for good in the world. He will be missed. Best, Chris On 2024-03-05 7:57 p.m., Ryszard Paweł Kostecki wrote: > With a great sadness and a feeling of a heartbreaking premature loss I > let the categorical community know that Marek Zawadowski has passed away > on Sunday, 3 March 2024. > > The funeral will take place in Warszawa, on Monday, 11 March 2024. > (More detailed information is available here: > https://url.au.m.mimecastprotect.com/s/fVcnCP7L1NfYqQYJTzZxO5?domain=klepsydry.kupamieci.pl) > <https://url.au.m.mimecastprotect.com/s/qS0rCQnM1WfGm7GJsP5TmU?domain=klepsydry.kupamieci.pl>. > > I will miss very much his kind presence, sense of humour, and approach > to many things -- in research, and in life. And I will always remain > grateful for his mentorship, which has opened my mind to mathematics. > > Here is a photo of Marek from 87th PSSL at Patras (in April 2008): > https://url.au.m.mimecastprotect.com/s/2R_5CRONg6s98N9yuP3bIV?domain=fuw.edu.pl > <https://url.au.m.mimecastprotect.com/s/2R_5CRONg6s98N9yuP3bIV?domain=fuw.edu.pl> > and a photo of him, walking the path with André Joyal: > https://url.au.m.mimecastprotect.com/s/LCAtCVARmOHr1MrzTJeNBT?domain=fuw.edu.pl > <https://url.au.m.mimecastprotect.com/s/LCAtCVARmOHr1MrzTJeNBT?domain=fuw.edu.pl> > > Ryszard Kostecki > > 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://url.au.m.mimecastprotect.com/s/SslKCWLVn6i7v07Ncmxgdm?domain=outlook.office365.com> | Leave group <https://url.au.m.mimecastprotect.com/s/2zubCXLW6Div3mvkc9iH2b?domain=outlook.office365.com> | Learn more about Microsoft 365 Groups <https://url.au.m.mimecastprotect.com/s/ocXHCYW86EsRP5RjI3YI9n?domain=aka.ms> > [-- Attachment #2: Type: text/html, Size: 4590 bytes --]
[-- Attachment #1: Type: text/plain, Size: 1692 bytes --] With a great sadness and a feeling of a heartbreaking premature loss I let the categorical community know that Marek Zawadowski has passed away on Sunday, 3 March 2024. The funeral will take place in Warszawa, on Monday, 11 March 2024. (More detailed information is available here: https://klepsydry.kupamieci.pl/powiadomienie/DBTQMS)<https://url.au.m.mimecastprotect.com/s/F_FKCyoj8PuvE08XiRRi04?domain=klepsydry.kupamieci.pl>. I will miss very much his kind presence, sense of humour, and approach to many things -- in research, and in life. And I will always remain grateful for his mentorship, which has opened my mind to mathematics. Here is a photo of Marek from 87th PSSL at Patras (in April 2008): https://www.fuw.edu.pl/~kostecki/photos/_cqg/marek.jpg<https://url.au.m.mimecastprotect.com/s/qL1hCzvkmpflvxkgFoRByN?domain=fuw.edu.pl> and a photo of him, walking the path with André Joyal: https://www.fuw.edu.pl/~kostecki/photos/_cqg/marek_andre.jpg<https://url.au.m.mimecastprotect.com/s/5D0aCANpnDCyMnw6uM3MgM?domain=fuw.edu.pl> Ryszard Kostecki 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 3609 bytes --]
[-- Attachment #1: Type: text/plain, Size: 3164 bytes --] There are just a few days left now to register for this year's Midlands Graduate School (MGS) in Leicester. We offer courses on category theory, proof theory, type theory, session types, and more. 8-12 April 2024, Leicester, UK. Registration closes Friday 8th March. ========================================================== Midlands Graduate School 2024 8-12 April 2024, Leicester, UK https://www.cs.le.ac.uk/events/mgs2024/<https://url.au.m.mimecastprotect.com/s/sTjBCK1DOrCgPZwksv9Yez?domain=cs.le.ac.uk> BACKGROUND: The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry. We welcome participants from all over the world! COURSES: Seven courses will be given. Participants usually take all the introductory courses and choose additional options from the advanced courses depending on their interests. Guest lecture - Formalisation of Mathematics, Kevin Buzzard Introductory courses - Category Theory, Thorsten Altenkirch - Proof Theory, Abhishek De and Iris van der Giessen - Type Theory with Agda, Todd Ambridge Advanced courses - Session Types, Sonia Marin - Synthetic Homotopy Theory with HoTT/UF, Ulrik Buchholtz - Graph Rewriting, Reiko Heckel - Categorical Realisability, Tom de Jong REGISTRATION: Registration is £295 for students, and £550 for academic, industry and independent participants. The fee includes all lecture courses and example classes, lunch and coffee breaks, and the conference dinner. The registration deadline is ** Friday 8th March **. Spaces are limited, so please register early to secure your place. SPONSORSHIP: We offer a range of sponsorship opportunities for industry (bronze, silver, gold and platinum), each with specific benefits. Please see the website for further details. This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 5237 bytes --]
[-- Attachment #1: Type: text/plain, Size: 10156 bytes --] To answer one question, Sammy aged out of Bourbaki in 1963. But I don't think the rest of the group was very receptive to categorical ideas anyway. Here is another speculation. Garette Birkhoff's duality of Boolean algebras and Boolean spaces could be considered an early version of a category-like result. Let's look at this more closely. In the early part of the 20th century, homomorphism meant homomorphism onto. So objects (as we call them) had subobject lattices and quotient lattices. Suppose instead that subobjects and quotient objects had been understood as just special cases of the general concept of (homo)morphisms. Might Birkhoff have invented categories rather than lattices? Just something I have long wondered. Then the duality between Boolean algebras and Boolean spaces might have been rightly seen as a duality between categories. And let us not forget Emmy Noether. Before she came along, there were no homology groups. Just Betti numbers and torsion numbers which, in fact, represented the rank and torsion part of the homology groups. She insisted on using homology groups and is reputed to have said of the other formulation, "Cette une bettise." About 20 years ago, Vietoris (then over 100) said that they actually knew there were homology groups, but until Emmy Noether came along, it was not the style to mention them. If I recall rightly, Sammy once said that they actually knew that continuous functions between spaces induced homomorphisms between the groups, but since they were generall neither 1-1 nor onto, they were ignored. Obviously the Eilenberg-Steenrod axioms for homology are heavily categorical, although I am not sure they actually used the word category in the book. Michael ________________________________ From: porst <porst@uni-bremen.de> Sent: Sunday, March 3, 2024 9:50 AM To: William Messing <messing@math.umn.edu> Cc: David Roberts <droberts.65537@gmail.com>; Nikita Danilov <danilov@gmail.com>; Michael Barr, Prof. <barr.michael@mcgill.ca>; categories@mq.edu.au <categories@mq.edu.au> Subject: Re: Historical notes in Freyd's Abelian Categories You don't often get email from porst@uni-bremen.de. Learn why this is important<https://url.au.m.mimecastprotect.com/s/CxCSCvl1g2SmrvmMIQiHaa?domain=aka.ms> Something more can be said about the relations between Bourbaki, Samuel’s 1948 paper, and Freyd’s GAFT: It certainly is true that what Bourbaki writes is influenced (if not written) by Samuel. From the categorical perspective there is a certain irony between the formulations in Bourbaki and the Samuel-paper: While Samuel’s original paper is surprisingly categorical in nature (though he apparently didn’t know the 1945 Eilenberg-Mac Lane - paper and, hence, didn’t use the concepts of category and functor), this has been lost in the Bourbaki text. In some detail: 1. The setting Samuel considers (T-sets and T-mappings) and describes by a set of axioms express the following (in categorical language): T-sets and T-mappings form a category T which is equipped with a faithful functor |-|: T —> Set and this reflects isomorphisms and lifts products, equalizers, and intersections. His S-T-mappings between S-sets X and T-sets Y then are most naturally to be interpreted as S-mappings X —> EY, where E:T —> S is a functor commuting with the underlying functors |-| (and, hence, preserves limits). 2. The only non-standard axiom he introduces, he uses (only) to show that (in categorical language) the functor E satisfies the solution set condition. His „universal mapping problem“ then becomes: Show that for every X in T there exists an E-universal morphism! And his proof can be read as follows: "The claim is true since T has and E preserves limits and E satisfies the solution set condition“ and is done essentially as in Freyd’s book — except for the language. For more details see my arXiv-posting 2310.19528 (October 2023). Hans-E. Porst Am 03.03.2024 um 11:24 schrieb William Messing <messing@math.umn.edu>: The 1958 edition of Bourbaki Théorie des Ensembles, Chapitre IV, Structures, has the appendix discussing at length and defining in a precise sense the word "canonique". Why this was suppressed in all subsequent editions has seemed both idiotic and inexplicable to me. William Messing On Sun, Mar 3, 2024 at 3:02 AM David Roberts <droberts.65537@gmail.com<mailto:droberts.65537@gmail.com>> wrote: Well, I got a chance to look as I'm not unfamiliar with the Bourbaki Archives. The cited result from Nikita (CST22 in Chapter IV, 3.2) was already included in: Rédaction n°188. Ensembles. Chapitre IV. Structures (état 8 ?). Dieudonné, Jean<https://url.au.m.mimecastprotect.com/s/NBYICwV1jpSMgoMYTqd3gm?domain=archives-bourbaki.ahp-numerique.fr>, R188_nbr091, accès le 3/03/2024, http://archives-bourbaki.ahp-numerique.fr/items/show/602<https://url.au.m.mimecastprotect.com/s/fO31CxngGkf6PZ6rIYog8m?domain=archives-bourbaki.ahp-numerique.fr> dating to September 1953. See the attachment. The paper Pierre Samuel, "On universal mappings and free topological groups", Bulletin of the American Mathematical Society, 54, juin 1948, p. 591-598. was a big influence on this section (and note that P. Samuel was also a Bourbaki collaborator). The following 1950 draft does not have the cited result: Rédaction n°137. Ensembles. Chapitre III. Structures (état 5). Chevalley, Claude, R137_nbr040, accès le 3/03/2024, http://archives-bourbaki.ahp-numerique.fr/items/show/546<https://url.au.m.mimecastprotect.com/s/E77eCyoj8PuvAYv9IRzufm?domain=archives-bourbaki.ahp-numerique.fr> The April 1953 draft has a corresponding heading, but the pages are missing. David On Sun, 3 Mar 2024, 2:03 pm David Roberts, <droberts.65537@gmail.com<mailto:droberts.65537@gmail.com>> wrote: You can see the publication history of Chapter 4 of Théorie des Ensembles here: http://archives-bourbaki.ahp-numerique.fr/elements-mathematique#elements-math1<https://url.au.m.mimecastprotect.com/s/2GnDCzvkmpflOKlJsoP1Ce?domain=archives-bourbaki.ahp-numerique.fr> If people have access to older copies they might check the 1957 and 1966 editions of the standalone ch4, and the 1970 edition of the full book. More patient people m8ght like to dig through the drafts at http://archives-bourbaki.ahp-numerique.fr/items/browse?search=&type=5&sort_field=Dublin+Core%2CTitle&advanced[0][element_id]=99&advanced[0][type]=is+exactly&advanced[0][terms]=Th%C3%A9orie+des+ensembles<https://url.au.m.mimecastprotect.com/s/2G0UCANpnDCyGjy7TMJa6v?domain=archives-bourbaki.ahp-numerique.fr> Eilenberg was active in Bourbaki, don't forget, and was writing drafts on category theory. I can't recall when he ceased working with them offhand. David On Sun, 3 Mar 2024, 1:09 pm Nikita Danilov, <danilov@gmail.com<mailto:danilov@gmail.com>> wrote: CAUTION: External email. Only click on links or open attachments from trusted senders. ________________________________ This reminds me of a (probably trivial) question that occurred to me some time ago. N. Bourbaki's Theory of Sets has a result very similar to the general adjoint functor theorem (CST22 in Chapter IV, 3.2). This volume was printed about 4 years after Abelian Categories. Is the history behind the Bourbaki's version known? Thank you, Nikita. On Sat, 2 Mar 2024 at 19:55, Michael Barr, Prof. <barr.michael@mcgill.ca<mailto:barr.michael@mcgill.ca>> wrote: Peter has called my attention to the existence of some historical notes in the preface to the TAC reprint (TR-3) of Abelian categories. In particular, he had already essentially discovered the general adjoint functor, at least for reflective subcategories) in his undergrad honors thesis, even though adjoints had not yet been defined. The preface in the TAC reprint includes things not in any other published version of the book. 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://url.au.m.mimecastprotect.com/s/sStsCBNqgBCQzvQEFv4RgE?domain=outlook.office365.com> | Leave group<https://url.au.m.mimecastprotect.com/s/p-T7CD1vRkC2DX2gTBMcTW?domain=outlook.office365.com> | Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/N8FUCE8wlRCrkBrRIyujZ8?domain=aka.ms> 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://url.au.m.mimecastprotect.com/s/8aOqCGv0Z6fx2wxjTWqusD?domain=outlook.office365.com> | Leave group<https://url.au.m.mimecastprotect.com/s/eEhXCJyBZ6tGgxG0cnrDBV?domain=outlook.office365.com> | Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/N8FUCE8wlRCrkBrRIyujZ8?domain=aka.ms> 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://url.au.m.mimecastprotect.com/s/ulCFCK1DOrCgZLg3FrtSvo?domain=outlook.office365.com> | Leave group<https://url.au.m.mimecastprotect.com/s/lOLcCL7Eg9fxlLxETkhEs1?domain=outlook.office365.com> | Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/N8FUCE8wlRCrkBrRIyujZ8?domain=aka.ms> 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.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g> [-- Attachment #2: Type: text/html, Size: 30207 bytes --]