October 2025 - Categories - categories.org.au

Octoberfest 2025
by Richard Blute 15 Oct '25

15 Oct '25

The 2025 Category Theory Octoberfest will be held on the weekend of October 25th through October 26th. The meeting will be virtual. Following the tradition of past Octoberfests, this is intended to be an informal meeting, covering all areas of category theory and its applications. Schedule, titles, abstracts and zoom link can be found at the Octoberfest 2025 website: https://richardblute.ca/octoberfest-2025/ Hope to see you all there. Cheers Rick 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/mail/deeplink/groupActions?source=EscalatedMe…> | Leave group<https://outlook.office365.com/mail/deeplink/groupActions?source=EscalatedMe…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

2nd Call for Papers - RAMiCS 2026 (Będlewo, Poland, 7–10 April 2026)
by Luigi Santocanale 15 Oct '25

15 Oct '25

Apologies for multiple copies of this email; please distribute as you see fit. CALL FOR PAPERS RAMiCS 2026 21st International Conference on Relational and Algebraic Methods in Computer Science Institute of Mathematics of the Polish Academy of Sciences Będlewo, Poland, 7-10 April 2026 https://ramics-conf.github.io/2026 The RAMiCS conference series is the main venue for research on relational algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. RAMiCS 2026 will be organized at the Research and Conference Center of the Institute of Mathematics of the Polish Academy of Sciences in Będlewo, close to Poznań in Poland, and will feature both a classical conference and interactive sessions. IMPORTANT DATES * Abstract submission deadline: 8 November 2025 * Paper submission deadline: 13 November 2025 * Author notification: 20 January 2026 * Final version due: 10 February 2026 * Conference dates: 7-10 April 2026 INVITED SPEAKERS * Lorenzo Clemente, University of Warsaw, Poland * Anupam Das, University of Birmingham, United Kingdom * Jana Wagemaker, Radboud University, Nijmegen, The Netherlands PROGRAM COMMITTEE * Henning Basold, The Netherlands * Manuel Bodirsky, Germany * Andrew Craig, South-Africa * Uli Fahrenberg, France (co-chair) * Wesley Fussner, Czech Republic (co-chair) * Roland Glück, Germany * Damas Gruska, Slovakia * Walter Guttmann, New Zealand * Robin Hirsch, UK * Peter Höfner, Australia * Marcel Jackson, Australia * Ali Jaoua, Qatar * Peter Jipsen, USA * Bartek Klin, UK * Tomasz Kowalski, Poland * Sławek Lasota, Poland * Ioana Leuştean, Romania * Roger Maddux, USA * Nelma Moreira, Portugal * Luigi Santocanale, France (co-chair) * Jas Šemrl, UK * Eugenia Ternovska, Canada * Sara Ugolini, Spain * Michael Winter, Canada * Krzysztof Ziemiański, Poland SCOPE Since 1994, the RAMiCS conference series has been the main venue for research on relational algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. Theoretical aspects include semigroups, residuated lattices, semirings, Kleene algebras, relation algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories; their formalisation with theorem provers. Applications of these formalisms span a wide range of domains, including tools and techniques for program specification, verification, and correctness; qualitative and quantitative models of computing systems; algorithm design; automated reasoning; network protocol analysis; optimisation; control; and even social choice theory. We are calling for submission of original work not published or under review for publication elsewhere. The proceedings will be published as part of Springer LNCS. As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. Submission is via EasyChair at https://easychair.org/conferences/?conf=ramics2026 For more information, see https://ramics-conf.github.io/2026/ Please feel free to forward this announcement to interested colleagues. Best regards, the RAMiCS 2026 organizers: Uli Fahrenberg, Wesley Fussner, and Luigi Santocanale 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

PhD positions in Mathematical Foundations of Computation Group at Bath
by Thomas Powell 13 Oct '25

13 Oct '25

The Mathematical Foundations of Computation group at the University of Bath is offering a number of PhD projects for entry in September 2026. There is potential funding available from Bath's University Research Studentship Award (URSA) scheme, which is open to both home and exceptional international students. The projects, along with links to the full description and official adverts, are below. If you would like further details about any of the projects, please get in touch with the lead supervisor (listed first). More information about the Mathematical Foundations of Computation group, including current members, can be found here: https://www.bath.ac.uk/teams/mathematical-foundations-of-computation-group-… Early applications are encouraged, and applications may close earlier than the advertised deadline if a suitable candidate is found. **PROJECTS** *Conceptual Denotational Semantics via Categorical Logic* Pedro Henrique Azevedo de Amorim, Guy McCusker https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-c… *Expressiveness and complexity in proof systems* Raheleh Jalali Keshavarz, James Davenport https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-e… *Proof Mining: Applications of Proof Theory to Mathematics* Nicholas Pischke, Thomas Powell https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-p… *Formalizing aspects of physics into interactive theorem provers* Joseph Tooby-Smith, Guy McCusker https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-f… *Tropical Quantifier Elimination with Real Implications* Ali Uncu, James Davenport https://www.findaphd.com/phds/project/faculty-of-science-ursa-project-tropi… 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

TYPES 2025: Post-proceedings Call for Papers
by Fredrik Nordvall Forsberg 06 Oct '25

06 Oct '25

********************************************* TYPES 2025: Post-proceedings Call for Papers ********************************************* https://msp.cis.strath.ac.uk/types2025/postproceedings.html TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2025 was held from 9 to 13 June at the University of Strathclyde, Glasgow, Scotland. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings. Submission Guidelines --------------------- Submission is open to everyone, also to those who did not participate in the TYPES 2025 conference. We welcome high-quality descriptions of original work, as well as position papers, overview papers, and system descriptions. Submissions should be written in English, and be original, i.e., neither previously published, nor simultaneously submitted to a journal or a conference. - Formatting: Papers have to be formatted with the current LIPIcs style and adhere to the style requirements of LIPIcs. - Page limits: The upper limit for the length of submissions is 20 pages for the main text (including appendices, but excluding title page and bibliography). - Supplementary material: Authors have the option to attach to their submission a zip or tgz file containing code (formalised proofs or programs), but reviewers are not obliged to take the attachments into account, and they will not be published. The submission site will be announced soon; see https://msp.cis.strath.ac.uk/types2025/postproceedings.html for updates. Deadlines --------- Submission of title and abstract: 17 November 2025 AoE Submission of full paper: 1 December 2025 AoE Author notification: 1 April 2025 Topics of interest ------------------ The scope of the post-proceedings is the same as the scope of the conference: the theory and practice of type theory. In particular, we welcome submissions on the following topics: * Foundations of type theory; * Applications of type theory (e.g. linguistics or concurrency); * Constructive mathematics; * 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; * Formalising mathematics using type theory; * Homotopy type theory and univalent mathematics. Editors ------- Fredrik Nordvall Forsberg, University of Strathclyde, Glasgow, Scotland James McKinna, Heriot-Watt University, Edinburgh, 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

Octoberfest second announcement
by Richard Blute 03 Oct '25

03 Oct '25

The 2025 Category Theory Octoberfest will be held on the weekend of October 25th through October 26th. The meeting will be virtual. (Links will be provided soon.) Following the tradition of past Octoberfests, this is intended to be an informal meeting, covering all areas of category theory and its applications. Talks by PhD students and young researchers are particularly encouraged! If interested in speaking, please send title and abstract to Rick Blute at rblute(a)uottawa.ca by October 7th. 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