June 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

TbiLLC 2023 First Call for Participation
by Hansen, H.H. 01 Jul '23

01 Jul '23

THE FOURTEENTH INTERNATIONAL TBILISI SYMPOSIUM ON LOGIC, LANGUAGE AND COMPUTATION 18-22 September, 2023 Telavi, Georgia Website: https://events.illc.uva.nl/Tbilisi/Tbilisi2023/ *********************************************************************** *** Invited Tutorials, Invited Talks and Accepted Contributions online *** *** Early Registration Deadline: Friday 7 July 2023 *** FIRST CALL FOR PARTICIPATION The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2023) will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. TbiLLC 2023 will be preceded by Logic, Algebra and Truth Degrees (LATD 2023) and DaLí - Dynamic Logic: new trends and applications (DaLi 2023). VENUE The TbiLLC 2023 symposium will be held at the Hotel Zuzumbo Resort & Spa in Telavi. More information about hotel room bookings and transportation to/from Telavi is available on the website (see top) under Venue and Transport. REGISTRATION Registration is open. Please register via the website (see top). Early Registration deadline: Fri 7 July 2023 Late Registration deadline: Fri 28 July 2023 Symposium: Mon 18 - Fri 22 September 2023 PROGRAMME The programme will include two 3-hr tutorials, four 1-hr invited lectures, and two parallel tracks of contributed talks. See the website for more details. INVITED TUTORIAL SPEAKERS Language: Peter Sutton (UPF, Barcelona). Polysemy, Copredication and Individuation. Logic & Computation: Frank Wolter (University of Liverpool). Theory and Applications of Craig Interpolants. INVITED SPEAKERS Language: - Heather Burnett (CNRS-LLF, Paris). Title TBD. - Stephanie Solt (ZAS, Berlin). On Amounts and Measures. Logic & Computation: - Balder ten Cate (University of Amsterdam). Homomorphism Counts, Logics, and Query Algorithms. - Nina Gierasimczuk (Technical University of Denmark). The Dynamics of True Belief – Learning by Revision and Merge. WORKSHOPS There will be two workshops embedded in the conference programme: "The Semantics of Hidden Meanings" Organisers: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin), Peter Sutton (UPF, Barcelona) Invited speaker: - Elin McCready (Aoyama Gakuin University) For more details see the workshop webpage: https://sites.google.com/view/hidden-meanings and "Learning and Logic" Organisers: Balder ten Cate (University of Amsterdam) and Aybüke Özgün (University of Amsterdam). Invited speakers: - Victor Dalmau (UPF Barcelona), - Kasey Genin (University of Tübingen), - Dick de Jongh (University of Amsterdam), - Ana Ozaki (University of Bergen) For more details see the workshop webpage: https://sites.google.com/view/lealog/home PROGRAMME COMMITTEE CHAIRS Berit Gehrke (Humboldt-Universität zu Berlin, DE) Helle Hvid Hansen (University of Groningen, NL) PROGRAMME COMMITTEE Samson Abramsky (University College London, UK) Philippe Balbiani (CNRS & University of Toulouse, FR) Guram Bezhanishvili (New Mexico State University, USA) Nick Bezhanishvili (University of Amsterdam, NL) Olga Borik (Universidad Nacional de Educación a Distancia, ES) Zoé Christoff (University of Groningen, NL) Agata Ciabattoni (TU Wien, AT) Milica Denić (Tel Aviv University, IL) David Gabelaia (Javakhishvili Tbilisi State University, GE) Berit Gehrke (Humboldt-Universität zu Berlin, DE, co-chair) Jim de Groot (Australian National University, AU) Helle Hvid Hansen (University of Groningen, NL, co-chair) Daniel Hole (University of Stuttgart, DE) Rosalie Iemhoff (Utrecht University, NL) Maarten Janssen (Charles University, Prague, CZ) Clemens Kupke (University of Strathclyde, UK) Temur Kutsia (Johannes Kepler University Linz, AT) Mora Maldonado (CNRS & University of Nantes, FR) Louise McNally (Universitat Pompeu Fabra, Barcelona, ES) Lawrence Moss (Indiana University, USA) Aybüke Özgün (University of Amsterdam, NL) Mehrnoosh Sadrzadeh (University College London, UK) Viola Schmitt (Humboldt-Universität zu Berlin, DE) Todd Snider (Heinrich Heine University of Düsseldorf, DE) Ana Sokolova (University of Salzburg, AT) Luca Spada (University of Salerno, IT) Yasutada Sudo (University College London, UK) Jakub Szymanik (University of Trento, IT) Carla Umbach (University of Cologne, DE) Marcin Wągiel (Masaryk University, Brno, CZ, and University of Wrocław, PL) Fan Yang (Utrecht University, NL) Malte Zimmermann (University of Potsdam, DE) Sarah Zobel (University of Oslo, NO) PUBLICATION INFORMATION After the symposium, authors of accepted and presented abstracts will be invited to submit a full-length paper to the post-proceedings of the symposium, which will be published in the LNCS series of Springer. The full-length submissions will undergo a new single-blind peer review process. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

29th WoLLIC 2023 - Final Call for Participation
by Ruy Jose Guerra Barretto de Queiroz 25 Jun '23

25 Jun '23

FINAL CALL FOR PARTICIPATION *** NEW: Invited talk titles and abstracts, accepted contributions *** WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Dalhousie University, Halifax, Nova Scotia, Canada Website: https://www.mathstat.dal.ca/wollic2023/ WoLLIC is an annual international forum on interdisciplinary researchinvolving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The list of accepted papers is available on the website. ORGANISATION Department of Mathematics and Statistics, Dalhousie University, Canada Centro de Informática, Universidade Federal de Pernambuco, Brazil LOCATION AND FORMAT The twenty-ninth WoLLIC will be held 11-14 July 2023 at the Department of Mathematics and Statistics, Dalhousie University, in Halifax, Canada. Halifax (https://www.halifax.ca/) is the capital of the Canadian province of Nova Scotia, and the largest city in Atlantic Canada. WoLLIC 2023 will be a hybrid event. All invited talks will be on-site in order to stimulate discussions and interaction with participants. REGISTRATION AND ACCOMMODATION Please register via the website (see top). Registration for both on-site and online participation remains open until the conference. PROGRAM AND INVITED SPEAKERS The program will include 21 accepted contributions and 7 invited talks of which 4 will be preceded by a tutorial that prepares the audience for the main talk. Thomas Bolander (Technical University of Denmark) Talk: From Dynamic Epistemic Logic to Socially Intelligent Robots Makoto Kanazawa (Hosei University, Japan) Talk: Learning Context-Free Grammars from Positive Data and Membership Queries Michael Moortgat (Utrecht University, Netherlands) Tutorial: Compositionality: categorial variations on a theme. Talk: Lambek Calculus and its modal extensions. Magdalena Ortiz (University of Umeå, Sweden) Tutorial: Description Logics and Other Decidable Logics for Graph-structured Data. Talk: A Short Introduction to SHACL for Logicians Aybüke Özgün (University of Amsterdam, Netherlands) Tutorial: Dempster-Shafer Theory and Topological Models for Evidence. Talk: Beliefs based on Conflicting and Uncertain Evidence: Connecting Dempster-Shafer Theory and the Topology of Evidence. Dusko Pavlovic (University of Hawaii, USA) Tutorial: Prerequisites for the main talk. Talk: From incompleteness of static theories to completeness of dynamic beliefs, in people and in bots. Richard Zach (University of Calgary, Canada) Talk: The Epsilon Calculus in Non-classical Logics: Recent Results and Open Questions The list of the 21 accepted papers and the abstracts of the invited talks and tutorials can be found on the website (see top). SPECIAL SESSION: MOVIE SCREENING “JOURNEYS OF BLACK MATHEMATICIANS” In a special session at WoLLIC 2023, we will show clips from 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. He will also be available via Zoom to hear feedback and answer questions. PROGRAMME COMMITTEE CHAIRS Helle Hvid Hansen (University of Groningen, Netherlands) Andre Scedrov (University of Pennsylvania, USA) PROGRAMME COMMITTEE 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 (Universitat de Barcelona, Spain) 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) 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, Brazil) 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) 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, Agata Ciabattoni, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Elaine Pimentel, 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, Brazil) Ruy de Queiroz (Univ Federal de Pernambuco, Brazil) (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) 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Applied Category Theory 2023 - registration open
by Joseph Patrick Moeller 24 Jun '23

24 Jun '23

