February 2022 - 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

PolyFun 2022
by David Spivak 28 Feb '22

28 Feb '22

2022 WORKSHOP ON POLYNOMIAL FUNCTORS At the Topos Institute and online via Zoom 2022 March 14 – 18 (UTC) *The workshop schedule, as well as titles and abstracts for (almost) all talks, are now available at the following website:* https://topos.site/p-func-workshop/ Participants will learn background material and hear the latest progress on polynomial functors. The main topic is the notion of polynomial functors in locally cartesian closed categories, as employed in logic and type theory (the theme of the 2021 Workshop on Polynomial Functors). However we also include a tutorial and talks on the notion of polynomial functors in the sense of Eilenberg and Mac Lane, hoping to uncover connections between these two notions. Talks will be recorded for posterity. Speakers ----------------- Steve Awodey.. x2 Kristine Bauer Clemens Berger Pierre-Louis Curien Elden Elmanto Marcelo Fiore Nicola Gambino Brenda Johnson Sean Moss Fredrik Nordvall Forsberg Exequiel Rivas Brandon Shapiro David Spivak Dima Szamozvancev Paul Taylor Todd Trimble Christine Vespa.. x3 Organizers ----------------- Joachim Kock and David Spivak Participation ----------------- Anyone interested in participating is welcome. If you would like to attend, please fill out the online form https://forms.gle/nbpNAo1fQ3kkHynRA A zoom link will be sent out to registered participants a few days before the workshop. For other questions, please contact David Spivak <david(a)topos.institute> or Joachim Kock <kock(a)mat.uab.cat>. Program ----------------- The talks will take place in the following 4-hour window: 14:00 – 18:00 March 14 – 18 UTC Japan 23:00–03:00 (+1); Central Europe 15:00–19:00; UK 14:00–18:00; US East Coast 10:00–14:00; US West Coast 07:00–11:00. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: Professor André Joyal to Receive 2022 CMS Jeffery-Williams PrizeThread-Topic: categories: Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize
by Steve Vickers 27 Feb '22

27 Feb '22

Dear Andre, You do deserve it. Speaking for myself, your monograph with Tierney was a huge influence on my own work: not only for its technical treatment, but also for the vigour with which it asserted the right of point-free spaces to the term “space”, unadorned, unqualified, with the implication that point-set spaces have been superseded as the subject of topology. It made me understand that my own book was hopelessly inadequate as an account of what point-free topology was for. At the time its insistence on working with the internal logic of elementary toposes stood out among point-free writings; yet it showed how to make the calculations topologically natural. In particular, by showing that internal lattices of opens are equivalent externally to bundles, it gave a natural way to think about constructive locale theory. Even today, that point is not widely enough understood. The monograph was a long time ago, and who am I to say how much was Joyal and how much Tierney? But in your work since I’ve always had the sense that the point-free topology was topology and not lattice theory. That broadens out much further in the recent topos-locos writings with Anel. And I haven’t even mentioned arithmetic universes! So, from my own perspective, you richly deserve the recognition of the Jeffery-Williams prize. Best wishes, Steve (Vickers) > On 25 Feb 2022, at 02:31, joyal.andre(a)uqam.ca wrote: > Dear Steve, > > Thank you. > > I am not sure I deserve it more than so many others. > I guess I am lucky. > Unfortunately, there is no money attached! > Anyway, I am please for the recognition. > > Best wishes, > > André > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Zero Project online Petition
by Posina Venkata Rayudu 27 Feb '22

27 Feb '22

Dear all, I hope and pray you and your families are all well. If I may, I'd like to request you to consider the following petition initiative of my good friend Peter, who is committed to getting to the origins of zero. Full disclosure: I'm giving a lecture on the mathematics of attaining the ideal of: totally devoid of structure (zero cohesion and/or zero variation). This is part of our joint research with Professor Sisir Roy to mathematically reconstruct the cognitive construction of zero by the human mind (individually and collectively, as part of various collectives). Thanking you, posina ===============Zero Project Online Petition================== We would kindly request you to sign and share widely among your respective networks our online Petition [https://www.petitions.net/radiocarbon-dating_of_the_bakhshali_manuscript] to encourage the Bodleian Libraries, London, to take concrete steps to have follow-up Radiocarbon-dating of the famous Bakhshali Manuscript conducted in the interest of scientific advancement in the field. The Zero Project [Zero Project] has been in contact with the Bodleian Libraries, London, since the time prior to their announcement of the Radiocarbon-dating of the Bakhshali Manuscript (BM) conducted in 2017 [Bakhshali Manuscript]. As the results of the Radiocarbon-dating of the Bakshshali Manuscript at that time were inconclusive, many scholars across the world have encouraged the Bodleian to please consider conducting follow-up tests. As you may be aware, the issue of the Bakhshali Manuscript has also been raised by most of the 40 participants in the Zero Project’s Monograph on Zero book project and online International Conference/Workshop on Zero (10/’21 – 4/’22). Peter Gobets Secretary / Research Coordinator Trustee Zero Project The Hague, The Netherlands W: www.TheZeroProject.nl E: pgobets(a)zerorigindia.org T: +31-6-39 88 05 03 // +31-70-3501930 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TYPES 2022 -- Last call for contributions
by Pierre-Marie Pédrot 26 Feb '22

26 Feb '22

LAST CALL FOR CONTRIBUTIONS 28th International Conference on Types for Proofs and Programs, TYPES 2022 and EuroProofNet Cost Action CA20111 meeting Nantes, France, 20-25 June 2022 https://types22.inria.fr BACKGROUND The TYPES meetings are a forum to present new and on-going 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. The EuroProofNet Cost Action CA20111 focuses on the same research topics as TYPES and partially sponsors the TYPES Conference. INVITED SPEAKERS: Youyou Cong (Tokyo Institute of Technology) Ekaterina Komendantskaya (Heriot-Watt University) Sam Lindley (University of Edinburgh) Leonardo de Moura (Microsoft Research) CONTRIBUTED TALKS: We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp (not including bibliography) formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2022 IMPORTANT DATES: * submission of 2 pp abstract: 9 March 2022 * notification of acceptance/rejection: 20 April 2022 * camera-ready version of abstract: 15 May 2022 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop. 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: September 2022. PROGRAM COMMITTEE Sandra Alves (University of Porto) Carlo Angiuli (Carnegie Mellon University) Stephanie Balzer (Carnegie Mellon University) Lars Birkedal (Aarhus University) Frédéric Blanqui (INRIA) Sandrine Blazy (Université de Rennes 1 - IRISA) Thierry Coquand (University of Technology) Andrej Dudenhefner (Saarland University) Jacques Garrigue (Nagoya University) Delia Kesner (Université de Paris) (PC Co-Chair) Marina Lenisa (Università di Udine) Paul Blain Levy (University of Birmingham) Sara Negri (Università degli Studi di Genova) Pierre-Marie Pédrot (INRIA) (PC Co-Chair) Luca Padovani (Università di Torino) Zoe Paraskevopoulou (Northeastern University) Brigitte Pientka (McGill University) Matija Pretnar (University of Ljubljana) Talia Ringer (University of Washington) Kathrin Stark (Princeton University) Paweł Urzyczyn (University of Warsaw) Lionel Vaux (Université d’Aix-Marseille) Niki Vazou (IMDEA Software) TYPES STEERING COMMITTEE Andreas Abel (Gothenburg University) Sandra Alves (University of Porto) (Secretary) Henning Basold (Leiden University) (SC chair) Frédéric Blanqui (INRIA) Ugo de'Liguoro (Università di Torino) Matthieu Sozeau (INRIA & Université de Nantes) ABOUT TYPES The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2015, 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). CONTACT Email: types2022(a)easychair.org Organisers: Assia Mahboubi (INRIA & Université de Nantes) Matthieu Sozeau (INRIA & Université de Nantes) Nicolas Tabareau (INRIA & Université de Nantes) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TACL 2022 second announcement
by TACL2022 24 Feb '22

24 Feb '22

=================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2022) Second announcement =================================================== Conference: June 20-24, 2022 in Coimbra School: June 13-18, 2022 in Praia de Mira https://www.mat.uc.pt/~tacl2022 Organized by the Centre for Mathematics (CMUC) and the Department of Mathematics (DMUC) of the University of Coimbra CONFERENCE Important dates --------------------- Contributed talks: Submission deadline: March 4, 2022 Notification to authors: April 15, 2022 Registration will open very soon. The registration fee includes the welcome reception, coffee-breaks, lunches, excursion, and the conference dinner at S??o Marcos Palace (https://www.portugalfinest.pt/places/palacio-sao-marcos) Academic registration: 150 euros Student registration: 100 euros SCHOOL Registration will open very soon. Registration fee will be about 260 euros, but it may depend on the type of accommodation chosen. It includes accommodation, the welcome dinner, lunches and coffee-breaks. Note that the number of spaces in the school is limited. Limited funds for supporting summer school participants are available (mainly through the ERC Advanced Project DuaLL). This is intended primarily for students, but non-students can be considered in exceptional circumstances. Those who plan to request financial support should submit a copy of their CV and a letter of support from their PhD advisor or post-doc supervisor (if applicable) to tacl2022(a)mat.uc.pt, with 'Summer School support request' in the subject, by March 18, 2022. =================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2022) First announcement =================================================== Conference: June 20-24, 2022 in Coimbra School: June 13-18, 2022 in Praia de Mira https://www.mat.uc.pt/~tacl2022 Organized by the Centre for Mathematics (CMUC) and the Department of Mathematics (DMUC) of the University of Coimbra Scope -------- Studying logic via semantics is a well-established and very active branch of mathematical logic with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2022 will focus on three interconnecting mathematical themes central to the semantic study of logic and their applications: topological, algebraic, and categorical methods. TACL 2022 is the tenth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier instalments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013), Ischia (2015), Prague (2017), and Nice (2019). Featured topics --------------------- Contributed talks are intended to be about topological, algebraic or categorical methods used in mathematical or computer science logic. This includes, but is not limited to, the following areas: * Algebraic logic * Algebraic structures in CS * Categorical methods in logic * Coalgebra * Domain theory * Fuzzy and many-valued logics * Lattice theory * Lattices with operators * Modal logics * Non-classical logics * Ordered algebraic structures * Ordered topological spaces * Pointfree topology * Proofs and types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Invited speakers --------------------- * Marta Bilkova, Czech Academy of Sciences, Prague * David Fernandez-Duque, Ghent University * Richard Garner, Macquarie University, Sydney * Jean Goubault-Larrecq, Ecole Normale Superieure Paris-Saclay * Peter Johnstone, University of Cambridge * Vincenzo Marra, University of Milan * Amanda Vidal, Artificial Intelligence Research Institute, Barcelona * Friedrich Wehrung, University of Caen * Fan Yang, University of Helsinki Lecturers at the Summer School ------------------------------------------ * Dirk Hofmann, University of Aveiro * Rosalie Iemhoff, Utrecht University * Graham Manuell, University of Coimbra * Walter Tholen, York University, Toronto Submission instructions ------------------------------- Authors can submit an Extended Abstract of 2 pages (including references) at the EasyChair conference system: https://easychair.org/conferences/?conf=tacl2022 Important dates --------------------- School: June 13-18, 2022 Conference: June 20-24, 2022 Contributed talks: Submission deadline: March 4, 2022 Notification to authors: April 15, 2022 The school's programme will start on Tuesday June 14 in the morning and will end on Saturday June 18 in the afternoon. A bus transfer from and to Coimbra will be arranged by the organisers, on the afternoon of June 13 and June 18, respectively. The conference programme will start on Monday June 20 in the morning and will end on Friday June 24 in the afternoon. Financial support ----------------------- For the summer school a certain amount of funding is available for those in financial need. This is intended primarily for students, but non-students can be considered in exceptional circumstances. Program Committee --------------------------- Peter Jipsen, Chapman University, USA (PC co-chair) Jorge Picado, Universidade de Coimbra, Portugal (PC co-chair) Nick Bezhanishvili, University of Amsterdam, Netherlands Agata Ciabattoni, Vienna University of Technology, Austria Maria Manuel Clementino, Universidade de Coimbra, Portugal Mai Gehrke, Universit?? C??te D'Azur, Nice, France Silvio Ghilardi, Universit?? degli Studi di Milano, Italy Zuzana Hanikova, Inst. of Computer Science, Czech Academy of Sciences John Harding, New Mexico State University, USA Tomas Jakl, University of Cambridge, UK Zurab Janelidze, Stellenbosch University, South Africa Ramon Jansana, Universitat de Barcelona, Spain Agi Kurucz, King's College London, UK Serafina Lapenta, Universita degli Studi di Salerno, Italy Matias Menni, Conicet and Universidade Nacional de La Plata, Argentina George Metcalfe, University of Bern, Switzerland Hiroakira Ono, Japan Advanced Institute of Science & Technology, Japan Daniela Petrisan, University Paris Diderot (Paris 7), France Adam Prenosil, Universita degli Studi di Cagliari, Italy Luca Reggio, University of Oxford, UK Greg Restall, University of St Andrews, UK Benno van den Berg, University of Amsterdam, Netherlands Steering Committee --------------------------- Guram Bezhanishvili, New Mexico State University, United States Mai Gehrke, CNRS and Universite Cote d'Azur, France Silvio Ghilardi, University of Milan, Italy Ramon Jansana, University of Barcelona, Spain Hilary Priestley, University of Oxford, United Kingdom James Raftery, University of Pretoria, South Africa Yde Venema, University of Amsterdam, Netherlands Organizing Committee ----------------------------- Maria Manuel Clementino (chair) Igor Arrieta Ana Belen Avilez Celia Borlido Maria Joao Ferreira Carlos Fitas Goncalo Gutierres Dirk Hofmann Graham Manuell Jorge Picado Sandra Pinto Rui Prezado Manuela Sobral Lurdes Sousa More Information ------------------------ Information about registration as well as suggested hotels will be forthcoming in future announcements. If you would like to receive future announcements, please send a message to this effect to the conference e-mail address. TACL 2022 web site: https://www.mat.uc.pt/~tacl2022/ Conference email: tacl2022(a)mat.uc.pt School web site: https://www.mat.uc.pt/~tacl2022/#school [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize Thread-Topic: categories: Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize
by Joyal, André 24 Feb '22

