Univ.-Prof. Dr. Aart Middeldorp   
Home Events Research Teaching
Research
publications activities projects CSI FORT TTT2
Activities
editorial board program committee steering committee invited talks organisation IFIP

IFIP

Austrian representative of Technical Committee 1 on Foundations of Computer Science

founding member of Working Group 1.06 on (Term) Rewriting