MPC 2019: 13TH INTERNATIONAL CONFERENCE ON MATHEMATICS OF PROGRAM CONSTRUCTION
PROGRAM

Days: Monday, October 7th Tuesday, October 8th Wednesday, October 9th

Monday, October 7th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 1: MPC Keynote
09:00
Experiments in Information Flow Analysis (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 2
10:30
Handling Local State with Global State (abstract)
11:10
Certification of Breadth-First Algorithms by Extraction (abstract)
11:50
Verified Self-Explaining Computation (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 3
14:00
Self-Certifying Railroad Diagrams, or: How to Teach Nondeterministic Finite Automata (abstract)
15:00-15:30Coffee Break
15:30-17:00 Session 4
15:30
How to Calculate with Nondeterministic Functions (abstract)
16:15
Setoid Type Theory --- A Syntactic Translation (abstract)
Tuesday, October 8th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 6: UTP Keynote
09:00
A Calculus for Concurrent and Sequential Programming (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 7
10:30
Cylindric Kleene Lattices for Program Construction (abstract)
11:10
A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning (abstract)
11:50
System F in Agda, for Fun and Profit (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 8: MPC Keynote
14:00
Verified Computations in Mathematical Proofs (abstract)
15:00-15:30Coffee Break
15:30-17:00 Session 9
15:30
An Analysis of Repeated Graph Search (abstract)
16:15
Shallow Embedding of Type Theory Is Morally Correct (abstract)
Wednesday, October 9th

View this program: with abstractssession overviewtalk overview

10:00-10:30Coffee Break
10:30-12:30 Session 11
10:30
En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad (abstract)
11:10
Completeness and Incompleteness of Synchronous Kleene Algebra (abstract)
11:50
Unraveling Recursion: Compiling an IR with Recursion to System F (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 12
14:00
The Mean-Tempered Keyboard: Coding with Asymmetric Numeral Systems (abstract)
15:00-15:30Coffee Break