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

[Dr A. Koutsoukou-Argyraki]

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 :

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

Many thanks!

With kind regards,

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