Welcome to the Unit of Logic and Computation of the Department of Mathematics of IST.
For questions or comments contact: