Últimos eventos
-
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 …
-
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 …El Aula María Zambrano de Estudios Transatláticos UMA-ATECH presenta su proyecto, memoria anual y perspectivas de futuro en el marco de las Jornadas de Puertas Abiertas del Edificio Ada Byron, donde está situada.
12:00 Celebración Patrón de Ciencias “San Alberto”. Facultad de Ciencias.
-------------------
Punk-electrónico japonés
Axolotes Mexicanos son el proyecto que necesitaba el panorama nacional. Su enérgico, arriesgado e hipervitaminado sonido es el resultado de mezclar el punk más acelerado de estilo japonés con electrónica moderna y letras que van desde susurrar a lo cotidiano hasta gritar al desamor más desgarrador. Después de "Holi <3" (Elefant records, 2015) Olaya y Juan han decidido dar el gran salto. "Salu2" son trece canciones …
El Aula María Zambrano de Estudios Transatlánticos de la Universidad Metropolitana de Puerto Rico (UMET) organiza, junto a la UMET y el Instituto de Investigación Violencia y Complejidad, la presentación del Observatorio Móvil para el Estudio de la Violencia donde se mostrarán los recursos de los que disponen y cómo pueden ser utilizados en trabajos de investigación, cuya documentación se encuentra alojada en la web http://www.observatoriomovil.com. En dicho acto, que tendrá lugar a las 13.30 horas en el Anfiteatro Muñiz Souffront, participarán Miriam Muñiz Varela, docente del Departamento de Sociología y Antropología de la Universidad de Puerto Rico - Recinto de Río Piedras; Amaryllis …
Jueves 15 de noviembre
14:00 horas
Lugar: Aula MulticulturalDespués del cuerpo del contenido
Before content actionssocial links
