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