Llegarán a Nápoles los padres fundadores de la informática para el evento Eacsl2024 (conferencia anual de la asociación europea para la lógica informática), una de las conferencias más importantes del mundo, que se llevará a cabo del 20 al 23 de febrero de 2024, en el centro de convenciones de la universidad de estudios de Nápoles Federico II. Por primera vez juntos, los nombres más citados de la comunidad científica: Moshe Y. Vardi, Georg Gotlob, Marta Kwiatkowska, seguidos por Barbara König y Balder ten Cate. Serán los oradores de renombre internacional, las estrellas del evento.
Sus contribuciones científicas han sido fundamentales para el nacimiento de la informática moderna. Han aplicado el simbolismo de la lógica a la informática, a través de fórmulas matemáticas. Cualquier programa hoy en día, gracias a estas contribuciones científicas, se traduce en una fórmula matemática.
El rector Matteo Lorito y el profesor Aniello Murano del departamento de dieti de la universidad de estudios de Nápoles, Federico II: harán los honores de la casa. 'Estoy realmente honrado', declaró el profesor Murano, 'de haber tenido el encargo de organizar junto con la profesora Alexandra Silva, la conferencia Csl 2024. Los números son y serán los protagonistas. Las inscripciones de investigadores y estudiantes para el evento, se agotaron casi de inmediato. Se presentarán 60 trabajos de investigadores de 35 naciones diferentes.
Csl 2024 se llevará a cabo en conjunto con el 12° taller internacional sobre puntos fijos en informática (Fics 24) que se llevará a cabo el 19 y 20 de febrero. Seguirá el taller de mentoría sobre lógica (Lmw 24) que se llevará a cabo el 23 de febrero. En esa misma fecha se anuncia una novedad absoluta: por primera vez en una conferencia académica se reunirán investigadores de renombre, empresas y estudiantes para hablar un solo idioma: el de la investigación y las oportunidades de desarrollo y trabajo.