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

Dr A. Koutsoukou-Argyraki ak2110 at cam.ac.uk
Fri Feb 2 20:28:28 EST 2018

Good morning,

please kindly post 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)

More information about the FOM mailing list