Andrea Formisano's home page... (info, teaching, publications,...)

Andrea Formisano's home page (permanently under construction....)

Contact:

Dipartimento di Matematica e Informatica
Università di Perugia
via Vanvitelli 1,
06123 Perugia, Italy
tel: +39 075 5855011
fax: +39 075 5855024
email:

My institutional web page is here.


Shortcuts:

 

La Costituzione della Repubblica Italiana

Art. 13. La libertà personale è inviolabile. Non è ammessa forma alcuna di detenzione, di ispezione o perquisizione personale, né qualsiasi altra restrizione della libertà personale, se non per atto motivato dell'autorità giudiziaria e nei soli casi e modi previsti dalla legge.
In casi eccezionali di necessità ed urgenza, indicati tassativamente dalla legge, l'autorità di pubblica sicurezza può adottare provvedimenti provvisori, che devono essere comunicati entro quarantotto ore all'autorità giudiziaria e, se questa non li convalida nelle successive quarantotto ore, si intendono revocati e restano privi di ogni effetto.
È punita ogni violenza fisica e morale sulle persone comunque sottoposte a restrizioni di libertà.
La legge stabilisce i limiti massimi della carcerazione preventiva.

Click per   un altro articolo...   o per   il testo integrale

Corsi/Courses A.A.2017/18:

Pagina del corso di Sistemi Operativi con Laboratorio (laurea in informatica)
Pagina del corso di Programmazione Dichiarativa (laurea magistrale in informatica)
Pagina del corso di Programmazione II (laurea magistrale in matematica)
Pagina del corso di Informatica II (laurea in matematica)


WOW!!

GRCLogo The University of Perugia is a GPU Research Center.
The Association for Logic Programming Newsletter .
A.Dovier and E.Pontelli, editors.

The Italian Association for Logic Programming .
GULP - Gruppo Ricercatori e Utenti Logic Programming.

A 25 Year Perspective on Logic Programming .
Achievements of the Italian Association for Logic Programming, GULP.
A.Dovier and E.Pontelli, eds. Springer. LNCS Vol.6125.
(A preliminary table of contents is here)
Advances in Computational Logic (CILC08) .
Selected and extended contributions to CILC08, the 23rd Italian Congress on Computational Logic.
A.Formisano and A.Pettorossi, eds. Fundamenta Informaticae, 96(3), IOS Press. 2009.
(Preface here)
Proceedings of the 15th Italian Conference on Theoretical Computer Science (ICTCS 2014) .
S.Bistarelli and A.Formisano, eds. CEUR Workshop Proceedings 1231, CEUR-WS.org 2014.
(Preface here)
Proceedings of the 22nd International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2015) .
S.Bistarelli, A.Formisano, and M.Maratea, eds. CEUR Workshop Proceedings 1451, CEUR-WS.org 2015.

Proceedings of the 23rd International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2016) .
S.Bistarelli, A.Formisano, and M.Maratea, eds. CEUR Workshop Proceedings 1745, CEUR-WS.org 2016.


A few events:



Research key words

Automated deduction, Theory reasoning, Resolution-based theorem proving, T-resolution, Logic programming, Answer set programming, Constraint logic programming, Action languages and planning, Set theory, Decidability, Relation algebras, Rasiowa-Sikorski dual tableaux and Tableaux theorem proving, GPU-computing, Computational science.


Selected publications

More on       







...something's wrong, shut the light
heavy thoughts tonight
and they aren't of snow white...