AVISPA: 25 años tejiendo una red de oportunidades académicas en informática para sus jóvenes

Program

Monday, 30 November 2020

Zoom link: https://us02web.zoom.us/j/82895407899?pwd=eDd0MnY3cWM0OHVXZHgyVDZLbWxDdz09
15:00 - 15:30 Opening Act (video)
Chairs: Juan Francisco Díaz
Camilo Rueda
Session 1 Chair: Luis Omar Quesada
15:30 - 16:15 The Social Dilemma: Polarization (video, slides)
Frank Valencia
16:15 - 17:00 Especificación y Verificación de Sistemas Multimedia Interactivos (video, slides)
Jaime Arias
17:00 - 17:30 Break
Session 2 Chairs: Jesús Aranda and Robinson Duque
17:30 - 18:15 Rewrite- and Narrowing-based Verification of Concurrent Systems (video, slides)
Camilo Rocha
18:15 - 19:00 Machine Learning & CP (video, slides)
Robinson Duque
19:00 - 19:45 Automated Verification of Concurrent and Multi-Agent Systems (video, slides)
Julian Gutierrez


Tuesday, 1 December 2020

Zoom link: https://us02web.zoom.us/j/81948385242?pwd=ZktOdVFpRGR0bXJsVDRId1h0L2kwQT09
Session 3 Chair: Frank Valencia
8:00 - 8:45 Structural Proof Theory in Maude (video, slides)
Carlos Olarte
8:45 - 9:30 Preferred Minimal Conflicts and Relaxations: From Two-Point Relaxations to Multi-Point Relaxations (video, slides)
Luis Omar Quesada
9:30 - 10:00 Break
10:00 - 10:30 Acknowledgement Act (video)
Chairs: Jesús Aranda
Robinson Duque
Session 4 Chairs: Jorge A. Pérez and Luis Omar Quesada
10:30 - 11:15 Desarrollo de Software a la Escala de Google (video)
Luis Fernando Pino
11:15 - 12:00 Verificación Formal de Sistemas Temporizados (video, slides 1, slides 2)
James Ortiz


Wednesday, 2 December 2020

Zoom link: https://us02web.zoom.us/j/82839036946?pwd=YTlOa3ZVRFJ2dThFSWl6MFNEWG1ldz09
Session 5 Chair: Carlos Olarte
8:00 - 8:45 Sistemas de Tipos Basados en Sesiones (video, slides)
★ Project: Unifying Correctness for Communicating Software
Jorge A. Pérez
8:45 - 9:30 Declarative Business Processes: Modelling, Verification, Compliance (video, slides)
Hugo A. López
9:30 - 9:45 Break
9:45 - 10:15 Estado de la Industria 4.0 en Latinoamérica y Oportunidades de Investigación (video, slides)
Mauricio Toro
10:15 - 11:30 Collaboration Session (video 1, video 2)
Chairs: Camilo Rocha
Hugo A. López
11:30 - 12:00 Closing Act (video)
Chairs: Luis Omar Quesada
Frank Valencia




 
grupos/avispa/25-years.txt · Última modificación: 2020/12/17 04:44 por jearias
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki