The 25th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice

TitleThe 25th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Event dateApr 2018
LocationUniversity of Cambridge