Personal tools
You are here: Home Events Previous

Previous

Past events

Event Lab Lunch: Yinghui Wu (Informatics Forum MF2, from Aug 02, 2011 01:00 PM to Aug 02, 2011 02:00 PM)
Abstract: Graph pattern matching has become a routine process in emerging applications. In practice the real life graphs are typically large, and are frequently updated with small changes. It is often prohibitively expensive to recompute the matches from scratch via batch algorithms each time the graphs are updated.
Event SICSA workshop on Provenance, Sensing and Workflows (Informatics Forum IF4.31+4.33, from Jul 28, 2011 09:30 AM to Jul 28, 2011 04:00 PM)
 
Event QUISCO - July 27, IF-4.31/4.33 (IF 4.31+4.33, Informatics Forum , from Jul 27, 2011 09:30 AM to Jul 27, 2011 05:30 PM)
The next QUISCO meeting will be held on July 27 at the School of Informatics, Room 4.31/4.33. Please find the schedule below.
Event Lecture by Damian Markham on quantum secret sharing (IF 1.15, Informatics Forum , from Jul 25, 2011 02:00 PM to Jul 25, 2011 04:00 PM)
Dr. Damian Markham from Telecome ParisTech will present a long lecture on Quantum Secret Sharing on Monday 25 July Room IF1.15 (School of Informatics - University of Edinburgh) from 2 -4pm.
Event Lab Lunch: Dr Alan Smaill (Informatics Forum MF2, from Jul 19, 2011 01:00 PM to Jul 19, 2011 02:00 PM)
Title: Computing pi the slow way
Event Prof. Phil Scott, Free topos lecture (IF 4.31+4.33, Informatics Forum , from Jul 13, 2011 02:00 PM to Jul 13, 2011 05:00 PM)
 
Event Lab Lunch: Prof Andrew D. Gordon (IF, MF2, from Jul 12, 2011 01:00 PM to Jul 12, 2011 02:00 PM)
Title: Experience with Verifying Cryptographic Software in C
Event Database seminar: Alejandro Mallea (IF 4.31+4.33, Informatics Forum , from Jul 04, 2011 05:00 PM to Jul 04, 2011 06:00 PM)
Blank nodes in RDF
Event Database seminar: Bob Fisher 30/07/2011, 1-2pm, IF-5.02 (IF-5.02, from Jun 30, 2011 01:00 PM to Jun 30, 2011 02:00 PM)
 
Event John Aycock: Computer Security Research: Considered? Harmful? (IF-G.03, from Jun 01, 2011 03:00 PM to Jun 01, 2011 04:00 PM)
John Aycock, Associate Professor, University of Calgary, Canada, SICSA Distinguished Visitor
Event LFCS Seminar: Rustan Leino (IF 4.31/4.33, from May 05, 2011 04:00 PM to May 05, 2011 05:00 PM)
Building an SMT-based program verifier using Boogie
Event LFCS Seminar: Philip Welch (4.31+4.33, Informatics Forum, from Nov 18, 2010 04:05 PM to Nov 18, 2010 05:05 PM)
Transfinite Time Computation and Determinacy
Event Database Seminar: Nan Tang (4.31/4.33, from Nov 17, 2010 05:00 PM to Nov 17, 2010 06:00 PM)
Graph Pattern Matching: From Intractable to Polynomial Time
Event Algorithms and Complexity Meeting: Maurice Jansen (5.02, from Nov 17, 2010 03:00 PM to Nov 17, 2010 04:00 PM)
 
Event LFCS Seminar: Damian Niwinski (IF 4.31+4.33, Informatics Forum , from Nov 16, 2010 04:00 PM to Nov 16, 2010 05:00 PM)
Complexity of infinite tree languages -- when automata meet topology
Event LFCS Seminar: Alessandro Panconesi (G.03, Informatics Forum , from Nov 15, 2010 04:00 PM to Nov 15, 2010 05:00 PM)
Algorithmic Aspects of Social Networks
Event Database Seminar: Yinghui Wu (4.31/4.33, from Nov 10, 2010 05:00 PM to Nov 10, 2010 06:00 PM)
Simulation revised for graph pattern matching
Event LFCS Seminar: David Xiao (4.31/4.33, from Nov 09, 2010 04:00 PM to Nov 09, 2010 05:00 PM)
Cryptography and NP-hardness
Event Database Seminar: Egor Kostylev (4.31/4.33, from Nov 03, 2010 05:00 PM to Nov 03, 2010 06:00 PM)
Annotation algebras for RDFS
Event LFCS Seminar: Wan Fokkink (4.31/4.33, from Oct 21, 2010 02:00 PM to Oct 21, 2010 03:00 PM)
Executing Multi-cellular Development: Petri Net Model of the C.elegans Vulva

