June 2024 - Categories - categories.org.au

Lecture notes by Bill Lawvere
by Michael Barr, Prof. 23 Apr '26

23 Apr '26

I got a request from someone named C. Muster who is searching for a set of lecture notes by Bill that he gave at U. Laval in 1974. Does anyone have a copy that they would be willing to send to him. Michael You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

5 4

Special Volume of MSCS in honor of Marek Zawadowski
by Chris Kapulkin 17 Mar '25

17 Mar '25

Dear Colleagues, We are honored to announce a special volume of the journal Mathematical Structures in Computer Science celebrating the work of Marek Zawadowski. Marek Zawadowski (1960-2024) was a mathematician at the University of Warsaw. He received his Ph.D. from the Université de Montréal in 1989 under the supervision of Gonzalo Reyes with the dissertation “Théorie de la descente pour les prétopos.” He made fundamental contributions to category theory, logic, and linguistics. He passed away unexpectedly in February 2024. This special volume is a celebration of Marek Zawadowski’s work and welcomes submissions on a broad range of topics, including: categorical logic, higher category theory, and linguistics. The volume will be edited by four guest editors: Pierre-Louis Curien (Université Paris Cité and Inria) Justyna Grudzińska (University of Warsaw) Chris Kapulkin (University of Western Ontario) Karol Szumiło (University of Warsaw) To submit your paper to the special volume, please go to https://mc.manuscriptcentral.com/mscs After starting a new submission, you will be asked (as part of Step 1) whether your manuscript is a candidate for a Special Issue; you should select “Tribute to Marek Zawadowski.” The editors will be happy to answer any questions at marek.zawadowski.memorial(a)gmail.com The submission deadline is March 31, 2025. If you are planning to submit a paper but are worried about making the deadline, please contact the editors at your earliest convenience. Best wishes, Chris Kapulkin For the Guest Editors You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

2 1

PhD opportunities at the University of Birmingham
by Paul Levy 25 Nov '24

25 Nov '24

* Imminent funding deadline (1 December) - please contact us immediately if you are interested. * Dear all, We invite applications for PhD study at the University of Birmingham. We are a group of (mostly) theoretical computer scientists who explore fundamental concepts in computation. Our work includes category theory, computational complexity, programming language semantics, proof theory, type theory, verification and much else besides. See our webpage, with links to individual researchers, here: https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-c… Information about PhD applications may be found here: https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research… If you are considering applying, please contact any of us. We will be very happy to discuss the opportunities available. Best regards, The Birmingham CS theory group, including:- Benedikt Ahrens Rajesh Chitnis Anupam Das Martín Escardó Eric Finster Dan Ghica Mirco Giacobbe Paul Levy Sonia Marin Sean Moss Jakub Opršal Vincent Rahli Uday Reddy Eike Ritter You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 1

Third announcement of ECCL 24 - a celebration of Pino Rosolini's 70th birthday
by Jacopo Emmenegger 29 Jun '24

29 Jun '24

Dear all, this is the third announcement for the workshop **Effectiveness and Continuity in Categorical Logic** https://logic.dima.unige.it/eccl-24/ which will be held in Genoa on September 12th and 13th, 2024, to celebrate the 70th birthday of Pino Rosolini. There is no registration fee. However, we kindly ask people intending to attend to *register, the sooner the better, by filling out the form* at We will try to arrange a few minutes slot for short recorded video-messages from people who would like but cannot attend in person, and we will try to make it accessible also remotely. The meeting is supported by DIMA, DIBRIS, INdAM-GNSAGA, AILA, UniGe and MaddMaths, and will consist of two parts: - A scientific workshop on Sept 12th and in the morning of Sept 13th, held at the department of mathematics of the University of Genoa, focusing on the topics related to the main scientific interests and contributions of Pino Rosolini. The following speakers have agreed to give a talk: Steve Awodey (Carnegie Mellon University) Nicola Gambino (University of Manchester) Martin Hyland (University of Cambridge) Maria Emilia Maietti (Università di Padova) Sandra Mantovani (Università di Milano) Eugenio Moggi (Università di Genova) Jaap van Oosten (Universiteit Utrecht) Edmund Robinson (Queen Mary, University of London) Thomas Streicher (Technische Universität Darmstadt) Enrico Vitale (Université catholique de Louvain) - A public event in the afternoon of Sept 13th, devoted to popularisation and dissemination of mathematics. This event will be held in Italian and will take place at Teatro Instabile in Genoa. It is organised by Roberto Lucchetti (Politecnico di Milano) and Roberto Natalini (Consiglio Nazionale delle Ricerche). For any questions, please send an e-mail to: <emailto:eccl-2024@dima.unige.it><mailto:emailto:eccl-2024@dima.unige.it>. We look forward to seeing you in Genoa! On behalf of the organisers -- Jacopo Emmenegger Postdoctoral research fellow Dipartimento di Matematica (DIMA) Università degli Studi di Genova Genova 16146, Italy You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Second CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
by ESSLLI Publicity 28 Jun '24

