April 2023 - Categories - categories.org.au

3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield
by Andrei Popescu 20 Apr '23

20 Apr '23

Dear colleagues, We have an opening for a 3-year position of either research associate or research assistant at the University of Sheffield, UK. It is on a project called "Safe and secure concurrent programming for advanced hardware architectures" and involves modelling and verification using a proof assistant, preferably Isabelle. Please share this opportunity with anyone you think might be interested. The closing date for applications is *** 23rd May 2023 *** More details can be found here: https://www.jobs.ac.uk/job/CYZ645/research-assistant-or-research-associate-… and here: https://jobs.shef.ac.uk/sap/bc/webdynpro/sap/hrrcf_a_posting_apply?PARAM=cG… Best wishes, Andrei Popescu https://www.andreipopescu.uk/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Joint LHC and Métayer days: 6 to 9 June in Paris
by Samuel Mimram 19 Apr '23

19 Apr '23

Dear colleagues, We are pleased to invite you to the annual days of the LHC workgroup (Logic, Homotopy, Cateogries), which will take place in Paris (around Irif lab) on 6 and 7 June 2023 Those will be followed by two days of conferences in honour of Fran??ois M??tayer, on the occasion of his retirement, on 8 and 9 June 2023 which should also be of interest to LHC people. The invited speakers of that conference are - Albert Burroni, IMJ, UPC - L??onard Guetta, postdoc in Max Planck Institut, Bonn - Amar Hadzihasanovi?? , Tallinn University of Technology - Simon Henry, University of Ottawa - Andr?? Joyal, Universit?? du Qu??bec ?? Montr??al - Muriel Livernet, IMJ, UPC - Philippe Malbos, Universit?? Claude Bernard Lyon 1 - Georges Maltsiniotis, IMJ, UPC - Samuel Mimram, ??cole Polytechnique - Alain Prout??, membre ?? la retraite de l'IMJ, UPC Participation to both events is free but registration is mandatory and can be performed, before the *29 May 2023*, at https://framaforms.org/lhc-days-2023-francois-metayer-days-1681303855 As usual, proposals for presentations are welcome for the LHC workgroup, we count on you for this! Also, in order to ease the organization, please try not to wait until the last minute to register. More information can be found on the following webpages: - LHC days: https://smimram.gitlabpages.inria.fr/lhc/journees.html - M??tayer days: https://smimram.gitlabpages.inria.fr/lhc/francois.html See you soon! Pierre-Louis Curien <curien(a)irif.fr> (local organizer) Yves Guiraud <guiraud(a)imj-prg.fr> (local organizer) Samuel Mimram <samuel.mimram(a)lix.polytechnique.fr> (LHC coordinator) Lionel Vaux Auclair <lionel.vaux(a)univ-amu.fr> (LHC coordinator) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

WORKSHOP on DOCTRINES and FIBRATIONS,May 29 - June 1, 2023 -dedicated to W. Lawvere
by Maria Emilia Maietti 18 Apr '23

18 Apr '23