Also in this section

Event Lab Lunch: Yinghui Wu (Informatics Forum MF2, from Aug 02, 2011 01:00 PM to Aug 02, 2011 02:00 PM)
Abstract: Graph pattern matching has become a routine process in emerging applications. In practice the real life graphs are typically large, and are frequently updated with small changes. It is often prohibitively expensive to recompute the matches from scratch via batch algorithms each time the graphs are updated.
Event SICSA workshop on Provenance, Sensing and Workflows (Informatics Forum IF4.31+4.33, from Jul 28, 2011 09:30 AM to Jul 28, 2011 04:00 PM)
 
Event QUISCO - July 27, IF-4.31/4.33 (IF 4.31+4.33, Informatics Forum , from Jul 27, 2011 09:30 AM to Jul 27, 2011 05:30 PM)
The next QUISCO meeting will be held on July 27 at the School of Informatics, Room 4.31/4.33. Please find the schedule below.
Event Lecture by Damian Markham on quantum secret sharing (IF 1.15, Informatics Forum , from Jul 25, 2011 02:00 PM to Jul 25, 2011 04:00 PM)
Dr. Damian Markham from Telecome ParisTech will present a long lecture on Quantum Secret Sharing on Monday 25 July Room IF1.15 (School of Informatics - University of Edinburgh) from 2 -4pm.
Event Lab Lunch: Dr Alan Smaill (Informatics Forum MF2, from Jul 19, 2011 01:00 PM to Jul 19, 2011 02:00 PM)
Title: Computing pi the slow way
Event Prof. Phil Scott, Free topos lecture (IF 4.31+4.33, Informatics Forum , from Jul 13, 2011 02:00 PM to Jul 13, 2011 05:00 PM)
 
Event Lab Lunch: Prof Andrew D. Gordon (IF, MF2, from Jul 12, 2011 01:00 PM to Jul 12, 2011 02:00 PM)
Title: Experience with Verifying Cryptographic Software in C
Event Database seminar: Alejandro Mallea (IF 4.31+4.33, Informatics Forum , from Jul 04, 2011 05:00 PM to Jul 04, 2011 06:00 PM)
Blank nodes in RDF
Event Database seminar: Bob Fisher 30/07/2011, 1-2pm, IF-5.02 (IF-5.02, from Jun 30, 2011 01:00 PM to Jun 30, 2011 02:00 PM)
 
Event John Aycock: Computer Security Research: Considered? Harmful? (IF-G.03, from Jun 01, 2011 03:00 PM to Jun 01, 2011 04:00 PM)
John Aycock, Associate Professor, University of Calgary, Canada, SICSA Distinguished Visitor
Event LFCS Seminar: Rustan Leino (IF 4.31/4.33, from May 05, 2011 04:00 PM to May 05, 2011 05:00 PM)
Building an SMT-based program verifier using Boogie
Event LFCS Seminar: Philip Welch (4.31+4.33, Informatics Forum, from Nov 18, 2010 04:05 PM to Nov 18, 2010 05:05 PM)
Transfinite Time Computation and Determinacy
Event Database Seminar: Nan Tang (4.31/4.33, from Nov 17, 2010 05:00 PM to Nov 17, 2010 06:00 PM)
Graph Pattern Matching: From Intractable to Polynomial Time
Event Algorithms and Complexity Meeting: Maurice Jansen (5.02, from Nov 17, 2010 03:00 PM to Nov 17, 2010 04:00 PM)
 
Event LFCS Seminar: Damian Niwinski (IF 4.31+4.33, Informatics Forum , from Nov 16, 2010 04:00 PM to Nov 16, 2010 05:00 PM)
Complexity of infinite tree languages -- when automata meet topology
Event LFCS Seminar: Alessandro Panconesi (G.03, Informatics Forum , from Nov 15, 2010 04:00 PM to Nov 15, 2010 05:00 PM)
Algorithmic Aspects of Social Networks
Event Database Seminar: Yinghui Wu (4.31/4.33, from Nov 10, 2010 05:00 PM to Nov 10, 2010 06:00 PM)
Simulation revised for graph pattern matching
Event LFCS Seminar: David Xiao (4.31/4.33, from Nov 09, 2010 04:00 PM to Nov 09, 2010 05:00 PM)
Cryptography and NP-hardness
Event Database Seminar: Egor Kostylev (4.31/4.33, from Nov 03, 2010 05:00 PM to Nov 03, 2010 06:00 PM)
Annotation algebras for RDFS
Event LFCS Seminar: Wan Fokkink (4.31/4.33, from Oct 21, 2010 02:00 PM to Oct 21, 2010 03:00 PM)
Executing Multi-cellular Development: Petri Net Model of the C.elegans Vulva
Document Actions