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 184 items matching your search terms

Subscribe to an always-updated feed of these search terms

Event LFCS seminar: Maciej Piróg: Handle with care: relational interpretation of algebraic effects and handlers
Event LFCS Seminar: Alessandro Panconesi
Algorithmic Aspects of Social Networks
Event LFCS Seminar: Damian Niwinski
Complexity of infinite tree languages -- when automata meet topology
Event LFCS Seminar: Dan Ghica
Towards a system-level semantics
Event LFCS seminar: Claude Heiland-Allen: GULCII: Graphical Untyped Lambda Calculus Interactive Interpreter
Event LFCS seminar: Noam Zeilberger: Lambda calculus and the four colour theorem
Event LFCS/CISA seminar: Alice Miller: Probabilistic model checking for UAV controller generation
Event LFCS seminar: Vaishak Belle: First-order probabilistic relational models
Event LFCS Seminar: Fred Long
The CERT Oracle Secure Coding Standard for Java
Event LFCS Seminar: Phil Wadler
Propositions as Sessions
Event LFCS seminar: Dalal Alrajeh: Repairing Software Requirements Models: A Declarative Learning-based Approach
Event LFCS seminar: Mirco Musolesi: Spatio-temporal Networks: Reachability, Centrality, and Robustness
Event LFCS seminar: Ashley Montanaro: Opportunities and challenges for quantum algorithms for constraint satisfaction problems
Event LFCS Seminar: Andrei Sabelfeld
Tracking information flow in web applications
Event LFCS Seminar: Pawel Sobocinski
Algebras of Petri Nets
Event LFCS Seminar: Danel Ahman
Normalization by evaluation and algebraic effects
Event LFCS seminar: Matthew Jenssen: Algorithms for #BIS-hard problems on expander graphs
Event LFCS seminar: Sanjay Jha: A Changing Landscape: Securing The Internet Of Things (IoT)
Event LFCS seminar: Jiawei Han: Mining structures from massive text data: a data-driven approach
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 Prof. Josef Svenningsson (Chalmers)
Event LFCS Seminar: Gilles Dowek
Pre-Heyting algebras and proof normalization.
Event LFCS Seminar: Wan Fokkink
Executing Multi-cellular Development: Petri Net Model of the C.elegans Vulva
Event LFCS Seminar: Stephan Zdancewic
LolliProc: to Concurrency from Classical Linear Logic via Curry-Howard and Control
Event LFCS Seminar: Rasmus Møgelberg
Full Abstraction in a Metalanguage for State
Event LFCS Seminar: Andrew McGregor
Data Streams, Dyck Languages, and Detecting Dubious Data Structures
Event LFCS Seminar: Benny van Houdt
Fast Algorithms for Solving Structured Markov Chains: Theory and Software
Event LFCS Seminar: David Xiao
Cryptography and NP-hardness
Event LFCS seminar: Marcin Jurdzinski: Succinct progress measures and solving parity games in quasi-polynomial time
Event LFCS seminar: Dan Olteanu: In-database factorized learning