[ date | register | speakers | program | slides | overview | audience | organization | accomodation | related ]
Advanced Winter School on
The "hands-on" part on Friday takes place in a different building close by (Mechatronic Building, Science Park 1, MT 127). The SAT and QBF part swapped time slots on the last day, but otherwise the schedule is the same. There was a winter school dinner on Wednesday early evening.
Here is a preliminary set of slides:
The ReRiSE'14 winter school is an event of the Austrian national research network RiSE.
The school is about reasoning engines for rigourous system engineering and consists of lectures on principles of decision procedures, including fundamentals, state-of-art algorithms and data structures, as well as implementation techniques.
The emphasis is on techniques which are important for practical applications and used in rigorous system engineering.
The school is open to all members, collaborators and friends of RiSE but also encourage other participation too.
The target audience are users of decision procedures, and particularly researchers, such as PhD students, Post-Docs, or advances master-students working on theoretical and practical aspects of decision procedures.
The local organization including registration is handled by the Institute of Formal Models and Verification of the Johannes Kepler University, in Linz, Austria.
This course is eligible for students of JKU and can be credited as an instance of the advanced model checking course. In order to obtain credits an oral exam is required. Please contact Armin Biere if you are interested in this option.
There are very few opportunities in walking distance, particularly since we were told that Sommerhaus hotel is close to being booked out. So you probably will need to find a hotel in the city center, which is 15 minutes away by tram. Check your favorite hotel online platform for available options.
The related event AAA87 & CYA28 will take place on the weekend after the winter school, overlapping with the winnter school by one day on Friday. We encourage attendees of both events to take part in the other as well and are working on a model to allow registered attendees of one event to attend the other for free.