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. 14. Il domicilio è inviolabile.
Non vi si possono eseguire ispezioni o perquisizioni o sequestri, se non nei casi e modi stabiliti dalla legge secondo le garanzie prescritte per la tutela della libertà personale.
Gli accertamenti e le ispezioni per motivi di sanità e di incolumità pubblica o a fini economici e fiscali sono regolati da leggi speciali.

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

Corsi/Courses A.A.2018/19:

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

Parallel Answer Set Programming .
Agostino Dovier, Andrea Formisano, Enrico Pontelli.
In Y.Hamadi, L.Sais, eds. Handbook of Parallel Constraint Reasoning. Springer. 2018.

Reasoning on Relations, Modalities, and Sets .
Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti.
In J.Golinska-Pilarek and M.Zawidzki, eds. Ewa Orlowska on Relational Methods in Logic and Computer Science. Springer. 2018.

Exploring life: answer set programming in bioinformatics .
Alessandro Dal Palù Agostino Dovier, Andrea Formisano, Enrico Pontelli.
In M.Kifer and Y.A.Liu, eds. Declarative Logic Programming: Theory, Systems, and Applications. ACM Books. 2018.

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 (to be updated....)

More on       







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