March 2--3 and July 26 2023
Ecumenical meetings
at UCL and Buenos Aires
Ecumenical systems refer, in a broad sense, to proof systems for combining logics.
Ecumenical systems refer, in a broad sense, to proof systems for combining logics.
This is the first ecumenical meeting, and it aims at discussing the basics about logic, proof systems and their combination.
This is the first ecumenical meeting, and it aims at discussing the basics about logic, proof systems and their combination.
The Speakers at UCL
The Speakers at UCL
Gilles Dowek
Gilles Dowek
Inria/ENS Saclay
Dale Miller
Dale Miller
INRIA-Saclay and LIX/Institut Polytechnique de Paris
Jean-Baptiste Joinet
Jean-Baptiste Joinet
Jean Moulin Lyon 3 University, IRPhiL et IXXI
Émilie Grienenberger
Émilie Grienenberger
CNRS & ENS Paris-Saclay
Iris van der Giessen
Iris van der Giessen
University of Birmingham
Mattia Petrolo
Mattia Petrolo
UFABC
Alexander Gheorghiu
Alexander Gheorghiu
UCL
Matteo Tesi
Matteo Tesi
SNS Pisa
The Speakers at Buenos Aires
The Speakers at Buenos Aires
Ricardo Rodriguez
Ricardo Rodriguez
DC-FCEyN-UBA
Luiz Carlos Pereira
Luiz Carlos Pereira
UERJ
Jean-Baptiste Joinet
Jean-Baptiste Joinet
Jean Moulin Lyon 3 University, IRPhiL et IXXI
Elaine Pimentel
Elaine Pimentel
UCL
Marcelo Coniglio
Marcelo Coniglio
UNICAMP
Umberto Rivieccio
Umberto Rivieccio
Universidad Nacional de Educación a Distancia
Victor Nascimento
Victor Nascimento
UERJ
Renato Leme
Renato Leme
UNICAMP
The Venues
The Venues
Computer Science Department
Computer Science Department
University College London
University College London
66-72 Gower Street
66-72 Gower Street
Organizers:
Elaine Pimentel (UCL)
Luiz Carlos Pereira (UERJ)
Ricardo Rodriguez (DC-FCEyN-UBA)
Jean-Baptiste Joinet (Jean Moulin Lyon 3 University, IRPhiL et IXXI)