I geni dell’Informatica, guide indiscusse del panorama scientifico mondiale, saranno a Napoli per l’evento EACSL 2024, la Conferenza annuale dell’Associazione Europea per la Logica informatica che si terrà dal 20 al 23 febbraio 2024, presso il Centro Congressi dell’Ateneo dell’Università degli studi di Napoli, Federico II.
Per la prima volta insieme, i massimi esperti più citati al mondo: Moshe Y. Vardi, Georg Gotlob, Marta Kwiatkowska, seguiti da Barbara Konig e Balder ten Cate.
A fare gli onori di “casa”, il Magnifico Rettore Matteo Lorito e il prof. Aniello Murano dell’Università degli Studi di Napoli, Federico II, organizzatore dell’evento con la prof.ssa Alexandra Silva.
“Sono davvero onorato – ha dichiarato il prof Murano – e grato ai grandi nomi che interverranno per l’eccezionale contributo scientifico”.
La vera rivoluzione di questi scienziati consiste nell’aver applicato il simbolismo della logica all’Informatica, attraverso formule matematiche.
Grazie a questa intuizione, qualunque programma di Informatica, si può tradurre in formule matematiche.
Sono centinaia i ricercatori, provenienti da 35 Nazioni, che presenteranno i loro lavori scientifici.
Pieno il programma di appuntamenti e workshops. CSL’24 si svolgerà in concomitanza con il 12° Workshop internazionale sui punti fissi in Informatica (FICS’24 ) che si terrà il 19 e 20 febbraio, sempre al Centro Congressi di Ateneo. Seguirà il workshop di mentoring sulla logica (LMW’24) che si terrà il 23 febbraio.
Una novità assoluta il 23 febbraio: per la prima volta ad una Conferenza accademica, si incontreranno ricercatori, aziende e studenti per parlare un solo linguaggio: quello della ricerca e delle opportunità di sviluppo e lavoro.
Il progresso è alle porte. Un plauso a coloro che contribuiscono al progresso con la loro intelligenza e la loro dedizione.
