http://www.dagstuhl.de RSS feed announcing the latest publications published by Schloss Dagstuhl en-en 2010-06-08 2010-06-08 http://www.dagstuhl.de/rss.php http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3505 Dagstuhl Reports, Volume 2, Issue 1, January 2012, Complete Issue Wed, 16 May 2012 11:07:19 +0200 http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3505 http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3504 Table of Contents, Frontmatter Wed, 16 May 2012 11:07:02 +0200 http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3504 http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3458 This report documents the program and the outcomes of Dagstuhl Seminar 12051``Analysis of Executables: Benefits and Challenges''. The seminar had twofocus groups: security engineers who need to find bugs in existing software systems and people in academia who try to build automated tools to prove correctness. The meeting of these diverse groups was beneficial and productive for all involved. Thu, 10 May 2012 08:21:36 +0200 http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3458 http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3457 This report documents the programme and outcomes of the Dagstuhl Seminar 12041 "Learning in Multiobjective Optimization". The purpose of the seminar was to bring together researchers from the two main communities studying multiobjective optimization, Multiple Criteria Decision Making and Evolutionary Multiobjective Optimization, to take part in a wide-ranging discussion of what constitutes learning in multiobjective optimization, how it can be facilitated, and how it can be measured. The outcome was a deeper, more integrated understanding of the whole problem-solving process in multiobjective optimization from the viewpoint of learning, and several concrete research projects directly addressing different aspects of learning. Thu, 10 May 2012 08:20:56 +0200 http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3457 http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3456 From 15.01.12 to 20.01.12, the Seminar 12031 in "Symmetric Cryptography" was held in Schloss Dagstuhl -- Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available. Thu, 10 May 2012 08:18:34 +0200 http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3456