Les pères fondateurs de l'informatique arriveront à Naples pour l'événement Eacsl2024 (conférence annuelle de l'association européenne pour la logique informatique), l'une des conférences les plus importantes au monde, qui se tiendra du 20 au 23 février 2024, au centre de congrès de l'université des études de Naples Federico II. Pour la première fois ensemble, les noms les plus cités de la communauté scientifique : Moshe Y. Vardi, Georg Gotlob, Marta Kwiatkowska, suivis de Barbara König et Balder ten Cate. Ils seront les conférenciers de renommée internationale, les stars de l'événement.
Leurs contributions scientifiques ont été fondamentales pour la naissance de l'informatique moderne. Ils ont appliqué le symbolisme de la logique à l'informatique, à travers des formules mathématiques. Aujourd'hui, grâce à ces contributions scientifiques, tout programme se traduit en une formule mathématique.
Les hôtes de l'événement seront le recteur Matteo Lorito et le professeur Aniello Murano du département dieti de l'université des études de Naples, Federico II: «Je suis vraiment honoré - a déclaré le professeur Murano - d'avoir eu la charge d'organiser avec la professeure Alexandra Silva, la conférence Csl 2024. Les chiffres sont et seront les protagonistes. Les inscriptions des chercheurs et des étudiants pour l'événement ont été presque immédiatement épuisées. 60 travaux de chercheurs de 35 nations différentes seront présentés».
Csl 2024 se déroulera en même temps que le 12ème atelier international sur les points fixes en informatique (Fics 24) qui se tiendra les 19 et 20 février. Il sera suivi par l'atelier de mentorat sur la logique (Lmw 24) qui se tiendra le 23 février. À cette même date, une nouveauté absolue est annoncée : pour la première fois lors d'une conférence académique, des chercheurs de renommée, des entreprises et des étudiants se réuniront pour parler une seule langue : celle de la recherche et des opportunités de développement et de travail.