28 Jun '24

36th European Summer School in Logic, Language and Information (ESSLLI 2025) July 28-August 8, 2025, Ruhr University Bochum, Germany https://2025.esslli.eu/ (Please note that the Website is not currently online, but will soon be.) Important Dates ========================= July 10, 2024: Deadline for submitting course/workshop titles July 24, 2024: Deadline for submitting course/workshop proposals October 15, 2024: Notification sent to course/workshop proposers Note that submitting a proposal requires that the person submitting it has an OpenReview profile. Profiles created without an institutional email may go through a moderation process that can take up to two weeks to be activated. Profiles created with an institutional email are activated automatically. Introduction ========================= Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. Since 1989, ESSLLI has been providing outstanding interdisciplinary educational opportunities in the fields of Computer Science, Cognitive Science, Linguistics, Logic, Philosophy, and beyond. It comes from a community which recognizes that advances in our common areas require the contributions of multiple interrelated disciplines. The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures. Topics and Format ========================= Proposals for courses and workshops at ESSLLI 2025 are invited in all areas of Logic, Linguistics and Computer Science. Cross-disciplinary and innovative topics are particularly encouraged. During submission you will be asked to select one of three tracks “Language and Computation (LaCo)”, “Language and Logic (LaLo)”, “Logic and Computation (LoCo)”. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one. In such cases, the ESSLLI Program Committee reserves the right to accept just one of the two proposals. All instructional and organizational work at ESSLLI is performed completely on a voluntary basis, so as to keep participation fees to a minimum. However, organizers and instructors have their registration fees waived, and are reimbursed for travel and accommodation expenses up to a level to be determined and communicated with the proposal notification. ESSLLI can only guarantee reimbursement for at most one course/workshop organizer, and cannot guarantee full reimbursement of travel costs for lecturers or organizers from outside of Europe. The ESSLLI organizers would appreciate any help in controlling the School's expenses by seeking partial or complete coverage of travel and accommodation expenses from other sources. Categories ========================= Each proposal should fall under one of the following categories. Foundational Courses ------------------------------------------- Such courses are designed to present the basics of a research area, to people with no prior knowledge in that area. They should be of elementary level, without prerequisites in the course's topic, though possibly assuming a level of general scientific maturity in the relevant discipline. They should enable researchers from related disciplines to develop a level of comfort with the fundamental concepts and techniques of the course's topic, thereby contributing to the interdisciplinary nature of our research community. Introductory Courses ------------------------------------------- Introductory courses are central to ESSLLI's mission. They are intended to introduce a research field to students, young researchers, and other non-specialists, and to foster a sound understanding of its basic methods and techniques. Such courses should enable researchers from related disciplines to develop some comfort and competence in the topic considered. Introductory courses in a cross-disciplinary area may presuppose general knowledge of the related disciplines. Advanced Courses ------------------------------------------- Advanced courses are targeted primarily to graduate students who wish to acquire a level of comfort and understanding in the current research of a field. Workshops ------------------------------------------- Workshops focus on specialized topics, usually of current interest. Workshop organizers are responsible for soliciting papers and selecting the workshop program. They are also responsible for publishing proceedings if they decide to have proceedings. Proposal Guidelines ========================= Course and workshop proposals should closely follow these guidelines to ensure full consideration. Course and Workshop proposals can be submitted by no more than two lecturers/organizers and can be presented by no more than these two lecturers/organizers. All instructors and organizers must possess a PhD or equivalent degree by the submission deadline. Course proposals should mention explicitly the intended course category. Proposals for introductory courses should indicate the intended level, for example as it relates to standard textbooks and monographs in the area. Proposals for advanced courses should specify the prerequisites in detail. Proposals of Courses given at ESSLLI in the previous year will have a lower priority of being accepted in the current year. Proposals must be in PDF format and include all the following information: 1. Personal information for each proposer: Name, affiliation, contact address, email, homepage (optional) 2. General proposal information: Title, category 3. Contents information: a. Abstract of up to 150 words b. Motivation and description (up to two pages) c. Tentative outline d. Expected level and prerequisites e. Appropriate references (e.g. textbooks, monographs, proceedings, surveys) 4. Information required of course proposers: a. Will the course appeal to students outside of the main discipline of the course? b. What experience does the proposer have in presenting an intensive one-week interdisciplinary setting? c. What evidence is there that the course proposer is an excellent lecturer? 5. Information required of workshop organizers: a. Information on relevant preceding meetings and events, if applicable b. Information about potential external funding for participants. Submission Information ========================= By July 10, 2024, proposers are asked to submit at least the name(s) of the instructor(s), the ESSLLI area+course level and a title and short abstract for the proposed course/workshop. By July 24, 2024, course proposers must complete their submission by uploading a PDF with the actual proposal as detailed above. Submission Portal ========================= Please submit your proposals to https://openreview.net/group?id=ESSLLI.eu/2025/Summer_School_Proposals Note that submitting a proposal requires that the person submitting it has an OpenReview profile. Profiles created without an institutional email may go through a moderation process that can take up to two weeks to be activated. Profiles created with an institutional email are activated automatically. EACSL Sponsorship ================= The EACSL will support one Logic and Computation course or workshop addressing topics of interest to Computer Science Logic (CSL) conferences. The selected course or workshop will be designated an EACSL course/workshop in the programme. If you wish to be considered for this, please indicate it in your proposal. Organizing Committee ========================= Tatjana Scheffler (Ruhr University Bochum, chair) Maria Berger (Ruhr University Bochum) Maike Buchin (Ruhr University Bochum) Daniel Gutzmann (Ruhr University Bochum) Stephanie Heimgartner (Ruhr University Bochum) Kristina Liefke (Ruhr University Bochum) Hannah Seemann (Ruhr University Bochum) Christian Straßer (Ruhr University Bochum) Katharina Turgay (Ruhr University Bochum) Thomas Zeume (Ruhr University Bochum) Program Committee ========================= Balder ten Cate (ILLC, University of Amsterdam, chair) Daniel Gutzman (Ruhr University of Bochum, local co-chair) Area Chairs Language and Computation (LaCo) ------------------------------------------- - Nicholas Asher (IRIT/CNRS Toulouse) - Martha Lewis (ILLC, University Amsterdam) - Valerio Basile (University of Turin) Area Chairs Language and Logic (LaLo) ------------------------------------------- - Daniel Altshuler (Oxford University) - Elin McCready (Aoyama Gakuin University) - Judith Tonhauser (University of Stuttgart) Area Chairs Logic and Computation (LoCo) ------------------------------------------- - Luca Reggio (University College London) - Leopoldo Bertossi (Skema Business School & Carleton University) - Anupam Das (University of Birmingham) Publicity Chair: Søren Knudstorp (ILLC, University of Amsterdam) ESSLLI Steering Committee ========================= Jakub Szymanik (University of Trento) (chair) Magdalena Ortiz (TU Wien) Roman Kuznets (TU Wien) (secretary) Mehrnoosh Sadrzadeh (University College London) Lonneke van der Plas (Idiap Research Institute) You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Postdoc in Birmingham
by Dan Ghica 28 Jun '24

