Munich panorama
    View to Theatiner Church. Photo: Helmut Seidl

SAS 2014

21st International Static Analysis Symposium

September 11-13, 2014
Munich, Germany

 

Program

Thursday, September, 11, 2014

8:50-10:00 Welcome and Invited Talk (Chair: Helmut Seidl)

Coffee break

10:30-12:00 Domains (Chair: Xavier Rival)

Lunch break

13:30-15:00 Verification (Chair: Luke Ong)

Coffee break

15:30-17:00 Pointers & Heaps (Chair: Alan Mycroft)


Friday, September, 12, 2014

9:00-10:00 Invited Talk (Chair: Markus Müller-Olm)

Coffee break

10:30-12:00 Concurrency (Chair: Patrice Godefroid)

Lunch break

13:30-14:30 Miscellaneous (Chair: Tomáš Vojnar)

16:15 Guided tour at Lenbachhaus (how to get there)

18:00 Dinner at Restaurant Ella at Lenbachhaus


Saturday, September, 13, 2014

9:00-10:00 Invited Talk (Chair: Anders Møller)

Coffee break

10:30-12:00 Heaps & Objects (Chair: Gregor Snelting)

Lunch break

13:30-15:00 Fixpoints (Chair: Axel Simon)

Back to main page.