Personal tools
You are here: Home Events LFCS Seminars-Folder

LFCS Seminars-Folder

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 LFCS Seminar: Tony Kucera (G.03, from Sep 30, 2010 04:00 PM to Sep 30, 2010 05:00 PM)
 
Event LFCS seminar: Peter Dybjer (from Sep 13, 2010 10:05 AM to Sep 14, 2010 10:05 AM)
 
Event LFCS Seminar: Stephan Zdancewic (5.42, from Jul 20, 2010 11:00 AM to Jul 20, 2010 12:00 PM)
LolliProc: to Concurrency from Classical Linear Logic via Curry-Howard and Control
Event LFCS Seminar: Rasmus Møgelberg (4.31/4.33, from Jun 08, 2010 04:00 PM to Jun 08, 2010 05:00 PM)
Full Abstraction in a Metalanguage for State
Event LFCS Seminar: Andrew McGregor (4.31/4.33, from May 28, 2010 04:00 PM to May 28, 2010 05:00 PM)
Data Streams, Dyck Languages, and Detecting Dubious Data Structures
Event LFCS Seminar: Benny van Houdt (G.03, from May 07, 2010 10:30 AM to May 07, 2010 11:30 AM)
Fast Algorithms for Solving Structured Markov Chains: Theory and Software
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 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 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: 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 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: Nitin Vaidya (Informatics Forum IF4.31+4.33, from Aug 16, 2011 04:00 PM to Aug 16, 2011 05:00 PM)
TITLE: Network-Aware Distributed Algorithms
Event CISA/LFCS Seminar: Georges Gonthier (IF 4.31-4.33, from Nov 08, 2011 04:00 PM to Nov 08, 2011 05:00 PM)
Proof engineering, from the Four Color to the Odd Order Theorem.
Event LFCS Seminar: Petra Berenbrink (IF 4.31-4.33, from Dec 13, 2011 04:00 PM to Dec 13, 2011 05:00 PM)
Speeding up random walks
Event LFCS Seminar: Jamie Gabbay (IF 4.31-4.33, from Dec 06, 2011 04:00 PM to Dec 06, 2011 05:00 PM)
Stone duality for first-order logic (a nominal approach)
Event LFCS Seminar: Jean-Eric Pin (Appleton Tower, AT2.12, from Nov 18, 2011 03:00 PM to Nov 18, 2011 04:00 PM)
Equational descriptions of logic fragments
Event LFCS Seminar: Ross Duncan (IF 4.31+4.33, Informatics Forum , from Nov 30, 2011 04:00 PM to Nov 30, 2011 05:00 PM)
The ZX-Calculus: a graphical approach to quantum computing
Event LFCS Seminar: Ohad Kammar (from Jan 10, 2012 04:00 PM to Jan 10, 2012 05:00 PM)
Title: Algebraic Foundations to Effect-Dependent Optimisations
Event LFCS Seminar: Dan Ghica (from Jan 20, 2012 02:00 PM to Jan 20, 2012 03:00 PM)
Towards a system-level semantics
Event LFCS Seminar: Anthony Widjaja Lin (IF 4.31-33, from Jan 27, 2012 02:00 PM to Jan 27, 2012 03:00 PM)
Tractability Results for Automata on (Vectors of) Numbers with Applications
Event LFCS Seminar: Gilles Dowek (from Feb 07, 2012 04:00 PM to Feb 07, 2012 05:00 PM)
Pre-Heyting algebras and proof normalization.
Event LFCS Seminar: Christian Urban (from Feb 21, 2012 04:00 PM to Feb 21, 2012 05:00 PM)
Formalising Regular Language Theory with Regular Expressions
Event LFCS Seminar: Christel Baier (from Feb 23, 2012 03:00 PM to Feb 23, 2012 04:00 PM)
Quantitative Analysis of Randomized Systems and Probabilistic Automata
Event LFCS/ICSA Joint Seminar: Laurence Tratt (from Feb 28, 2012 04:00 PM to Feb 28, 2012 05:00 PM)
Experiences of implementing a VM with RPython
Event ICSA/LFCS Joint Colloquium: Laurence Tratt (from Feb 29, 2012 03:30 PM to Feb 29, 2012 04:30 PM)
Domain specific languages: why? how? and where next?
Event LFCS Seminar: Dave Parker (from Mar 13, 2012 04:00 PM to Mar 13, 2012 05:00 PM)
Automatic Verification of Competitive Stochastic Systems.
Event LFCS Seminar: Dmitrios Vytiniotis (IF 4.31-33, from Mar 20, 2012 04:00 PM to Mar 20, 2012 05:00 PM)
Static contract checking for Haskell through FOL semantics
Event LFCS Seminar: Sven Schewe (IF 4.31-4.33, from Apr 03, 2012 04:00 PM to Apr 03, 2012 05:00 PM)
Beautiful games you cannot stop playing
Event LFCS Seminar: Fred Long (IF G.03, from Apr 20, 2012 11:00 AM to Apr 20, 2012 12:00 PM)
The CERT Oracle Secure Coding Standard for Java
Event LFCS Seminar: Phil Wadler (IF 4.31-33, from May 03, 2012 02:00 PM to May 03, 2012 03:00 PM)
Propositions as Sessions
Event LFCS Seminar: Alin Stefanescu (IF 4.31-4.33, from May 15, 2012 04:00 PM to May 15, 2012 05:00 PM)
Test generation and model learning for Event-B
Event LFCS Seminar: Thomas Streicher (IF 2.33, from May 24, 2012 02:00 PM to May 24, 2012 03:00 PM)
Computability in Quantum Theory
Event LFCS Seminar: Andrew Pitts (IF 4.31-33, from May 29, 2012 04:00 PM to May 29, 2012 05:00 PM)
Nominal Scott Domains
Event LFCS Seminar: Valentine Kabanets (IF 4.31-33, from Jun 08, 2012 02:00 PM to Jun 08, 2012 03:00 PM)
Lower bounds against weakly uniform circuits
Event LFCS Seminar: Alberto Policriti (IF 4.31-4.33, from Jun 12, 2012 04:00 PM to Jun 12, 2012 05:00 PM)
The decidability of the Bernays-Schoenfinkel-Ramsey class in Set Theory
Folder LFCS Seminars
The LFCS organises a series of seminars by visiting speakers, covering a range of topics in theoretical computer science. Speakers in this series are asked to present talks suitable for the entire membership of LFCS, rather than only researchers in their field. These seminars are open to all and are usually held on Tuesday afternoons during term time, from 4-5pm in the Informatics Forum. The seminars are publicised on the lfcs-interest and seminars mailing lists. The seminar organiser is Sam Lindley (slindley AT inf DOT ed DOT ac DOT uk). Please contact the organiser with suggestions for future speakers.
Event LFCS Seminar: Navin Goyal (IF 4.31-33, from Jun 28, 2012 04:00 PM to Jun 28, 2012 05:00 PM)
Analysis of Thompson Sampling for the Multi-armed Bandit Problem
Event LFCS Seminar: Dana Moshkovitz (IF 4.31-4.33, from Jul 13, 2012 02:00 PM to Jul 13, 2012 03:00 PM)
Projection Games
Event LFCS Seminar: Jean-Raymond Abrial (IF 4.31-33, from Aug 21, 2012 04:00 PM to Aug 21, 2012 05:00 PM)
Formalizing Hybrid Systems with Event-B
Event LFCS Seminar: Anindya Banerjee (IF 3.02, from Sep 05, 2012 11:00 AM to Sep 05, 2012 12:00 PM)
Modular Reasoning about Object-based Programs
Event LFCS Seminar: Barnaby Martin (IF 2.33 (TBC), from Sep 11, 2012 04:00 PM to Sep 11, 2012 05:00 PM)
A tetrachotomy for positive equality-free logic
Event LFCS Seminar: Marta Kwiatkowska (IF 4.31-33, from Sep 24, 2012 02:00 PM to Sep 24, 2012 03:00 PM)
Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking
Event LFCS Seminar: Richard Hayden (IF 4.31-4.33, from Oct 09, 2012 03:00 PM to Oct 09, 2012 04:00 PM)
Scalable Performance Analysis of Massively Parallel Stochastic Systems
Event LFCS Seminar: Vashti Galpin (IF 4.31-4.33, from Oct 23, 2012 04:00 PM to Oct 23, 2012 05:00 PM)
Stochastic HYPE: a stochastic hybrid process algebra
Event LFCS Seminar: Luca Cardelli (IF 4.31-4.33, from Nov 06, 2012 04:00 PM to Nov 06, 2012 05:00 PM)
The Cell Cycle Switch Computes Approximate Majority
Event LFCS Seminar: Neel Krishnaswami (from Dec 07, 2012 10:00 AM to Dec 07, 2012 11:00 AM)
Simple and Efficient Higher-Order Reactive Programming
Event LFCS Seminar: Jari Stenman (IF 2.33, from Jan 29, 2013 04:00 PM to Jan 29, 2013 05:00 PM)
Timed Pushdown Automata
Event LFCS Seminar: Richard Mayr (from Feb 05, 2013 04:00 PM to Feb 05, 2013 05:00 PM)
Automata Minimization and Language Inclusion Checking
Event LFCS Seminar: Andrei Sabelfeld (IF 4.31-33, from Feb 19, 2013 04:00 PM to Feb 19, 2013 05:00 PM)
Tracking information flow in web applications
Event LFCS Seminar: Conor McBride (IF 4.31-4.33, from Feb 26, 2013 04:00 PM to Feb 26, 2013 05:00 PM)
Do Be Do Be Do (Smooth Effect and Value Polymorphism with Frank)
Event LFCS Seminar: Julian Gutierrez (IF 2.33, from Mar 12, 2013 10:00 AM to Mar 12, 2013 11:00 AM)
Determinacy for concurrent games on event structures
Event LFCS Seminar: Julian Gutierrez (IF 2.33, from Mar 12, 2013 10:00 AM to Mar 12, 2013 11:00 AM)
Determinacy for concurrent games on event structures
Event LFCS Seminar: Paolo Zuliani (IF 4.31-33, from Mar 12, 2013 04:00 PM to Mar 12, 2013 05:00 PM)
Verification of Stochastic Systems by Statistical Model Checking
Event LFCS Seminar: Sam Staton (IF 4.31-33, from Apr 16, 2013 04:00 PM to Apr 16, 2013 05:00 PM)
Instances of computational effects -- an algebraic perspective
Event LFCS Seminar: Randy Pollack (IF 4.31-33, from Apr 18, 2013 02:00 PM to Apr 18, 2013 03:00 PM)
Viewing Lambda Terms Through Maps
Event LFCS Seminar: Sara Kalvala (IF 4.31-33 , from Apr 30, 2013 04:00 PM to Apr 30, 2013 05:00 PM)
Compilation Issues in Synthetic Biology
Event LFCS/CISA Joint Seminar: Stefan Hetzl (IF 2.33, from May 06, 2013 02:00 PM to May 06, 2013 03:00 PM)
Algorithmic Introduction of Quantified Cuts
Event LFCS Seminar: Gerome Miklau (IF 4.31-33, from May 07, 2013 04:00 PM to May 07, 2013 05:00 PM)
Managing Sensitive Personal Data: Protection or Profit?
Event LFCS Seminar: James Brotherston (IF 4.02, from May 08, 2013 04:00 PM to May 08, 2013 05:00 PM)
Cyclic Abduction of Inductive Safety & Termination Preconditions
Event LFCS Seminar: Eugene Asarin (IF 2.33, from May 13, 2013 04:00 PM to May 13, 2013 05:00 PM)
Volume and entropy of regular timed languages
Event LFCS Seminar: Elias Koutsoupias (IF 4.31-33, from May 21, 2013 04:00 PM to May 21, 2013 05:00 PM)
Near-optimal multi-unit auctions with ordered bidders
Event LFCS Seminar: Jonathan Hayman (IF 2.33, from May 23, 2013 04:00 PM to May 23, 2013 05:00 PM)
SPO semantics and filtered compression for Kappa
Event LFCS Seminar: Edwin Brady (from Nov 20, 2012 04:00 PM to Nov 20, 2012 05:00 PM)
Idris: General Purpose Programming with Dependent Types
Event LFCS Seminar: Pawel Sobocinski (IF 4.31-33, from May 31, 2013 03:10 PM to May 31, 2013 04:10 PM)
Algebras of Petri Nets
Event LFCS Seminar: Danel Ahman (from Jun 11, 2013 04:00 PM to Jun 11, 2013 05:00 PM)
Normalization by evaluation and algebraic effects
Event LFCS Seminar: Fritz Henglein (IF 4.31-33, from Jun 27, 2013 04:00 PM to Jun 27, 2013 05:00 PM)
Towards generic distributive sorting and searching
Event LFCS Seminar: Mihalis Yannakakis (from Jul 16, 2013 04:00 PM to Jul 16, 2013 05:00 PM)
The Complexity of Non-Monotone Markets
Event LFCS Seminar: Benoit Valiron (from Jul 23, 2013 04:00 PM to Jul 23, 2013 05:00 PM)
Quipper: A Scalable Quantum Programming Language.
Event Model-checking of Ordered Multi-pushdown Automata (IF 4.31-4.33, from Nov 27, 2013 04:30 PM to Nov 27, 2013 05:30 PM)
Title: Model-checking of Ordered Multi-pushdown Automata Speaker: Mohamed Faouzi Atig, University of Uppsala (Sweden) Venue: IF 4.31-4.33. Wednesday, November 27, 4:30 pm.
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 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 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 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 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 LFCS seminar by Colin Riba (ENS Lyon) (IF 2.33, from Apr 22, 2014 04:00 PM to Apr 22, 2014 05:00 PM)
Forcing MSO on Infinite Words in Weak MSO
Event LFCS seminar by Dr. Justin Ward (Warwick) (IF 4.31/4.33, from May 13, 2014 04:00 PM to May 13, 2014 05:00 PM)
Iterative Rounding Algorithms for Stochastic Probing Problems
Event LFCS seminar by Prof. Adriana Compagnoni (Stevens) (IF 4.31/4.33, from May 20, 2014 04:00 PM to May 20, 2014 05:00 PM)
A Calculus of Located Entities
Event LFCS seminar by Prof. Paul Goldberg (Oxford) (IF 2.33, from May 27, 2014 04:00 PM to May 27, 2014 05:00 PM)
A Random Walk in One-sided Matching Markets
Event LFCS seminar by Prof. Philip Scott (U. Ottawa, Canada) (IF G.07A, from May 15, 2014 02:00 PM to May 15, 2014 03:00 PM)
MV Algebras, Effect Algebras, and Inverse Semigroups
Event LFCS seminar by Dr Ewen Denney: Towards Automation in Assurance Cases (IF 2.33, from Jun 19, 2014 03:00 PM to Jun 19, 2014 04:00 PM)
 
Event LFCS seminar by Michael Johnson: Information structure, three ways (4.31-4.33, from Jun 26, 2014 04:00 PM to Jun 26, 2014 05:00 PM)
 
Event Joint LFCS & ANC Seminar by Nathan Srebro: The Power of Asymmetry in Binary Hashing (4.31-4.33, from Aug 19, 2014 04:00 PM to Aug 19, 2014 05:00 PM)
 
Event LFCS seminar by Professor Benjamin Pierce ( IF 4.31/4.33, from Sep 23, 2014 04:00 PM to Sep 23, 2014 05:00 PM)
Micro-Policies: A Framework for Tag-Based Security Monitors
Event LFCS Seminar by Dr. Peter Richtarik (IF 4.31/4.33, from Sep 30, 2014 04:00 PM to Sep 30, 2014 05:00 PM)
Accelerated, Parallel and Proximal Coordinate Descent
Event LFCS Seminar by Dr. Matteo Mio (IF 4.31/4.33, from Nov 11, 2014 04:00 PM to Nov 11, 2014 05:00 PM)
Convex Bisimilarity and Probabilistic Concurrent Systems
Event LFCS Seminar by Reiko Heckel: Rigid Graphs for Adaptive Networks (4.31-4.33, from Oct 21, 2014 04:00 PM to Oct 21, 2014 05:00 PM)
 
