Pierre Cartier
Institut des Hautes Etudes Scientifiques, Bures-sur-Yvettes, France
Ceci n’est pas une démonstration ! QED

Romina Padro
City University of New York, USA
On Inferring: the Adoption Problem and the Epistemology of Logic

Jean-Yves Beziau
Universidade do Brasil, Rio de Janeiro
MANY 1 - A Transversal Imaginative Journey across the Realm of Mathematics

Mark van Atten
SND, CNRS, Paris Sorbonne
On the acceptability of Kripke's Schema

David Makinson
London School of Economics, England
The relevance logic programme: dead or just stalled?

Saul Kripke
City University of New York, USA
A Model Theoretic Approach to Gödel's Theorem

Maria Giulia Dondero
Université de Liège et FNRS, Belgique
L'image peut-elle nier?

Julie Brumberg-Chaumont
CNRS, Paris, France and European University Institute, Florence, Italy
L'hylémorphisme logique au XIIIe siècle latin

Ricardo Silvestre
Universidade Federal de Campina Grande, Brasil
In which sense logic is philosophical?

Silvia de Toffoli
Stanford University, USA
Thinking with Diagrams in Mathematics