Últimos eventos
-
- IES Huelin (Málaga)
- IES Miguel Romero Esteo (Málaga)
-
La Vicerrectora de Smart-Campus, Raquel Barco Moreno, tiene el placer de invitarles al Acto de Presentación del Programa de Actividades Ambientales y de los proyectos seleccionados del I Plan Propio de Smart-Campus.
El acto tendrá lugar el martes 20 de noviembre a las 10:00 horas en el Salón de Actos de la Facultad de Ciencias. Posteriormente se ofrecerá un refrigerio ecológico a todas las personas asistentes.
Se ruega confirmación a través de este enlace.PROGRAMA
10:00 Inauguración del Acto 10:05 Conclusiones de la primera convocatoria del Plan Propio de Smart-Campus 10:15 Presentación de proyectos del I Plan Propio de Smart-Campus 12:55 Presentación del Programa de Actividades Ambientales 13:10 Refrigerio con productos del Valle del Guadalhorce. Esperamos su asistencia,
Reciba un cordial saludo.
-
Inauguración de la exposición fotográfica 'Málaga-Mersin: una mirada mediterránea'
Lugar: Facultad de Ciencias de la Comunicación
Fecha: Martes, 20 de noviembre
Hora: 12,00
-
09:30 Consejo de Dirección. Pabellón de Gobierno.
-------------------
-
Mesa redonda: "Un equipo contra la violencia de género"
Fecha: Lunes 19 de noviembre de 2018
Lugar: Aula Magna de la Facultad de Ciencias de la Comunicación. Campus de Teatinos
Hora: 13,00
-
Impartida por el Prof. Camilo Rocha (Pontificia Universidad Javeriana, Colombia) y organizada por el Departamento de Lenguajes y Ciencias de la Computación
Día: lunes 19 de noviembre de 2018
Hora: 12:30
Lugar: Sala de Grados B - E.T.S. Ingeniería de TelecomunicaciónAbstract:
Rewriting modulo SMT is a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability properties of infinite-state open systems, i.e., systems that interact with a nondeterministic environment. Such systems exhibit both internal nondeterminism, which is proper to the system, and external nondeterminism, which is due to the environment. In a reflective formalism, such as rewriting logic, rewriting modulo SMT can be reduced to standard rewriting. Hence, rewriting modulo SMT naturally extends rewriting-based reachability analysis techniques, which are available for closed systems, to open systems. In this talk, I will be discussing the main conceptual and technical ideas behind rewriting modulo SMT, its state of implementation in the Maude system, and some research challenges to be tackled during the next few years.
Biography:
Camilo Rocha is an Associate Professor in the Department of Electronics and Computer Science at the Pontificia Universidad Javeriana (Cali, Colombia). He earned a B.Sc. and a M.Sc. degree in Informatics from the Universidad de los Andes (Bogotá, Colombia), and a M.Sc. degree in Mathematics and a Ph.D. degree in Computer Science from the University of Illinois (Urbana, USA). He is currently working on developing symbolic techniques and tools for reachability analysis in rewriting logic. Overall, his research interests are in formal methods, algorithms, and software engineering, more specifically on techniques for building reliable software systems. Details and more information about his research can be found at his personal web page: http://camilorocha.info
-
Lugar: Aula Magna
Facultad de Ciencias de la Comunicación
-
Jornadas 'El Estado de la Comunicación y la Cultura en Andalucía'
Lugar: Auditorio del Museo Picasso
Fecha: 19 y 20 de noviembre
Hora: A partir de las 9,45 h.
-
-
El sábado 17 de noviembre, el Vicerrectorado de Internacionalización de la Universidad de Málaga, el Instituto Andaluz de la Juventud y la Asociación de Vecinos Mangas Verdes, a través de la Oficina Welcome to UMA, realizan una visita al popular barrio Mangas Verdes, un pueblo dentro de la ciudad de Málaga.
El objetivo de esta actividad es acercar tanto a los estudiantes internacionales, como a los locales a la cultura popular malagueña mostrándoles otra cara de la ciudad y haciéndolos partícipes de su historia, su cultura y su mitología con una visita guiada a este peculiar barrio de la cuidad.
Número limitado de plazas.
Enviaremos un email de confirmación a aquellos que se hayan sido seleccionados para confirmar su participación en la actividad.
La actividad es gratuita para los estudiantes.
Los residentes del vecindario les invitarán a conocer una porción de la cultura con algunos platos locales y una variedad de espectáculos de danza tradicional para darles una gran bienvenida a los estudiantes.
Se ruega puntualidad
Punto de encuentro: C/Monda, 21
Hora: 09:30AMMÁS INFORMACIÓN E INSCRIPCIONES: https://goo.gl/forms/Fm2ULZ7eXoza8ayB3
