[Haskell] Mathematics of Program Construction (MPC 2015): final call for papers

2015-01-15 Thread José Pedro Magalhães
Apologies for multiple copies. FINAL CALL FOR PAPERS 12th International Conference on Mathematics of Program Construction, MPC 2015 Königswinter, Germany, 29 June - 1 July 2015 http://www.cs.ox.ac.uk/conferences/MPC2015/ BACKGROUND The MPC conferences aim to promote the development of mathemat

[Haskell] Two research assistantships in model-driven engineering and semantic technologies, University of Oxford

2015-01-15 Thread Jeremy Gibbons
We have two positions open in the Programming Languages and Software Engineering Research Group, for research assistants (postdocs) in model-driven engineering and semantic technologies. The positions are associated with the EU-funded “ALIGNED: Quality-Centric Software and Data Engineering” proj