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. 21. Tutti hanno diritto di manifestare liberamente il proprio pensiero con la parola, lo scritto e ogni altro mezzo di diffusione.
La stampa non può essere soggetta ad autorizzazioni o censure.
Si può procedere a sequestro soltanto per atto motivato dell'autorità giudiziaria nel caso di delitti, per i quali la legge sulla stampa espressamente lo autorizzi, o nel caso di violazione delle norme che la legge stessa prescriva per l'indicazione dei responsabili.
In tali casi, quando vi sia assoluta urgenza e non sia possibile il tempestivo intervento dell'autorità giudiziaria, il sequestro della stampa periodica può essere eseguito da ufficiali di polizia giudiziaria, che devono immediatamente, e non mai oltre ventiquattro ore, fare denunzia all'autorità giudiziaria. Se questa non lo convalida nelle ventiquattro ore successive, il sequestro s'intende revocato e privo di ogni effetto.
La legge può stabilire, con norme di carattere generale, che siano resi noti i mezzi di finanziamento della stampa periodica.
Sono vietate le pubblicazioni a stampa, gli spettacoli e tutte le altre manifestazioni contrarie al buon costume. La legge stabilisce provvedimenti adeguati a prevenire e a reprimere le violazioni.

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