[SMT-LIB] BOOGIE 2011: Extended deadline

Michal Moskal michal.moskal at gmail.com
Sun May 1 00:18:53 EDT 2011


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


More information about the SMT-LIB mailing list