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 Protein structure and bioinformaticsProtein structure and bioinformatics by Ludwig Krippahl, CENTRIA Seminar, 20 of May 2009, 14h00, DI/FCT Read more... 20th of May 2009 Transformative Integration Through Computational ThinkingTransformative Integration Through Computational Thinking by Allen Tien, CENTRIA Seminar, 5 of May 2009, 14h00, DI/FCT Read more... 5th of May 2009 The Bees Algorithm - Modelling Foraging Behaviour to Solve Continuous Optimisation ProblemsThe Bees Algorithm - Modelling Foraging Behaviour to Solve Continuous Optimisation Problems by Marco Castellani, CENTRIA Seminar, 22 of April 2009, 14h00, DI/FCT Read more... 22nd of April 2009 Specification and Verification of Open Systems with Abductive Logic ProgrammingSpecification and Verification of Open Systems with Abductive Logic Programming by Marco Alberti, CENTRIA Seminar, 18 of March 2009, 14h00, DI/FCT Read more... 18th of March 2009 Efficient Reasoning about Context for Ambient Intelligence EnvironmentsReasoning about Context for Ambient Intelligence Environments by Grigoris Antoniou, CENTRIA Seminar, 5 of March 2009, 14h00, DI/FCT Read more... 5th of March 2009 Interest Rate Model Calibration using Gaussian Processes for Machine LearningInterest Rate Model Calibration using Gaussian Processes for Machine Learning by João Beleza Sousa, CENTRIA Seminar, 18 of February 2009, 14h00, DI/FCT Read more... 18th of February 2009 Behavioral algebraization of logicsBehavioral algebraization of logics by Ricardo Gonçalves, CENTRIA Seminar, 4 of February 2009, 14h00, DI/FCT Read more... 4th of February 2009 Reconsidering Coherence ReasoningReconsidering Coherence Reasoning by Gregory Wheeler, CENTRIA Seminar, 21 of January 2009, 14h00, DI/FCT Read more... 21st of January 2009 A Coherent Well-founded Model for Hybrid MKNF Knowledge BasesA Coherent Well-founded Model for Hybrid MKNF Knowledge Bases by Matthias Knorr, CENTRIA Seminar, 8 of January 2009, 14h00, DI/FCT Read more... 8th of January 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