Ecumenical meeting @ UCL

[Elaine Pimentel]

Dear colleagues,

On March 2-3 we will have the first of what we are calling "ecumenical meetings". 

Ecumenical systems refer, in a broad sense, to proof systems for combining logics. This series of meetings aims at discussing the basics about logic, proof systems and their combination.

The webpage with informations can be accessed here:

https://sites.google.com/view/ecumenicalmeeting/home

Please feel free to register if you plan to attend. The event will be local, live and with no recording of any kind.

The second meeting will take place in Buenos Aires, as part of CLMPST 2023.

Best regards,
--

Elaine.
-----------------------------------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London

https://sites.google.com/site/elainepimentel/
-----------------------------------