18 - 19 December 2019, "Formalization of Proofs, Formalisation of Programs", Paris, France

The workshop intends to reconsider the relations or lack thereof between Computer science and mathematics. Whereas, originally, mathematics was used to provide a disciplinary identity to computing, today, this is clearly no longer the case, and this makes urgent to rethink the possible relations between the two fields. The workshop aim to do it by studying notions and practices of formalization and computation in both contexts.

The workshop results from a collaboration between two ANR research projects: the FFIUM Project and the PROGRAMme project.