IST Austria Courses
IST Austria logo

Formal Methods

Instructor: Krish Chatterjee

Teaching Assistants: Andreas Pavlogiannis, Josef Tkadlec

Description

 


Requirements/Exams

Active participation in the lectures, homework, project presentation.

Homework is handed out on Monday and is due on next Monday.

 


Credits

3 ECTS 

 

Schedule

Date Lecture notes Homework
Wed 03 May Lecture 1  
Mon 08 May Lecture 2 Homework
Wed 10 May Lecture 3  
Mon 15 May Lecture 4 Homework
Wed 17 May Lecture 5  
Mon 22 May Lecture 6 Homework
Wed 24 May Lecture 7  
Mon 29 May   Homework
Wed 31 May Guest lecture: Christian Hilbe  
Mon 05 Jun no lecture
Wed 07 Jun Guest lecture: Petr Novotny  
Mon 12 Jun    
Wed 14 Jun    
Mon 19 Jun Student presentations  
Wed 21 Jun Student presentations  

Additional Downloads

To take a look at the additional Downloads, please click here. (you must be logged in!)