Reminder: the deadline to contribute a talk and applying for funding to
participate in the workshop on type theory here in Stockholm is *Monday
next week (11 April)*. For details see the email below.

The meeting is open to anyone interested in type theory and the program
will consist primarily of short talks, with plenty of time for discussions
to share recent results, and co-ordinate future research. Everyone is very
welcome to apply for funding regardless of whether one is contributing a
talk or not. Priority will then be given to speakers, participants from
“Inclusiveness Target Countries”, early-career researchers, and women
(following the EU COST inclusiveness policy, details here
<https://www.cost.eu/about/cost-strategy/excellence-and-inclusiveness/>).

Best,
Anders


On Sun, Mar 27, 2022 at 6:27 PM Anders Mortberg <andersmortberg@gmail.com>
wrote:

> 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/CAMWCppm3JO5mAjv_rz7SVQZRr0c5bDxjFYuS3LN0zHOc%2B3w_pg%40mail.gmail.com.