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
emails:

My institutional web page at the Dipartimento di Matematica e Informatica is here.


Shortcuts:

 


Didattica A.A.2014/15 (in italian):

Pagina del corso di Sistemi Operativi con Laboratorio
Pagina del corso di Programmazione Dichiarativa
Alcuni suggerimenti su come studiare: Una Breve Guida


...e la tesi? (in italian):

Alcune informazioni e un elenco di temi ed argomenti per una tesi


WOW!!

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)
Italian Conference on Theoretical Computer Science (ICTCS 2014)
Proceedings of ICTCS 2014, the 15th Italian Conference on Theoretical Computer Science.
S.Bistarelli and A.Formisano, eds. CEUR Workshop Proceedings 1231, CEUR-WS.org 2014.
(Preface here)

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...







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