LFCS Seminars-Folder

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

LFCS Seminar: Tony Kucera (G.03, from Sep 30, 2010 04:00 PM to Sep 30, 2010 05:00 PM)

 

LFCS seminar: Peter Dybjer (from Sep 13, 2010 10:05 AM to Sep 14, 2010 10:05 AM)

 

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

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

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

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

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

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

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

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

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

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

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.

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

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)

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

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

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

LFCS Seminar: Dan Ghica (from Jan 20, 2012 02:00 PM to Jan 20, 2012 03:00 PM)

Towards a system-level semantics

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

LFCS Seminar: Gilles Dowek (from Feb 07, 2012 04:00 PM to Feb 07, 2012 05:00 PM)

Pre-Heyting algebras and proof normalization.

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

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

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

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?

LFCS Seminar: Dave Parker (from Mar 13, 2012 04:00 PM to Mar 13, 2012 05:00 PM)

Automatic Verification of Competitive Stochastic Systems.

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

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

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

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

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

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

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

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

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

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 Heng Guo (hguo AT inf DOT ed DOT ac DOT uk). Please contact the organiser with suggestions for future speakers.

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

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

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

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

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

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

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

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

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

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

LFCS Seminar: Jari Stenman (IF 2.33, from Jan 29, 2013 04:00 PM to Jan 29, 2013 05:00 PM)

Timed Pushdown Automata

LFCS Seminar: Richard Mayr (from Feb 05, 2013 04:00 PM to Feb 05, 2013 05:00 PM)

Automata Minimization and Language Inclusion Checking

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

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)

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

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

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

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

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

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

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

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?

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

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

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

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

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

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

LFCS Seminar: Danel Ahman (from Jun 11, 2013 04:00 PM to Jun 11, 2013 05:00 PM)

Normalization by evaluation and algebraic effects

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

LFCS Seminar: Mihalis Yannakakis (from Jul 16, 2013 04:00 PM to Jul 16, 2013 05:00 PM)

The Complexity of Non-Monotone Markets

LFCS Seminar: Benoit Valiron (from Jul 23, 2013 04:00 PM to Jul 23, 2013 05:00 PM)

Quipper: A Scalable Quantum Programming Language.

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.

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

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)

 

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)

 

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

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)

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

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

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

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

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

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

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)

 

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)

 

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)

 

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

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

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

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)

 

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)

 

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)

 

Milner Lecture (Informatics Forum, from Oct 02, 2014 04:00 PM to Oct 03, 2014 04:30 PM)

 

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

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)

 

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

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)

 

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)

 

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)

 

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)

 

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)

 

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.