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 by Dr Ewen Denney: Towards Automation in Assurance Cases
Event LFCS semianr by Stanislav Zivny: The complexity of finite-valued CSPs
The complexity of finite-valued CSPs Stanislav Zivny (Oxford) (based on work published at FOCS'12 and STOC'13, joint work with J. Thapper)
Event LFCS seminar by Matthew Anderson On Symmetric Circuits and Fixed-Point Logics
Title: On Symmetric Circuits and Fixed-Point Logics Speaker: Matthew Anderson, Cambridge venue: IF 4.31-4.33, 4:00pm, 11/2/2014
Event LFCS seminar by Andy Gordon: Tabular: A Schema-Driven Probabilistic Programming Language
LFCS seminar by Andy Gordon
Event LFCS Seminar: Riccardo Focardi: A semantic based tool for firewall configuration
Event LFCS Seminar: Alessandro Abate: Computable analysis and control synthesis over complex dynamical systems via formal verification
Event Model-checking of Ordered Multi-pushdown Automata
Title: Model-checking of Ordered Multi-pushdown Automata Speaker: Mohamed Faouzi Atig, University of Uppsala (Sweden) Venue: IF 4.31-4.33. ...