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

Frédéric Blanqui <[email protected]> Mon, 3 Mar 2025 17:52:09 +0100
Newsgroups	gmane.comp.lang.agda,gmane.science.mathematics.logic.coq.club,gmane.comp.science.types.announce,gmane.comp.mathematics.mizar,gmane.science.mathematics.logic.isabelle.user,gmane.science.mathematics.categories,gmane.science.mathematics.prooftheory
Message-ID	<[email protected]>
This is a multi-part message in MIME format.
--===============4109551178432572825==
Content-Type: multipart/alternative;
 boundary="------------5wvCgVNWUpNfC4p8BbDOfvOj"
Content-Language: en-US

This is a multi-part message in MIME format.
--------------5wvCgVNWUpNfC4p8BbDOfvOj
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit

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

*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/

--------------5wvCgVNWUpNfC4p8BbDOfvOj
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit

<!DOCTYPE html>
<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>-------------------------------------------------------------------------------------------------------------</p>
    <p>                <b>1st International School on Logical
        Frameworks<br>
                           and Proof Systems Interoperability (LFPSI'25)
      </b><br>
    </p>
    <p>                        <a class="moz-txt-link-freetext" href="https://europroofnet.github.io/LFPSI25/">https://europroofnet.github.io/LFPSI25/</a><br>
    </p>
    <p>                                      8-11 September 2025<br>
    </p>
    <p>             Institut Pascal, 530 Rue André Rivière, 91400 Orsay,
      France<br>
    </p>
    <p>-------------------------------------------------------------------------------------------------------------</p>
    <p>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.<br>
    </p>
    <p><u>Programme:</u></p>
    <p>- <b>Ambrus Kaposi</b>, Second-order generalized algebraic
      theories<br>
    </p>
    <p>- <b>Andrej Bauer</b>, Programming language techniques for proof
      assistants</p>
    <p>- <b>Florian Rabe</b>, Modular logic design</p>
    <p>- <b>Frédéric Blanqui</b>, λΠ-calculus modulo rewriting: theory
      and application to proof systems interoperability<br>
    </p>
    <p>Registration is free but mandatory. EuroProofNet can fund a
      number of participants.<br>
    </p>
    <p></p>
    <p><u>Important dates:</u><br>
      - May 25: deadline for funding requests<br>
      - June 1st: notification<br>
    </p>
    <pre class="moz-signature" cols="72">-- 
Frédéric Blanqui
Research director at INRIA
Chair of EuroProofNet
<a class="moz-txt-link-freetext" href="https://blanqui.gitlabpages.inria.fr/">https://blanqui.gitlabpages.inria.fr/</a></pre>
  </body>
</html>

--------------5wvCgVNWUpNfC4p8BbDOfvOj--

--===============4109551178432572825==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Agda mailing list
[email protected]
https://lists.chalmers.se/mailman/listinfo/agda

--===============4109551178432572825==--