ELS 2016 first invited speaker announced!
By Didier Verna on Tuesday, October 20 2015, 10:59 - Lisp - Permalink
We're happy to announce our first invited speaker for the next European Lisp Symposium (May 9-10 2016, Krakow, Poland). Pierre Castéran (University of Bordeaux, France) will be speaking about program proof and synthesis with Coq. All the details are already on the website...
Comments
When someone writes an piece of writing he/she keeps the image
of a user in his/her brain that how a user can be aware of it.
Therefore that's why this article is outstdanding. Thanks!