• Research
  • Areas
  • Publications
  • Papers in DBLP
  • Projects
  • Tools
• Activities
• Program Committees
• Organization of Events
• Teaching
  • Ingeniería de Protocolos
  • Laboratorio de Software de Comunicaciones
  • Software de Comunicaciones
  • Métodos para la Construcción de Software Fiable

• Relevant activities
  • Chair of FMICS WG
  • Member of ERCIM EXECOM

Organization of Events

• 7th International Workshop on Formal Methods for Industrial Critical Systems, Málaga
  Responsable organización. Ámbito internacional
  Junio 2002
• XIII Jornadas Telecom I+D 2003
  Responsable organización sede remota. Ámbito nacional
  Noviembre 2003
• XIV Jornadas Telecom I+D 2004
  Responsable organización sede remota. Ámbito nacional
  Noviembre 2004
  
• Ercim Meetings 2004
  Co-responsable organización. Ámbito internacional
  Noviembre 2004
  
• XV Jornadas Telecom I+D 2005
  Co-responsable organización. Ámbito nacional
  Noviembre 2005
  
• XVI Jornadas Telecom I+D 2004
  Responsable organización sede remota. Ámbito nacional
  Noviembre 2006
  
• Jornadas Internacionales de Ciencias y Tecnologías
  Coordinador organización. Ámbito internacional
  Marzo 2007
  
• VI Jornadas de Concurrencia y Sistemas Distribuidos
  Co-presidente Comité Organizador. Ámbito nacional
  Junio 2007
  
• 12th Int. Workshop Formal Methods for Industrial Critical Systems (FMICS 2007)
  Responsable organización. Ámbito internacional
  Julio 2007
  
• VI Jornadas de Ingeniería Telemática
  Co-presidente Comité Organizador. Ámbito nacional
  Septiembre 2007 (Acción complementaria TSI2006-28286-E)
  

This website is under construction