Se hai scelto di non accettare i cookie di profilazione e tracciamento, puoi aderire all’abbonamento "Consentless" a un costo molto accessibile, oppure scegliere un altro abbonamento per accedere ad ANSA.it.

Ti invitiamo a leggere le Condizioni Generali di Servizio, la Cookie Policy e l'Informativa Privacy.

Puoi leggere tutti i titoli di ANSA.it
e 10 contenuti ogni 30 giorni
a €16,99/anno

  • Servizio equivalente a quello accessibile prestando il consenso ai cookie di profilazione pubblicitaria e tracciamento
  • Durata annuale (senza rinnovo automatico)
  • Un pop-up ti avvertirà che hai raggiunto i contenuti consentiti in 30 giorni (potrai continuare a vedere tutti i titoli del sito, ma per aprire altri contenuti dovrai attendere il successivo periodo di 30 giorni)
  • Pubblicità presente ma non profilata o gestibile mediante il pannello delle preferenze
  • Iscrizione alle Newsletter tematiche curate dalle redazioni ANSA.


Per accedere senza limiti a tutti i contenuti di ANSA.it

Scegli il piano di abbonamento più adatto alle tue esigenze.

I guru dell'informatica mondiale a Napoli per la EACSL 2024

I guru dell'informatica mondiale a Napoli per la EACSL 2024

Dal 20 febbraio al centro congressi dell'ateneo Federico II°

ROMA, 16 febbraio 2024, 10:41

Redazione ANSA

ANSACheck

- RIPRODUZIONE RISERVATA

-     RIPRODUZIONE RISERVATA
- RIPRODUZIONE RISERVATA

I guru dell'Informatica, leader indiscussi 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 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.
    Fitto 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.
   

Riproduzione riservata © Copyright ANSA

Da non perdere

Condividi

O utilizza