Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] First announcement: Workshop Categorical Logic and Higher Categories
@ 2024-07-16 11:21 Giacomo Tendas
  0 siblings, 0 replies; only message in thread
From: Giacomo Tendas @ 2024-07-16 11:21 UTC (permalink / raw)
  To: categories, algtop-l, HomotopyTypeTheory

[-- Attachment #1: Type: text/plain, Size: 1869 bytes --]

*** Workshop Categorical Logic and Higher Categories
*** University of Manchester (UK)
*** Monday 16th December to Thursday 19th December 2024

Dear colleagues and friends,

This is a first announcement of the workshop "Categorical Logic and Higher
Categories”, to be held at the University of Manchester (UK) from Monday
16th December to Thursday 19th December 2024. The workshop is generously
supported by the Dame Kathleen Ollerenshaw Trust.

The workshop will bring together researchers in Higher Category Theory,
Homotopical Algebra, Categorical Logic, Topos Theory, Homotopy Type Theory,
Univalent Foundations, and Model Theory, so as to promote
cross-fertilisation between these subjects and inspire future developments.

Confirmed invited speakers:

Denis-Charles Cisinski (University of Regensburg)
Ivan Di Liberti (University of Gothenburg)
Jonas Frey (Carnegie Mellon University)
Nick Gurski (Case Western Reserve University)
Mark Kamsma (Masaryk University)
Mike Lieberman (Brno University of Technology)
Ieke Moerdijk (University of Utrecht)
Martina Rovelli (University of Massachusetts Amherst)
Paula Verdugo (Johns Hopkins University)
Joshua Wrigley (Queen Mary University of London)

The workshop website is:

https://gtendas.github.io/clhc/

We will write again with further details and information on registration in
the autumn.

With best regards,
Giacomo Tendas (also on behalf of Nicola Gambino)

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAPU2sowRsZi1dJRxxPQDvAUfvCMy%3DJS0FCo7XTRtqhc_qLYedQ%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 2286 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2024-07-16 11:21 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-07-16 11:21 [HoTT] First announcement: Workshop Categorical Logic and Higher Categories Giacomo Tendas

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).