Articoli di Uncategorized

CFP: 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2024)

*** We apologize for possible cross posting *** *** CALL FOR PAPERS *** OVERLAY 202428th - 29th November, 2024Bolzano, Italyhttps://overlay.uniud.it/workshop/2024 The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in...
Leggi di più

Le Matematiche – Call for papers – Special Issue on Recent Trends in Mathematics and Computer Science – Theory and Applications

*** Le Matematiche - Call for papers - Special Issue on Recent Trends in Mathematics and Computer Science - Theory and Applications *** Aims and Scope The aim of the Special Issue is to highlight recent theory and applications trends in Mathematics and Computer...
Leggi di più

VORTEX 2024, extended submission deadline: July 8

VORTEX 2024, Workshop co-located with ECOOP/ISSTA 2024, Vienna, Austria International Workshop on Verification and Monitoring at Runtime Execution (https://2024.ecoop.org/home/vortex-2024) Important Dates Extended submission deadlines: July 1, 2024 AoE...
Leggi di più

VORTEX 2024: Call for Papers

VORTEX 2024, Workshop co-located with ECOOP/ISSTA 2024, Vienna, Austria International Workshop on Verification and Monitoring at Runtime Execution (https://2024.ecoop.org/home/vortex-2024) Important Dates Submission deadline: June 24, 2024 AoE Author...
Leggi di più