Facultatea de Matematică şi Informatică anunţă conferinţa:

Tendinte actuale in automatizarea logicii si utilizarea metodelor algebrice

a Prof. Dr. Tudor Jebelean, Theorema research group (www.theorema.org), Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria.

Întâlnirea va avea loc joi, 3 mai 2007, de la ora 18:00, in sala C335 (clădirea Campus).

Cadrele didactice, studenţii, masteranzii şi doctoranzii sunt invitaţi să participe.