28 Jun '24

Dear all, I am currently advertising a 3 year EPSRC postdoctoral position at the University of Birmingham with the stated topic of semantics-direct compiler construction. The project is in collaboration with Graham Hutton at the University of Nottingham. We are mainly interested in the semantic aspects of this problem, rather than the engineering details. In particular I am interested in abstract machines and string diagrams, used in the tradition of interaction nets. However, a postdoc who is interested in industrial applications also will have the option of an internship at the Huawei Edinburgh Programming Languages Laboratory which I lead. In making the appointment I will favour a strong and independent-minded candidate, rather than strict alignment with the project topic. I would be immensely grateful if you could forward this to any potential candidates whom you think might fit this profile. More details and application instructions are here: https://www.jobs.ac.uk/job/DIE133/research-fellow but feel free to contact me directly as well. The following tutorial paper gives quite a lot of relevant background information for this project https://arxiv.org/abs/2305.18945. Best wishes Dan You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

BRITISH LOGIC COLLOQUIUM 2024 -- Call for abstracts
by Paul Levy 25 Jun '24

25 Jun '24

***1st Call for Abstracts*** BRITISH LOGIC COLLOQUIUM 2024 University of Birmingham, UK https://blc24.github.io/ Abstract deadline: July 10th Notification: July 31st Final version: August 10th Colloquium: September 5-7th The annual meeting of the British Logic Colloquium (https://www.blc-logic.org/) will be organised by the University of Birmingham from Thursday 5th September afternoon to Saturday 7th September morning. The programme will include invited and contributed talks on a range of topics including (but not restricted to) proof theory, set theory, model theory, computability and complexity, logical aspects of computer science, and philosophy of mathematics. INVITED SPEAKERS - Michael Rathjen (University of Leeds) - more TBC... SUBMISSIONS The programme committee invites abstracts for contributed talks of up to 1 page (excluding bibliography). These can be on published or unpublished work, as well as work in progress. We especially encourage students and early-career researchers to present their work. There are no formal published proceedings, but accepted abstracts will be made available for the meeting. Please submit your abstracts via EasyChair: https://easychair.org/conferences/?conf=blc24 PROGRAM COMMITTEE Anupam Das (University of Birmingham) Paul Blain Levy (University of Birmingham) Sonia Marin (University of Birmingham) Omar Leon Sanchez (University of Manchester) Paul Shafer (University of Leeds) Sara Uckelman (Durham University) COLOCATION WITH Proof Society BLC24 will be colocated with the Proof Society International School and Workshop 2024, taking place 9-13 September: https://proofsociety2024.com/ 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

