[SMT-LIB] BOOGIE 2011: Extended deadline

[Michal Moskal]

Dear Colleagues,



We have extended the deadline for BOOGIE 2011 (First International Workshop
on Intermediate Verification Languages) to May 6th (Friday). The submission
site and full CFP can be accessed at:



http://research.microsoft.com/en-us/um/people/moskal/boogie2011/





Thanks,

Michal and Rustan