The Coq mailing list

[Julien Tesson <julien.tesson AT lacl.fr>]

Hello everyone,

A lot interesting things have been presented at the coq workshop at Vienna 
this summer and
I was wondering if the slides could be gathered online somewhere as they will 
be of interest for all those who where not able to attend to the workshop, 
and for those who's memory was hindered by summer holidays !

Best regards,
Julien