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

Subscribe to an always-updated feed of these search terms

Page Provenance
Provenance is metadata describing the origin, derivation or history of some data. Pervasive support for provenance is being proposed in several contexts, ...
Page PhD application instructions
Instructions for applying to the PhD program in LFCS at the University of Edinburgh
Folder Application instructions
Instructions for applying for PhD study at LFCS
Page Language-based provenance security
Page Data-centric programming and provenance
Page Programming Languages Interest Group
The Programming Languages Interest Group meets intermittently to discuss topics in programming languages, including practical aspects such as compilers, tools ...
Page Programming Languages and Foundations at Edinburgh
Programming Languages and Foundations is one of the largest research activities in LFCS, including 15 academic staff, 9 postdoctoral researchers, and 15 ...
Folder Programming Languages and Foundations
Image AGordonParis
Event LFCS Seminar: Benoit Valiron
Quipper: A Scalable Quantum Programming Language.
Event LFCS Seminar: Mihalis Yannakakis
The Complexity of Non-Monotone Markets
Event LFCS Seminar: Danel Ahman
Normalization by evaluation and algebraic effects
Event LFCS Seminar: Edwin Brady
Idris: General Purpose Programming with Dependent Types
Event LFCS Seminar: Pawel Sobocinski
Algebras of Petri Nets
Event LFCS Seminar: Fritz Henglein
Towards generic distributive sorting and searching
Event LFCS Seminar: James Brotherston
Cyclic Abduction of Inductive Safety & Termination Preconditions
Event LFCS Seminar: Elias Koutsoupias
Near-optimal multi-unit auctions with ordered bidders
Event LFCS Seminar: Randy Pollack
Viewing Lambda Terms Through Maps
Event LFCS/CISA Joint Seminar: Stefan Hetzl
Algorithmic Introduction of Quantified Cuts
Event LFCS Seminar: Richard Mayr
Automata Minimization and Language Inclusion Checking
Event LFCS Seminar: Sara Kalvala
Compilation Issues in Synthetic Biology
Event LFCS Seminar: Paolo Zuliani
Verification of Stochastic Systems by Statistical Model Checking
Event LFCS Seminar: Julian Gutierrez
Determinacy for concurrent games on event structures
Event LFCS Seminar: Conor McBride
Do Be Do Be Do (Smooth Effect and Value Polymorphism with Frank)
Event LFCS Seminar: Gerome Miklau
Managing Sensitive Personal Data: Protection or Profit?
Event LFCS Seminar: Jonathan Hayman
SPO semantics and filtered compression for Kappa
Event LFCS Seminar: Julian Gutierrez
Determinacy for concurrent games on event structures
Event LFCS Seminar: Sam Staton
Instances of computational effects -- an algebraic perspective
Event LFCS Seminar: Eugene Asarin
Volume and entropy of regular timed languages
Event LFCS Seminar: Jari Stenman
Timed Pushdown Automata