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 Designing for Partition Tolerance with CRDTsDesigning for Partition Tolerance with CRDTs by Carlos Baquero, NOVA LINCS/CITI/CENTRIA Seminar, 4 of December 2014, 14:00, DI/FCT Read more... 3rd of December 2014 Counterfactuals in Logic Programming with Applications to Agent MoralityCounterfactuals in Logic Programming with Applications to Agent Morality by Luís Moniz Pereira, NOVA LINCS/CENTRIA/CITI Seminar, 19 of November 2014, 14:00, DI/FCT Read more... 19th of November 2014 Introducing Prolog Studio for XSBIntroducing Prolog Studio for XSB by Miguel Calejo, NOVA LINCS/CENTRIA/CITI Seminar, 12 of November 2014, 14:00, DI/FCT Read more... 12th of November 2014 Towards Sustainable Information Society – Green and Never Die NetworksTowards Sustainable Information Society – Green and Never Die Networks by Norio Shiratori, CITI/CENTRIA Seminar, 26 of June 2014, 14:00, DI/FCT Read more... 26th of June 2014 Video Games: Becoming the Medium of the 21st CenturyVideo Games: Becoming the Medium of the 21st Century by Warren Spector, CITI/CENTRIA Seminar, 13 of May 2014, 14h30, DI/FCT Read more... 13th of May 2014 Fixed-parameter tractable reductions to SATFixed-parameter tractable reductions to SAT by Ronald de Haan, CENTRIA/CITI Seminar, 1 of April 2014, 16h00, DI/FCT Read more... 1st of April 2014 The Quest for Supporting Snapshot Isolation in Transactional MemoryThe Quest for Supporting Snapshot Isolation in Transactional Memory by Ricardo Silva, CITI/CENTRIA Seminar, 12 of March 2014, 14h30, DI/FCT Read more... 12th of March 2014 Synthesising Correct Concurrent Runtime MonitorsSynthesising Correct Concurrent Runtime Monitors by Adrian Francalanza, CITI/CENTRIA Seminar, 5 of February 2014, 14h00, DI/FCT Read more... 5th of February 2014 Probabilistic deduplication for cluster-based storage systemsProbabilistic deduplication for cluster-based storage systems by Konstantinos Kloudas, CITI/CENTRIA Seminar, 29 of January 2014, 14h00, DI/FCT Read more... 29th of January 2014 NoHR - Querying EL Ontologies and Non-Monotonic RulesNoHR - Querying EL Ontologies and Non-Monotonic Rules, CENTRIA/CITI Seminar, 15 of January 2014, 14h00, DI/FCT Read more... 22nd of January 2014 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