Workshop: Workshop on Realistic Program Verification
When: Dec. 2, 2015, 10:00-16:00
Where: Radboud University Nijmegen, The Netherlands
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.