1st Ecumenical meeting @UCL
17 views
Skip to first unread message
Elaine Pimentel
Feb 17, 2023, 11:26:19 AM2/17/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Prezados colegas,
--
Resolvemos abrir o evento para participação remota. Segue o anúncio:
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://sites.google.com/view/ecumenicalmeeting/homePlease register if you plan to attend:
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://sites.google.com/view/ecumenicalmeeting/homePlease register if you plan to attend:
https://forms.gle/2LP2xomSLAPtFbgT7
The event will be broadcasted live but not recorded.
Best regards,
Best regards,
Elaine.
-----------------------------------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
-----------------------------------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
Reply all
Reply to author
Forward
0 new messages