The Computer Science guru, undisputed leader of the world scientific scene, will be in Naples for the EACSL 2024 event, the annual Conference of the European Association for Informatics Logic to be held from 20 to 23 February 2024, at the Congress Centre of the University of Naples, 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.
The Rector Matteo Lorito and prof. Aniello Murano of the University of Naples, Federico II, who organized the event with Alexandra Silva, will do the honors. "I am really honored - said Professor Murano - and grateful to the big names who will intervene for the exceptional scientific contribution". The real revolution of these scientists consists in having applied the symbolism of logic to Informatics, through mathematical formulas.
Thanks to this intuition, any computer program can be translated into mathematical formulas. Hundreds of researchers from 35 countries will present their scientific work. The programme includes meetings and workshops. CSL'24 will take place in conjunction with the 12th International Workshop on Fixed Points in Informatics (FICS'24 ) to be held on 19 and 20 February, also at the University Congress Centre. The Logic Mentoring Workshop (LMW'24) on 23 February will follow.
An absolute novelty on 23 February: for the first time at an academic conference, researchers, companies and students will meet to speak a single language: that of research and development and work opportunities.
