On 09/03/18 16:58, Dr A. Koutsoukou-Argyraki wrote:
> 25th AUTOMATED REASONING WORKSHOP 2018
>
> University of Cambridge, 12-13 April 2018
> http://www.cl.cam.ac.uk/events/arw2018/
Note that it does not make sense to post conference announcements here
-- this is a proper subset of the isabelle-us
25th AUTOMATED REASONING WORKSHOP 2018
University of Cambridge, 12-13 April 2018
http://www.cl.cam.ac.uk/events/arw2018/
CALL FOR ABSTRACTS AND STUDENT TRAVEL GRANT APPLICATIONS
GENERAL INFORMATION
The 25th Automated Reasoning Workshop (ARW 2018) will take place at the
University of Cambridge