Loading...

Keynote Speaker

Prof. Moshe Vardi
Rice University

Talk title

Homo ratiocinator (Reckoning Human)

Abstract

Homo sapiens, “wise human” in Latin, is the taxonomic species name for modern humans. But observing the current state of the world and its trajectory, it is hard to accept the description “wise”.  The speaker is not the first to object to the “sapiens” descriptor. The French philosopher Henri-Louis Bergson argued in 1911 that a better term would be Homo Faber, referring to human tool-making ability.  I’d like to offer an alternative: Homo rationcinator, or reckoning human – where reckoning refers to both reasoning and computing. I will conclude by discussing implications of this analysis to the current relentless drive for Artificial General Intelligence.

Bio

Prof. Moshe Ya’akov Vardi is an theoretical computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States. and a faculty advisor for the Ken Kennedy Institute. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge of multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.

Vardi has authored or co-authored over 700 technical papers as well as editing several collections. He has authored the books Reasoning About Knowledge with Ronald Fagin, Joseph Halpern, and Yoram Moses, and Finite Model Theory and Its Applications with Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein. He is senior editor of Communications of the ACM, after serving as its editor-in-chief for a decade

Sally Chambers
British Library/DARIAH

Talk title

To be announced

Abstract

To be announced

Bio

To be defined

Prof. Massimo Bernaschi
GARR/ IAC-CNR

Talk title

High-Performance Computing and Communication in Social Sciences and Humanities

Abstract

Nobody would deny the steadily increasing importance of High-Performance Computing techniques in Social Sciences and Humanities.
However, the complexity and challenges that modern Computing and Communication platforms pose are also growing.
Hence, it is necessary to invest not just in hardware, but also in creating and maintaining specific skills beyond the standard toolbox of people working in Social Sciences and Humanities.
We present examples of such challenges and provide hints for addressing them through a collaborative approach.

Bio

Massimo Bernaschi graduated in Physics in 1987 with Giorgio Parisi working on the development of the APE computer at INFN. Massimo Bernaschi – Vice President of the GARR ConsortiumHe worked for 10 years at the European Center for Scientific and Engineering Computing at IBM. He received two Outstanding Technical Achievement Awards from IBM. Since 1998 he has been a Director of Technology at the Institute for Applications of Computing at C.N.R. He is Professor of Blockchain and Cryptocurrencies at the University “LUISS” of Rome. He is a government delegate at the European Defense Agency for CapTech “Communication, Information System and Networks”. He has developed open source software packages such as REMUS, OpenCapwap, SockMi, BitCracker. In recent years he has been very active in programming Graphics Processing Units (GPU). In 2012 he received, for the results obtained in this field, the title of CUDA Fellow from Nvidia. He was part of the task force of the Ministry of Innovation for data management during the COVID-19 emergency.

Prof. Ernesto Damiani
Khalifa University / Univ. of  Milan

Talk title

Cyber-Humanities: how I learned to stop worrying and love LLMs

Abstract

Many concerns have been raised on the role of Large Language Models (LLMs) in humanities research, based on the perceived danger that the inference methods of generative AI could reduce the variety and originality of the contributions. This talk will present use cases that rely on human-in-the-loop to alleviate this threat, fostering high quality machine-assisted research in various humanities disciplines.

Bio

Prof. Ernesto Damiani is Full Professor at Università degli Studi di Milano, Director of Center for Cyber Physical Systems (C2PS) within the Khalifa University, leader of the Big Data area at Etisalat British Telecom Innovation Center, and President of the Consortium of Italian Computer Science Universities (CINI). He is also part of the ENISA Ad-Hoc Working Group on Artificial Intelligence Cybersecurity, where he serves as Rapporteur.

According to DBLP (January 2021), Ernesto Damiani has authored 137 journal papers, 336 refereed articles in proceedings of international conferences, and published 57 books and chapters as an author or editor. According to Google Scholar, Ernesto’s work has been cited more than 18,200 times and his h-index is 57; 291 of his papers have at least 10 citations. On Scopus he has 616 documents and more than 7,100 total citations by more than 5,600 documents. His Scopus h-index is 36. With 542 publications listed on DBLP, he is considered among the most prolific European computer scientists.

His areas of interest include cyber-physical systems, Big Data Analytics, Edge/Cloud security and performance, Artificial Intelligence, and Machine Learning. Ernesto Damiani has pioneered model-driven data analytics. Ernesto has been a recipient of the Stephen Yau Award from the Service Society, of the Outstanding contributions Award from IFIP TC2, of the Chester-Sall Award from IEEE IES, and of a doctorate honoris causa from INSA – Lyon (France) for his contribution to Big Data teaching and research.