Die Gründerväter der Informatik werden in Neapel für die Veranstaltung Eacsl2024 (jahreskonferenz der europäischen Vereinigung für Informatik Logik) ankommen, eine der wichtigsten Konferenzen der Welt, die vom 20. bis 23. Februar 2024 im Kongresszentrum der Universität Neapel Federico II stattfinden wird. Zum ersten Mal zusammen sind die am meisten zitierten Namen der wissenschaftlichen Gemeinschaft: Moshe Y. Vardi, Georg Gotlob, Marta Kwiatkowska, gefolgt von Barbara König und Balder ten Cate. Sie werden die international renommierten Redner, die Stars der Veranstaltung sein.
Ihre wissenschaftlichen Beiträge waren entscheidend für die Entstehung der modernen Informatik. Sie haben die Symbolik der Logik in der Informatik angewendet, durch mathematische Formeln. Heutzutage wird jedes Programm dank dieser wissenschaftlichen Beiträge in eine mathematische Formel übersetzt.
Die Gastgeber sind der Rektor Matteo Lorito und Prof. Aniello Murano vom Dieti-Department der Universität Neapel, Federico II: "Ich bin wirklich geehrt", sagte Prof. Murano, "die Aufgabe zu haben, gemeinsam mit Prof. Alexandra Silva die Konferenz Csl 2024 zu organisieren. Die Zahlen sind und werden die Hauptdarsteller sein. Die Anmeldungen von Forschern und Studenten für die Veranstaltung waren fast sofort ausverkauft. Es werden 60 Arbeiten von Forschern aus 35 verschiedenen Ländern vorgestellt".
Csl 2024 findet gleichzeitig mit dem 12. internationalen Workshop über Fixpunkte in der Informatik (Fics 24) statt, der am 19. und 20. Februar stattfinden wird. Es folgt der Mentoring-Workshop über Logik (Lmw 24), der am 23. Februar stattfinden wird. An diesem Tag wird eine absolute Neuheit angekündigt: Zum ersten Mal treffen sich auf einer akademischen Konferenz renommierte Forscher, Unternehmen und Studenten, um eine einzige Sprache zu sprechen: die der Forschung und der Entwicklungsmöglichkeiten und Arbeit.