skip to content

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

Presented by: 
G de Miguel Casado Universidad de Zaragoza
Tuesday 6th March 2012 - 16:30 to 17:00
INI Seminar Room 1
The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons