Expertos del “Lorraine Research Laboratory in Computer Science and its Applications” dictarán Charlas en la Facultad

Los investigadores franceses Laurent Vigneron y Christophe Ringeissen de LORIA  “Lorraine Research Laboratory in Computer Science and its Applications”, dictarán dos charlas para los estudiantes de la Facultad de Ciencias de la Ingeniería. El objetivo es que los estudiantes puedan conocer las investigaciones que se realizan es este Laboratorio cuya principal misión es la investigación fundamental y aplicada en ciencias de la computación. Por otra parte, como señaló el Prof. Jorge Maturana del Instituto de Informática de la Facultad es "motivar la participación de estudiantes en estudios de postgrado allá". Las charlas organizadas por el instituto de informática de la Facultad de Ciencias de la Ingeniería,  se realizarán el día lunes 10 diciembre, a las 10:30 hrs., en el  Auditorio Pabellón Docente 9000, Campus Miraflores. Las charlas tituladas “Automated analysis of security protocols” y “Decision procedures and solvers for the formal analysis of software systems” serán dictadas en ingles. Mas información sobre el laboratorio en: Grupo de investigación CASSIS (http://cassis.loria.fr/) del LORIA (http://www.loria.fr/le-loria-1-en)