SAT 2024: First Call for Participation
by Abhisekh Sankaran 21 Jun '24

21 Jun '24

========================================================= SAT 2024 International Conference on Theory and Applications of Satisfiability Testing 2024 Call for Participation ========================================================= Important dates: - SAT 2024 conference: August 21 - 24, 2024 - Workshops: August 20, 2024 - Indian SAT+SMT School: August 18 - 19, 2024 Place: Tata Consultancy Services (TCS), Sahyadri Park - 2, Hinjewadi, Pune, India Website: https://satisfiability.org/SAT24/ About the conference SAT 2024 is the 27th edition of the International Conference on Theory and Applications of Satisfiability Testing (SAT). The scope of SAT 2024 includes all aspects of the theory and applications of propositional satisfiability, broadly construed. This also includes Boolean optimization, such as MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), Model Counting, and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. SAT 2024 is the first time that SAT will take place in India. There will be co-located schools and workshops prior to the conference. The events are being organized by TCS Research and Indian Institute of Technology Bombay. Keynote Speakers - Martina Seidl, Johannes Kepler University, Austria - Cesare Tinelli, University of Iowa, USA - Moshe Y. Vardi, Rice University, USA Awards - A "Best Paper Award" and a "Best Student Paper Award" will be announced during the conference. - The "Fahiem Bacchus PhD Award in Satisfiability" will also be announced. This new award established by the SAT Association distinguishes one outstanding PhD thesis from the past two years in the field of Satisfiability, broadly construed. The award is named after Fahiem Bacchus who made significant contributions to the theory and practice of SAT as well as to the SAT community and the SAT Association. About the venue The venue of SAT 2024 is Tata Consultancy Services (TCS), Sahyadri Park - 2, Hinjewadi, Pune. Surrounded by the rolling hills of the Sahyadri ranges on three sides, this campus is a scenic and well-equipped setting for hosting SAT 2024. The campus has shared conference rooms, breakout areas, training rooms and a 500-seater multi-purpose auditorium. Pune is the second largest city after Mumbai (erstwhile Bombay) in the state of Maharashtra in western India. It is well-known for its salubrious climate, rich culture, a vibrant theatre and classical music scene, and its automotive and information technology industries. The city of Mumbai, with its associated tourist attractions, is a 3-hour pleasant drive from Pune. Registration The registrations for the conference, and the co-located schools and workshops, are now open. - Early registration deadline: July 15, 2024, 23:59 AoE - Registration link: https://satisfiability.org/SAT24/registration.php Grants & Travel Support Grants and travel support are available for student participants. The details can be found on the conference website: https://satisfiability.org/SAT24/registration.php. Co-located Schools and Workshops - Indian SAT+SMT school + Website: https://sat-smt.in/ + Dates: Aug 18 - 19, 2024 - Pragmatics of SAT + Website: http://www.pragmaticsofssat.org/2024/ + Dates: Aug 20, 2024 - International Workshop on Quantified Boolean Formulas and Beyond + Website: https://qbf24.pages.sai.jku.at/qbf/ + Dates: Aug 20, 2024 - Workshop on Counting, Sampling, and Synthesis + Website: https://mccompetition.org + Dates: Aug 20, 2024 Competitions Results of the 2024 editions of SAT competition, Pseudo-Boolean Solver competition and Model Counting competition will be announced at the conference. Sponsors - Diamond sponsors: TCS Research - Platinum sponsors: Artificial Intelligence Journal, Amazon Web Services - Gold sponsors: Cadence, Synopsis - Bronze sponsors: Google, Microsoft Partners - ACM India Council - Indian Association for Research in Computing Science (IARCS) For more information, please visit https://satisfiability.org/SAT24/. We look forward to seeing you in Pune! Best regards, SAT 2024 Organizing Committee You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Lawvere's 1989 preprint on "Intrinsic boundary"
by Ryszard Paweł Kostecki 18 Jun '24

