Formal Structures for Computation and Deduction (FSCD) / Rewriting Techniques and Applications (RTA)

2nd FSCD 2017: Oxford, UK

1st FSCD 2016: Porto, Portugal

26th RTA 2015: Warsaw, Poland

RTA-TLCA 2014: Vienna, Austria

24th RTA 2013: Eindhoven, The Netherlands

23rd RTA 2012: Nagoya, Japan

22nd RTA 2011: Novi Sad, Serbia

21st RTA 2010: Edinburgh, Scottland, UK

20th RTA 2009: Brasília, Brazil

19th RTA 2008: Hagenberg, Austria

18th RTA 2007: Paris, France

17th RTA 2006: Seattle, WA, USA

16th RTA 2005: Nara, Japan

15th RTA 2004: Aachen, Germany

14th RTA 2003: Valencia, Spain

13th RTA 2002: Copenhagen, Denmark

12th RTA 2001: Utrecht, The Netherlands

11th RTA 2000: Norwich, UK

10th RTA 1999: Trento, Italy

9th RTA 1998: Tsukuba, Japan

8th RTA 1997: Sitges, Spain

7th RTA 1996: New Brunswick, NJ, USA

6th RTA 1995: Kaiserslautern, Germany

5th RTA 1993: Montreal, Canada

4th RTA 1991: Como, Italy

3rd RTA 1989: Chapel Hill, North Carolina, USA

2nd RTA 1987: Bordeaux, France

1st RTA 1985: Dijon, France

maintained by Schloss Dagstuhl LZI at University of Trier