[Haskell] ARiSVe 2013 final call for papers

2013-03-04 Thread Andrei Paskevich
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

2013-03-04 Thread Jeremy . Gibbons
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