Mo, 2 April 2012, 15:00, Egon Boerger (University of Pisa, Italy): The Abstract State Machines Method for Modeling and Analysis of Software-Based Systems
Mo, April 2 2012, 16:00, Tanel Tammet (Tallinn University of Technology): Recommender systems create new motivations for probabilistic logic
