Harald Zankl

2015

39th TRS Meeting (Akita) pdf
2nd International Workshop on Confluence (IWC 2013) pdf
24th International Conference on Rewriting Techniques and Applications (RTA 2013) pdf

23rd International Conference on Automated Deduction (CADE 2011) pdf
22nd International Conference on Rewriting Techniques and Applications (RTA 2011) pdf
Deduction at Scale (Ringberg) pdf
34th TRS Meeting (Aizu University) pdf
32nd Nue Seminar (Tohoku University) pdf

6th International Workshop in the Implementation of Logics (IWIL 2010) pdf
3rd Austria–Japan Summer Workshop on Rewriting (AJSW 2010) pdf
3rd International Workshop on Symbolic Computation in Software Science (SCSS 2010) pdf
11th International Workshop on Termination (WST 2010) pdf
5th International Workshop on Higher-Order Rewriting (HOR 2010) pdf
21th International Conference on Rewriting Techniques and Applications (RTA 2010) pdf
16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-16) pdf
2nd International Workshop on Proof Theory and Rewriting (PR 2010) pdf
36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2010) pdf

9th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2008) pdf
17th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2008) pdf

2nd Austria–Japan Summer Workshop (AJSW 2007) pdf
18th International Conference on Rewriting Techniques and Applications (RTA 2007) pdf
9th International Workshop on Termination (WST 2007) pdf
33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2007) pdf