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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
