* [HoTT] Registration open - EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023
@ 2023-02-10 12:36 Jacopo Emmenegger
0 siblings, 0 replies; only message in thread
From: Jacopo Emmenegger @ 2023-02-10 12:36 UTC (permalink / raw)
To: Homotopy Type Theory
[-- Attachment #1.1: Type: text/plain, Size: 2010 bytes --]
The registration form, which includes the options to submit a talk proposal
and to apply for funding, is now live on the website.
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.
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
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.
To register please follow the link on the event's webpage. A limited amount
of funding is available to reimburse expenses. The registration form
includes the options to submit a talk proposal and to apply for funding.
Submission of talk proposals: Monday 27 February
Author notification: Tuesday 7 March
Funding requests: Thursday 19 March
Registration: Friday 7 April
Jacopo Emmenegger (University of Genoa)
Paige Randall North (Utrecht University)
Anja Petković Komel (TU Wien)
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 HomotopyTypeTheoryfirstname.lastname@example.org.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/31525d18-3f4b-495f-8300-e1151012aaf2n%40googlegroups.com.
[-- Attachment #1.2: Type: text/html, Size: 2419 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-02-10 12:36 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-02-10 12:36 [HoTT] Registration open - 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).