Assoc. Prof. Dr. Georg Moser   

upcoming events

HVW 2017
Helmut Veith Memorial Workshop, January 31-February 2, 2017, Obergurgl, Austria

DICE-FOPARA 2017
First Joint DICE-FOPARA Workshop (part of ETAPS 2017), April 22-23, Uppsala, Sweden

recent events

FISP Kick-Off
Kick-Off Meeting on FISP, November 15-17, 2016, Innsbruck, Austria

LC&A 2016
Logic, Complexity and Automation, September 5-7, Obergurgl, Austria

WPTE 2016
Rewriting Techniques for Program Transformations and Evaluation, June 23, 2016, Porto, Portugal

LICS 2016
Thirty First Annual ACM/IEEE Symposium on Logic in Computer Science, July 5– 8, 2016, New York City, USA

RAC 2016
First international workshop on Resource Aware Computing, April 2, 2016, Eindhoven, Netherlands

CSR 2015
Computer Science Russia, July 13 – 17, 2015, Lake Baikal, Russia

LCC 2015
International Workshop on Logic and Computational Complexity, July 4 – 5, 2015, Kyoto, Japan

RDP 2015
International Conference on Rewriting, Deduction, and Programming, June 29 – July 3, 2015, Warsaw, Poland

Epsilon 2015
Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics, June 10 – 12, 2015, Montpellier, France

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

VSL 2014
Vienna Summer of Logic, July 9 – 24, 2014, Vienna, Austria

2FC 2014
Two Faces of Complexity
July 12, 2014, Vienna, Austria, Part of VSL 2014

CSR 2014
Computer Science Russia, June 6 – 12, Moscow, Russia

WST 2013 and 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

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