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
Nicolas D' Ippolito will be part of the program committee of the workshop formalize 2016, ICSE 2016 .
Submitted by
nderrossi
on 10/15
Language
Undefined
Latest News
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
12/21
Victor Braberman is program committee member for ESEC/FSE 2021, ASE 2021 and ICSE 2022
More news
User login
Username
*
Password
*
Request new password
