A Napoli l’evento più atteso dalle comunità scientifiche di tutto il mondo: CSL 2024 (Conferenza annuale dell’EACSL, l’Associazione Europea per la logica informatica), una delle più importanti conferenze di 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 guru dell’Informatica moderna, primi fra tutti: Moshe Y. Vardi, Georg Gottlob, seguiti da Marta Kwiatkowska e poi da Barbara König e Balder ten Cate.
I loro contributi scientifici sono stati fondamentali per la nascita dell’Informatica moderna. Hanno applicato il simbolismo della logica all’informatica, attraverso modelli e formule matematiche. Qualunque programma oggi, grazie a questi contributi scientifici, si traduce in un procedimento logico-matematico.
A fare gli onori di casa, il Rettore Matteo Lorito che ha sostenuto con entusiasmo l’evento. L’incarico di organizzare la Conferenza CSL 2024 è stato affidato dalla comunità scientifica internazionale al prof. Aniello Murano, Ordinario di Informatica, del Dipartimento DIETI dell’Università degli Studi di Napoli, Federico II
“Sono davvero onorato – ha dichiarato il prof. Murano – di aver avuto l’incarico di organizzare questo evento, insieme alla prof.ssa Alexandra Silva. Ritengo sia un grande privilegio aver avuto la partecipazione a CSL 2024 di luminari di fama mondiale con i quali ho avuto il piacere e l’onore di collaborare”.
I numeri sono e saranno protagonisti. Saranno presentati 60 lavori di ricercatori provenienti da 35 Nazioni diverse dal 20 al 23 con un calendario fittissimo di interventi dalle ore 9:00 fino alle 18:00 circa.
Il 23 febbraio si preannuncia una novità assoluta: per la prima volta ad una Conferenza accademica si incontreranno ricercatori di chiara fama, aziende e studenti per parlare un solo linguaggio: quello della ricerca e delle opportunità di sviluppo e lavoro.
Le prime aziende ad aderire con grande entusiasmo sono state: Collins Aerospace, Innovaway, Sipos, che saranno presenti durante tutto l’evento, con una propria postazione, per dialogare con studenti e ricercatori e presentarsi poi a tutta la platea il 23 febbraio. L’obbiettivo è cogliere le opportunità, investire nella ricerca e nelle risorse umane.
“Ho sperimentato già a settembre con Eumas – ha aggiunto il prof. Murano – un primo dialogo con le aziende innovative del territorio, interessate alle nostre ricerche e alle possibili applicazioni. È stato un successo. Anche questa volta credo sia stimolante per gli studenti prendere parte al dibattito scientifico e al tempo stesso cogliere gli stimoli e le opportunità che le aziende offrono, investendo negli studenti, nel talento, nella formazione sulla quale noi docenti investiamo moltissimo”.
Saranno presenti anche le aziende: Amazon, Assist, Digitalcomoedia, Kineton, Nexsoft pronte con le loro postazioni a dialogare con ricercatori e studenti. Il 23 presenteranno il proprio core business insieme a diverse altre aziende, tutte di indiscusso successo: BC Soft, CSA Consorzio, Euronics Tufano, Flaxia, Nexus, Sinapto, Skilledin, SMS Engineering.
CSL 2024 si svolgerà in concomitanza con il 12° workshop internazionale sui punti fissi in Informatica (FICS’24) che si terrà il 19 e 20 febbraio. Seguirà il workshop di mentoring sulla logica (LMW’24) che si terrà il 23 febbraio.
