------------------------------------------------------------------------------------------------------------- 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're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>