Reminder: Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21 (contributed talk and funding deadline Monday 11 April)

81 views
Skip to first unread message

Anders Mortberg

unread,
Apr 8, 2022, 9:44:01 AM4/8/22
to types-a...@lists.seas.upenn.edu, Homotopy Type Theory
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). 

Best,
Anders


On Sun, Mar 27, 2022 at 6:27 PM Anders Mortberg <andersm...@gmail.com> wrote:
We are organizing a workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022:


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)

Reply all
Reply to author
Forward
0 new messages