* [HoTT] 1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25)
@ 2025-03-03 16:52 Frédéric Blanqui
0 siblings, 0 replies; 2+ messages in thread
From: Frédéric Blanqui @ 2025-03-03 16:52 UTC (permalink / raw)
To: coq-club, agda, why3-club, eutypes, pvs, types-announce,
mizar-forum, cl-isabelle-users, categories, prooftheory, fom,
HomotopyTypeTheory, maude-users
[-- Attachment #1: Type: text/plain, Size: 1796 bytes --]
-------------------------------------------------------------------------------------------------------------
*1st International School on Logical Frameworks
and Proof Systems Interoperability (LFPSI'25) *
https://europroofnet.github.io/LFPSI25/
8-11 September 2025
Institut Pascal, 530 Rue André Rivière, 91400 Orsay, France
-------------------------------------------------------------------------------------------------------------
The COST action EuroProofNet is happy to announce that the organization
of the 1st international school on logical frameworks and proof systems
interoperability (LFPSI) in September 2025 in Orsay, France.
_Programme:_
- *Ambrus Kaposi*, Second-order generalized algebraic theories
- *Andrej Bauer*, Programming language techniques for proof assistants
- *Florian Rabe*, Modular logic design
- *Frédéric Blanqui*, λΠ-calculus modulo rewriting: theory and
application to proof systems interoperability
Registration is free but mandatory. EuroProofNet can fund a number of
participants.
_Important dates:_
- May 25: deadline for funding requests
- June 1st: notification
--
Frédéric Blanqui
Research director at INRIA
Chair of EuroProofNet
https://blanqui.gitlabpages.inria.fr/
--
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/96c4a034-d067-4b8c-9951-41e11379c865%40inria.fr.
[-- Attachment #2: Type: text/html, Size: 2858 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* [HoTT] 1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25)
[not found] <317d54a8-866f-495c-a298-7735506a10dd@inria.fr>
@ 2025-05-07 21:22 ` Frédéric Blanqui
0 siblings, 0 replies; 2+ messages in thread
From: Frédéric Blanqui @ 2025-05-07 21:22 UTC (permalink / raw)
To: coq-club, agda, types-announce, HomotopyTypeTheory, eutypes,
categories, prooftheory, fom, isabelle-users, folli, maude-users,
pvs
[-- Attachment #1: Type: text/plain, Size: 1679 bytes --]
-------------------------------------------------------------------------------------------------------------
*1st International School on Logical Frameworks
and Proof Systems Interoperability (LFPSI'25) *
https://europroofnet.github.io/LFPSI25/
8-11 September 2025
Institut Pascal, 530 Rue André Rivière, 91400 Orsay, France
-------------------------------------------------------------------------------------------------------------
The COST action EuroProofNet is happy to announce that the organization
of the 1st international school on logical frameworks and proof systems
interoperability (LFPSI) in September 2025 in Orsay, France.
_Programme:_
- *Ambrus Kaposi*, Second-order generalized algebraic theories
- *Andrej Bauer*, Programming language techniques for proof assistants
- *Florian Rabe*, Modular logic design
- *Frédéric Blanqui*, λΠ-calculus modulo rewriting: theory and
application to proof systems interoperability
Registration is free but mandatory. EuroProofNet can fund a number of
participants.
_Important dates:_
- May 25: deadline for funding requests
- June 1st: notification
--
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/4d0f48a3-f9ed-408f-a546-7415adbc9a06%40inria.fr.
[-- Attachment #2: Type: text/html, Size: 2901 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2025-05-07 21:22 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-03-03 16:52 [HoTT] 1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25) Frédéric Blanqui
[not found] <317d54a8-866f-495c-a298-7735506a10dd@inria.fr>
2025-05-07 21:22 ` [HoTT] 1st International School on Logical Frameworks " Frédéric Blanqui
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).