24 Feb '22

CAUTION: The Sender of this email is not from within Dalhousie. Dear Steve, Thank you. I am not sure I deserve it more than so many others. I guess I am lucky. Unfortunately, there is no money attached! Anyway, I am please for the recognition. Best wishes, André ________________________________ De : Steve Awodey <awodey(a)cmu.edu> Envoyé : 23 février 2022 17:36 À : Joyal, André <joyal.andre(a)uqam.ca> Cc : categories(a)mta.ca <categories(a)mta.ca> Objet : Re: categories: Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize Dear André, This is excellent news! Congratulations on this well-deserved honor! Best wishes for your birthday, Steve > On Feb 23, 2022, at 2:22 PM, Walter P Tholen <tholen(a)yorku.ca> wrote: > > > ________________________________ > From: all-members-bounces(a)cms.math.ca <all-members-bounces(a)cms.math.ca> on behalf of Jessica Horobetz <communications(a)cms.math.ca> > Sent: Wednesday, February 23, 2022 2:19 PM > To: all-members(a)cms.math.ca > Subject: [all-members] Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize | Professeur André Joyal recevra le prix Jeffery-Williams 2022 de la SMC > > > Le français suit. > We apologize for any duplication of emails that may come through via these distribution lists. > > Dear Members of the Canadian Mathematics Community: > > The Canadian Mathematical Society (CMS) is pleased to announce that Professor André Joyal (UQÀM) has been named the recipient of the 2022 CMS Jeffery-Williams Prize for his contributions to research in mathematics. Professor Joyal will receive his prize and give a lecture at the 2022 CMS Summer meeting in June. > > Please see here<https://cms.math.ca/news-item/professor-andre-joyal-to-receive-the-2022-cms…> for media release. > > Thank you. > > ________________________________ > > Nous nous excusons pour toute duplication de courriels pouvant être transmis par ces listes de distribution. > Chers et chères membres de la communauté mathématique du Canada : > > La Société mathématique du Canada (SMC) est ravie de reconnaître Professeur André Joyal comme lauréat du prix Jeffery-Williams 2022 pour ses contributions à la recherche mathématique. Professeur Joyal recevra son prix à la Réunion d’été de la SMC en juin 2022 où il donnera une conférence. > > Le communiqué se trouve ici<https://smc.math.ca/news-item/professeur-andre-joyal-recevra-prix-jeffery-w…>. > > Merci. > > > -- > > Jessica Horobetz > Communications Officer > Canadian Mathematical Society > Tel: +1 (613) 733-2662 ext. 728 > > Please consider the environment. > > [[cms web link]] <https://cms.math.ca/> > > Jessica Horobetz > Agente des communications > Société mathématique du Canada > Tél : +1 (613) 733-2662 poste 728 > > Considérez svp l'environnement. > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize
by Steve Awodey 24 Feb '22

