Past seminars - CENTRIA


Browse our site About People Research Areas Projects Publications Seminars Future Past News	You are here: Home Seminars Past CENTRIA past seminars 2015 2014 2013 2012 2011 2010 2009 2008 Problems and prospects for formal proofsProblems and prospects for formal proofs by Jesse Alama, CENTRIA Seminar, 9 of December 2009, 14:00, DI/FCT Read more... 9th of December 2009 Searching for the Mechanisms of CognitionSearching for the Mechanisms of Cognition by Clark Glymour, CENTRIA Seminar, 25 of November 2009, 14:00, DI/FCT Read more... 25th of November 2009 Learning Attack Sequences and Pre- and Post-Conditions for Attack GraphsLearning Attack Sequences and Pre- and Post-Conditions for Attack Graphs by Choh Man Teng, CENTRIA Seminar, 11 of November 2009, 13:30, DI/FCT Read more... 11th of November 2009 ESP: A Logic of Only-Knowing, Noisy Sensing and ActingESP: A Logic of Only-Knowing, Noisy Sensing and Acting by Alfredo Gabaldon, CENTRIA Seminar, 21 of October 2009, 15h00, DI/FCT Read more... 21st of October 2009 Prediction of RNA Secondary StructurePrediction of RNA Secondary Structure by Olivier Perriquet, CENTRIA Seminar, 1 of October 2009, 15h00, DI/FCT Read more... 1st of October 2009 DNA and Natural Languages: Text MiningDNA and Natural Languages: Text Mining by Veronica Dahl, CENTRIA Seminar, 1 of October 2009, 14h00, DI/FCT Read more... 1st of October 2009 Evolutionary dynamics of collective actionEvolutionary dynamics of collective action by Francisco C. Santos, CENTRIA Seminar, 14 of July 2009, 15h00, DI/FCT Read more... 14th of July 2009 Extended Argumentation FrameworksExtended Argumentation Frameworks by Sanjay Modgil, CENTRIA Seminar, 24 of June 2009, 14h00, DI/FCT Read more... 24th of June 2009 Markov Temporal LogicMarkov Temporal Logic by Wojtek Jamroga, CENTRIA Seminar, 17 of June 2009, 14h00, DI/FCT Read more... 17th of June 2009 Constraint Reasoning for Differential ModelsConstraint Reasoning for Differential Models by Jorge Cruz, CENTRIA/CMA Seminar, 3 of June 2009, 11h30, DM/FCT Read more... 3rd of June 2009 complete listing \| pages: [1] \| 2
Departamento de Informática, FCT/UNL Quinta da Torre 2829-516 CAPARICA - Portugal Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

CENTRIA past seminars