Description

It will address some of the philosophical issues raised by linear logic such as the computational foundations of logic, the problem of proof representation, and the interface between logic and physics.

Localization

The workshop will take place in amphi Huvelin de l'Université Lyon 3.

Invited speakers

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