\n

URL:/NewsandEvents/Events/Conferences/newsitem/599
8/29-June---1-July-2015-12th-International-Confere
nce-on-Mathematics-of-Program-Construction-MPC-201
5-Koenigswinter-Germany-
END:VEVENT
END:VCALENDAR
The M PC conferences aim to promote the development of\n mathematical principles and techniques that are demonstrably\n practical and effective in the process of constructing computer\n progr ams, broadly interpreted.\n

\n \n \nFor more information, see\n http://www.cs.ox.ac.uk/conferences/ MPC2015/ or email\n jv < span class="at">at informatik.uni-bonn.de.\n

\n