The 2015 ACL2 Workshop will be held in Austin, Texas, USA, in conjunction with (and immediately following) FMCAD 2015. We invite users of ACL2, users of other theorem provers, and persons interested in the applications of theorem proving technology to attend. Keynote talks will be given by J Strother Moore and John O'Leary.
10月01日
2015
10月02日
2015
注册截止日期
留言