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