Homepage of António Ravara moved.

On September 2009 I moved from the Section of Logic and Computation of the Department of Mathematics of IST, Technical University of Lisbon, to the Department of Informatics of Faculty of Sciences and Technology, New University of Lisbon.

New home page

Last modified: March 2010