L'ENS Rennes partenaire de TTL 2015

Campus de Beaulieu IRISA - Rennes

Tools for Teaching Logic : 4e conférence Internationale sur l'enseignement de la logique.

Thématique(s)

Recherche - Valorisation

Partenaires

• École normale supérieure de Rennes
• INRIA
• Institut de Recherche en Informatique et Systèmes Aléatoires
• Research group Logica
• Vienna Center for Logic and Algorithms
• Université Rennes 1
• Société informatique de France
• Committee on Logic Education of the Association of Symbolic Logic
• École supérieure du professorat et de l'éducation Bretagne

Contact

François Schwarzentruber