Invited Speakers

Ahmed Boujjani, LIAFA Paris 7, France On the Verification Problem for Weak Memory Models ABSTRACT Tomas Vojnar, Brno University of Technology, Czech Republic Advances in Automata Technology with Applications in Regular Model Checking ABSTRACT