PhD defence Keyvan Azadbakht (FM)

Everyone is welcome to attend the public defence of Keyvan of his thesis 'Asynchronous Programming in the Abstract Behavioural Specification Language'.
  • What Formal Methods English Seminars
  • When 11-12-2019 from 11:15 to 12:45 (Europe/Amsterdam / UTC100)
  • Where Senate Chamber of the Academy building, Rapenburg 73, 2311GJ Leiden
  • Add event to calendar iCal

Everyone is welcome to attend the public defence of Keyvan of his thesis 'Asynchronous Programming in the Abstract
Behavioural Specification Language'.

Promotor: Prof.dr. F.S. de Boer (CWI/LIACS)

Co-promotor: Dr E.P. de Vink (TUe/CWI)