Best Student Paper Award "Towards Formal Specification and Verification of Maple Programs at the Conferences on Intelligent Computer Mathematics
- Khan, Mohammad Taimoor (Recipient) & Schreiner, Wolfgang (Recipient)
Prize: Prize, award or honor
Prize: Prize, award or honor