Skip to main content
Home
LaFHIS
The Tools and Foundations for Software Engineering Lab at UBA

Main menu

  • Home
  • People
  • Publications
  • Past Members
  • Contact

You are here

Home

Nicolás D'Ippolito will be member on the FormaliSE 2015 Program Committee.

Submitted by Anonymous (not verified) on 11/14

Nicolás D'Ippolito will be member on the FormaliSE 2015 Program Committee.
http://www.formalise.org/programme-committee-formalise2015

Undefined

Latest News

08/25
Garbervetsky invited to FSE 2026 Program Committee (PC)
06/25
Víctor Braberman fue invitado a formar parte de un comité de programa: Program Committee (PC) of the 23rd edition of the International Conference on Software Engineering and Formal Methods (SEFM2025, https://sefm-conference.github.io/2025/)
05/24
Diego Garbervetsky fué seleccionado en la convocatoria PIP 2022.
05/24
Sebastián Uchitel, Victor Braberman y LaFHIS ganaron uno de los Automated Reasoning Amazon Research Awards (ARA).
04/24
Victor Braberman was promoted to "Director Researcher”" at CONICET.
04/24
New Article: "Brewing Up Reliability: Espresso Test Generation for Android Apps"
04/24
Interview with Sebastian Uchitel at El Cronista's Digital Transformation 2024.
04/24
Sebastian Uchitel was promoted to "Senior Researcher" at CONICET.
More news

User login

  • Request new password
LAFHIS
Departamento de Computación, Facultad de Ciencias Exactas y Naturales,
Universidad de Buenos Aires, Argentina. [ Google Maps Link ]
Pabellón 1, Ciudad Universitaria, Intendente Güiraldes 2160
Buenos Aires (C1428EGA), Argentina
Tel. (+54 11) 4576 3390 ext. 704