Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] 1st Call for Contributions and Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025
@ 2025-01-14 11:35 Jacopo Emmenegger
  0 siblings, 0 replies; only message in thread
From: Jacopo Emmenegger @ 2025-01-14 11:35 UTC (permalink / raw)
  To: HomotopyTypeTheory

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

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

only message in thread, other threads:[~2025-01-14 11:36 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-01-14 11:35 [HoTT] 1st Call for Contributions and Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025 Jacopo Emmenegger

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