Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Reminder: Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21 (contributed talk and funding deadline Monday 11 April)
@ 2022-04-08 13:43 Anders Mortberg
  0 siblings, 0 replies; only message in thread
From: Anders Mortberg @ 2022-04-08 13:43 UTC (permalink / raw)
  To: types-announce, Homotopy Type Theory

[-- Attachment #1: Type: text/plain, Size: 2603 bytes --]

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.

[-- Attachment #2: Type: text/html, Size: 4052 bytes --]

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

only message in thread, other threads:[~2022-04-08 13:44 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-04-08 13:43 [HoTT] 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

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