18 Jun '24

Dear all, I am searching for Bill Lawvere's 1989 preprint "Intrinsic boundary in certain mathematical toposes exemplify ‘logical’ operators not passively preserved by substitution". It is not available in the internet, nor at any library indexed by worldcat.org. Is there a chance that someone reading this email has a copy of it? (I have a copy of his 1991 text "Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes", and I am searching specifically for this 1989 preprint.) With best wishes Ryszard ---------- 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.as…

2 1

Postdoc position in Higher Category Theory
by Nicola Gambino 17 Jun '24

17 Jun '24

Dear all, I am writing to invite applications for 10-month postdoctoral position in Higher Category Theory: https://jobs.leeds.ac.uk/Vacancy.aspx?ref=EPSMA1115 The position is funded by an AFOSR research project whose general goal is to extend the connections between Category Theory and Logic to higher categories. The grant is held at the University of Leeds, but the successful candidate will have the opportunity to be based at the University of Manchester. The deadline for applications is Wednesday 3rd July. Interviews will be held on Tuesday 16th July. Please do not hesitate to contact me for further information. With best regards (and apologies for multiple postings), Nicola == Dr Nicola Gambino Department of Mathematics, University of Manchester https://personalpages.manchester.ac.uk/staff/Nicola.Gambino/ You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0