Events

e412

December 02, 2015

Workshop on Realistic Program Verification

Room: Radboud University Nijmegen, The Netherlands

10:00-16:00

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, whosethesis is on a formalization of the C standard in Coq.