Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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)

Date: 29 June - 1 July 2015
Location: Koenigswinter (Germany)
Deadline: 26 January 2015

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 .

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.