February 2025 - Categories - categories.org.au

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

23 Apr '26

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

5 4

Collection honouring Robert Paré for his 80th birthday
by Bryce James Clarke 13 Jun '25

13 Jun '25

We are pleased to announce a special collection in Applied Categorical Structures honouring our friend and colleague, Bob Paré, on the occasion of this 80th birthday. Throughout his career Bob (Professor Emeritus and Adjunct Professor at Dalhousie University) has made several lasting contributions to category theory, including notable research in a broad range of subjects, such as double categories, higher categories, indexed categories, toposes and accessible categories. This collection will bring together contributions which honour the lasting impact Bob has made, and is making, in the category theory community. Submissions will be open from 1 October 2024 until 30 June 2025 at this link: https://link.springer.com/collections/dijeibfdbh All submissions on topics which celebrate Bob's work are welcome, including double categories, higher categories, indexed categories, toposes and accessible categories. The collection will be edited by four guest editors: - Bryce Clarke (Tallinn University of Technology) - Marco Grandis (University of Genoa) - Dorette Pronk (Dalhousie University) - Christina Vasilakopoulou (National Technical University of Athens) The publication process for this collection in Applied Categorical Structures differs from the traditional model for a special volume. Articles are published within whichever issue is open at the time, and concurrently published in the collection available at the above link. This helps papers to be published quickly, without having to wait for a whole issue to be ready, while still allowing all papers in the collection to be available in a single place. The editors are happy to answer any questions, and we look forward to receiving your submissions. Best wishes, Bryce, Marco, Dorette, and Christina. You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 1

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

TYPES 2025: Deadline Extension and Final Call for Contributions
by Fredrik Nordvall Forsberg 28 Feb '25

28 Feb '25

[The TYPES 2025 submission deadline has been extended a week until 10 March Anywhere On Earth.] Final Call for Contributions TYPES 2025 31st International Conference on Types for Proofs and Programs Glasgow, Scotland, 9 -- 13 June 2025 https://msp.cis.strath.ac.uk/types2025/ IMPORTANT DATES --------------- * Submission of 2-page abstract 10 March 2025 AoE (extended) * Author notification 11 April 2025 AoE * Camera-ready version of abstract 9 May 2025 AoE * Conference 9 -- 13 June 2025 OVERVIEW -------- The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable. If you need to discuss remote participation, please contact the PC chair. Researchers from COST Inclusiveness Target Countries are reminded that the European Research Network on Formal Proofs COST action has some funding available for conference attendance, see https://europroofnet.github.io/grants/ . CONTRIBUTED TALKS ----------------- TYPES solicits contributed talks to stimulate discussions. Selection of those will be based on extended abstracts/short papers of 2 pp (not counting the bibliography) formatted with easychair.cls. The submission site is: https://openreview.net/group?id=TYPES/2025/Conference Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference. INVITED SPEAKERS ---------------- Ingo Blechschmidt (University of Augsburg) Sonia Marin (University of Birmingham) Chris Martens (Northeastern University) Christian Sattler (Chalmers University of Technology and University of Gothenburg) POST-PROCEEDINGS ---------------- A post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. Tentative submission deadline for the post-proceedings: October 2025. VISA ISSUES ----------- Note that even if you are lucky enough to not require a visa to enter the UK, by the time TYPES happens, you might still need to apply for electronic travel authorisation. https://www.gov.uk/guidance/apply-for-an-electronic-travel-authorisation-eta If you do need a visa, we are happy to write you a letter of invitation, confirming that you have registered for the conference. CONFIRMED SPONSORS ------------------ Jane Street (Gold sponsor) Formal Vindications Well-Typed PROGRAMME COMMITTEE ------------------- Danel Ahman (University of Tartu, Estonia) Guillaume Allais (University of Strathclyde, Scotland) Malin Altenmüller (University of Edinburgh, Scotland) Sandra Alves (University of Porto, Portugal) Casper Bach (University of Southern Denmark, Denmark) Ana Bove (Chalmers and University of Gothenburg, Sweden) Liang-Ting Chen (Academia Sinica, Taiwan) Vikraman Choudhury (University of Bologna, Italy) Gilda Ferreira (Universidade Aberta, Portugal) Daniel Gratzer (Aarhus University, Denmark) Tom de Jong (University of Nottingham, England) Dominik Kirst (Inria Paris, France) Neel Krishnaswami (University of Cambridge, England) András Kovács (University of Gothenburg and Chalmers, Sweden) Peter LeFanu Lumsdaine (Stockholm University, Sweden) Kenji Maillard (Inria Rennes-Bretagne Atlantique, France) Max New (University of Michigan, United States of America) Fredrik Nordvall Forsberg (University of Strathclyde, Scotland) (chair) Elaine Pimentel (University College London, England) Andrew Swan (University of Ljubljana, Slovenia) Tarmo Uustalu (Reykjavík University, Iceland) Niels van der Weide (Radboud University Nijmegen, The Netherlands) Théo Winterhalter (Inria Saclay, France) Maaike Zwart (IT University Copenhagen, Denmark) TYPES STEERING COMMITTEE ------------------------ Eduardo Hermo Reyes (Formal Vindications, Spain) Tom de Jong (University of Nottingham, England) Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) Fredrik Nordvall Forsberg (University of Strathclyde, Scotland) Paige Randall North (Utrecht University, The Netherlands) (chair) Benno van den Berg (University of Amsterdam, The Netherlands) (secretary) ABOUT TYPES ----------- The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 onwards, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019), Virtual (2021), Nantes (2022), València (2023), Copenhagen (2024). CONTACT ------- Email: CIS_types2025(a)groups.strath.ac.uk ORGANIZERS ---------- Guillaume Allais (University of Strathclyde, Scotland) Stuart Gale (University of Strathclyde, Scotland) Fredrik Nordvall Forsberg (University of Strathclyde, Scotland) 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

SYCO 13 - Call for Submissions
by Piedeleu, Robin 27 Feb '25

27 Feb '25

CALL FOR SUBMISSIONS THIRTEENTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 13) London, United Kingdom 24-25 April, 2025 Submission deadline: Friday 7 March 2025 https://www.cl.cam.ac.uk/events/syco/13/ ----------------------------------------- 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 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: Friday 7 March, 2025 Author notification: Wednesday 21 March, 2025 Symposium dates: Thursday 24 and Friday 25 April 2025 SUBMISSION INSTRUCTIONS ======================= Submissions are on Easychair, via the SYCO 13 submission page: https://easychair.org/my/conference?conf=syco13 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 13; you still need to submit it again through easychair. 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. PROGRAMME COMMITTEE =================== Mina Abbaszadeh, University College London (Chair) Robin Piedeleu, University College London (Chair) Tai-Danae Bradley, Sandbox AQ and The Master's University Corina Cirstea, University of Southampton Chris Heunen, University of Edinburgh Aleks Kissinger, University of Oxford Jean-Simon Pacaud Lemay, Macquarie University Martha Lewis, University of Amsterdam Jade Master, Glasgow Lab for AI Verification Samuel Mimram, École Polytechnique Koko Muroya, National Institute of Informatics Paolo Perrone, University of Oxford Morgan Rogers, University of Sorbonne Paris Nord Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology Christina Vasilakopoulou, National Technical University of Athens Maaike Zwart, IT University of Copenhagen STEERING COMMITTEE ================== Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Dominic Horsman, University of Oxford Aleks Kissinger, University of Oxford Samuel Mimram, École 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.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

BCTCS 2025 Education Track
by Alasdair Lambert 27 Feb '25

27 Feb '25

BCTCS 2025 Education Track -- Call for Contributed Talks BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2025 University of Strathclyde 14–16 April 2025 https://msp.cis.strath.ac.uk/bctcs2025/ CONTRIBUTED TALKS This year BCTCS will host a focused Theoretical Computer Science Education Track on Wednesday the 16th of April. To propose a talk, please fill in the submission form. We invite 20 or 30 minutes talk proposals on teaching experiences, highlighting specific challenges and/or innovations related to particular theoretical computer science topics or courses. This track is designed to facilitate reflection on both the breadth and depth of TCS topics offered across institutions, from introductory courses to advanced topics such as computational complexity theory, quantum computing, algorithmic game theory, model checking, programming language theory and semantics, to name a few. A central theme of this event will be exploring how TCS can continue to serve as a foundational element of computer science education, with challenges lying in keeping students engaged and demonstrating relevance considering emerging technologies like generative AI. We put no restrictions on the originality or publication status of submissions. There will be no formal proceedings, but the collection of the contributed abstracts will appear in the Bulletin of the EATCS (https://eatcs.org/index.php/eatcs-bulletin) REGISTRATION We hope to open registrations in March 2025. The registration fees will be as follows: * Early registration (until 24 March): £45 * Late registration (until 7 April): £60 TCS Education Track Chairs: * Oana Andrei, University of Glasgow, oana.andrei(a)glasgow.ac.uk<mailto:oana.andrei@glasgow.ac.uk> * Alasdair Lambert, University of Strathclyde, alasdair.lambert(a)strath.ac.uk<mailto:alasdair.lambert@strath.ac.uk> Further details are available at https://msp.cis.strath.ac.uk/bctcs2025/ or contact directly the education track chairs. This event is sponsored by SICSA, the Scottish Informatics and Computer Science Alliance [cid:e7a52554-2464-422a-a975-3d0dac699d32] 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

