[isabelle] 25th Automated Reasoning Workshop (ARW 2018), University of Cambridge, 12-13 April 2018



Dear colleagues,

please kindly share the following announcement
on the upcoming 25th Automated Reasoning Workshop (ARW 2018)
that will take place at the University of Cambridge
on 12-13 April 2018 :

http://www.cl.cam.ac.uk/events/arw2018/CFP.txt

Many thanks!

With kind regards,

Angeliki Koutsoukou-Argyraki
(on behalf of the local organisers)





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.