[TYPES/announce] 1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25)

[Frédéric Blanqui]

-------------------------------------------------------------------------------------------------------------

*1st International School on Logical Frameworks
                    and Proof Systems Interoperability (LFPSI'25) *

https://urldefense.com/v3/__https://europroofnet.github.io/LFPSI25/__;!!IBzWLUs!XULjj4NDGOLoIIVCsbzbeXxf_v86MFGtK6t_7Ry_TRsArBRzvWe8Xdx_w_ZruJPoxpy8RtwDCRNmVx6gJeElzueEXuASX-b9xmfGEx9pj-w$ 

                                       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://urldefense.com/v3/__https://blanqui.gitlabpages.inria.fr/__;!!IBzWLUs!XULjj4NDGOLoIIVCsbzbeXxf_v86MFGtK6t_7Ry_TRsArBRzvWe8Xdx_w_ZruJPoxpy8RtwDCRNmVx6gJeElzueEXuASX-b9xmfGkRdAioY$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250303/ff32e834/attachment.htm>