Description

Elle traitera de certains enjeux philosophiques mis en avant par la logique linéaire comme les fondements calculatoires de la logique, le problème de la représentation des démonstrations et l'interface entre la logique et la physique.

Localisation

Le colloque aura lieu dans l'amphi Huvelin de l'Université Lyon 3.

Orateurs invités

• Jean-Baptiste Joinet (Lyon - France)
• Jean-Yves Girard (Marseille - France)
• Mitsu Okada (Tokyo - Japan)
• Mattia Petrolo (Paris - France)
• Paolo Pistone (Marseille - France)