Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023
@ 2023-01-25 18:16 Jacopo Emmenegger
  0 siblings, 0 replies; only message in thread
From: Jacopo Emmenegger @ 2023-01-25 18:16 UTC (permalink / raw)
  To: Homotopy Type Theory

[-- Attachment #1.1: Type: text/plain, Size: 2135 bytes --]

The **second meeting of Working Group 6 of EuroProofNet** will take place 
in Vienna, Austria, on 24-25 April 2023. 

It is colocated with the Workshop on Homotopy Type Theory/Univalent 
Foundations (HoTT/UF), which takes place on 22-23 April 2023. 
<https://hott-uf.github.io/2023/> <https://hott-uf.github.io/2023/> 

The aim of this meeting series is to bring together researchers working on 
the topics of WG6. The main focus is thus on the syntax and semantics of 
type theory. 
<https://europroofnet.github.io/wg6/> <https://europroofnet.github.io/wg6/> 

We invite submission of talk proposals (about 1 paragraph). The programme 
will consists mainly of short talks, and plenty of time for discussion. The 
meeting will be in person and is open to anyone interested in type theory. 

Registration will be open soon. To register please follow the link on the 
event's webpage. A limited amount of funding is available to reimburse 
expenses. The application for funding will be open together with 

**Invited speakers** 
Daniel Gratzer 
Ambroise Lafont 
Anders Mörtberg 
Loïc Pujet 

**Deadlines** (AoE) 
Submission of talk proposals: Monday 27 February 
Author notification: Tuesday 7 March 
Funding requests: Thursday 19 March 
Registration: Friday 7 April 

**Scientific Organisers** 
Jacopo Emmenegger (University of Genoa) 
Paige Randall North (Utrecht University) 

**Local Organiser** 
Anja Petković Komel (TU Wien) 

Jacopo Emmenegger 
Postdoctoral research fellow 
Dipartimento di Matematica (DIMA) 
Università degli Studi di Genova 
Genova 16146, Italy 

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/d5c5864a-1248-48a5-9579-9f844853fac0n%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 2852 bytes --]

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

only message in thread, other threads:[~2023-01-25 18:16 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-01-25 18:16 [HoTT] EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023 Jacopo Emmenegger

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