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
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