[TYPES/announce] WORKSHOP on DOCTRINES and FIBRATIONS, May 29 - June 1, 2023 -dedicated to W. Lawvere
Maria Emilia Maietti
maietti at math.unipd.it
Mon Apr 17 12:33:53 EDT 2023
==============================================
CALL FOR PARTICIPATION
===============================================
WORKSHOP on DOCTRINES and FIBRATIONS
May 29 - June 1, 2023
Department of Mathematics, University of Padova, Padova, Italy
Conference website https://urldefense.com/v3/__https://events.math.unipd.it/WDF2023/__;!!IBzWLUs!Xt7xS5MWXkrTCcrKhJdQJfWvJBJrsT9O91ezoNvEUpGCW5XmYe7hLsSEvIZCsPxRtl3tqEw_ZBIqdcvJqMaVkkH4FSrZvfvfBBw$
==============================================
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 (University of Birmingham, UK)
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 at 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 at 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)
=============================================================
More information about the Types-announce
mailing list