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

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


Department of Mathematics, Informatics and Physics (DMIF)
via delle Scienze 206,
33100 Udine, Italy
tel: +39 0432 558496
fax: +39 0432 558400


My official web page at UniUD is here.

Didattica/Teaching (in italian):

A few events:


The Association for Logic Programming

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.

Research key words

Computational Logic, Logic programming, ASP, CLP, Action languages, Automated deduction, Theory reasoning, Set theory, Relational reasoning, GPU computing, Games, Non-classical Logics,...