Atelier international de logique / International logic workshop Paris, 13-14 Mai 2014 Université Paris-Sorbonne Programme 13 Mai 2014 – Matin…