December 02, 2015Workshop on Realistic Program Verification
Room: 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.

More information