El miércoles 16 de diciembre de 2015 se llevará a cabo el workshop: Combining Architecture Descriptions with Empirical and Formal Analysis for Quality Assurance of Large-Scale Software.
El taller tendrá lugar en la Facultad de Ingeniería, Sala de Seminarios, Campus Centro.
El evento comenzará a las 8:45 h con un café de bienvenida y continuará con una serie de charlas a cargo de docentes e investigadores de la facultad, así como también contará con la participación de investigadores de Argentina y Reino Unido.
El evento está dirigido a investigadores nacionales y será dictado en inglés.
El workshop es organizado por la Cátedra de Teoría de la Computación.
Programa
08:45 - 09:15 Recepción y café de bienvenida
09:15 - 09:30 Apertura del evento a cargo de Macarena Sarroca, Science & Innovation Project Officer, British Embassy,
Montevideo.
09:30 - 10:15 Describing Software Architectures - Revisiting The Early Decisions, Christos Kloukinas, City University
London.
10:15 - 11:00 Nominal Equational Unification, Maribel Fernández, King's College London.
11:00 - 11:30 Intervalo
11:30 - 12:00 Toward Full Elasticity in Distributed Static Analysis, Diego Garbervetsky, Universidad de Buenos Aires.
11:00 - 11:30 Presentación del grupo de Ingeniería de Software, a cargo de Martín Solari de la Universidad ORT
Uruguay.
11:30 - 12:00 Presentación del grupo de Teoría de la Computación a cargo de Álvaro Tasistro de Universidad ORT
Uruguay.
Contacto:
- Dr. Sergio Yovine, sergio.yovine@gmail.com.
Apoyan y financian:
