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

Previous LFCS Seminars

 Title   Type 
Event LFCS seminar: Martin Hofmann: Higher-order Buchi types Event
Event LFCS seminar: Philip Scott: An introduction to many-valued logics and effect algebras Event
Event LFCS seminar: Sebastian Maneth: A survey of equivalence problems for tree transducers Event
Event LFCS seminar: Mihai Budiu: Visualizing billion-row datasets Event
Event LFCS seminar: Gunnar Wilken: Combining Howard’s ordinal assignment and Weiermann’s collapsing technique to analyse Gödel’s T Event
Event LFCS seminar: Verena Wolf: Generalized method of moments for estimating parameters of stochastic reaction networks Event
Event LFCS seminar: Sanjay Jha: A Changing Landscape: Securing The Internet Of Things (IoT) Event
Event LFCS seminar: Alexander C. Russell: Cliptography: Clipping the Power of Kleptographic Attacks Event
Event LFCS seminar: Murdoch Gabbay: Nominal techniques and the consistency of Quine's NF Event
Event LFCS seminar: Tarmo Uustalu: Dynamic programming and coalgebras with sharing Event
Event LFCS seminar: Mirco Musolesi: Spatio-temporal Networks: Reachability, Centrality, and Robustness Event
Event LFCS seminar: Dalal Alrajeh: Repairing Software Requirements Models: A Declarative Learning-based Approach Event
Event LFCS seminar: Antoine Cailliau: Software Requirements Engineering: A risk-driven approach Event
Event LFCS seminar: Antonio Filieri: Probabilistic Symbolic Execution: Bringing quantitative analysis at code level Event
Event LFCS seminar: Rasmus Ibsen-Jensen: Faster algorithms for program analysis Event
Event LFCS seminar: Mark de Berg: Fine-grained complexity analysis of two classic TSP variants Event
Event LFCS seminar: Ross Duncan: Interacting Frobenius Algebras are Hopf but Quantum Theory is not Petri-nets Event
Event LFCS seminar: Paul Levy — Transition Systems over Games Event
Event LFCS seminar: Earl Barr: Automated Software Transplantation Event
Event LFCS Seminar: Alan Mislove: Measuring personalization of online services Event
Document Actions