http://www.avacs.org/spring2010 This feed will provide updates on the AVACS Spring School on Automatic Verification and Analysis of Complex Systems in Oldenburg, Germany (15-19 March 2010) Tue, 06 Apr 2010 14:33:56 +0200 http://www.avacs.org/spring2010#slides The slides can now be downloaded from links within the program or in one archive file. Please use the username/password pair that was announced during the spring school. http://www.avacs.org/spring2010/rss0018 Wed, 10 Mar 2010 18:53:12 +0100 http://www.avacs.org/spring2010/ Added route information to find the registration desk and lecture halls. Photo of Paolo Zuliani available in program. http://www.avacs.org/spring2010/rss0017 Mon, 08 Mar 2010 16:40:34 +0100 http://www.avacs.org/spring2010/program.html All abstracts are now available. Edmund Clarke had to cancel his participation. In his stead, Paolo Zuliani will give the lecture on 'Computational Modeling and Analysis for Complex Systems'. http://www.avacs.org/spring2010/rss0016 Fri, 26 Feb 2010 17:36:21 +0100 http://www.avacs.org/spring2010/program.html Added abstracts for talks by Bernd Finkbeiner, Sebastian Kupferschmid, and Christoph Scholl. http://www.avacs.org/spring2010/rss0015 Tue, 23 Feb 2010 13:09:52 +0100 http://www.avacs.org/spring2010/program.html Added abstracts for talks by Viorica Sofronie-Stokkermans and Bernd Westphal. http://www.avacs.org/spring2010/rss0014 Fri, 19 Feb 2010 09:22:43 +0100 http://www.avacs.org/spring2010/program.html Added four more abstracts (Klaus Draeger, Holger Hermanns, Kim G. Larsen, and Thomas Wies). http://www.avacs.org/spring2010/rss0013 Wed, 17 Feb 2010 11:49:26 +0100 http://www.avacs.org/spring2010 As we have received over 100 registrations, we have had to close the online registration process and have instead opened up a waiting list. People on the waiting list will be contacted in case a vacancy opens up. http://www.avacs.org/spring2010/rss0012 Wed, 17 Feb 2010 11:49:26 +0100 http://www.avacs.org/spring2010 The reservation options in most hotels have by now expired. In case you have registered for the spring school but not yet booked a hotel room, please do so quickly! http://www.avacs.org/spring2010/rss0011 Wed, 17 Feb 2010 11:49:26 +0100 http://www.avacs.org/spring2010/program.html Added new abstracts and images of the speakers. http://www.avacs.org/spring2010/rss0010 Mon, 15 Feb 2010 16:20:38 +0100 http://www.avacs.org/spring2010/program.html Though still far from complete, the preliminary program is now online. http://www.avacs.org/spring2010/rss0009 Wed, 03 Feb 2010 17:59:13 +0100 http://www.avacs.org/spring2010 We have already received over 80 registrations. The number of registrations has thus nearly reached our capacity of available places. We may therefore have to close registration and open up a waiting list, soon! http://www.avacs.org/spring2010/rss0008 Fri, 29 Jan 2010 16:17:21 +0100 http://www.avacs.org/spring2010#socialevent The location and details of the social event have been confirmed. We will have a museum tour and dinner in the Horst-Janssen Museum. http://www.avacs.org/spring2010/rss0007 Fri, 29 Jan 2010 16:17:21 +0100 http://www.avacs.org/spring2010#lecturers We are happy to inform you that Christoph Scholl and Bernd Westphal (both University of Freiburg) will give talks at the spring school on topics in hybrid systems and systems of systems, respectively. Please note, that we are currently receiving titles and abstracts from the lecturers and will soon begin to fill the schedule. We hope to have a complete schedule by mid-February. http://www.avacs.org/spring2010/rss0006 Thu, 14 Jan 2010 11:16:32 +0100 http://www.avacs.org/spring2010#relatedevents Note that there is another PhD school with slight thematic overlap which takes place only 10 days before: the ARTIST Design - MT-LAB school on Quantitative Model Checking in Copenhagen, Denmark. To participate in both events should be especially interesting for students coming from far away. The focus of the ARTIST Design - MT-LAB school is model checking of systems with quantitative information. http://www.avacs.org/spring2010/rss0005 Wed, 13 Jan 2010 15:53:27 +0100 http://www.avacs.org/spring2010#registration You can now register online for the spring school. Depending on the desired payment option for the registration fee, please follow the links in the registration section. http://www.avacs.org/spring2010/rss0004 Thu, 17 Dec 2009 16:05:31 +0100 http://www.avacs.org/spring2010#registration The registration fee will be 80 EUR for early registration and 120 EUR for normal registration. Early registration possible in January 2010. Registration will be open in January. http://www.avacs.org/spring2010/rss0003 Wed, 16 Dec 2009 12:56:02 +0100 http://www.avacs.org/spring2010 Poster and call for participation are now available for download. http://www.avacs.org/spring2010/rss0002 Thu, 10 Dec 2009 15:19:29 +0100 http://www.avacs.org/spring2010#travel Information on how to get to Oldenburg, how to use public transportation, and what to do here besides visiting the spring school has been added to the website. http://www.avacs.org/spring2010/rss0001