6th Annual International Conference on Applied Category Theory (ACT2023) July 31 - August 4, 2023 https://act2023.github.io/ Due to generous sponsorship from NIST and UFL, registration is completely free! Please register here: https://www.eventbrite.com/e/applied-category-theory-2023-registration-6432… If you plan to attend virtually, you will need to register to receive a Zoom link. The Sixth International Conference on Applied Category Theory will take place at the University of Maryland from 31 July to 4 August 2023, preceded by the Adjoint School 2023 from 24 to 28 July. This conference follows previous events at Strathclyde (UK), Cambridge (UK), Cambridge (MA), Oxford (UK), and Leiden (NL). Applied category theory is essential to a growing community of researchers who use category-theoretic tools to study computer science, logic, engineering, physics, biology, chemistry, social science, systems, linguistics, and other subjects. The background and experience of our members are as varied as the systems being studied. The goal of the Applied Category Theory conference series is to bring researchers together, strengthen the applied category theory community, disseminate the latest results, and facilitate further development of the field. IMPORTANT DATES The following dates are all in 2023, and Anywhere On Earth. - Registration ends: 14 July - Adjoint School: 24-28 July - Conference begins: 31 July ORGANIZING COMMITTEE James Fairbanks, University of Florida Joe Moeller, National Institute for Standards and Technology and University of Maryland Priyaa Varshinee Srinivasan, National Institute for Standards and Technology Christina Vasilakopoulou, National Technical University of Athens Sam Staton, University of Oxford STEERING COMMITTEE John Baez, University of California, Riverside Bob Coecke, Cambridge Quantum Dorette Pronk, Dalhousie University David Spivak, Topos Institute [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

***PSSL108*** Third announcement
by Giuseppe Metere 21 Jun '23

21 Jun '23

*** 108th Peripatetic Seminar on Sheaves and Logic *** Terrasini (Palermo), Italy *** September 16th-17th, 2023 + satellite event September 15th, 2023. *** Third announcement Dear colleagues and friends, This is the third announcement for the 108th Peripatetic Seminar on Sheaves and Logic. The conference will be held in Terrasini (35 km away from Palermo), on the weekend September 16th-17th, 2023, and it will be preceded by a thematic session in *Logic and Algebra* on September 15th. Invited speakers of this session are: Maria Manuel Clementino (University of Coimbra), Vincenzo Marra (Universita' degli Studi di Milano), Zurab Janelidze (Stellenbosch University) Enrico Vitale (Universite' catholique de Louvain). There is no conference fee, but registration is mandatory. Please register before August 15th, 2023, by compiling the form you find (together with other information) on the conference webpage: https://sites.google.com/view/beppemetere/pssl-108 There are still some slots available, but only a few. If you plan to give a talk, please send an email asap to giuseppe.metere(a)unipa.it, with the title of your proposed talk and a short abstract. There is no deadline: talk proposals will be accepted on a first-come first-served basis. If you have any questions, please feel free to contact us. 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) =========================================================== Important notice. =========================================================== Although in principle it could be possible for participants to be based in Palermo city centre while attending the conference in Terrasini, in practice, unless you have a private car, this is not advisable at all. Indeed, there are not many Palermo-Terrasini connections during the day, even fewer at night. If you wish to find accommodation in Terrasini, please do not wait too long. There are several B&B's in town, however in September it is touristic season in Sicily, and you might find the best or more affordable accommodations already booked. =========================================================== 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 a wine warehouse. Since 2001, Palazzo d'Aumale has housed some collections of archaeological and ethno-anthropological 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Hopf Days in Brussels 2023 - 2nd announcement
by SARACCO Paolo 14 Jun '23

14 Jun '23

