Past events
-
20 noviembre 2018: Seminario de Análisis, 18:00-19:00
Conferenciante: Vladimir Dotsenko, Trinity College Dublin
Título: Noncommutative analogues of cohomological field theorie
Resumen: Algebraic structures that are usually referred to as cohomological field theories reflect very rich geometry of Deligne--Mumford compactifications of moduli spaces of curves with marked points. I shall talk about some new rather remarkable algebraic varieties that have a lot in common with [genus 0] Deligne--Mumford spaces, about their topological properties, and …
- 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 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 …
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.
Después de cuerpo del contenido



