[pl-seminar] Interest in Coq seminar?

[mulhern <mulhern@xxxxxxxxxxx>]

Hi!

Is there any interest in a Coq seminar similar to the one I conducted  
last semester (http:www.cs.wisc.edu/~mulhern/coqtalks).
Each meeting would be an hour and a half instead of an hour as last  
semester. Also, I would use the Coq 8.2 beta version rather than  
8.1pl3 (the version currently available through godi).
If you are interested, please let me know and also indicate times  
that would be good for you.
Thanks!

- mulhern