Please note that this newsitem has been archived, and may contain outdated information or links.
29 June - 1 July 2015, 12th International Conference on Mathematics of Program Construction (MPC 2015), Koenigswinter (Germany)
The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted.
For more information, see http://www.cs.ox.ac.uk/conferences/MPC2015/ or email jv at informatik.uni-bonn.de.
Papers are solicited on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. The notion of "program" is broad, from algorithms to hardware. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. Deadline for submission of abstracts: 26 January 2015.
Please note that this newsitem has been archived, and may contain outdated information or links.