|
You
are here:
Home
→
Events
→
LFCS Seminars-Folder
- Info
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.
|
|