MFPS 2025: Second Call for Papers
by Thorsten Wissmann 26 Feb '25

26 Feb '25

======================================================================= SECOND CALL FOR PAPERS: MFPS XLI (MFPS 2025) 41st Conference on Mathematical Foundations of Programming Semantics June 18-20, 2025 in Glasgow, Scotland Joint with CALCO https://coalg.org/calco-mfps-2025/mfps/ ** Updated: invited speakers ** ======================================================================= IMPORTANT DATES (anywhere on earth): Abstract Submission: March 27, 2025 Paper Submission: April 3, 2025 Notification: May 12, 2023 Pre-proceedings: May 24, 2023 Final (post-proceeding) versions: Autumn 2025 ========================================================================= We are delighted to announce the 41st Conference on the Mathematical Foundations of Programming Semantics (MFPS 2025). It will take place at the University of Strathclyde in Glasgow, Scotland. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming language theory; quantum computation; security; topological models; logic; type systems; type theory; denotational and operational semantics; rewrite theory; proof theory. We also welcome contributions that address applications of semantics to novel areas. Participation in the meeting is expected to be in person; one author of every accepted paper has to attend the meeting and give the presentation. Exceptions might be in case there are unexpected problems with travel/visa. ----------------------------------------------------------------------- INVITED SPEAKERS: * Gordon Plotkin (keynote; joint with CALCO) * Chris Heunen * Delia Kesner * Jurriaan Rot ----------------------------------------------------------------------- SPECIAL SESSIONS: * Quantitative Semantics, organized by Ugo Dal Lago (joint session with CALCO) * Mathematics of Natural Language, organized by Mehrnoosh Sadrzadeh * Types and the Extraction of Correct Programs, organized by Ulrich Berger ----------------------------------------------------------------------- PROGRAM COMMITTEE: Sandra Alves, University of Porto, Portugal Giorgio Bacci, Aalborg University, Denmark Lars Birkedal, University of Arhus, Denmark Florence Clerc, Heriot-Watt University, Edinburgh, Scotland Robin Cockett, University of Calgary, Canada Claudia Faggian, IRIF Paris, France Giulio Guerrieri, University of Sussex, UK Shin-ya Katsumata, NII, Tokyo, Japan S. Krishna, IIT Bombay, India Clemens Kupke, University of Strathclyde, Scotland (co-chair) Elena di Lavore, University of Pisa, Italy Paul Levy, University of Birmingham, UK Isabella Mastroeni, University of Verona, Italy Stefan Milius, FAU Erlangen-Nürnberg, Germany (co-chair) Daniele Nantes-Sobrinho, Imperial College London, UK Fredrik Nordvall Forsberg, University of Strathclyde, Scotland Catuscia Palamidessi, Inria, France Prakash Panangaden, McGill University, Montreal, Canada Simon Perdrix, Inria LORIA, France Elaine Pimentel, University College London, UK Alex Simpson, University of Ljubljana, Slovenia Sam Staton, University of Oxford, UK Dario Stein, Radboud University Nijmegen, The Netherlands Qiyi Tang, University of Liverpool, UK Stelios Tsampas, FAU Erlangen-Nürnberg, Germany ----------------------------------------------------------------------- MFPS ORGANIZERS: Andrej Bauer, University of Ljubljana, Slovenia Lars Birkedal, Aarhus University, Denmark Stephen Brookes, Carnegie Mellon University, USA Achim Jung, University of Birmingham, UK Marie Kerjean, LIPN, Paris Clemens Kupke, University of Strathclyde, Scotland Paul Levy, University of Birmingham, UK Catherine Meadows, Naval Research Laboratory, USA Stefan Milius, FAU Erlangen-Nürnberg, Germany Michael Mislove, Tulane University, USA Joël Ouaknine, Max Planck Institute for Software Systems, Germany Valeria de Paiva, Topos Institute, USA Prakash Panangaden, McGill University, Canada Alexandra Silva, Cornell University, USA Alex Simpson, University of Ljubljana, Slovenia Sam Staton, University of Oxford, UK ----------------------------------------------------------------------- LOCAL ORGANIZER: Clemens Kupke, University of Strathclyde Bob Atkey, University of Strathclyde Dilsat Bilal Yuksel, University of Strathclyde ----------------------------------------------------------------------- SUBMISSION INSTRUCTIONS: Submissions are made through EasyChair (https://easychair.org/conferences/?conf=mfps2025) Papers can be at most **15 pages** long, excluding bibliography, and should be prepared using the MFPS macros (https://mfpsconf.org/submissions-to-mfps/) ----------------------------------------------------------------------- PROCEEDINGS: A preliminary version will be distributed at the meeting. Final proceedings will be published in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). This new open-access series is hosted by Episciences.org as an overlay for papers published by the CORR arXiv or HAL. ----------------------------------------------------------------------- CONTACT: For any further information about MFPS 2025, please contact the co-chairs: Clemens Kupke and Stefan Milius (mfps2025(a)easychair.org) You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/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

