Workshop on Rewriting Logic and Its Applications (WRLA)

12th WRLA@ETAPS 2018: Thessaloniki, Greece

11th WRLA@ETAPS 2016: Eindhoven, The Netherlands

10th WRLA@ETAPS 2014: Grenoble, France

9th WRLA@ETAPS 2012: Tallinn, Estonia

8th WRLA@ETAPS 2010: Paphos, Cyprus

7th WRLA 2008: Budapest, Hungary

6th WRLA 2006: Vienna, Austria

5th WRLA 2004: Barcelona, Spain

3rd WRLA 2000: Kanzawa, Japan

2nd WRLA 1998: Pont-à-Mousson, France

1st WRLA 1996: Pacific Grove, CA, USA

a service of Schloss Dagstuhl - Leibniz Center for Informatics