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
Accepted: Compositional Supervisory Control via Reactive Synthesis and Automated Planning, Daniel Alfredo Ciolek, Victor Braberman, Nicolás D'Ippolito, Sebastian Sardina, Sebastián Uchitel. IEEE Transactions on Automatic Control.
11/19
Christian Roldán has visited IMDEA Software Institute and gave an invited talk, October 3-4, 2019.
11/19
Fabio Gadducci, Hernán Melgratti, Matteo Sammartino and Christian Roldán. A Categorical Account for the Specification of Replicated Data Type. Accepted at 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
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
“Bayesian network semantics for Petri nets” by R. Bruni, H. Melgrati and U. Montanari accepted at Theoretical Computer Science.
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
