Die Proceedings des dritten internationalen Workshops „Reachability Problems“ aus Palaiseau (23–25 September 2009) sammeln neueste Erkenntnisse zu Erreichbarkeitsfragen in formalen Systemen und liefern für theoretische Informatiker wertvolle Einsichten und methodische Ansätze.