============================================== CALL FOR PARTICIPATION ??=============================================== WORKSHOP on DOCTRINES and FIBRATIONS May 29 - June 1, 2023 Department of Mathematics, University of Padova, Padova, Italy Conference website https://events.math.unipd.it/WDF2023/ ??============================================== The workshop aims to bring together researchers to discuss their work on Lawvere doctrines,?? Grothendieck fibrations as studied and developed by Benabou, and their applications to logic and other mathematical fields. The workshop is dedicated to the memory of William Lawvere (1937-2023). Attendance is open to everyone interested, in particular to young researchers. The workshop will be held in person. ===================================================== Tutorial Speakers: ???? Giuseppe Rosolini (Universit?? di Genova, Italy) ???? Thomas Streicher (Technische Universit??t Darmstadt, Germany) ======================================================== Invited Speakers: ???? Steve Awodey (Carnegie Mellon University, USA) ???? Valeria de Paiva (Topos Institute, Berkeley, USA) ???? Jacopo Emmenegger (Universit?? di Genova, Italy) ???? Jonas Frey (Carnegie Mellon University, USA) ???? Alexandre Miquel (Universidad de la Rep??blica, Uruguay) ???? Fabio Pasquali (Universit?? di Genova, Italy) ???? Davide Trotta (Universit?? di Pisa, Italy) ???? Benno van der Berg (Universiteit van Amsterdam, Netherlands) ???? Jaap van Oosten (Universiteit Utrecht, Netherlands) ??======================================================== CONTRIBUTED TALKS Few slots for contributed talks are available: please send a pdf file with title and abstract include in a pdf???????? format of at most 2 pages to wfd(a)math.unipd.it ??Deadline for contributions:?????? 6th May ??Acceptance:?????????????????????????????????????????????????? 12th May. ??======================================================== REGISTRATION: To attend the workshop and receive all updated information about it, please send a message to orgwdf(a)math.unipd.it ===================================================================== ??Scientific Committee ??Milly Maietti (U. of Padova) ??Samuele Maschio (U. of Padova) ??Thomas Streicher (Technische Universit??t Darmstadt, Germany) ========================================= Organizing Committee Cipriano Junior Cioffo (U. of Padova) Milly Maietti (U. of Padova) Samuele Maschio (U. of Padova) Pietro Sabelli (U. of Padova) ============================================================= --------------ejwLX2TfZbmkQqx05Lxfu3Y9 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: 8bit <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> </head> <body> Dear Moderator please send this copy and not the previous one! Many thanks Maria Emilia Maietti <div class="moz-forward-container"> -------- Forwarded Message -------- <table class="moz-email-headers-table" cellspacing="0" cellpadding="0" border="0"> <tbody> <tr> <th valign="BASELINE" nowrap="nowrap" align="RIGHT">Subject: </th> <td>WORKSHOP on DOCTRINES and FIBRATIONS,May 29 - June 1, 2023 -dedicated to W. Lawvere</td> </tr> <tr> <th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th> <td>Mon, 17 Apr 2023 18:35:25 +0200</td> </tr> <tr> <th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th> <td>Maria Emilia Maietti <a class="moz-txt-link-rfc2396E" href="mailto:maietti@math.unipd.it"><maietti(a)math.unipd.it></a></td> </tr> <tr> <th valign="BASELINE" nowrap="nowrap" align="RIGHT">To: </th> <td><a class="moz-txt-link-abbreviated" href="mailto:categories@mta.ca">categories(a)mta.ca</a></td> </tr> </tbody> </table> ============================================== CALL FOR PARTICIPATION ??=============================================== WORKSHOP on DOCTRINES and FIBRATIONS May 29 - June 1, 2023 Department of Mathematics, University of Padova, Padova, Italy Conference website <a class="moz-txt-link-freetext" href="https://events.math.unipd.it/WDF2023/">https://events.math.unipd.it/WDF2023/</a> ??============================================== The workshop aims to bring together researchers to discuss their work on Lawvere doctrines,?? Grothendieck fibrations as studied and developed by Benabou, and their applications to logic and other mathematical fields. The workshop is dedicated to the memory of William Lawvere (1937-2023). Attendance is open to everyone interested, in particular to young researchers. The workshop will be held in person. ===================================================== Tutorial Speakers: ???? Giuseppe Rosolini (Universit?? di Genova, Italy) ???? Thomas Streicher (Technische Universit??t Darmstadt, Germany) ======================================================== Invited Speakers: ???? Steve Awodey (Carnegie Mellon University, USA) ???? Valeria de Paiva (Topos Institute, Berkeley, USA) ???? Jacopo Emmenegger (Universit?? di Genova, Italy) ???? Jonas Frey (Carnegie Mellon University, USA) ???? Alexandre Miquel (Universidad de la Rep??blica, Uruguay) ???? Fabio Pasquali (Universit?? di Genova, Italy) ???? Davide Trotta (Universit?? di Pisa, Italy) ???? Benno van der Berg (Universiteit van Amsterdam, Netherlands) ???? Jaap van Oosten (Universiteit Utrecht, Netherlands) ??======================================================== CONTRIBUTED TALKS Few slots for contributed talks are available: please send a pdf file with title and abstract include in a pdf???????? format of at most 2 pages to <a class="moz-txt-link-abbreviated" href="mailto:wfd@math.unipd.it">wfd(a)math.unipd.it</a> ??Deadline for contributions:?????? 6th May ??Acceptance:?????????????????????????????????????????????????? 12th May. ??======================================================== REGISTRATION: To attend the workshop and receive all updated information about it, please send a message to <a class="moz-txt-link-abbreviated" href="mailto:orgwdf@math.unipd.it">orgwdf(a)math.unipd.it</a> ===================================================================== ??Scientific Committee ??Milly Maietti (U. of Padova) ??Samuele Maschio (U. of Padova) ??Thomas Streicher (Technische Universit??t Darmstadt, Germany) ========================================= Organizing Committee Cipriano Junior Cioffo (U. of Padova) Milly Maietti (U. of Padova) Samuele Maschio (U. of Padova) Pietro Sabelli (U. of Padova) ============================================================= </div> </body> </html> --------------ejwLX2TfZbmkQqx05Lxfu3Y9-- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Announcement of ITaCa Fest, 2023 edition.
by GIUSEPPE METERE 13 Apr '23

13 Apr '23

Dear all,=0A= =0A= ItaCa Fest is back again, and ready for 2023! As in the previous editions, = the Fest collects a wide range of topics and gives voice to a large number = of communities.=0A= =0A= The first date of the ItaCa Fest will be April 27, 2023 at 3 pm (Italian ti= me) featuring:=0A= =0A= 15:00 - Tobias Fritz,=0A= 15:40 - Elena Di Lavore=0A= 16:20 - Davide Trotta=0A= =0A= The zoom link is the following: https://stockholmuniversity.zoom.us/j/68792= 232558=0A= While the Fest website is this one: https://progetto-itaca.github.io/pages/= fest22.html=0A= =0A= The Fest will continue with other meetings in May, June, September, October= and November, with other amazing speakers, such as Awodey, Escardo, Freni,= Gambino, Henry, Koudenburg, Menni, Guffanti, Wrigley, Volpe.=0A= =0A= Join us (and bring a friend)!=0A= =0A= Cheers,=0A= Beppe, Ivan, Fosco, Paolo and Greta.= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

HoTT 2023: registration open
by Steve Awodey 07 Apr '23

07 Apr '23

[Apologies for duplicate emails] *** HoTT 2023 *** Second International Conference on Homotopy Type Theory *** Carnegie Mellon University *** 22nd-25th May 2023 Registration for the Second International Conference on Homotopy Type Theory is now open. The conference will take place from the morning of Monday 22nd May to the evening of Thursday 25th May 2023 at Carnegie Mellon University in Pittsburgh. You can register via the website https://hott.github.io/HoTT-2023//registration/ The deadline for early registration is 1st May 2023. The deadline for registration is 14th May 2023. There is some NSF funding available to support participation of students, which can cover registration, travel, and accommodation expenses. To apply, please follow the instructions on the registration page. With best regards, Steve (on behalf of the Scientific and Organising Committees) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0