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

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


Shortcuts:

 

La Costituzione della Repubblica Italiana

Art. 10. L'ordinamento giuridico italiano si conforma alle norme del diritto internazionale generalmente riconosciute.
La condizione giuridica dello straniero è regolata dalla legge in conformità delle norme e dei trattati internazionali.
Lo straniero, al quale sia impedito nel suo paese l'effettivo esercizio delle libertà democratiche garantite dalla Costituzione italiana, ha diritto d'asilo nel territorio della Repubblica secondo le condizioni stabilite dalla legge.
Non è ammessa l'estradizione dello straniero per reati politici.

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

Corsi/Courses A.A.2015/16:

Pagina del corso di Sistemi Operativi con Laboratorio
Pagina del corso di Programmazione Dichiarativa


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.


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