ADG 2016
ADG 2016
Différences entre les versions de « Co-located event »
De ADG 2016
(Page créée avec « = Computer Assisted Theorem Proving for the Education = == June 30, 2016, Stasbourg == The goal of this session is to bring together specialist of interactive and automat... ») |
|||
Ligne 6 : | Ligne 6 : | ||
'''Organizer:''' Julien Narboux | '''Organizer:''' Julien Narboux | ||
− | Confirmed | + | Confirmed participants: |
* Vincent Pavan (University of Provence) | * Vincent Pavan (University of Provence) | ||
− | * Benoit Rognier ( | + | * Benoit Rognier ([http://edukera.com edukera.com]) |
Version du 15 mars 2016 à 11:29
Computer Assisted Theorem Proving for the Education
June 30, 2016, Stasbourg
The goal of this session is to bring together specialist of interactive and automatic theorem proving and specialist of mathematics education.
Organizer: Julien Narboux
Confirmed participants:
- Vincent Pavan (University of Provence)
- Benoit Rognier (edukera.com)