upcoming events

RTA 2012 May 28 to June 2, 2012, Nagoya, Japan

ISR 2012 July 16 to 20, 2012, Valencia, Spain

recent events

WST 2012
February 19 to February 23, 2012, Obergurgl, Austria

2nd Kick-Off Meeting STRUCTURAL
October 26 to 28, 2011, Innsbruck, Austria

ESSLLI 2011
August 1 to 12, 2011, Ljubljana, Slovenia

Two Faces of Complexity
May 29, 2011, Novi Sad, Serbia, Part of RDP'11

22nd Rewriting Techniques and Applications
Monday, May 30, 2011 to Wednesday, June 1, 2011, Novi Sad Part of RDP'11

3rd Austria - Japan Summer Workshop on Term Rewriting
August 1 – 7, 2010, Obergurgl University Centre, AT

11th International Workshop on Termination
July 14 – 15, 2010, Edinburgh, UK

21th International Conference on Rewriting, Techniques and Applications
July 11 – 13, 2010, Edinburgh, UK

5th International School on Rewriting
July 3 – 8, 2010, Utrecht, NL

5th International Computer Science Symposium in Russia (CSR 2010)
June 16 – 16, 2010, Kazan, RUS

Workshop PARIS - INNSBRUCK - TBILISI
Workshop of the Amadeus project FR/10, "Logic-Based Analysis of Computation", May 20 – 21, 2010, Paris, FR

2nd Workshop on Proof Theory and Rewriting
March 28 – 31, 2010, Obergurgl University Center, AT

Workshop Innsbruck - Paris
2nd Workshop of the Amadeus project FR/10, "Logic-Based Analysis of Computation"
December 3 – 4, 2009, University of Innsbruck, AT

Workshop PARIS - INNSBRUCK
Workshop of the Amadeus project FR/10, "Logic-Based Analysis of Computation", September 15 – 16, 2009, Paris, FR