Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022
@ 2022-03-27 16:27 Anders Mortberg
  0 siblings, 0 replies; only message in thread
From: Anders Mortberg @ 2022-03-27 16:27 UTC (permalink / raw)
  To: types-announce, Homotopy Type Theory

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

We are organizing a workshop on Syntax and Semantics of Type Theories in
Stockholm, Sweden, on May 20-21, 2022:

https://europroofnet.github.io/wg6-kickoff-stockholm/

The event is intended as a kick-off meeting for working group 6 on type
theory of the EuroProofNet EU Cost Action:

https://europroofnet.github.io/wg6/

The programme will consist primarily of short talks, with plenty of time
for discussion to share recent results, and co-ordinate future research,
including collaboration towards deliverables. On the Sunday after the
workshop, there will be an informal social excursion — details TBA. The
meeting will be in-person.
# Confirmed speakers (more TBA)

* András Kovacs
* Andrej Bauer
* Anja Petkovic Komel
* Ivan Di Liberti
* Jonathan Sterling
* Taichi Uemura
* Théo Winterhalter

# Deadlines

Contributed talks deadline: *Monday 11 April*
Funding request deadline: *Monday 11 April*
Participation registration deadline: *Friday 13 May*

To register please fill out the form linked to on the event webpage.

# Organisers

* Benedikt Ahrens (TU Delft & University of Birmingham)
* Peter LeFanu Lumsdaine (Stockholm University)
* Anders Mörtberg (Stockholm University)

-- 
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/CAMWCpp%3De5gMPKPYtgbXvzXB%3Df_7Wd_xM5krpVuXYdGY87%3D6gKw%40mail.gmail.com.

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

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

only message in thread, other threads:[~2022-03-27 16:28 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-03-27 16:27 [HoTT] Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022 Anders Mortberg

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).