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

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)      

Contacto

Facultad de Ciencias de la Ingeniería General Lagos 2086, Campus Miraflores

Teléfono: 63 222 1823

Valdivia · Chile

Facultad de Ingeniería Universidad Austral de Chile. Desarrollado por EfectoVisual

Acceder

Acceder
Malla Curricular Ing. Acustica
Malla Curricular Bachillerato
Malla Curricular Ing. Electronica
Malla Curricular Ing. Industrial
Malla Curricular Ing. Informática
Malla Curricular Obras Civiles
Malla Curricular Civil Mecánica
Malla CurricularIng. en Construcción
Malla Curricular Ing. Naval
Académicos Acustica y Vibraciones
Académicos Magister en Informatica
Académicos Centro de Docencia Cs. Básicas
Académicos Instituto de Cs Navales y Marítimas
Académicos Instituto de Diseño y Métodos Industria
Académicos Instituto de Electricidad y Electronica
Académicos Instituto de Materiales y Procesos Term
Académicos Instituto de Obras Civiles
Académicos Instituto de Informática
Académicos Magíster en Ingeniería Mecánica y Mater