[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