CALCO 2025: Final Call for Papers
by Thorsten Wissmann 26 Feb '25

26 Feb '25

===================== CALCO Call for Papers ===================== ========================================================= CALL FOR PAPERS: CALCO 2025 11th International Conference on Algebra and Coalgebra in Computer Science June 16-20, 2025 University of Strathclyde, UK Co-located with MFPS XLI https://coalg.org/calco-mfps-2025/ ========================================================== Abstract submission: March 3, 2025 (AoE) (!!) Full Paper submission: March 6, 2025 (AoE) Author notification: Apr 16, 2025 (AoE) Final version due: May 30, 2025 ========================================================== Invited Speakers ---------------- * Ugo dal Lago (University of Bologna) (joint special session on Quantitative Semantics) * Gordon Plotkin (University of Edinburgh) (joint keynote speaker) * Elena di Lavore (University of Pisa) * Alexander Kurz (Chapman University) Scope ----- Algebraic and coalgebraic methods and tools are a mainstay of computer science. >From data types to development techniques and specification formalisms, both theoreticians and practitioners have benefited from the large body of research proposed and implemented since the pioneering works of the 1960s. CALCO aims to bring together researchers and practitioners with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Bloomington, Indiana (US, 2023), Salzburg (Austria, 2021), London (UK, 2019), Ljubljana (Slovenia,2017), Nijmegen (the Netherlands, 2015), Warsaw (Poland, 2013), Winchester (UK, 2011), Udine (Italy, 2009), Bergen (Norway, 2007), Swansea (Wales, 2005). The 11th edition will be held in Glasgow, UK, co-located with MFPS XLI. It is planned as a physical, in-person event. It is expected that at least one author of each accepted paper will attend and give the presentation is person; exceptions can be made in case of unexpected travel/visa problems. Submission Categories --------------------- CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions. Regular papers that report * results on theoretical foundations, * novel methods and techniques for software development, * experiences with technology transfer to industry. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way. Early ideas abstracts that lead to * presentations of work in progress, * proposals for original venues of research. Tool presentation papers that * report on the features and uses of algebraic/coalgebraic tools. Topics of Interest ------------------ All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, and among them * Models and logics - Automata and languages - Graph transformations and term rewriting - Modal logics - Proof systems - Relational systems - Behavioural metrics * Algebraic and coalgebraic semantics - Abstract data types - Re-engineering techniques (program transformations) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * Methodologies in software and systems engineering - Development processes - Method integration - Usage guidelines * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Concurrent, distributed, mobile, cyber-physical, and context-aware computational paradigms - Systems theory and computational models (chemical, biological, etc.) * System specification and verification - Formal testing and quality assurance - Generative programming and model-driven development - Integration of formal specification techniques - Model-driven development - Specification languages, methods, and environments * Tools supporting algebraic and coalgebraic methods for - Advances in automated verification - Model checking - Theorem proving - Testing * String diagrams and network theory - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams * Quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra Submission Guidelines --------------------- All submissions will be handled via EasyChair: https://easychair.org/conferences/?conf=calco25 The format for all submissions is specified by LIPIcs. Please use the latest version of the style: http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proceedings will be published in the Dagstuhl LIPIcs Leibniz International Proceedings in Informatics series. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org) containing extended versions of selected papers, is planned. ### Regular papers Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Regular papers should be maximum 15 pages long, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix. ### (Co)algebraic pearls This is a recent submission category. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. We encourage the submission of pearls: elegant essays that illustrate an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise and so should not be longer than regular papers in the format specified by LIPIcs. Authors who feel they need a bit more space should consult the PC co-chairs. The accepted papers will be included in the final proceedings of the conference. ### Early ideas abstracts Submissions should not exceed 2 pages in the format specified by LIPIcs. The volume of selected abstracts will be made available on arXiv and on the CALCO pages. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. ### Tool papers Submissions should not exceed 5 pages in the format specified by LIPIcs. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission for download and evaluation. Best Paper and Best Presentation Awards --------------------------------------- This edition of CALCO will feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants. 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

