Personal tools
You are here: Home Events Previous

Previous

Past events

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
Event New LFCS Website is launched! (from Sep 23, 2010 04:30 PM to Oct 01, 2010 04:30 PM)
 

Also in this section

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
Event New LFCS Website is launched! (from Sep 23, 2010 04:30 PM to Oct 01, 2010 04:30 PM)
 
Document Actions