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
See the new LFCS seminar webpage: https://web.inf.ed.ac.uk/lfcs/events/lfcs-seminars
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