24 Feb '22

Dear André, This is excellent news! Congratulations on this well-deserved honor! Best wishes for your birthday, Steve > On Feb 23, 2022, at 2:22 PM, Walter P Tholen <tholen(a)yorku.ca> wrote: > > > ________________________________ > From: all-members-bounces(a)cms.math.ca <all-members-bounces(a)cms.math.ca> on behalf of Jessica Horobetz <communications(a)cms.math.ca> > Sent: Wednesday, February 23, 2022 2:19 PM > To: all-members(a)cms.math.ca > Subject: [all-members] Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize | Professeur André Joyal recevra le prix Jeffery-Williams 2022 de la SMC > > > Le français suit. > We apologize for any duplication of emails that may come through via these distribution lists. > > Dear Members of the Canadian Mathematics Community: > > The Canadian Mathematical Society (CMS) is pleased to announce that Professor André Joyal (UQÀM) has been named the recipient of the 2022 CMS Jeffery-Williams Prize for his contributions to research in mathematics. Professor Joyal will receive his prize and give a lecture at the 2022 CMS Summer meeting in June. > > Please see here<https://cms.math.ca/news-item/professor-andre-joyal-to-receive-the-2022-cms…> for media release. > > Thank you. > > ________________________________ > > Nous nous excusons pour toute duplication de courriels pouvant être transmis par ces listes de distribution. > Chers et chères membres de la communauté mathématique du Canada : > > La Société mathématique du Canada (SMC) est ravie de reconnaître Professeur André Joyal comme lauréat du prix Jeffery-Williams 2022 pour ses contributions à la recherche mathématique. Professeur Joyal recevra son prix à la Réunion d’été de la SMC en juin 2022 où il donnera une conférence. > > Le communiqué se trouve ici<https://smc.math.ca/news-item/professeur-andre-joyal-recevra-prix-jeffery-w…>. > > Merci. > > > -- > > Jessica Horobetz > Communications Officer > Canadian Mathematical Society > Tel: +1 (613) 733-2662 ext. 728 > > Please consider the environment. > > [[cms web link]] <https://cms.math.ca/> > > Jessica Horobetz > Agente des communications > Société mathématique du Canada > Tél : +1 (613) 733-2662 poste 728 > > Considérez svp l'environnement. > > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ] [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: [all-members] Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize | Professeur André Joyal recevra le prix Jeffery-Williams 2022 de la SMC
by Walter P Tholen 24 Feb '22

