CFP: WADT 2016 - 23rd International Workshop on Algebraic Development
Techniques (extended deadline)
Link: http://cs.swan.ac.uk/wadt16/
WhenSep 21, 2016 - Sep 24, 2016
Where Gregynog, UK
Submission Deadline June 17, 2016 (extended)
Notification
I’m presently looking (with Simon Thompson) for two Post Docs to work on a
CakeML and HOL related project. The posts last for 3.5 years and are at the
University of Kent in Canterbury, England. Applications are due by *12 June,
2016*.
Here is a brief description of the project:
Trustworthy