From: Anders Mortberg <andersmortberg@gmail.com>
To: types-announce@lists.seas.upenn.edu,
Homotopy Type Theory <homotopytypetheory@googlegroups.com>
Subject: [HoTT] Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022
Date: Sun, 27 Mar 2022 18:27:53 +0200 [thread overview]
Message-ID: <CAMWCpp=e5gMPKPYtgbXvzXB=f_7Wd_xM5krpVuXYdGY87=6gKw@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1642 bytes --]
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/CAMWCpp%3De5gMPKPYtgbXvzXB%3Df_7Wd_xM5krpVuXYdGY87%3D6gKw%40mail.gmail.com.
[-- Attachment #2: Type: text/html, Size: 2544 bytes --]
reply other threads:[~2022-03-27 16:28 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAMWCpp=e5gMPKPYtgbXvzXB=f_7Wd_xM5krpVuXYdGY87=6gKw@mail.gmail.com' \
--to=andersmortberg@gmail.com \
--cc=homotopytypetheory@googlegroups.com \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).