Winter School on Verification, 6-10 February 2012, Vienna

Posted by on Saturday, January 28, 2012 · Leave a Comment 

The Austrian Society for Rigorous Systems Engineering (ARiSE, www.arise.or.at) and the Vienna Center for Logic and Algorithms (VCLA, www.vcla.at) are organizing a joint winter school on verification at Vienna University of Technology from 6-10 February 2012. Apart from ARiSE/VCLA students, the school will be open to outside students.

List of speakers

Date and Location

  • Date: February 6-10, 2012
  • Location: Vienna University of Technology, Lecture room EI8, Gusshausstrasse 25-29, Building 1 (Stiege 1), Ground floor, 1040 Vienna

Schedule

Monday, February 6

8:30-9:00     Registration

9:00-9:50      Welcome (some slides)
9:50-10:20    Coffee Break
10:20-11:10   Helmut Veith, TU Vienna: Branching Time Model Checking (slides, homework)
11:10-11:20    Break
11:20-12:10    Thomas A. Henzinger, IST Austria: Linear Time Model Checking (slides, homework)

12:10-14:00   Lunch break

14:00-14:50    Armin Biere, JKU Linz: Modern SAT Solvers (slides, homework)
14:50-15:00    Break
15:00-15:50    Uwe Egly, TU Vienna: Quantified Boolean Formulas (slides, homework)
15:50-16:20    Coffee Break
16:20-17:10    Laura Kovacs, TU Vienna: Automated Theorem Proving (slides, homework)

Tuesday, February 7

9:00-9:50      Ulrich Schmid, TU Vienna: Distributed Algorithms  (slides, homework)
9:50-10:20    Coffee Break
10:20-11:10  Krishnendu Chatterjee, IST Austria: Stochastic Games (slides, homework)
11:10-11:20   Break
11:20-12:10   Krishnendu Chatterjee, IST Austria: Stochastic Games (slides)

12:10-14:00  Lunch break

14:00-15:50  Exercises
15:50-16:20  Coffee Break
14:00-15:50  Exercises

19:00-22:30  Social event: Dinner and bowling competition in Brunswick Bowling Vienna Prater

Wednesday, February 8

9:00-10:30    Patrice Godefroid, Microsoft Research: Software Model Checking for Security (slides)
10:30-11:00  Coffee Break
11:00-12:10  Exercises

12:10-14:00  Lunch break

14:00-18:00  Exercises

Thursday, February 9

9:00-10:10     Armin Biere, JKU Linz: Modern SAT Solvers   (slides)
10:10-10:40  Coffee Break
10:40-12:00  Uwe Egly, TU Vienna: Quantified Boolean Formulas (slides)

12:00-13:30  Lunch break

13:30-14:40   Laura Kovacs, TU Vienna: Automated Theorem Proving (slides)
14:40-14:50   Break
14:50-16:00   Ulrich Schmid, TU Vienna: Distributed Algorithms  (slides)
16:00-16:30   Coffee Break
16:30-17:40   Helmut Veith, TU Vienna: Branching Time Model Checking

Friday, February 10

9:00-10:10    Thomas A. Henzinger, IST Austria: Linear Time Model Checking  (slides)
10:10-10:40  Coffee Break
10:40-12:00  Florian Zuleger, TU Vienna: Abstract Interpretation (slides)

12:00-13:30  Lunch break

13:30-15:00   Radu Grosu, TU Vienna: Hybrid Systems Crash Course (slides)
15:00-15:30   Coffee Break
15:30-16:30   Concluding remarks

Organisation details

  • Lunch breaks: Manzana restaurant, Apfelgasse 1, 1040 Vienna (www.manzana.at)
  • Social event, February 7, starting at 7pm: Dinner and bowling competition in Brunswick Bowling Vienna Prater, Hauptallee 124, 1020 Vienna (www.us-play.com/wienprater)  — see directions and map.

Filed under Events Sidebar · Tagged with

Comments are closed.