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
Philippe Clauss, INRIA-CAMUS, visits for the week.
Submitted by
Anonymous (not verified)
on 12/12
12/12 Philippe Clauss from INRIA-CAMUS visits us for the week.
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