Dear colleagues and friends, This is a gentle update on our "Hopf Days in Brussels 2023" conference that will be held at the ULB - Université Libre de Bruxelles on the 4th and 5th of September, 2023. This two-days event aims at being an occasion to gather international experts and young researchers in the theory of Hopf algebras and related topics. Please, feel free to share the details of this event in your local academic community and to forward the information to anyone who might be interested. ================================================================= REGISTRATION Registration is open via a form on the webpage sites.google.com/view/hopfdaysbrussels2023 You may also reach it directly via the following link: form.jotform.com/filkasyfil/hopf-days-in-brussels-2023 Please, register before the 20th of August at 23:59:59 Anywhere on Earth. Registration is free but mandatory. At the moment there is still room for some contributed talks. However, in view of the high number of registrations compared to the relatively short duration of the event, we kindly ask to anyone who is interested in contributing to register before the 30th of June, at 23:59:59 Anywhere on Earth, and to provide an abstract in the registration form. In this way, we may organize the schedule of the event and communicate the final decision before the summer vacations. Registration might still be possible after that date and until August 20 (but it might be that there will be no funding or slots for contributed talks available anymore). In addition, we have a very small budget still at our disposal to offer limited financial support to (young) participants who will actively contribute to the event. If you are interested to apply, please mention it in the registration form and provide an abstract proposal for your contribution before the 30th of June, at 23:59:59 Anywhere on Earth. We encourage people who want to apply for support to register as soon as possible, as support will be given on a first come, first served basis ! We commit ourselves to provide an answer before the summer break. ================================================================= CONFIRMED SPEAKERS - Ana Agore (Bucharest/Brussels) - Daniel Bulacu (Bucharest) - Piotr M. Hajac (Warsaw) - Robert Laugwitz (Nottingham) - Ehud Meir (Aberdeen) [to be confirmed] - Kenichi Shimizu (Shibaura) - Thomas Weber (Turin) If you are interested in giving a contributed talk, please indicate so and send your abstract (tex file, template can be downloaded from webpage) in the registration form. Please register as soon as possible and before the 30th of June, at 23:59:59 Anywhere on Earth, if you want to give a talk: slots in the schedule and support will be given on a first come, first served basis ! ================================================================= ORGANISERS Ryan Aziz Paolo Saracco Joost Vercruysse For any additional information, please contact us at Ryan.Aziz(a)ulb.be<mailto:Ryan.Aziz@ulb.be>, Paolo.Saracco(a)ulb.be<mailto:Paolo.Saracco@ulb.be>, Joost.Vercruysse(a)ulb.be<mailto:Joost.Vercruysse@ulb.be>. -- Paolo Saracco, PhD ULB - Université Libre de Bruxelles Département de Mathématique Campus de la Plaine CP 216 Bd du Triomphe [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CATNIP: June 14, Edinburgh
by Tom Leinster 13 Jun '23

13 Jun '23

Further to Chris's announcement below, anyone wishing to follow the talks online can do so on Zoom: https://ed-ac-uk.zoom.us/j/83331873132 Meeting ID: 833 3187 3132 Passcode: Noether99 The programme is at https://sites.google.com/view/catniporg/meetings No need to register if you're just watching online. Best wishes, Tom ---------- Forwarded message ---------- Date: Tue, 9 May 2023 14:37:04 From: Chris Heunen <Chris.Heunen(a)ed.ac.uk> To: categories net <categories(a)mta.ca> Subject: CATNIP: June 14, Edinburgh Categories Networking Project (CATNIP) is a new scientific network between = the University of Aberdeen, the University of Edinburgh and the University = of Strathclyde; it is focused on category theory, both in its foundational = aspects and in its interactions with computer science and with other areas = of mathematics, such as topology, algebra, mathematical physics and applied= mathematics. https://sites.google.com/view/catniporg/home The first meeting will be held at the University of Edinburgh on June 14. Invited speakers: * Elena di Lavore (Tallinn University of Technology): "Partial Markov Categ= ories" * Nicola Gambino (University of Manchester): "Two-dimensional categorical l= ogic" * Vanessa Miemitz (University of East Anglia): "Categorification in Represe= ntation Theory" The programme will be announced shortly. The meeting is open to everybody. = Participants from the three nodes may be offered travel reimbursement. We h= ope to be able to reimburse all staff and PhD students from the nodes, but = if (depending on participants numbers) any budget issues arise priority wil= l be given to PhD students and early career researchers. Please register at= : https://forms.gle/AxAuNQWqLM8fzWef7 Kind regards, Jules Hedges Chris Heunen Tom Leinster Simona Paoli The University of Edinburgh is a charitable body, registered in Scotland, w= ith registration number SC005336. Is e buidheann carthannais a th=E2=80=99 = ann an Oilthigh Dh=C3=B9n =C3=88ideann, cl=C3=A0raichte an Alba, =C3=A0irea= mh cl=C3=A0raidh SC005336. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Next ITaCa seminar Jun 16, 2023.
by Giuseppe Metere 12 Jun '23

12 Jun '23

Dear all, The next date of the ItaCa Fest will be June 16 2023, at 3 pm CEST. We will be hosting three amazing talks 15:00 - 15:40 E. Vitale, "The completion under strong homotopy cokernels" 15:40 - 16:20 J. R. Gonzales, "Bicategorical presentations of étendues" 16:20 - 17:00 A. Cappelletti, "Protoadditive functors and pretorsion theories in multipointed context" at the following link: https://cs-ox-ac-uk.zoom.us/j/97878376376?pwd=QithMyt5NzdOeE1EWGJRcjBxamxnU… As always, we welcome a good discussion and you can stick with us for a chat after the last talk. You can find the abstracts and more on our seminar at the Fest's page: https://progetto-itaca.github.io/pages/fest23.html Hope to see you soon! Cheers, Beppe, Ivan, Fosco, Paolo and Greta. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Special Issue of TAC in honour of Bill Lawvere
by rosicky 06 Jun '23

06 Jun '23

Last January, our esteemed colleague Bill Lawvere died shortly before his 86th birthday. Bill's profound influence on Category Theory and his many and varied contributions to our subject will be remembered always. As others have noted, Bill's patience and his generosity with his time and ideas was a huge gift to generations of learners. We are very pleased to announce that the journal Theory and Applications of Categories (TAC), a journal of which Bill was a founding and active Editor, will publish a special volume in his honour. For this volume, articles with some relation to the wide scope of Bill's work are preferred. Authors are invited to submit their manuscripts to any of the Guest Editors below following TAC's author instructions http://www.tac.mta.ca/tac/authinfo.html [1] Authors must also copy their submission to the managing editor of TAC, Geoffrey Cruttwell (at tac(a)mta.ca) The Guest Editors would prefer that the initial submission uses the TAC template to simplify the work of reviewing. All papers will be carefully refereed following the standards of TAC. The deadline for submission is February 29, 2024. The Guest Editors: Matias Menni (matias.menni(a)gmail.com) Bob Rosebrugh (rrosebrugh(a)mta.ca) Jiri Rosicky (rosicky(a)math.muni.cz) Walter Tholen (tholen(a)yorku.ca) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

MFPS and CALCO 2023: Call for participation
by Marie Kerjean 03 Jun '23

03 Jun '23

===================================================================== CALL FOR PARTICIPATION: CALCO 2023 and MFPS XXXIX 10th International Conference on Algebra and Coalgebra in Computer Science 39th Conference on Mathematical Foundations of Programming Semantics June 19-23, 2023 Bloomington, Indiana (USA) and online https://coalg.org/calco-mfps-2023/ *** Program is online, registration is open, online participation will be free *** ======================================================================== Invited Speakers ---------------- Robert Harper, Carnegie Mellon University (CALCO/MFPS) Assia Mahboubi, Inria (CALCO/MFPS) Roberto Bruni, University of Pisa (CALCO) Elaine Pimentel, University College London (CALCO) Jeremy Siek, Indiana University (CALCO) Azalea Raad, Imperial College London (MFPS) Alex Simpson, University of Ljubljana (MFPS) Special Sessions ---------------- -- Joint CALCO/MFPS Special Session on "Machine-checked mathematics" Organiser: Assia Mahboubi * Yannick Forster (Inria) * Andrei Popescu (University of Sheffield) * Floris Van Doorn (University of Paris-Saclay) -- CALCO Special Session on "Category Theory in Machine Learning" Organisers: Brendan Fong, Brandon Shapiro, Fabio Zanasi * Fabio Zanasi (University College London and University of Bologna) * Brandon Shapiro (Topos Institute Berkeley) * Jean-Simon Pacaud Lemay (Macquarie University) * Prakash Panangaden (McGill University Montr??al) -- MFPS Special Session on "Semantics and Compilers" Organiser: Amal Ahmed * Amal Ahmed ( Northeastern University) * J??r??mie Koenig, Yale University * Max S. New, University of Michigan -- MFPS Special Session on "Categories of bidirectional processes" Organiser: Jules Hedges * Jules Hedges (University of Strathclyde) * Valeria de Paiva (Topos Institute) * Mario Rom??n (Tallinn University of Technology) About CALCO and MFPS --------------------------------------------------------------------- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. 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. CALCO Chairs -------------------- * Paolo Baldan (University of Padua) * Valeria de Paiva (Topos Institute, Berkeley) MFPS Chairs ------------------ * Marie Kerjean (CNRS, LIPN, Universit?? Sorbonne Paris Nord) * Paul Blain Levy (University of Birmingham) Local Organiser --------------------- * Larry Moss (Indiana University) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0