[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 :


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.