Skip to content

SAS

Seminar

Bridging Formal Methods in Computer Science for Scientific Computing and Cognitive Science Modelling Tasks

de Miguel Casado, G (Universidad de Zaragoza)
Tuesday 06 March 2012, 16:30-17:00

Seminar Room 1, Newton Institute

Video

Your browser can’t play this video. You do not appear to have a flash player installed.
Please download flash player or choose an alternative format instead.

Get Adobe Flash player

Available Video Formats

Back to top ∧