Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS PhD Lunch (IF 4.02, from Mar 26, 2014 01:00 PM to Mar 26, 2014 03:00 PM)
Pizza Lunch and informal tutorial for all LFCS PhD students
Event Lab Lunch by Ilias Diakonikolas (MF2, from Mar 25, 2014 01:00 PM to Mar 25, 2014 02:00 PM)
A Complexity-Theoretic View on Unsupervised Learning
Event LFCS seminar by Ulfar Erlingsson (Google) (IF 4.31/4.33, from Mar 11, 2014 04:00 PM to Mar 11, 2014 05:00 PM)
Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud
Event Lab Lunch by Perdita Stevens (from Mar 11, 2014 01:20 PM to Mar 11, 2014 01:20 PM)
Beating https://xkcd.com/1319/ or, Lecturer Efficiency: automating feedback and tracking or, Writing perl is a lot more fun than marking
Event Lab Lunch by Wenfei Fan (from Mar 10, 2014 01:50 PM to Mar 10, 2014 01:50 PM)
Querying Big Graphs: Theory and Practice
Event LFCS PhD Lunch (IF 4.31, from Mar 06, 2014 01:00 PM to Mar 06, 2014 03:00 PM)
Pizza Lunch and informal tutorial for all LFCS PhD students
Event Lab Lunch by Rik Sarkar (MF2, from Mar 04, 2014 01:00 PM to Mar 04, 2014 02:00 PM)
Small sets from big data: Identifying representative elements through optimization and filtration
Event LFCS semianr by Stanislav Zivny: The complexity of finite-valued CSPs (IF 4.31-4.33, from Feb 25, 2014 04:00 PM to Feb 25, 2014 05:00 PM)
The complexity of finite-valued CSPs Stanislav Zivny (Oxford) (based on work published at FOCS'12 and STOC'13, joint work with J. Thapper)
Event Lab Lunch by Tamise Totterdell (MF2, from Feb 25, 2014 01:00 PM to Feb 25, 2014 02:00 PM)
Edinburgh Research Explorer, PURE and Research Data Management
Event Lab Lunch by Don Sannella (MF2, from Feb 18, 2014 01:00 PM to Feb 18, 2014 02:00 PM)
Marketing LFCS
Event LFCS seminar by Matthew Anderson On Symmetric Circuits and Fixed-Point Logics (IF 4.31-33, from Feb 11, 2014 04:00 PM to Feb 11, 2014 05:00 PM)
Title: On Symmetric Circuits and Fixed-Point Logics Speaker: Matthew Anderson, Cambridge venue: IF 4.31-4.33, 4:00pm, 11/2/2014
Event Lab Lunch by Roly Perera (MF2, from Feb 11, 2014 01:00 PM to Feb 11, 2014 02:00 PM)
Overtone
Event Lab lunch by Paul Jackson (MF2, from Feb 04, 2014 01:00 PM to Feb 04, 2014 02:00 PM)
Finding bugs in axioms used in formal software verification
Event LFCS PhD Lunch (IF 4.02, from Jan 30, 2014 01:00 PM to Jan 30, 2014 03:00 PM)
Pizza Lunch and informal tutorial for all LFCS PhD students
Event LFCS Seminar: Alessandro Abate: Computable analysis and control synthesis over complex dynamical systems via formal verification (IF 4.31-4.33, from Jan 28, 2014 04:00 PM to Jan 28, 2014 05:00 PM)
 
Event LFCS Seminar: Riccardo Focardi: A semantic based tool for firewall configuration (IF 2.33, from Jan 28, 2014 03:00 PM to Jan 28, 2014 04:00 PM)
 
Event Lab Lunch by Alex Simpson (MF2, from Jan 28, 2014 01:00 PM to Jan 28, 2014 02:00 PM)
Fuzzy logic for parallel probabilistic systems
Event Lab Lunch by Stuart Anderson (MF2, from Jan 21, 2014 01:00 PM to Jan 21, 2014 02:00 PM)
Balancing foundational and translational research in School of Informatics
Event LFCS seminar by Andy Gordon: Tabular: A Schema-Driven Probabilistic Programming Language (IF 4.31-4.33, from Jan 15, 2014 04:00 PM to Jan 15, 2014 05:00 PM)
LFCS seminar by Andy Gordon
Event Lab Lunch by James Cheney (MF2, from Jan 14, 2014 01:00 PM to Jan 14, 2014 02:00 PM)
Inside the sausage factory, or: what it's like to be on a standards committee

Also in this section

Event LFCS PhD Lunch (IF 4.02, from Mar 26, 2014 01:00 PM to Mar 26, 2014 03:00 PM)
Pizza Lunch and informal tutorial for all LFCS PhD students
Event Lab Lunch by Ilias Diakonikolas (MF2, from Mar 25, 2014 01:00 PM to Mar 25, 2014 02:00 PM)
A Complexity-Theoretic View on Unsupervised Learning
Event LFCS seminar by Ulfar Erlingsson (Google) (IF 4.31/4.33, from Mar 11, 2014 04:00 PM to Mar 11, 2014 05:00 PM)
Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud
Event Lab Lunch by Perdita Stevens (from Mar 11, 2014 01:20 PM to Mar 11, 2014 01:20 PM)
Beating https://xkcd.com/1319/ or, Lecturer Efficiency: automating feedback and tracking or, Writing perl is a lot more fun than marking
Event Lab Lunch by Wenfei Fan (from Mar 10, 2014 01:50 PM to Mar 10, 2014 01:50 PM)
Querying Big Graphs: Theory and Practice
Event LFCS PhD Lunch (IF 4.31, from Mar 06, 2014 01:00 PM to Mar 06, 2014 03:00 PM)
Pizza Lunch and informal tutorial for all LFCS PhD students
Event Lab Lunch by Rik Sarkar (MF2, from Mar 04, 2014 01:00 PM to Mar 04, 2014 02:00 PM)
Small sets from big data: Identifying representative elements through optimization and filtration
Event LFCS semianr by Stanislav Zivny: The complexity of finite-valued CSPs (IF 4.31-4.33, from Feb 25, 2014 04:00 PM to Feb 25, 2014 05:00 PM)
The complexity of finite-valued CSPs Stanislav Zivny (Oxford) (based on work published at FOCS'12 and STOC'13, joint work with J. Thapper)
Event Lab Lunch by Tamise Totterdell (MF2, from Feb 25, 2014 01:00 PM to Feb 25, 2014 02:00 PM)
Edinburgh Research Explorer, PURE and Research Data Management
Event Lab Lunch by Don Sannella (MF2, from Feb 18, 2014 01:00 PM to Feb 18, 2014 02:00 PM)
Marketing LFCS
Event LFCS seminar by Matthew Anderson On Symmetric Circuits and Fixed-Point Logics (IF 4.31-33, from Feb 11, 2014 04:00 PM to Feb 11, 2014 05:00 PM)
Title: On Symmetric Circuits and Fixed-Point Logics Speaker: Matthew Anderson, Cambridge venue: IF 4.31-4.33, 4:00pm, 11/2/2014
Event Lab Lunch by Roly Perera (MF2, from Feb 11, 2014 01:00 PM to Feb 11, 2014 02:00 PM)
Overtone
Event Lab lunch by Paul Jackson (MF2, from Feb 04, 2014 01:00 PM to Feb 04, 2014 02:00 PM)
Finding bugs in axioms used in formal software verification
Event LFCS PhD Lunch (IF 4.02, from Jan 30, 2014 01:00 PM to Jan 30, 2014 03:00 PM)
Pizza Lunch and informal tutorial for all LFCS PhD students
Event LFCS Seminar: Alessandro Abate: Computable analysis and control synthesis over complex dynamical systems via formal verification (IF 4.31-4.33, from Jan 28, 2014 04:00 PM to Jan 28, 2014 05:00 PM)
 
Event LFCS Seminar: Riccardo Focardi: A semantic based tool for firewall configuration (IF 2.33, from Jan 28, 2014 03:00 PM to Jan 28, 2014 04:00 PM)
 
Event Lab Lunch by Alex Simpson (MF2, from Jan 28, 2014 01:00 PM to Jan 28, 2014 02:00 PM)
Fuzzy logic for parallel probabilistic systems
Event Lab Lunch by Stuart Anderson (MF2, from Jan 21, 2014 01:00 PM to Jan 21, 2014 02:00 PM)
Balancing foundational and translational research in School of Informatics
Event LFCS seminar by Andy Gordon: Tabular: A Schema-Driven Probabilistic Programming Language (IF 4.31-4.33, from Jan 15, 2014 04:00 PM to Jan 15, 2014 05:00 PM)
LFCS seminar by Andy Gordon
Event Lab Lunch by James Cheney (MF2, from Jan 14, 2014 01:00 PM to Jan 14, 2014 02:00 PM)
Inside the sausage factory, or: what it's like to be on a standards committee
Document Actions