Skip to main content
LaFHIS
The Tools and Foundations for Software Engineering Lab at UBA
Main menu
Home
People
Publications
Contact
You are here
Home
01/17- Víctor Braberman is an editor at TSE.
Submitted by
nderrossi
on 09/18
Language
Undefined
Latest News
11/19
New Article: "Compositional Supervisory Control via Reactive Synthesis and Automated Planning"
11/19
Christian Roldán has visited IMDEA Software Institute and gave an invited talk, October 3-4, 2019.
11/19
New Article: "A Categorical Account for the Specification of Replicated Data Type"
11/19
Juan Pablo Galeotti will co-chair the track of Replications and Negative Results at SSBSE 2020.
10/19
STINT Workshop on Assured Software Engineering
10/19
New Article: “Bayesian network semantics for Petri nets”
10/19
C. Roldán is visiting the Department di Informatica Universita di Pisa, Italy.
10/19
C. Roldán will co-chair the 9th Young Researchers Workshop on Concurrency Theory at CONCUR 2019.
More news
User login
Username
*
Password
*
Request new password