24 Feb '22

________________________________ From: all-members-bounces(a)cms.math.ca <all-members-bounces(a)cms.math.ca> on behalf of Jessica Horobetz <communications(a)cms.math.ca> Sent: Wednesday, February 23, 2022 2:19 PM To: all-members(a)cms.math.ca Subject: [all-members] Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize | Professeur André Joyal recevra le prix Jeffery-Williams 2022 de la SMC Le français suit. We apologize for any duplication of emails that may come through via these distribution lists. Dear Members of the Canadian Mathematics Community: The Canadian Mathematical Society (CMS) is pleased to announce that Professor André Joyal (UQÀM) has been named the recipient of the 2022 CMS Jeffery-Williams Prize for his contributions to research in mathematics. Professor Joyal will receive his prize and give a lecture at the 2022 CMS Summer meeting in June. Please see here<https://cms.math.ca/news-item/professor-andre-joyal-to-receive-the-2022-cms…> for media release. Thank you. ________________________________ Nous nous excusons pour toute duplication de courriels pouvant être transmis par ces listes de distribution. Chers et chères membres de la communauté mathématique du Canada : La Société mathématique du Canada (SMC) est ravie de reconnaître Professeur André Joyal comme lauréat du prix Jeffery-Williams 2022 pour ses contributions à la recherche mathématique. Professeur Joyal recevra son prix à la Réunion d’été de la SMC en juin 2022 où il donnera une conférence. Le communiqué se trouve ici<https://smc.math.ca/news-item/professeur-andre-joyal-recevra-prix-jeffery-w…>. Merci. -- Jessica Horobetz Communications Officer Canadian Mathematical Society Tel: +1 (613) 733-2662 ext. 728 Please consider the environment. [[cms web link]] <https://cms.math.ca/> Jessica Horobetz Agente des communications Société mathématique du Canada Tél : +1 (613) 733-2662 poste 728 Considérez svp l'environnement. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Two postdoc positions at LIS (Aix-Marseille University) and LIX (Ecole Polytechnique)
by Noam Zeilberger 24 Feb '22

