[TYPES/announce] Oxford July 9: Memorial Corrado Böhm

[Mariangiola Dezani]

Inside FLoC 2018 (http://www.floc2018.org/) Henk Barendregt
and Silvio Micali will recall the research activity of Corrado Böhm:

http://www.cs.le.ac.uk/events/fscd2018/bohm.htm <http://www.cs.le.ac.uk/events/fscd2018/bohm.htm>










-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180112/943d3f8b/attachment.html>