Articoli di Ricerca

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ù

Ricerca commissarie e commissari per una posizione di professore prima fascia INF/01

A maggio l'Università di Pisa ha bandito una posizione di professore di prima fascia nel settore INF/01 per il Dipartimento di Informatica. Il 7 giugno 2024 il bando è scaduto e, ai sensi dei regolamenti di Ateneo, deve essere costituita una commissione di valutazione...
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ù