Workshop: Workshop on Realistic Program Verification

When: Dec. 2, 2015, 10:00-16:00

Where: Radboud University Nijmegen, The Netherlands

Who: other:

Program verification is a very attractive research area that is slowly becoming more mainstream and applied to realistic programming languages and industrially sized problems. This workshop brings together researchers in the Netherlands with international researchers in this field. It will take place the day after the PhD defense of Robbert Krebbers, whose
thesis is on a formalization of the C standard in Coq.

More information