[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 more information can be accessed here:
https://urldefense.com/v3/__https://sites.google.com/view/ecumenicalmeeting/home__;!!IBzWLUs!Ww_PTDVwcZPdSTH0yTqDnY_0t5jdsqgbBfxWiDG0lRWyWnahd0cQEbMrqXsg0SMQnGsWSiqPIeEpclYPNXmTb6GgdL42059KztEOFCHa$
Please register if you plan to attend:
https://urldefense.com/v3/__https://forms.gle/2LP2xomSLAPtFbgT7__;!!IBzWLUs!Ww_PTDVwcZPdSTH0yTqDnY_0t5jdsqgbBfxWiDG0lRWyWnahd0cQEbMrqXsg0SMQnGsWSiqPIeEpclYPNXmTb6GgdL42059KzjRQ7up7$
The event will be broadcasted live but not recorded.
Best regards,
--
Elaine.
-----------------------------------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!Ww_PTDVwcZPdSTH0yTqDnY_0t5jdsqgbBfxWiDG0lRWyWnahd0cQEbMrqXsg0SMQnGsWSiqPIeEpclYPNXmTb6GgdL42059KzvxYLIGO$
-----------------------------------
