upcoming events

CiE 2014
Computability in Europe - Conference Series "Language, Life, Limits"
June/July 2014, 2014, Budapest, Hungary.

WST 2013and FOPARA 2013
Joint Workshop on Termination (WST) and on Foundational and Practical Aspects of Resource Analysis (FOPARA)
August 28 – 31, 2013, Bertinoro, Italy.

RDP 2013
Federated Conference on Rewriting, Deduction, and Programming, RTA & TLCA
June 23 – 28, 2013, Eindhoven, Netherlands

recent events

PR 2013
3rd Workshop on Proof Theory and Rewriting
March 4 – 8, 2013, Kanazawa, Japan

ISR 2012
6th International School on Rewriting
July 16 to 20, 2012, Valencia, Spain

RTA 2012
23rd International Conference on Rewriting Techniques and Applications
May 28 – June 2, 2012, Nagoya, Japan

WST 2012
12th International Workshop on Termination
February 19 – 23, 2012, Obergurgl, Austria

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

ESSLLI 2011
23rd European Summer School in Logic, Language and Information
August 1 to 12, 2011, Ljubljana, Slovenia

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

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

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

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

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

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

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

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

PR 2010
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