“Inférences et démonstrations” / “Inferences and proofs”
31 Mai – 1 Juine / May 31 – June 1
Université d'Aix-Marseille, site St. Charles, FRUMAM 3 place Victor Hugo - case 39
13331 - Marseille Cedex 03
Liste des conférenciers / Speakers' list
Miloš Adžić (University of Belgrade)
Cesare Cozzo ("La Sapienza" University of Rome) Gabriella Crocco (Aix-Marseille University)
Kosta Došen (University and Mathematical Institute of Belgrade) Nissim Francez (Technion Israel Institute of Technology)
Per Martin-Löf (Stockholm University) Dag Prawitz (Stockholm University)
Peter Schröder-Heister (Tübingen University) Goran Sundholm (Leyden University)
Luca Tranchini (Tübingen University) Gabriele Usberti (Siena University)
S'enregistrer pour assister / Sign to attend antpiccdarag@gmail.com / +33668927409