Nicolas MagaudProfesseur des Universités - Université de Strasbourg
Courriels/E-mails:magaud @ unistra.fr, nicolas.magaud @ ens-lyon.org |
|
|
|
|
|
|
I am a member of the working groups WG1 (Tools for interoperability of proof systems), WG2 (Automated theorem provers) and WG4 (Libraries of formal proofs).