Muhammad Taimoor Khan and Wolfgang Schreiner receive CICM'12 Best Student Paper Award
Sincerest congratulation from the Doctoral Program!
At this year's Conferences on Intelligent Computer Mathematics (19th Symposium Calculemus) Muhammad Taimoor Khan and Wolfgang Schreiner won the Best Student Paper Award with their paper on "Towards the Formal Specification and Verification of Maple Programs".
Towards the Formal Specification and Verification of Maple Programs