Skip to main content
Menu
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
AAAI distinguished paper award won by Marielle Stoelinga for groundbreaking results on provably correct control algorithms
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
AAAI distinguished paper award won by Marielle Stoelinga for groundbreaking results on provably correct control algorithms
AAAI distinguished paper award won by Marielle Stoelinga for groundbreaking results on provably correct control algorithms
Previous article
Next article
Thursday 3 March 2022
More recent news
Fri 3 May 2024
Papers of the Month: May 2024
Tue 23 Apr 2024
2nd place of student teams at VerifyThis 2024
Tue 9 Apr 2024
Papers of the Month: April 2024
Wed 27 Mar 2024
Faizan Ahmed appointed Programme Director BIT
Tue 12 Mar 2024
FMT Papers of the Month: March 2024
News summary
Close
Suggestions