This report documents the program and the outcomes of Dagstuhl Seminar 11042 “Learning from the Past: Implications for the Future Internet and its Management?”. The discussion centered around the question if by analyzing the past especially why certain technologies did or did not succeed it is possible to reason about the Future Internet, the challenges and especially the management aspect. Val...

From 06.04. to 09.04.2010, the Dagstuhl Seminar 10141 Distributed Usage Control 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...

The aim of the tranScriptorium project is to produce software applications that will ‘read’ historical handwritten documents and will produce transcripts for these documents. There are many millions of pages of handwritten documents, the basis for much research in the arts and humanities, and yet the vast majority of this material—including manuscripts that have been digitized—remains inaccessi...

Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141) Bernadette Charron-Bost, Stepahn Merz, Andrey Rybalchenko, and Josef Widder 1 Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen 17 Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151) Stephen Kobourov, Martin Nöllenburg...

From 15.07.12 to 20.07.12, the Dagstuhl Seminar 12291 “Structure Discovery in Biology: Motifs, Networks & Phylogenies” was held in Schloss Dagstuhl – Leibniz Center for Informatics. The seminar was in part a follow-up to Dagstuhl Seminar 10231, held in June 2010, this time with a strong emphasis on large data. Both veterans and new participants took part in this edition. During the seminar, sev...

The AAO-HNSF, Martha Entenmann Tinnitus Research Center, Inc., (METRC), Abraham Shulman, M.D., and Barbara Goldstein, PhD, International Tinnitus MiniSeminar, the first named Mini-Seminar of the AAO-HNSF, presented in this second year of a five-year endowed series of Mini-Seminars for tinnitus a panel of national and international experts to present recent advances in the treatment of implantab...

Introduction: Experiential learning, followed by debriefing, isat the heart of Simulation-Based Medical Education (SBME) andhas been proven effective to help master several medical skills.We investigated the impact of an educational intervention, basedon high-fidelity SBME, on the debriefing competence of novicesimulation instructors.Methods: This is a prospe...

BACKGROUND Many medical schools have embraced small group learning methods in their undergraduate curricula. Given increasing financial constraints on universities, active learning groups like seminars (with 25 students a group) are gaining popularity. To enhance the understanding of seminar learning and to determine how seminar learning can be optimised it is important to investigate stakehold...