Hi all, A reminder: the deadline for abstracts for the upcoming HOL4 Workshop is less than one week away. All details can be found at the website:
https://www.cl.cam.ac.uk/~rk436/hol15/ We look forward to receiving your abstracts, and to seeing you in Berlin for the workshop!
------------------------------------------------------------------------------
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info