Computational Logic Group>Home



The Computational Logic Group is part of the Department of Mathematics and Computer Science at the University of Udine.

The group is active in several fields of computational logic, including (constraint and functional) logic programming, modal and temporal logics, formal optimization techniques for declarative languages, program verification and analysis, concurrent constraint programming.

The members of the group participate in several european and national projects and we have active cooperations with several universities, including: Amsterdam, Castilla la Mancha, Maastricht, Pennstate, Politecnica de Valencia, Stanford, Utrecht.