Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: Jacopo Emmenegger <op.emmen@gmail.com>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: [HoTT] Funding deadline: EuroProofNet WG6 meeting in Vienna
Date: Tue, 14 Mar 2023 07:05:38 -0700 (PDT)	[thread overview]
Message-ID: <cb006cc7-e6c8-45f2-bce2-e2114d834783n@googlegroups.com> (raw)

[-- Attachment #1.1: Type: text/plain, Size: 2070 bytes --]

This is a reminder to register for the EuroProofNet WG6 meeting in Vienna 
on 24-25 April. The application for funding is closing on Sunday 19 March.


The *second meeting of Working Group 6 of EuroProofNet* will take place in 
Vienna, Austria, on 24-25 April 2023. 

It is colocated with the Workshop on Homotopy Type Theory/Univalent 
Foundations (HoTT/UF), which takes place on 22-23 April 2023. 

The aim of this meeting series is to bring together researchers working on 
the topics of WG6. The main focus is thus on the syntax and semantics of 
type theory. 

We invite submission of talk proposals (about 1 paragraph). The programme 
will consists mainly of short talks, and plenty of time for discussion. The 
meeting will be in person and is open to anyone interested in type theory. 

To register please follow the link on the event's webpage. A limited amount 
of funding is available to reimburse expenses. The registration form 
includes the options to submit a talk proposal and to apply for funding.

*Invited speakers* 
Daniel Gratzer 
Ambroise Lafont 
Anders Mörtberg 
Loïc Pujet 

*Deadlines* (AoE) 
Submission of talk proposals: Monday 27 February 
Author notification: Tuesday 7 March 
Funding requests: Sunday 19 March 
Registration: Friday 7 April 

*Scientific Organisers* 
Jacopo Emmenegger (University of Genoa) 
Paige Randall North (Utrecht University) 

*Local Organiser* 
Anja Petković Komel (TU Wien) 

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/cb006cc7-e6c8-45f2-bce2-e2114d834783n%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 2487 bytes --]

                 reply	other threads:[~2023-03-14 14:05 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:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=cb006cc7-e6c8-45f2-bce2-e2114d834783n@googlegroups.com \
    --to=op.emmen@gmail.com \
    --cc=HomotopyTypeTheory@googlegroups.com \


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