Skip to main content
LaFHIS
The Tools and Foundations for Software Engineering Lab at UBA
Main menu
Home
People
Publications
Past Members
Contact
You are here
Home
Sebastian Uchitel is now Head of the Interinstitutional Centre of Data Science(MINCYT/UBA)
Submitted by
jgaleotti
on 11/22
Sebastian Uchitel is now Head of the Interinstitutional Centre of Data Science(MINCYT/UBA)
Language
Undefined
Latest News
08/23
Diego Garbervetsky and Javier Godoy attended the MEGA-ACE Blockchain School in Greece on May 2023.
05/23
New Article “Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations"
05/23
Diego Garbervetsky organized the "MEGA ACE Hackaton", funded by the Algorand Foundation
11/22
Sebastian Uchitel is now Head of the Interinstitutional Centre of Data Science(MINCYT/UBA)
11/22
New Article: "Assumption monitoring of temporal task planning using stream runtime verification"
11/22
New Article: "On-the-fly Informed Search of Non-blocking Directed Controllers"
09/22
New Article: "Predicate Abstractions for Smart Contract Validation"
12/21
Sebastian Uchitel will be keynote speaker at the 19th International Conference on Software Engineering and Formal Methods
More news
User login
Username
*
Password
*
Request new password
