Automated Reasoning Workshop 2019: Bridging the Gap between Theory and Practice

TitleAutomated Reasoning Workshop 2019: Bridging the Gap between Theory and Practice
Event date02 to end of 03 Sep 2019
LocationUniversity of Middlesex