[Hol-info] ARW'15: Call for Abstracts and Grant Applications

2015-02-21 Thread Geoff Sutcliffe
-- [ We apologise if you receive multiple copies ] -- 22nd Automated Reasoning Workshop (ARW'15) 9-10 April 2015 University of Birmingham http://www.cs.

[Hol-info] ARW'15: Call for Abstracts and Grant Applications

2015-02-15 Thread Volker Sorge
-- [ We apologise if you receive multiple copies ] -- 22nd Automated Reasoning Workshop (ARW'15) 9-10 April 2015 University of Birmingham http://www.cs