Interactive theorem proving

PhD Internships @ AWS Automated Reasoning Group

Posted onAugust 24, 2019August 24, 2019AuthorClaudia Cauli

The Automated Reasoning Group, ARG, is looking for new PhD Interns with flexible start dates in 2020! Email CV to arg-intern-interest@amazon.com for more information.

Call for Participation – ITP 2019

Posted onJuly 10, 2019July 10, 2019AuthorCAVlinks

10th International Conference on Interactive Theorem Proving

Website : https://itp19.cecs.pdx.edu/