^{LoRea Group} 

Computer Sciences Faculty, UPV/EHU 

Department of Computer Language and Systems 

■    ■   ■    ■    ■    ■   ■

^{Logic and Reasoning Group}

Our main areas of interest are:

• Logical Systems (Classical, Three-valued, Intuitionistic, Temporal, Modal, etc) and their Application to Computer Science

• Specification, Transformation and Verification of Programs

• Functional and (Constraint) Logic Programming

• Graph Transformation

• Automated Reasoning with Large-scale Ontologies

• Computational Complexity

• Computational Learning Theory