Programma dettagliato dell’edizione 2021 di ISTI DAY(s) (che si svolgerà in connessione remota e su due giornate)
Programma:
Giorno 1: 16 Novembre, 2021
-
Opening
14:00 - 14:05Coordinatori ISTI-Day
-
Digitale ed impatto sociale come cambia la ricerca in Informatica
14:05 - 14:35Prof.ssa Paola Inverardi ( DISIM, UniAquila )
- slides (PDF); -
Intervento del Direttore: Status after a transition year
14:35 - 15:00Roberto Scopigno
-
ISTI Awards Ceremony
15:00 - 15:10Franco Maria Nardini
-
Scientific Talks I
-
Poster Fast Forward (1 minute speech for each poster)
15:50 - 16:00 -
Break & Poster Session I
16:00 - 16:30 -
Scientific Talks II
-
PTHash: Revisiting FCH Minimal Perfect Hashing
16:30 - 16:50Giulio Ermanno Pibiri
#Hashing, #Compression, #DataStructures -
How Mobility and Sociality Reshape the Context of the Mobile CrowdSensing paradigm
16:50 - 17:10Michele Girolami
#CrowdSensing, #SocialSensing, #DistributedComputing -
Feasibility of Spatial Model Checking for Nevus Segmentation
17:10 - 17:30Giovanna Broccia
#SpatialLogics, #ModeChecking, #MedicalImaging -
Adaptive Utterance Rewriting for Conversational Search
17:30 - 17:50Cristina Muntean
#ConversationalIR, #NeuralReRanking, #QueryRewriting
-
-
Closing
17:50 - 17:55
Giorno 2: 23 Novembre, 2021
-
Opening
14:00 - 14:05Coordinatori ISTI-Day
-
Intervento del Direttore DIITET
14:05 - 14:20Emilio F. Campana
-
Scientific Talks III
-
Spatial Model Checking on GPU: A Declarative Approach to Accelerated Image Analysis, with Applications to Medical Imaging
14:20 - 14:40Laura Bussi
#SpatialLogics, #ModelChecking, #GPUComputation -
Approaches to Static Prediction of Software Test Flakiness
14:40 - 15:00Antonia Bertolino
#SoftwareTesting, #NonDeterministicTest, #Facebook2019_TAV_Award -
Situated Conditional Reasoning
15:00 - 15:20Giovanni Casini
#KnowledgeRepresentationAndReasoning, #Logic-basedAI, #ConditionalReasoning -
From Text to Formal Narratives
15:20 - 15:40Daniele Metilli
#SemanticWeb, #Ontology, #DigitalHumanities
-
-
Poster Fast Forward (1 minute speech for each poster)
15:40 - 15:50 -
Break & Poster Session II
15:50 - 16:20 -
Scientific Talks IV
-
Recommendations for Creating Trigger-Action Rules in a Block-Based Environment
16:20 - 16:40Andrea Mattioli
#End-userDevelopment, #RecommendationSystems, #InternetOfThings -
Entity Deduplication in Big Data Graphs for Scholarly Communication
16:40 - 17:00Michele De Bonis
#Deduplication #BigData #Graph -
CHARITY - Cloud for Holography and Augmented Reality
17:00 - 17:20Massimiliano Corsini
#EdgeComputing, 3DStreaming, AdaptiveRendering, MediaDataCompression -
Complexity features of a neural mass model
17:20 - 17:40Paolo Paradisi
#BrainModels, #ElectroEncelography, #BiomedicalSignalProcessing
-
-
Closing
17:40 - 17:50