Event LFCS Seminar by NIshanth Sastry : On social information sensing & curation (4.31-4.33, from Oct 28, 2014 04:00 PM to Oct 28, 2014 05:00 PM)
 
Event LFCS Seminar by Sam Staton : Quantum computation, algebraic effects and linearity. (4.31-4.33, from Sep 26, 2014 02:00 PM to Sep 26, 2014 03:00 PM)
 
Event Milner Lecture (Informatics Forum, from Oct 02, 2014 04:00 PM to Oct 03, 2014 04:30 PM)
 
Event LFCS Seminar by Alex Labrinidis (University of Pittsburgh) (IF 4.31/4.33, from Nov 13, 2014 04:00 PM to Nov 13, 2014 05:00 PM)
Handling Big Streaming Data with DILoS
Event LFCS seminar by Bart Jansen (TU Eindhoven) : Characterizing the Easy-to-Find Subgraphs from the Viewpoint of Polynomial-Time Algorithms, Kernels, and Turing Kernels (IF 1.16, from Jan 16, 2015 11:00 AM to Jan 16, 2015 11:45 AM)
 
Event LFCS Seminar by Prof. James Worrell (Oxford) (IF 4.31/4.33, from Dec 02, 2014 04:00 PM to Dec 02, 2014 05:00 PM)
Positivity Problems for Linear Recurrence Sequences
Event LFCS Seminar by Prof. Josef Svenningsson (Chalmers) (IF 4.31/4.33, from Nov 18, 2014 04:00 AM to Nov 18, 2014 05:00 AM)
 
Event LFCS & Security seminar: Vincent Cheval: Timing attacks in security protocols: symbolic framework and proof techniques (IF 4.31/4.33, from Feb 26, 2015 02:00 PM to Feb 26, 2015 03:00 PM)
 
Event LFCS & security seminar: Changyu Dong: Towards Practical Data-intensive Secure Computation (IF 4.31/4.33, from Feb 12, 2015 02:00 PM to Feb 12, 2015 03:00 PM)
 
Event LFCS seminar : Magnus Myreen: CakeML: a formally verified implementation of ML (IF 2.33, from May 11, 2015 04:00 PM to May 11, 2015 05:00 PM)
 
Event LFCS seminar: Neelakantan (Neel) Krishnaswami: Curry-Howard for GUIs via Linear Temporal Classical Linear Logic (from May 19, 2015 04:00 PM to May 19, 2015 05:00 PM)
 
Event LFCS Seminar: Andrew Drucker: Confident predictions against an adversary (IF 4.31/4.33, from Mar 17, 2015 04:00 PM to Mar 17, 2015 05:00 PM)
Andy Drucker, University of Edinburgh. Confident predictions against an adversary.
Document Actions