The Fall School on Logics and Semantics of State will cover current research focused on developing logics for reasoning modularly about programs with state. Speakers will present material covering separation logic, certified systems software, modular verification methodologies for object-oriented programs, and separation logic for object-oriented and higher-order programs. Both foundations and applications will be covered in the lectures.
Material will be presented at a tutorial level that will help graduate students (advanced M.Sc. students and Ph.D. students) and researchers from academia or industry get an overview of state-of-the-art techniques and understand open problems confronting the field.
The fall school is open to anyone interested. Prerequisites are an elementary knowledge of logic and mathematics that is usually covered in undergraduate classes on discrete mathematics. Some knowledge of programming languages at the level provided by a beginning graduate survey course will also be expected. Our primary target group consists of advanced M.Sc. students, Ph.D. students, and post-doctoral researchers.
| John C. Reynolds | Separation Logic - A Logic for Shared Data and Local Reasoning | [lecture notes] |
| Zhong Shao | Modular Development of Certified System Software | [slides] |
| David Naumann | Modular Specification and Verification of Object-oriented Programs | |
| Matthew Parkinson | Separation Logic for Object-oriented Programs (+ the jStar tool) | [slides] |
| Lars Birkedal and Hongseok Yang | Separation Logic for Higher-order Programs | [slides] |
The fall school will take place at the IT University of Copenhagen from October 20 to October 24 (Monday through Friday). Each topic will be covered by seven hours of lectures and exercises during the week.
Here is the schedule.
To register for the fall school, please send an email to state-fall-school@itu.dk no later than
Friday, September 19.
The email should contain your name and affiliation. If you are a student, your supervisor (or another faculty member) must in addition send a brief letter of support by email to the same address.
The registration fee is 500 DKK / Euro 65, covering course materials, coffee, and cookies. The fee does not cover accommodation. Details about payment can be found here.
FIRST PhD students participate free of charge.
Accommodation:
Traveling:
Maps and miscellaneous:
The fall school is sponsored by the FIRST Research School. Organizers: Lars Birkedal, Nhi Quyen Le, and Kristian Støvring, IT University of Copenhagen.
Last updated Nov 04, 2008
kss@itu.dk