O nouă întâlnire din cadrul seriei „Erasmus+ Guest Lecture”, la UVT

Universitatea de Vest din Timișoara, prin Facultatea de Matematică și Informatică, reia întâlnirile din cadrul seriei „Erasmus+ Guest Lecture”, astfel că de această dată ne vom bucura de prezența prof. Laura Kovács, de la Vienna University of Technology.

Vă invităm miercuri, 18 septembrie, la dezbaterea pe care aceasta o va susține pe tema „Symbolic Computation in Automated Program Reasoning”.