FACAS 2013

"Primer Taller Argentino de Fundamentos para el Análisis y Construcción Automática de Software"

Reserva Natural Vaquerías
Valle Hermoso, Córdoba, Argentina

12-14 de Abril de 2013

 

El primer Taller Argentino de Fundamentos para el Análisis y Construcción Automática de Software a realizarse en Vaquerías, Córdoba, apunta a ser una reunión científica en donde se discutan investigaciones recientes en temáticas vinculadas a la verificación, validación y síntesis de artefactos vinculados a la ingeniería de software, incluyendo desde especificaciones de requerimientos y diseño a código fuente.

Las actividades del Taller comprenderán ponencias de trabajos recientemente publicados, tutoriales introductorios a temas específicos y diversos ámbitos que fomenten discusiones informales.

Los objetivos del Taller son:

  • Crear un ámbito para la discusión constructiva y el intercambio de ideas entre los especialistas del área.
  • Promover el intercambio de información científica y tecnológica entre investigadores y doctorandos.
  • Generar una red de comunicación permanente entre los grupos del país que trabajen en el área.

Este año, FACAS coincidirá con la presentación del proyecto "Centro para la Automatización en Ingeniería del software", propuesta recientemente subsidiada por el programa PPL-2 de la Agencia Nacional de Promoción Científica y Tecnológica.

 


PROGRAMA

Viernes 12

17:00 a 18:00 - Reunion PPL - Sólo para los jefes de grupo y administración.

18:00 a 20:00 - "Conociéndonos - Mapa del Area":

18:00 a 19:00  Presentaciones por parte de cada director de grupo.
19:00 a 19:30  División en grupos de trabajo.
19:30 a 20:00  Presentaciónes de los grupos y discusión.


Sábado 13

8:00 a 10:00 - Presentación PPL y Brainstorming sobre oportunidades de I+D con Industria

10:00 a 10:30 - Coffee Break

10:30 a 12:30 - "Curso 1" Nazareno Aguirre y Marcelo Frías: Técnicas Formales para Automatización en Testing.

12:30 a 13:30 - Reunion PPL 2 - Sólo para los jefes de grupo y administración.

12:30 - Almuerzo

16:00 a 18:00 - "Curso 2" - Nicolas D'Ippolito: Síntesis de Controladores.

18:00 a 18:30 - Coffee Break

18:30 a 20:00 - "Brainstorming: Synergía de técnicas":

18:30 a 19:30 discusiones en grupos de trabajo.
19:30 a 20:30 presentaciones.


Domingo 14

9:00 a 11:00 - "Curso 3" - Pedro D'Argenio, Modelado y Verificación de Sistemas Probabilisticos.

11:00 a 12:00 - Cierre

12:00 - Almuerzo

Patrocinado por

CITIS - Centro de Investigación y Transferencia en Ingeniería de Software - ANPCyT PPL-2011-2-0004


Asistencia unicamente por Invitación

Comité organizador:

Dr. Sebastián Uchitel
Universidad de Buenos Aires

Dr. Víctor A. Braberman
Universidad de Buenos Aires

Dr. Diego D. Garbervetsky
Universidad de Buenos Aires

Invitados a FACAS 2013:

Dr. Hernán Melgratti
Universidad de Buenos Aires

Dr. Pedro D'Argenio
Universidad Nacional de Córdoba

Dr. Marcelo Frias
Instituto Tecnológico Buenos Aires

Dr. Nazareno Aguirre
Universidad de Rio Cuarto

Dr. Carlos Lopez Pombo
Universidad de Buenos Aires

Dr. Nicolás D'Ippolito
Universidad de Buenos Aires

Dr. Pablo Castro
Universidad de Rio Cuarto

Dra. Laura Brandán Briones
Universidad Nacional de Córdoba

Dr. Damián Barsotti
Universidad Nacional de Córdoba

Dr. Matías D. Lee
Universidad Nacional de Córdoba

Dra. Agnes Madalinski
Universidad Austral de Chile

Dr. Alfredo Illianes
Universidad Austral de Chile

Lic. Hernán Czemerinski
Universidad de Buenos Aires

Lic. Esteban Pavese
Universidad de Buenos Aires

Lic. Fernando Asteasuain
Universidad de Buenos Aires

Lic. Gervasio Perez
Universidad de Buenos Aires

Lic. Guido Chari
Universidad de Buenos Aires

Lic. Edgardo Zoppi
Universidad de Buenos Aires

Lic. Ignacio Vissani
Universidad de Buenos Aires

Lic. Matías Barbeito
Universidad de Buenos Aires

Lic. Paula Chocrón
Universidad de Buenos Aires

Lic. Mariano Moscato
Universidad de Buenos Aires

Leandro Lera Romero
Universidad de Buenos Aires

Rodrigo Castaño
Universidad de Buenos Aires

Marcos Chicote
Universidad de Buenos Aires

Christian Russo
Universidad de Buenos Aires

Tomás Scally
Universidad de Buenos Aires

Mariano Cerrutti
Universidad de Buenos Aires

Juan Manuel Martinez Caamaño
Universidad de Buenos Aires

Lic. Nicolás Rosner
Universidad de Buenos Aires

Lic. Santiago Bermudez
Instituto Tecnológico Buenos Aires

Lic. Pablo Abad
Instituto Tecnológico Buenos Aires

Lic. Valeria Bengolea
Universidad de Río Cuarto

Lic. Cecilia Kilmurray
Universidad de Río Cuarto

Lic. Renzo Degiovanni
Universidad de Río Cuarto

Lic. Nicolás Ricci
Universidad de Río Cuarto

Lic. Germán Regis
Universidad de Río Cuarto

Lic. Silvia Pelozo
Universidad Nacional de Córdoba

Lic. Raúl Monti
Universidad Nacional de Córdoba

Lic. Carlos Budde
Universidad Nacional de Córdoba