Instructors
Description
Abstract interpretation deals with automated verification of programs. It is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. A variety of successful verification tools have emerged in the recent years, some of them have found application in the industry. We are going to learn about abstract interpretaiton: read papers about underlying methods and algorithms, play with tools, discuss in the class, find out what could be done better.
Registration
Students should please register via the HISLSF web pages of the examination office. A student cannot register after the registration deadline of the examination office, whatever they set it to be; so if a student is too late but wants to participate, she or he should contact us. We have our own list of registered students. In case of too many registrations we choose the best students.
Date, Time and Place
The seminar takes place in the beautiful scenery of Schauinsland, between the 18th and the 22nd of February 2008, together with the seminar on Software Engineering. We gather together at the parking lot in the morning of the 18th and then drive to the Fachschaftshaus am Schauinsland (see the map) in approximately five cars. The exact time is going to be communicated later.
Topic list
To get a topic please talk to Alexander Malkis. Teams are welcome, people are allowed to share a topic. Our main efforts concentrate on the basics of the abstract interpretation, on the state explosion problem and on a whole bunch of other exciting topics.
Talk
All the speakers are supposed to give a talk in English. The format of the slides does not matter as long as it can be presented on a standard Windows or Linux machine. We advise ps/pdf (or overhead slides). Usually, the talk length is one hour plus at most 15 minutes for questions and comments from the listeners. Please send your slides to Alexander as soon as possible so that we could look through all of them in advance. If a speaker doesn't want a certificate for his or her talk, he or she should spend at most 25 minutes for that talk, including discussion.
Preliminary Program
The Schedule for the Seminar is now available.
- Excursion on some or all days (for now Wednesday is scheduled), the actual day will depend on the weather.
- Cake!
Submitted report
The length and the contents depend on the chosen topic. The students will be given at least two weeks after the seminar to prepare the report. We strongly encourage submissions in English. A submission in German is possible only as an exception; in this case it should be absolutely flawless. We encourage flawless submissions anyway.
We advise typing in using the "llncs" style for latex (for the LNCS author instructions see http://www.springer.de/comp/lncs/authors.html , click on "Information for LNCS Authors", download and unzip llncs2e.zip and follow the typesetting instructions from the file llncsdoc.pdf) and also advise submitting files in the ps/pdf format. Using llncs and pdf/ps format for submission is an advice, not a requirement.
Costs
The participants don't have to pay for accomodation and usual meals, but they have to pay for the extra beverages they buy there themselves. The money for these beverages will be collected at the end of the stay, so please take enough small change with you. The SWT people should fill in the application forms in any case and give them to Marlis.
Remember
- You need slippers. They won't let you into the house if you have your outdoor shoes on.
- There is neither soap nor towels for all, take your own towel and your own piece of soap.
- No dogs.
- For a possible excursion you need warm and waterproof cloths and boots and at least a liter of water.
- The speakers should take their laptop with cable AND send their slides to us beforehand.
- All speakers should think about how and how long they could still give a talk in case of a technical failure.
- Simplifying, assume that it's not possible to use Internet and mobile phones at Schauinsland.
- It's impossible to prepare your talk slides at Schauinsland.
- You will have a beamer, a flipchart and an overhead projector at your disposal, but no blackboard or whiteboard.
- If you want vegetarian meals, please tell us in advance.
- It is forbidden to bring your own beverages to Schauinsland.