MPC 2012 Publications & Conference Programme


Jeremy Gibbons and Pablo Nogueira (eds). Proceedings of the 11th International Conference on Mathematics of Program Construction.
Lecture Notes in Computer Science, Vol. 7342, Springer-Verlag

Jeremy Gibbons and Pablo Nogueira (eds). Special Issue on Mathematics of Program Construction 2012.
Science of Computer Programming, Vol. 85, Part 2B, Pages 101-240, Elsevier B.V.

Conference Programme

Monday 25th June

09:30 - 10:30Invited Talk
Gilles Barthe
Probabilistic relational Hoare logics for computer-aided security proofs
10:30 - 11:00Coffee break
11:00 - 12:30Security and Information Flow
Alexander Lux, Heiko Mantel and Matthias Perner
Scheduler-independent declassification
Carroll Morgan
Elementary probability theory in the Eindhoven style
12:30 - 14:00Lunch
14:00 - 15:30Synchronous and Real-Time Systems
Louis Mandel and Florence Plateau
Scheduling and buffer sizing of n-synchronous systems: typing of ultimately periodic clocks in Lucy-n
Brijesh Dongol and Ian J. Hayes
Deriving real-time action systems controllers from multiscale system specifications
15:30 - 16:00Coffee break
16:00 - 17:30Algorithms and Games
Ilya Sergey, Jan Midtgaard and Dave Clarke
Calculating graph algorithms for dominance and shortest path
Roland Backhouse
First-past-the-post games

Tuesday 26th June

09:30 - 10:30Invited Talk
Tony Hoare
The laws of programming unify process calculi
10:30 - 11:00Coffee break
11:00 - 12:30Program Calculi
Han-Hing Dang and Bernhard Möller
Reverse exchange for concurrency and local reasoning
Walter Guttmann
Unifying correctness statements
12:30 - 14:00Lunch
14:00 - 14:45Tool Support
Alasdair Armstrong, Simon Foster and Georg Struth
Dependently typed programming based on automated theorem proving
17:00 - 19:00Excursion

Wednesday 27th June

9:30 - 10:30Invited Talk
Dan Ghica
The geometry of synthesis: How to make hardware out of software
10:30 - 11:00Coffee break
11:00 - 12:30Algebras and Datatypes
Bernhard Möller, Patrick Roocks and Markus Endres
An algebraic calculus of database preferences
Patrick Bahr
Modular tree automata
12:30 - 14:00Lunch
14:00 - 15:30Categorical Functional Programming
Ross Paterson
Constructing applicative functors
Ralf Hinze
Kan extensions for program optimisation, or: Art and Dan explain an old trick
15:30 - 15:45PC Chairs' Report, closing, farewell
15:45 - 16:30Coffee