Personal tools
You are here: Home

Did you not find what you were looking for? Try the Advanced Search to refine your search.

Search results 37 items matching your search terms

Subscribe to an always-updated feed of these search terms

Event LFCS seminar: Sanjay Jha: A Changing Landscape: Securing The Internet Of Things (IoT)
Event LFCS seminar: Alexander C. Russell: Cliptography: Clipping the Power of Kleptographic Attacks
Speaker: Alexander C. Russell, University of Connecticut Title: Cliptography: Clipping the Power of Kleptographic Attacks
Event LFCS seminar: Murdoch Gabbay: Nominal techniques and the consistency of Quine's NF
Event LFCS seminar: Mirco Musolesi: Spatio-temporal Networks: Reachability, Centrality, and Robustness
Event LFCS seminar: Antoine Cailliau: Software Requirements Engineering: A risk-driven approach
Event LFCS seminar: Dalal Alrajeh: Repairing Software Requirements Models: A Declarative Learning-based Approach
Event LFCS seminar: Mark de Berg: Fine-grained complexity analysis of two classic TSP variants
Event LFCS seminar: Ross Duncan: Interacting Frobenius Algebras are Hopf but Quantum Theory is not Petri-nets
Event LFCS seminar: Antonio Filieri: Probabilistic Symbolic Execution: Bringing quantitative analysis at code level
Event LFCS seminar: Rasmus Ibsen-Jensen: Faster algorithms for program analysis
Event LFCS seminar: Earl Barr: Automated Software Transplantation
Event LFCS Seminar: Alan Mislove: Measuring personalization of online services
Event LFCS Seminar: Ilario Bonacina: Strong Size Lower bounds in Resolution via Games
Ilario Bonacina, Sapienza University of Rome
Event LFCS seminar: Shan Lin: MPC for Urban Transportation Systems
Shan Lin, Deaprtment of ECE, Stony Brook University
Event LFCS Seminar: Fredrik Nordvall Forsberg: Inductive-inductive definitions in Type Theory
Fredrik Nordvall Forsberg, University of Strathclyde
Event LFCS Seminar: Francisco Ortin: Design and Implementation of an Efficient Hybrid Static and Dynamic Typing Language
Event LFCS Seminar: Istvan Gyongy: Nonlinear filtering and stochastic partial differential equations
Event LFCS Seminar: Srikanth Srinivasan: Lower bounds for non-commutative skew circuits
Event LFCS seminar: Dr. Chris Heunen: Approximating transition systems
Dr. Chris Heunen, Oxford University. Approximating transition systems
Event LFCS Seminar: Andrew Drucker: Confident predictions against an adversary
Andy Drucker, University of Edinburgh. Confident predictions against an adversary.
Event LFCS seminar: Neelakantan (Neel) Krishnaswami: Curry-Howard for GUIs via Linear Temporal Classical Linear Logic
Event LFCS seminar : Magnus Myreen: CakeML: a formally verified implementation of ML
Event LFCS & security seminar: Changyu Dong: Towards Practical Data-intensive Secure Computation
Event LFCS & Security seminar: Vincent Cheval: Timing attacks in security protocols: symbolic framework and proof techniques
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 LFCS Seminar by Sam Staton : Quantum computation, algebraic effects and linearity.
Event LFCS Seminar by NIshanth Sastry : On social information sensing & curation
Event LFCS Seminar by Reiko Heckel: Rigid Graphs for Adaptive Networks
Event Joint LFCS & ANC Seminar by Nathan Srebro: The Power of Asymmetry in Binary Hashing
Event LFCS seminar by Michael Johnson: Information structure, three ways