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

Previous LFCS Seminars

 Title   Type 
Event LFCS Seminar: Alan Mislove: Measuring personalization of online services Event
Event LFCS Seminar: Ilario Bonacina: Strong Size Lower bounds in Resolution via Games Event
Event LFCS seminar: Shan Lin: MPC for Urban Transportation Systems Event
Event LFCS seminar: Neelakantan (Neel) Krishnaswami: Curry-Howard for GUIs via Linear Temporal Classical Linear Logic Event
Event LFCS seminar : Magnus Myreen: CakeML: a formally verified implementation of ML Event
Event LFCS Seminar: Francisco Ortin: Design and Implementation of an Efficient Hybrid Static and Dynamic Typing Language Event
Event LFCS Seminar: Fredrik Nordvall Forsberg: Inductive-inductive definitions in Type Theory Event
Event LFCS Seminar: Istvan Gyongy: Nonlinear filtering and stochastic partial differential equations Event
Event LFCS Seminar: Srikanth Srinivasan: Lower bounds for non-commutative skew circuits Event
Event LFCS seminar: Dr. Chris Heunen: Approximating transition systems Event
Event LFCS Seminar: Andrew Drucker: Confident predictions against an adversary Event
Event LFCS & Security seminar: Vincent Cheval: Timing attacks in security protocols: symbolic framework and proof techniques Event
Event LFCS & security seminar: Changyu Dong: Towards Practical Data-intensive Secure Computation Event
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 Event
Event LFCS Seminar by Prof. James Worrell (Oxford) Event
Event LFCS Seminar by Prof. Josef Svenningsson (Chalmers) Event
Event LFCS Seminar by Alex Labrinidis (University of Pittsburgh) Event
Event LFCS Seminar by Dr. Matteo Mio Event
Event LFCS Seminar by NIshanth Sastry : On social information sensing & curation Event
Event LFCS Seminar by Reiko Heckel: Rigid Graphs for Adaptive Networks Event
Document Actions