FMCS-Grad students requesting funding
by Richard Blute 26 Feb '25

26 Feb '25

This is call for graduate student participation. Deadline for requesting financial support is March 1st. Foundational Methods in Computer Science 2025 (FMCS 2025) will be held at the University Of Ottawa from June 17th to June 20th. Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and mathematics. Past workshops have been held at BIRS, Colgate University, Dalhousie University, Mount Allison University, University of Ottawa, University of British Columbia, University of Washington (Spokane), Reed College, and elsewhere. The workshop is informal and interdisciplinary. The relationship between computer science and mathematics stems directly from the work of Haskell Curry in the 1930’s and W. A. Howard and Per Martin-Lof in the 1960’s. In particular, the Curry-Howard correspondence establishes a direct relationship between computer programs and mathematical proofs. Mathematically, this relationship is best expressed using category theory, and can be done more succinctly as a direct correspondence between categories and programming languages. Category theorists, logicians and computer scientists have discussed their work and its implications to one another at FMCS meetings for more than 30 years. The conference is especially student-oriented and we will be offering multiple tutorials. We already have confirmations of tutorials by Chris Kapulkin, Kristine Bauer, JS Lemay, Simon Henry, Rory Lucyshyn-Wright, Priyaa Srinivasan and Richard Blute. There will also be many opportunities for students and postdocs to present their research. We'll also have invited talks from Susan Niefield, Brenda Johnson and Cesar Bardomiano, with more talks to follow. We will have lots of time for contributed talks as well. We have received funding from Centre de recherches mathématiques, The Fields Institute and the National Science Foundation for the support of graduate students to attend FMCS. If you are a graduate student wishing to attend and in need of support, please send an email to rblute(a)uottawa.ca<mailto:rblute@uottawa.ca> with a request for funding, a description of your research and a CV. We'll need to receive your request by March 1st. Information on housing will be available shortly. Sincerely Richard Blute Cesar Bardomiano. 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

Asst. Prof. in Math. Logic at Stockholm, deadline April 15
by Peter LeFanu Lumsdaine 23 Feb '25

23 Feb '25

Dear all, We are hiring an Assistant Professor in Mathematics with focus on Mathematical Logic (a tenure-track position), at the Stockholm University Department of Mathematics. Applicants from all areas of logic are welcome, and we especially welcome applications from women and other underrepresented groups. The Logic group in Stockholm currently consists of professor emeritus Per Martin-Löf, and associate professors Peter LeFanu Lumsdaine and Anders Mörtberg, besides several PhD students and postdocs. The department is a vibrant place for logic, with a regular seminar (https://logic.math.su.se/seminar/) advanced courses in logic, and close collaborations with other research groups in Sweden and internationally. More details and application link are at the official listing, https://su.varbi.com/en/what:job/jobID:796743/where:4/ Application deadline: April 15, 2025, 11:59 PM CEST Feel free to contact Anders Mörtberg (anders.mortberg(a)math.su.se<mailto:anders.mortberg@math.su.se>) and Peter LeFanu Lumsdaine (p.l.lumsdaine(a)math.su.se<mailto:p.l.lumsdaine@math.su.se>) if you have any questions about the position or the logic group, besides the departmental/administrative contacts named in the listing. 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