MPC 2015

From Openresearch
Jump to: navigation, search
MPC 2015
12th International Conference on Mathematics of Program Construction
Event in series MPC
Dates 2015/06/29 (iCal) - 2015/07/01
Homepage: http://www.cs.ox.ac.uk/conferences/MPC2015
Location
Location: Königswinter, Germany
Loading map...

Papers: Submitted 20 / Accepted 15 (75 %)
Committees
Organizers: Ralf Hinze, Janis Voigtländer, José Pedro Magalhães, Maciej Piróg, Nicolas Wu
PC members: Ralf Hinze, Eerke Boiten, Jules Desharnais, Lindsay Groves, Zhenjiang Hu
Table of Contents