Rewriting Logic and Its Applications

WRLA@ETAPS 2016: Eindhoven, The Netherlands

WRLA@ETAPS 2014: Grenoble, France

WRLA@ETAPS 2012: Tallinn, Estonia

WRLA@ETAPS 2010: Paphos, Cyprus

maintained by Schloss Dagstuhl LZI at University of Trier