Emanuele De Angelis University “G. D’Annunzio” of Chieti-Pescara April 2014 ABSTRACT In the last decade formal methods applied to software production have received a renewed attention as the basis of a methodology for increasing the reliability of software artefacts (for…
Monthly Archives: Aprile 2014
Bando Premio GULP per Tesi di Dottorato
L’Associazione Italiana per la Programmazione Logica GULP (“Gruppo Ricercatori e Utenti di Logic Programming”) bandisce un premio per la migliore tesi di dottorato su argomenti di Logica Computazionale. L’ammontare del premio è di 1000 (mille) euro. Requisiti per la partecipazione…