Jornadas sobre Ingeniería del Software y Bases de Datos   
IV Jornadas sobre Programación y Lenguajes
11-12 November 2004
Málaga
  
Español
English
Introduction
Actas
Agenda
Committees
Important Dates
Accepted Papers
Call for contributions
Papers Submission
Invited talks
Location
Inscription
Accommodation
Organization
Sponsors
Previous Conferences
                                             
Invited talks

Software Verification by Abstract Interpretation: Current Trends and Perspectives Patrick Cousot
(École Normale Supérieure de Paris)
Automatic Generation of Invariants: State of the ArtZohar Manna
(Stanford University)








Last update: 15/05/2008    Information: Salvador Lucas     Webmaster: Raúl Fernández-Santa Cruz Jiménez

Inscription´s Incidents: Carlos Canal