Il trentesimo convegno annuale del GULP (Gruppo ricercatori e Utenti Logic Programming) avrà luogo presso l’Università degli Studi di Genova nei giorni 1 – 3 Luglio 2015 http://cilc2015.dibris.unige.it/ Date Sottomissione abstract: 15 APRILE 2015 Sottomissione articoli e proposte di demo:…
Yearly Archives: 2014
CILC 2014 Proceedings on CEUR
The CILC 2014 Proceedings are now published as CEUR-WS Vol. 1195 (free access)
CILC 2014 conference report
The 29th edition of the Italian Convention of Computational Logic (CILC 2014), the annual meeting organized by GULP (Gruppo ricercatori e Utenti Logic Programming), was hosted by the University of Turin, from June the 16th to June the 18th 2014.…
Compliance by Design: Synthesis of Business Processes by Declarative Specifications
By Francesco Olivieri UNIVERSITÀ DEGLI STUDI DI VERONA Dottorato di ricerca in COMPUTER SCIENCE Maggio 2014 Business Process Compliance are three words scholars use to describe what happens, or should happen, when two worlds very different from each other collide.…
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages
By Laura Titolo Università di Udine 12 Maggio 2014 ABSTRACT In this thesis, we propose a semantic framework for tccp based on abstract interpretation with the main purpose of formally verifying and debugging tccp programs. A key point for the…
Software Verification and Synthesis using Constraints and Program Transformation
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…
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…
XXIX. XI CILC (2014), Torino (Italy)
Torino (Italy), 16-18 June, 2014 Web Page: XXIX. XI CILC (2014) Program chairs: Laura Giordano, Valentina Gliozzi and Gian Luca Pozzato CILC 2014 Proceedings: published as CEUR Vol. 1195 (free access)
CILC 2014
Il ventinovesimo convegno annuale del GULP (Gruppo ricercatori e Utenti Logic Programming) avrà luogo presso l’Università degli Studi di Torino nei giorni 16 – 18 Giugno 2014. http://cilc2014.di.unipmn.it Luogo della conferenza: ex sala lauree di Giurisprudenza a Palazzo Nuovo, in…