Jump label

Service navigation

Main navigation

You are here:

Sub navigation

  • Staff pages+

Main content

Events & Professional Activities - M. Sc. Jan Bessai

Talks

  • Typen mit denen man rechnen kann - eine Einführung die Programmierung mit Idris, Invited talk, 2014, Dortmund, Germany, Jan 23 2014
  • Provable System Programming - Possible applications for Idris Invited talk, 2013, Dortmund, Germany, Jun 24 2013

Events

    Membership