February 2023 - Categories - categories.org.au

Re: "First" use of 'Category theory' to describe our field
by David Roberts 24 Feb '24

24 Feb '24

Dear Ross, no, that's pretty good! It's mildly surprising that it took ~20 years for the name to 'stick', but maybe less so given that the field grew slowly to start. Thanks, David David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com On Thu, 11 Jul 2019 at 08:21, Ross Street <ross.street(a)mq.edu.au> wrote: > > Dear David > > From memory, the Pure Mathematics Honours (USyd) course that Max Kelly taught in 1965 > was called ``Category Theory''. It concentrated on different kinds of morphisms > and factorizations in a category, and finished with adjoint functors. > Also John Gray's (UIllinois) 1968-69 graduate course had that name. > > From Eilenberg I heard that each person using categories should have their own category of expertise. > I told this to John Gray who said that was fine; the time had come for that category to be Cat. > > I would suggest that the first category theorists to think of themselves as such were Eilenberg's students at Columbia. > However, Mac Lane was definitely a category theorist. > > This is probably not the verifiable stuff you were seeking. > > Ross > > > On 10 Jul 2019, at 10:01 PM, David Roberts <droberts.65537(a)gmail.com> wrote: > > Hi all, > > the (idle) question is: when did the phrase 'category theory' catch on > for the field? Clearly it didn't leap from either of the heads of > Eilenberg or Mac Lane full-grown, since they used the phrase 'General > theory of natural equivalences'. There are the old 'Reports of the > Midwest Category Seminar' lecture notes (the first in 1967), which > hints that 'category theory' wasn't quite the name in use. > > Even more interesting: who was the first "category theorist", by that name? > > Answers referring to verifiable sources would be best. > > Thoughts? > > David > > > > David Roberts > Webpage: https://ncatlab.org/nlab/show/David+Roberts > Blog: https://thehighergeometer.wordpress.com > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

3 4

Seminar talk by Paul Taylor on Thursday March 2 2022
by Niccolò Veltri 28 Feb '23

28 Feb '23

Hi everyone, On Thursday March 2 2023 at 4pm EET (2pm UTC), Paul Taylor will give a presentation on well founded coalgebras. This is a shared event in the seminar series of the "Logic and Semantics" group at Tallinn University of Technology and the "Theory Group" of the School of Computer Science at the University of Birmingham. Everyone is invited to participate! Details on how to access the talk on Zoom are available on any of the following webpages: https://www.paultaylor.eu/ordinals/ http://talks.bham.ac.uk/talk/index/5159 https://niccoloveltri.github.io/tsem22/taylor0203.html Title and abstract of the talk are below. Best, Niccol?? --- "Well Founded Coalgebras" Paul Taylor Categorical set theory explores ideas taken from set theory to develop mathematics using category theoretic tools. It began in the 1970s when Mikkelsen and Osius interpreted recursion and epsilon-structures in an elementary topos. Well founded coalgebras generalise epsilon-structures to give approximations to the free algebra for a functor even when this does not exist. The main recursion theorem is based on the one of von Neumann for ordinals. Originally that was based on fixed points in complete lattices, but in order to consider more general categories and functors, we must use Pataraia's Theorem for dcpos instead. However, for our more complicated constructions, we need to find a scalpel not a sledgehammer, so a more subtle form of Pataraia's Theorem is developed. The paper develops analogues of the recursion theorem and Mostowski extensional quotient potentially in much more general categories, with factorisation systems intead of 1-1 functions. The obvious first application of this generalisation replaces Set with Pos to study the different forms of intuitionistic ordinals that were introduced in the 1990s. This in turn leads to a formulation of transfinite iteration of functors, based on a categorical axiom instead of the set-theoretic axiom-scheme of replacement. See?? www.paultaylor.eu/ordinals/?? for full details. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PSSL108 in Terrasini (Palermo, Italy) - September 2023
by Giuseppe Metere 28 Feb '23

28 Feb '23

