From: Jacopo Emmenegger <op.emmen@gmail.com>
To: HomotopyTypeTheory@googlegroups.com
Subject: [HoTT] 1st Call for Contributions and Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025
Date: Tue, 14 Jan 2025 12:35:52 +0100 [thread overview]
Message-ID: <6929cb26-a230-4701-adad-58eea9b5cfb3@gmail.com> (raw)
--------------------------------------------------------------------------------------------------
1st Call for Contributions and Participation
4th meeting of Working Group 6 of the EuroProofNet COST Action
Genoa, Italy, 17-18 April 2025
--------------------------------------------------------------------------------------------------
The fourth meeting of Working Group 6 of the EuroProofNet COST Action
will take place in Genoa, Italy, on 17-18 April 2025.
<https://europroofnet.github.io/wg6-genoa/>
Co-located with the Workshop on Homotopy Type Theory and Univalent
Foundations (HoTT/UF), which takes place on 15-16 April 2025.
<https://hott-uf.github.io/2025/>
The aim of this meeting series is to bring together researchers working
on the topics of WG6.
<https://europroofnet.github.io/wg6/>
We invite submissions of talk proposals on the syntax and semantics of
type theories. This includes, but is not limited, to the goal of WG6: to
develop a comprehensive theory of type theories, which (i) accounts for
its domain-specific variants and the type theories currently used in
proof assistants, and (ii) allows for the modular reasoning about their
syntax and semantics.
The meeting will be held in person with support for remote participation.
Registration is open. To register please follow the link on the event's
webpage.
A limited amount of funding is available to reimburse expenses. Funding
requests can be submitted during registration. Selection will be based
on EPN guidelines, please see the website for further information.
**Invited speakers**
Francesco Gavazzo (Università di Padova)
Thomas Lamiaux (Nantes Université)
Paige Randall North (Universiteit Utrecht)
TBA
**Deadlines (AoE)**
Submission of talk proposals: Friday 28 February
Author notification: Tuesday 4 March
Funding request: Friday 7 March
Registration: Friday 28 March
**Organisers**
Francesco Dagnino (Università di Genova)
Jacopo Emmenegger (Università di Genova)
--
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 visit https://groups.google.com/d/msgid/HomotopyTypeTheory/6929cb26-a230-4701-adad-58eea9b5cfb3%40gmail.com.
reply other threads:[~2025-01-14 11:36 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=6929cb26-a230-4701-adad-58eea9b5cfb3@gmail.com \
--to=op.emmen@gmail.com \
--cc=HomotopyTypeTheory@googlegroups.com \
/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).