CTU Events

 Today
«  October  2019  »
Mo Tu We Th Fr Sa Su
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31      

Back to calendar

44th meeting of the Prague computer science seminar

17 Oct 2019   16:15

Jan Vítek - Reasoning about programs: Soundness revisited

This talk will overview the foundations of program analysis; which started 50 years ago with data flow analysis and abstract interpretation. Advancing through the years, we will touch on some key techniques and discuss their practical implications. We will conclude with a look at unsound techniques, explain the sources of unsoundness and what can be done to mitigate it.

Place
Auditorium S5, MFF UK, Malostranské nám. 25, Prague 1
Organizer
Katedra kybernetiky FEL ČVUT
Contact person
Mgr. Helena Houšková
More information
http://www.praguecomputerscience.cz/
Attachment
Download