University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Information Systems Seminar

View all seminar series

The seminar will normally be Tuesdays at 11:30.  This term we are scheduled to use room 147.  For further information about seminars, please contact Michael Benedikt.



Coordinator

Related Themes

Information Systems



Forthcoming seminarsPrevious seminars

Wrapping Wrapper Induction
Tuesday 7th February (week , Hilary Term 2012). 11:30 in 147
Cheng Wang
Pragmatic web-scale reasoning
Tuesday 31st January (week 3, Hilary Term 2012). 11:30 in 147
Jacopo Urbani (Vrije Universiteit Amsterdam)
Logic-based and Scalable Ontology Mapping
Tuesday 24th January (week 2, Hilary Term 2012). 11:30 in 147
Ernesto Jimenez-Ruiz
DBToaster – Compiling Database Queries for Aggressively Incremental Evaluation
Tuesday 29th November (week 8, Michaelmas Term 2011). 15:00 in Lecture Theatre A
Professor Christoph Koch (EPFL)
TBA
Tuesday 29th November (week 8, Michaelmas Term 2011). 11:30 in 147
Bernardo Cuenca Grau
Factorisations of Query Results: Size Bounds and Readability
Tuesday 22nd November (week 7, Michaelmas Term 2011). 11:30 in 147
Jakub Zavodny
Computing Universal Models Under Linear TGDs
Tuesday 15th November (week , Trinity Term 2011). 11:30 in 147
Andre Hernich (Humboldt-Universität zu Berlin, Germany)
Context-Aware Information Reduction
Tuesday 8th November (week 5, Michaelmas Term 2011). 11:30 in Room 147
Giorgio Orsi
Computing and the Social Sciences: The Opportunity at the Interface
Monday 7th November (week , Michaelmas Term 2011). 10:00 in Lecture Theatre A
Prabhakar Raghavan (Yahoo Research)
Stratified B-trees and versioned dictionaries.
Tuesday 1st November (week , Michaelmas Term 2011). 11:30 in
Andy Twigg
Aggregation in Probabilistic Databases
Tuesday 25th October (week 1, Michaelmas Term 2011). 11:30 in 147
Robert Fink
Do the right thing - do the thing right; Some contributions of Logic, AI and software engineering to quality and safety of patient care
Tuesday 18th October (week 2, Michaelmas Term 2011). 11:30 in 147
John Fox and Matt South (Oxford)
Guarded Negation
18th August 2011 11:30 in 380
Vince Barany (Darmstadt)
Verifying Proofs in Constant Depth
26th July (week , Trinity Term 2011). 11:30 in Wolfson Building, Room 147
Professor Heribert Vollmer (University of Hanover)
Query Induction with Schema-Guided Pruning Strategies
Tuesday 28th June (week 9, Trinity Term 2011). 11:30 in 147
Joachim Niehren (INRIA, Lille)
Ontology changes in description logics
Tuesday 14th June (week 7, Trinity Term 2011). 11:30 in 147
Jack Wang
Unification in the Description Logic EL
Thursday 9th June (week 6, Trinity Term 2011). 15:00 in 380
Franz Baader (TU Dresden)
The Cost of Repairing Regular Specifications
Tuesday 7th June (week , Hilary Term 2011). 11:30 in 147
Cristian Riveros
Optimal tableau algorithms for coalgebraic logics
Tuesday 31st May (week 5, Trinity Term 2011). 11:30 in 147
Clemens Kupke
Estimating the unseen: a sublinear-sample estimator of distributions
Tuesday 24th May (week 4, Trinity Term 2011). 11:30 in 147
Greg Valiant (UC Berkeley)
Ranking with uncertain scoring functions
Tuesday 17th May (week , Trinity Term 2011). 12:00 in 380
Davide Martinenghi (Politecnico di Milano)
Fixed Parameter Tractable Reasoning in DLs via Decomposition
Tuesday 17th May (week 3, Trinity Term 2011). 11:30 in 147
Frantisek Simancik
Knowledge from the Web: Understanding and Reasoning
Tuesday 10th May (week , Trinity Term 2011). 11:30 in 147
Gjergji Kasneci (Microsoft Research)
Fishing for Forms with Segmentation and Domain Knowledge
Tuesday 3rd May (week 1, Trinity Term 2011). 11:30 in 147
Xiaonan Guo