Varios investigadores del Instituto IMDEA Software acuden esta semana -del 21 al 24- al Congreso Español de Informática (CEDI) que se celebra en Málaga. En esta edición el Instituto patrocina el evento junto a otras empresas como: Avanade, CGI, Danysoft, Google, Homeria, ITIS Software y PwC, entre otros.
El miércoles 22 de septiembre, de 12:00-13:30, tiene lugar la primera conferencia en la que participa un miembro del Instituto. Se trata de la presentacón de un paper: “Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP.” Autores: Joaquín Arias (ex estudiante de doctorado del Instituto y profesor asociado de la Universidad Rey Juan Carlos) y Manuel Carro (director del Instituto IMDEA Software). En esta ocasión será Arias quien se encargue de la presentación.
El jueves 23, el Instituto participa en dos ocasiones. En primer lugar, con la presentación de un paper: “An application of KLEE to aerospace industrial software” de 10:00 a 10:30. Autores: Juan Francisco García, Daniel Jurjo, Fernando Macías, José Francisco Morales y Alessandra Gorla. En este caso, Jurjo será el que de a conocer los detalles del paper. Y, en segundo lugar, Manuel Carro será el Chair de la sesión “Fuzzy logic programming / Verification” de 12:00 a 13:30.
Además, Juan José Moreno, participará en las asambleas y reuniones del comité permanente de las sociedades SCIE y SISTEDES como miembro fundador.
El evento, que acoge la Escuela Técnica Superior de Ingeniería Informática de la Universidad de Málaga, pretende servir de marco de encuentro para profesionales dedicados preferentemente a la investigación, desarrollo, innovación y enseñanza universitaria, dentro del ámbito de la ingeniería informática.
El CEDI, se estructura como un multi-congreso formado por un conjunto de eventos gran parte de los cuales se corresponden con Congresos, Jornadas o Encuentros que se vienen desarrollando periódicamente. Prácticamente cubre todos los campos en los que en la actualidad incide la informática, y dentro de cada uno de ellos se presentan, por medio de comunicaciones, los aspectos más innovadores, y con mayor proyección futura, siempre desde una perspectiva eminentemente universitaria y científica.
Más información: https://whova.com/portal/webapp/hybri1_202109/
