Rewriting Logic and Its Applications

WRLA 2016: Eindhoven, The Netherlands (Satellite Event of ETAPS 2016)

WRLA 2014: Grenoble, France (Satellite Event of ETAPS 2014)

WRLA 2012: Tallinn, Estonia (Satellite Event of ETAPS 2012)

WRLA 2010: Paphos, Cyprus (Satellite Event of ETAPS 2010)