Week: Seminar "Formal Methods I" (WS 2011/12) | Project Seminar "Formal Methods I" (WS 2011/12)

Calendar

Monday	Tuesday	Wednesday	Thursday	Friday	Saturday	Sunday
No events, Monday, 1 July No events, Monday, 1 July	No events, Tuesday, 2 July No events, Tuesday, 2 July	No events, Wednesday, 3 July No events, Wednesday, 3 July	No events, Thursday, 4 July No events, Thursday, 4 July	No events, Friday, 5 July No events, Friday, 5 July	No events, Saturday, 6 July No events, Saturday, 6 July	No events, Sunday, 7 July No events, Sunday, 7 July
No events, Monday, 8 July No events, Monday, 8 July	No events, Tuesday, 9 July No events, Tuesday, 9 July	No events, Wednesday, 10 July No events, Wednesday, 10 July	No events, Thursday, 11 July No events, Thursday, 11 July	No events, Friday, 12 July No events, Friday, 12 July	No events, Saturday, 13 July No events, Saturday, 13 July	No events, Sunday, 14 July No events, Sunday, 14 July
No events, Monday, 15 July No events, Monday, 15 July	No events, Tuesday, 16 July No events, Tuesday, 16 July	No events, Wednesday, 17 July No events, Wednesday, 17 July	No events, Thursday, 18 July No events, Thursday, 18 July	No events, Friday, 19 July No events, Friday, 19 July	No events, Saturday, 20 July No events, Saturday, 20 July	No events, Sunday, 21 July No events, Sunday, 21 July
No events, Monday, 22 July No events, Monday, 22 July	No events, Tuesday, 23 July No events, Tuesday, 23 July	No events, Wednesday, 24 July No events, Wednesday, 24 July	No events, Thursday, 25 July No events, Thursday, 25 July	No events, Friday, 26 July No events, Friday, 26 July	No events, Saturday, 27 July No events, Saturday, 27 July	No events, Sunday, 28 July No events, Sunday, 28 July
No events, Monday, 29 July No events, Monday, 29 July	No events, Tuesday, 30 July No events, Tuesday, 30 July	No events, Wednesday, 31 July No events, Wednesday, 31 July

Section outline

Select section Seminar "Formal Methods I" (WS 2011/12)
Seminar "Formal Methods I" (WS 2011/12)

Time: Wednesday, 12:30-14:00
Place: Hagenberg Seminar Room
Start: October 19, 2011

In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...). This continues the seminar of the previous semester.

To take part in the seminar, you have to enrol in the KUSSS system. If you also login in Moodle and register as a course participant, you will receive per email all messages posted in the News forum.
- Select activity News forum
  
  News forum

July 2024

Section outline