[Haskell] ARiSVe 2013 final call for papers
Call For Papers 1st International Workshop on Automated Reasoning in Software Verification http://arisve2013.lri.fr Monday, June 10, 2013 Lake Placid, NY, USA Affiliated with CA
[Haskell] Research Assistantship at Oxford on Bidirectional Transformations
Postdoctoral Research Assistant "A THEORY OF LEAST-CHANGE FOR BIDIRECTIONAL TRANSFORMATIONS" Department of Computer Science, University of Oxford Applications are invited for a Research Fellowship on an EPSRC-funded project "A Theory of Least-Change for Bidirectional Transformations". The projec