The 22nd Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice

TitleThe 22nd Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Event date09 Apr 2015
LocationUniversity of Birmingham