Abstract: The RP 2018 proceedings focus on reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups; dynamical and hybrid systems; complexity and decidability aspects; iterative maps.