[isabelle-dev] DEADLINE EXTENDED: 25th Automated Reasoning Workshop (ARW 2018), University of Cambridge, 12-13/4/18

[Makarius]

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-users mailing list.


	Makarius