|
General Information
Research
Collaborations & Cooperations
Teaching
News and Miscellaneous
Professional Activities
HOM
|
- RDP 2011 - Federate Conference on Rewriting, Deduction,
and Prorgamming (Conference chair)
TLCA
2011 - 10th International Conference on Type lambda Calculus and
Applications
RTA
2011 - 22nd International Conference on Rewriting Techniques and
Applications
Novi Sad, June 2011
- Higher-Order Rewriting - HOR
2010, (FLOC
2010) July
14, 2010, Edinburgh,UK (Invited speaker)
- Synthesis, Verification and Analysis of Rich Models -
SVARM 2010 (
FLOC 2010 )
July 20-21, 2010, Edinburgh,UK (PC member)
- Intersection
Types and Related
Systems - ITRS 2010,
(FLOC
2010) July
9, 2010, Edinburgh,UK (PC member)
|