24 Feb '22

Announcement for two 11-15-month postdoctoral positions funded by the ANR LambdaComb. Project summary : LambdaComb is an interdisciplinary project financed by the French Agence Nationale de la Recherche. Broadly, the project aims to deepen connections between lambda calculus and logic on the one hand and combinatorics on the other. One important motivation for the project is the discovery over recent years of a host of surprising links between subsystems of lambda calculus and enumeration of graphs on surfaces, or "maps", the latter being an active subfield of combinatorics with roots in W. T. Tutte's work in the 1960s. More informations can be found on the project webpage: https://www.lix.polytechnique.fr/LambdaComb/ We seek candidates holding or soon to receive a PhD in Computer Science or Mathematics and with expertise in one or several of the following areas: - Category theory (with a focus on monoidal closed categories and multicategories) - Combinatorics - Logic and lattice theory - Proof theory, types, and Curry-Howard correspondence The ideal candidate will have a strong background in one of the areas and at least an interest in the others. We aim to recruit two postdocs who will be employed respectively at: * LIS research laboratory (https://www.lis-lab.fr/) in Marseille, France, working under the mentorship of Luigi Santocanale * LIX laboratory (https://www.lix.polytechnique.fr/) in Palaiseau, France (south of Paris), working under the mentorship of Noam Zeilberger Both postdocs will have opportunities for visiting other partner institutions and for collaborating with other members of the project (see full list at the project page linked above). Application process: - Deadline for applications is March 27, 2022, for a starting date in September 2022 (or sooner, negotiable). - Candidates can send their application to Luigi Santocanale ( luigi.santocanale(a)lis-lab.fr) and/or Noam Zeilberger ( noam.zeilberger(a)lix.polytechnique.fr) with a subject containing “[LambdaComb post-doc application]”. - The application should contain a CV, a brief research statement (1-2 pages) & at least two contacts of reference persons (or reference letters if available). - The salary and precise length of the contract will depend on the successful candidate's prior research experience, with a guaranteed minimum of 2466 EUR/month gross salary for the LIS postdoc and of 2520 EUR/month gross salary for the LIX postdoc. - The selection process will be achieved in collaboration with other project coordinators. Further enquiries about the position may be addressed to Luigi Santocanale ( luigi.santocanale(a)lis-lab.fr) or Noam Zeilberger ( noam.zeilberger(a)lix.polytechnique.fr) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0