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

Anders Mortberg andersmortberg at gmail.com
Fri Apr 8 09:43:24 EDT 2022


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://urldefense.com/v3/__https://www.cost.eu/about/cost-strategy/excellence-and-inclusiveness/__;!!IBzWLUs!COIgzJXLn4eOcvtnmpH5Sq0RZksu0_Yqbr78KvPPwz79F3QQtmZKyQhuOZetgXOgiFY0neYsVymNnw$ >).

Best,
Anders


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

> We are organizing a workshop on Syntax and Semantics of Type Theories in
> Stockholm, Sweden, on May 20-21, 2022:
>
> https://urldefense.com/v3/__https://europroofnet.github.io/wg6-kickoff-stockholm/__;!!IBzWLUs!COIgzJXLn4eOcvtnmpH5Sq0RZksu0_Yqbr78KvPPwz79F3QQtmZKyQhuOZetgXOgiFY0neb2ht-NwQ$ 
>
> The event is intended as a kick-off meeting for working group 6 on type
> theory of the EuroProofNet EU Cost Action:
>
> https://urldefense.com/v3/__https://europroofnet.github.io/wg6/__;!!IBzWLUs!COIgzJXLn4eOcvtnmpH5Sq0RZksu0_Yqbr78KvPPwz79F3QQtmZKyQhuOZetgXOgiFY0neY9WU9W1A$ 
>
> 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)
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220408/34168278/attachment.htm>


More information about the Types-announce mailing list