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

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

Contact:

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

email:

My official web page at UniUD is here.


Didattica/Teaching A.A.2020/21 (in italian):



A few events:




WOW!!



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