*** 108th Peripatetic Seminar on Sheaves and Logic *** Terrasini (Palermo), Italy *** September 16th-17th, 2023 + satellite event September 15th, 2023. Dear colleagues and friends, We are pleased to announce that the 108th Peripatetic Seminar on Sheaves and Logic will be held under the auspices of the University of Palermo in Terrasini (Palermo, Italy), on the weekend September 16th-17th, 2023. A satellite event "Logic and Algebra" will be held in the same place on Friday September 15th, 2023. We have four invited speakers for the satellite event on Friday: Maria Manuel Clementino (University of Coimbra), Vincenzo Marra (Universita' degli Studi di Milano), Zurab Janelidze (Stellenbosch University) and Enrico Vitale (Universite catholique de Louvain). As usual for PSSLs, there is no conference fee, but you need to register in order to attend the meeting. Please register before August 15th, 2023. We are making this preliminary announcement well in advance, as we hope that many of you will be able to join us and contribute with their talks. If you wish to give a talk, please register on the website and then send an email with the title of your talk and a short abstract to giuseppe.metere(a)unipa.it. There is no deadline, but please consider that talk proposals will be accepted as long as there there are available slots in the PSSL schedule. If you have any questions, please feel free to contact us. More info and updates on the conference website: https://sites.google.com/view/beppemetere/pssl-108/ Info on the location. The conference will take place in the historical site of Palazzo d'Aumale, facing the sea front, in the centre of Terrasini. The building was built in the XIX century under Don Vincenzo Grifeo, Prince of Partanna and Duke of Floridia. Then it was acquired by the Duke of Aumale (hence the name), the fifth son of King Louis-Philippe I of the French, to be used as wine warehouse. Since 2001, Palazzo d'Aumale houses some collections of archeologic and etno-anthropologic interest. Terrasini is a small pretty village close to the beach, five minutes away from Palermo airport. Please consider that this is a popular tourist destination: we strongly recommend participants to book their accommodation in advance. Some suggestions can be found on the conference website. We hope to see you in September! The Organizing Committee Beppe Metere (Universita' di Palermo) Luca Spada (Universita' di Salerno) Tim Van der Linden (Universite catholique de Louvain) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

New book on monoidal categories without any maths prerequisites
by Bob Coecke 28 Feb '23

28 Feb '23

Hi all, It may be of interest to know for people on the list that we just released a new book that presents quantum theory in terms of monoidal string diagrams, but which is readable for pretty much anyone. We've been getting lots of reactions from people without a mathematics background acknowledging - e.g. business people and young teenagers - that they understood complex quantum concepts through it. Of all branches of category theory, what we mostly use is "Australian CT", with Kelly's compact closed categories, Carboni-Walters Frobenius algebras, and Lack's interacting Props playing a key role, and of course Joyal-Street that justifies the string diagrams. The main takeaway here is that it is thanks to category theory, usually conceived as very difficult, that complex quantum concepts can be made available to a broad audience, resulting in a much more inclusive quantum technology ecosystem. The book is available at Amazon via print-on-demand, and published by the quantum computing company Quantinuum that I am with now, so that we could retain full control of the content and presentation. (not trying to make any money here as we are selling without profit, in order to maximise economic inclusivity) https://www.amazon.com/Quantum-Pictures-New-Understand-World/dp/1739214714/ We also video'd lectures of the entire book and I'll post again here when they are released on Youtube. As an aside, those monoidal quantum pictures are not only enabling inclusivity, but they are now also used by many quantum computing companies like Google, IBM, PsiQuantum, and of course ourselves, for lots of technical challenges. Cheers, Bob. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

29th WoLLIC 2023 - FINAL Call for Papers (>>>>DEADLINE RE-EXTENDED<<<<)
by Ruy Jose Guerra Barretto de Queiroz 28 Feb '23

28 Feb '23

>> DEADLINE RE-EXTENDED - INVITED SPEAKERS and PC UPDATE << [Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Halifax, Nova Scotia, Canada Website: https://www.mathstat.dal.ca/wollic2023/ ORGANISATION Department of Mathematics and Statistics, Dalhousie University, Canada Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-ninth WoLLIC will be held at the Department of Mathematics and Statistics, Dalhousie University, Canada, 11-14 July, 2023. It is scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS) (tbc), European Association for Computer Science Logic (EACSL), and the Sociedade Brasileira de Lógica (SBL). LOCATION AND FORMAT Halifax (https://www.halifax.ca/) is the capital and largest municipality of the Canadian province of Nova Scotia, and the largest municipality in Atlantic Canada. (Wikipedia) WoLLIC 2023 will be a hybrid event. All invited talks are planned to be on-site in order to stimulate discussions and interaction with participants. SCOPE Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing, programming and Artificial Intelligence (AI); novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability and explainable AI; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic; philosophy of language. PAPER SUBMISSION Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see author's instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors either in person or via remote connection. (At least one author is required to pay a full on-site registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2023 EasyChair website https://easychair.org/conferences/?conf=wollic2023. PROCEEDINGS The proceedings of WoLLIC 2023, including both invited and contributed papers, will be published as a volume in Springer's LNCS series. Due to the earlier timeline this year, the proceedings will appear after the workshop. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2023 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (NEW) Thomas Bolander (Technical University of Denmark) Makoto Kanazawa (Hosei University, Japan) Michael Moortgat (Utrecht University, Netherlands) Magdalena Ortiz (University of Umeå, Sweden) Aybüke Özgün (University of Amsterdam, Netherlands) Dusko Pavlovic (University of Hawaii, USA) Richard Zach (University of Calgary, Canada) IMPORTANT DATES (All dates are AoE (Anywhere on Earth)) March 6, 2023: Abstract deadline (NEW) <<<< March 13, 2023: Full paper deadline (NEW) <<<< May 15, 2023: Author notification June 5, 2023: Final version deadline PROGRAMME COMMITTEE (NEW) Bahareh Afshari (University of Gothenburg, Sweden, and University of Amsterdam, Netherlands) Zena Ariola (University of Oregon, USA) Adriana Balan (University Politechnica of Bucharest, Romania) Marta Bílková (Czech Academy of Sciences, Czech Republic) Ranald Clouston (Australian National University, Australia) Willem Conradie (University of the Witwatersrand, South Africa) Josée Desharnais (Laval University, Canada) David Fernández-Duque (Czech Academy of Sciences, Czech Republic) Santiago Figueira, Universidad de Buenos Aires, Argentina Silvia Ghilezan (University of Novi Sad & Mathematical Institute SASA, Serbia) Sujata Ghosh (Indian Statistical Institute, India) Nina Gierasimczuk (Technical University of Denmark, Denmark) Helle Hvid Hansen (University of Groningen, Netherlands) (co-chair) Andreas Herzig (CNRS, University of Toulouse, France) Juha Kontinen (University of Helsinki, Finland) Roman Kuznets (TU Wien, Austria) Martha Lewis (University of Bristol, UK) Johannes Marti (University of Oxford, UK) George Metcalfe (University of Bern, Switzerland) Cláudia Nalon (University of Brasilia, Brasil) Carlos Olarte (Université Sorbonne Paris Nord, France) Sophie Pinchinat (University of Rennes, France) Francesca Poggiolesi (CNRS, University Paris 1 Panthéon-Sorbonne, France) Sylvain Pogodalla (INRIA Nancy, France) Revantha Ramanayake (University of Groningen, Netherlands) Mehrnoosh Sadrzadeh (University College London, UK) Andre Scedrov (University of Pennsylvania, USA) (co-chair) Philip Scott (University of Ottawa, Canada) Viorica Sofronie-Stokkermans (University of Koblenz-Landau, Germany) Kazushige Terui (Kyoto University, Japan) Mladen Vuković (University of Zagreb, Croatia) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz, Alexandra Silva, Renata Wassermann. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Julien Ross (Dalhousie University) Peter Selinger (Dalhousie University) (co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) (tbc) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Lógica (SBL) FINANCIAL SUPPORT We gratefully acknowledge financial support from: Atlantic Association for Research in the Mathematical Sciences (AARMS) Dalhousie University Faculty of Science STUDENT TRAVEL GRANTS Students who are ASL members can apply for a modest travel grant (deadline: 90 days before the event starts, i.e.: April 11). Please see the WoLLIC webpage for further information. SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS In a special session at the WoLLIC 2023 conference, we plan to screen a documentary film that explores the groundbreaking achievements of African American mathematicians. "Journeys of Black Mathematicians" (zalafilms.com) is a powerful film that traces the history of these pioneering individuals and their impact on mathematics. This film is not only a tribute to their achievements, but also an inspiration for Black and other minority students to pursue their studies and consider careers in mathematics. The film is currently in production and its filmmaker, George Csicsery, has agreed to give us a sneak peek. We will be shown a rough cut if it is ready by the screening date. If not, George will be showcasing some sample scenes to give us a taste of what's to come. FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE https://www.mathstat.dal.ca/wollic2023/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

SYCO 11 - Second call for papers
by Samuel Mimram 28 Feb '23

28 Feb '23

----------------------------------------- SECOND CALL FOR SUBMISSIONS ELEVENTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 11) Palaiseau, France 20-21 April, 2023 Submission deadline: Monday 6 March 2023 https://www.cl.cam.ac.uk/events/syco/11/ ----------------------------------------- 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: Monday 6 March, 2023 Author notification: Sunday 20 March, 2023 Symposium dates: Thursday 20 and Friday 21 April 2023 SUBMISSION INSTRUCTIONS ======================= Submissions are by OpenReview, via the SYCO 11 submission page: https://openreview.net/group?id=cl.cam.ac.uk/SYCO/2023/Symposium 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 11; 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. PROGRAMME COMMITTEE =================== The PC chair is Bryce Clarke, Inria Saclay. The Programme Committee will be announced soon. 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

HOR 2023: Call for Papers
by Carsten Fuhs 27 Feb '23

27 Feb '23

---------------------------------------------------------------------- ** ** **** CALL FOR SUBMISSIONS **** ** ** HOR 2023 - 11th International Workshop on Higher-Order Rewriting ** 4 July 2023 ** Rome, Italy ** ** https://hor2023.github.io/ ---------------------------------------------------------------------- ** ** HOR 2023 is affiliated with FSCD 2023 ** https://easyconferences.eu/fscd2023/ ** ---------------------------------------------------------------------- * OVERVIEW HOR is a forum to present work concerning all aspects of higher-order rewriting. HOR aims to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting, broadly construed. This includes rewriting systems that have functional variables or bound variables, the lambda-calculus and combinatory logic being paradigmatic examples. * TOPICS The following is a non-exhaustive list of topics for the workshop: - Applications: proof checking, theorem proving, generic programming, declarative programming, program transformation, automated termination/confluence/equivalence analysis tools. - Foundations: pattern matching, unification, strategies, narrowing, termination, syntactic properties, type theory, complexity of derivations. - Frameworks: term rewriting, conditional rewriting, graph rewriting, net rewriting, comparisons of different frameworks. - Implementation: explicit substitution, rewriting tools, compilation techniques. - Semantics: semantics of higher-order rewriting, categorical rewriting, higher-order abstract syntax, games and rewriting. ---------------------------------------------------------------------- ** SUBMISSION GUIDELINES ---------------------------------------------------------------------- To give a presentation at the workshop, please submit an extended abstract (between 2 to 5 pages) via Easychair: https://easychair.org/conferences/?conf=hor2023 Please use LaTeX and the Easychair style to prepare your submission: https://easychair.org/publications/easychair.zip HOR is a platform for discussing open questions, ongoing research, and new perspectives, as well as new results. Extended abstracts describing work in progress, preliminary results, research projects, or problems in higher-order rewriting are very welcome. Specifically, short versions of recently published papers are welcome, and submission to HOR does not preclude formal publication at other venues. The workshop has informal electronic proceedings that will be made available on the workshop website. ---------------------------------------------------------------------- ** IMPORTANT DATES ---------------------------------------------------------------------- * Submission deadline: 2 May 2023 * Notification: 29 May 2023 * Final version: 12 June 2023 ---------------------------------------------------------------------- ** COMMITTEES ---------------------------------------------------------------------- ** PROGRAM COMMITTEE * Takahito Aoto - Niigata University, Japan * Maribel Fern??ndez - King's College London, United Kingdom * Carsten Fuhs (Chair) - Birkbeck, University of London, United Kingdom * Delia Kesner - Universit?? Paris 7, France * Cynthia Kop - Radboud Universiteit Nijmegen, The Netherlands * Damiano Mazza - Universit?? Paris 13, France ---------------------------------------------------------------------- ** STEERING COMMITTEE * Delia Kesner, Universit?? Paris 7, France * Femke van Raamsdonk, Vrije Universiteit, The Netherlands ---------------------------------------------------------------------- ** CONTACT ---------------------------------------------------------------------- All questions about submissions should be emailed to the PC chair Carsten Fuhs (hor2023 at easychair.org) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CALCO 2023: Final Call for Papers
by Thorsten Wissmann 24 Feb '23

24 Feb '23

========================================================= CALL FOR PAPERS: CALCO 2023 10th International Conference on Algebra and Coalgebra in Computer Science June 19-21, 2023 Bloomington, Indiana (USA) and online Co-located with MFPS XXXIX https://coalg.org/calco-mfps-2023/ ========================================================== Paper submission: March 8, 2023 (AoE) Author notification: Apr 28, 2023 (AoE) Final version due: May 19, 2023 ========================================================== Invited Speakers ---------------- - Robert Harper, Carnegie Mellon University (Joint with MFPS) - Assia Mahboubi, Inria (Joint with MFPS) - Roberto Bruni, University of Pisa - Elaine Pimentel, University College London - Jeremy Siek, Indiana University Special Sessions ---------------- ???Category Theory in Machine Learning??? Organised by Brendan Fong and Brandon Shapiro (Topos Institute), Fabio Zanasi (University College London) ???Machine-checked proofs in mathematics and meta-mathematics??? (joint with MFPS) Organised by Assia Mahboubi, Inria 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 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 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 10th edition will be held in Bloomington, Indiana, co-located with MFPS XXXIX. It is planned as a physical, in-person event, with support for remote presence, both for speakers and for other participants who are unable or unwilling to travel. Submission Categories --------------------- CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions. 1. Regular papers that report * results on theoretical foundations * novel methods and techniques for software development * experiences with technology transfer to industry. 2. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way. 3. Early ideas abstracts that lead to * presentations of work in progress * proposals for original venues of research. 4. Tool presentation papers that * report on the features and uses of algebraic/coalgebraic tools. Topics of Interests ------------------- 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 * 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 Submissions Guidelines ---------------------- All submissions will be handled via EasyChair: https://easychair.org/conferences/?conf=calco2023 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. 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. 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. (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 with 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. Programme Committee ------------------- * Carlos Gustavo Lopez Pombo (University of Buenos Aires) * Andreas Abel (Gothenburg University) * Vincenzo Ciancia (Consiglio Nazionale delle Ricerche, Pisa) * Patricia Johann (Appalachian State University) * Ionut Tutu (Simion Stoilow Institute of Mathematics of the Romanian Academy) * Martin Escardo (University of Birmingham) * Tarmo Uustalu (Reykjavik University) * Giorgio Bacci (Aalborg University) * Thorsten Wi??mann (FAU Erlangen-N??rnberg) * Fabio Gadducci (University of Pisa) * Shin-Ya Katsumata (National Institute of Informatics, Tokyo) * Holger Giese (Hasso Plattner Institute at the University of Potsdam) * Peter ??lveczky (University of Oslo) * Michael Johnson (Macquarie University) * Nicolas Behr (CNRS Universit?? Paris Cit??) * Henning Urbat (FAU Erlangen-N??rnberg) * Valentina Castiglioni (Reykjavik University) * Fernando Orejas (Universitat Polit??cnica de Catalunya) * Mehrnoosh Sadrzadeh (University College London) * Georgiana Caltais (University of Twente) * S??awomir Lasota (University of Warsaw) * Aleks Kissinger (University of Oxford) * Thomas Colcombet (CNRS, IRIF, Universit?? de Paris) * Sandra Kiefer (Max Planck Institute for Software Systems) * Peter Selinger (Dalhousie University) * Natasha Alechina (Utrecht University) * Sara Kalvala (University of Warwick) Chairs ------ * Paolo Baldan (University of Padua) * Valeria de Paiva (Topos Institute, Berkeley) Organiser --------- * Larry Moss (local) (Indiana University) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: Upcoming permanent position at Macquarie
by Richard Garner 23 Feb '23

23 Feb '23

Dear all, A brief reminder that applications for the open position at Macquarie: https://mq.wd3.myworkdayjobs.com/en-US/CareersatMQ/details/Lecturer-in-Math= ematics_R000010406-1 close on Sunday March 5th. All the best, Richard Richard Garner <richard.garner(a)mq.edu.au> writes: > Dear all, > > Applications for this position are now live: > > https://mq.wd3.myworkdayjobs.com/en-US/CareersatMQ/details/Lecturer-in-Ma= thematics_R000010406-1 > > Applications close 5th March. As well as our head of school, you should > also feel free to contact me with enquiries of a formal or informal > nature. (I am part of the hiring panel). > > All the best, > > Richard > > > Richard Garner <richard.garner(a)mq.edu.au> writes: > >> Dear all, >> >> This is to give you advance warning that in the new year we will be >> advertising a permanent position here at Macquarie University in Sydney. >> >> While the position will be open to any field of mathematics, priority >> will be given to excellent candidates working in category theory. As >> many of you are probably aware, the group here is pretty active: we have >> Steve Lack and myself as continuing academics, Ross Street, Dominic >> Verity and Mike Johnson as emeritus professors, and John Power as an >> honorary professor; plus a community of 11 postgraduate students and a >> couple of postdocs. >> >> This is a Lecturer position, analogous to a UK lecturer or a US >> assistant professor, with a base salary of AU$110,000-$130,000, and is a >> balanced academic role with 40% research, 40% teaching and 20% service. >> We expect the formal advertisement to be live at the start of February >> with a closing date early in March. This rather short period is forced >> upon us by federal government rules, so it seems best to get word out >> now. >> >> Please feel free to distribute this message further, and don't hesitate >> to get in touch if you have any questions about anything to do with >> this. >> >> Richard [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT2023 (fourth announcement)
by Tim Van der Linden 22 Feb '23

22 Feb '23

Dear colleagues,=0A= =0A= Registration for the International Category Theory Conference -=0A= CT2023 is now open.=0A= =0A= All information regarding the procedure is available on=0A= https://sites.uclouvain.be/ct2023/=0A= =0A= Next to filling in the registration form, we ask participants to=0A= pay a registration fee which is 200 euro until the 10th of April,=0A= and 250 euro from the 11th of April until the 10th of May, after=0A= which the registration closes.=0A= =0A= The fee includes coffee breaks, the Welcome Reception on Sunday=0A= evening, lunches from Monday to Friday, the excursion and the=0A= Conference Dinner.=0A= =0A= There is also a special rate of 150 euro for M.Sc. and Ph.D.=0A= students.=0A= =0A= If you have any questions or problems, you can contact the=0A= organizers via the email address ct2023-org(a)uclouvain.be=0A= =0A= Kind regards,=0A= =0A= The members of the CT2023 Organizing Committee= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 1