[Hol-info] ITP2019: Call for Workshops - DEADLINE EXTENDED

2018-12-12 Thread O'Leary, John W
ITP2019: Interactive Theorem Proving, Tenth International Conference September 8-13 2019, Portland, OR, USA http://itp19.cecs.pdx.edu it...@cecs.pdx.edu CALL FO

[Hol-info] ITP2019: Call for Workshops

2018-09-20 Thread O'Leary, John W
ITP2019: Interactive Theorem Proving, Tenth International Conference September 8-13 2019, Portland, OR, USA http://itp19.cecs.pdx.edu it...@cecs.pdx.edu CALL FO