Chères et chers collègues, nous avons le plaisir de vous inviter à l’atelier « Truth, proof and communication », organisé de manière jumelée par le projet ERC EXPRESS[1] (n. projet: 758540) et l'Institut d'histoire et de Philosophie des Sciences et des Techniques (IHPST[2], UMR 8590).
L'atelier réunit des chercheurs de l'Institute for Logic Language and Computation (ILLC) de l'Université d'Amsterdam et des chercheurs de l'IHPST. Il aura lieu en ligne les 21 et 22 juin, de 14h à 18h, avec trois exposés par jour. Chaque exposé durera une heure, discussion incluse. Des pauses sont prévues à la fin de chaque exposé. PROGRAMME _21 June_ 14h00-15h00, Aybüke Özgün (ILLC): « Truthmaker semantics of epistemic logic » 15h30-16h30, Francesco Genco (IHPST): « Grounding, quantifiers, and paradoxes » 17h00-18h00, Leïla Bussière-Caraes (ILLC): « Communicating with colourings » _22 June_ 14h00-15h00, Yuta Takahashi (IHPST): « Fixed point operators: from proof-theoretic semantics to computability » 15h30-16h30, Giorgio Sbardolini (ILLC): « Common knowledge and coordination » 17h00-18h00, Francesca Poggiolesi (IHPST): « Mathematical explanations: a rigorous analysis via proofs and complexity » La participation est libre et ouverte à tous. Pour s'enregistrer et obtenir les liens de connexion Zoom, nous vous prions de remplir le formulaire qui se trouve ici[3]. Bien cordialement, Luca Incurvati, Alberto Naibo et Francesca Poggiolesi Liens: ------ [1] https://inferentialexpressivism.com [2] https://ihpst.pantheonsorbonne.fr [3] https://docs.google.com/forms/d/e/1FAIpQLSc8aZPh7ufSxypLac2wILqXVGkywZLSRRi7xlIbFb-EkX9CVw/viewform -- -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html
