Diary Entry: 2007-08-13 00:00:00 - 2007-08-16 00:00:00

Error message

Deprecated function: The each() function is deprecated. This message will be suppressed on further calls in menu_set_active_trail() (line 2375 of /compsci/partition2/csmarkus/public_html/ProcessesAndData/includes/menu.inc).

Temesghen visits the Theorem Proving Group of Tobias Nipkow at Technical University of Munich to explain his work on how to formalise the spi calculus in Isabelle\HOL using the nominal package which is work done under the supervision of Marino Miculan.