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.

3-5 July 2006, MPC06: Mathematics of Program Construction, Kurassaare, Estonia

Date: 3-5 July 2006
Location: Kurassaare, Estonia

The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems.

MPC'06 is colocated with AMAST'06. For more information,see http://cs.ioc.ee/mpc-amast06/mpc/ or the joint MPC/AMAST'06 page at http://cs.ioc.ee/mpc-amast06/.

Please note that this newsitem has been archived, and may contain outdated information or links.