Research output per year
Research output per year
Organization profile
The Laboratory for Foundations of Computer Science (LFCS) is one of seven research institutes in the School of Informatics at the University of Edinburgh. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.
The mainspring of research in LFCS is the study of theories which underlie, or should in future underlie, the analysis and design of computing systems. Our work has a core of theoretical research and a practical component which explores application and implementation of the theory. Several research groups exist within LFCS.
Fingerprint
Dive into the research topics where Laboratory for Foundations of Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Sean Adamson
- School of Informatics - Research Associate
- Laboratory for Foundations of Computer Science
Person: Academic: Research Active
-
Stuart Anderson
- School of Informatics - Personal Chair in Dependable Systems
- Laboratory for Foundations of Computer Science
- Global Health Academy
- Language, Interaction and Robotics
Person: Academic: Research Active
-
Myrto Arapinis
- School of Informatics - Reader
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active
-
AI-driven Prices for Externalities and Sustainability in Production Markets
Danassis, P., Filos-Ratsikas, A., Chen, H., Tambe, M. & Faltings, B., 30 May 2023, Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 2463–2465 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Revisiting the Distortion of Distributed Voting
Filos-Ratsikas, A. & Voudouris, A. A., 30 May 2023, Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 1391–1399 18 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Settling the Distortion of Distributed Facility Location
Filos-Ratsikas, A., Kanellopoulos, P., Voudouris, A. A. & Zhang, R., 30 May 2023, Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 2152–2160 22 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Activities
-
ACM SIGMOD/PODS International Conference on Management Data
Leonid Libkin (Chair), Reinhard Pichler (Chair) & Paolo Guagliardo (Chair)
21 Jun 2021 → 23 Jun 2021Activity: Participating in or organising an event types › Participation in conference
-
36th Annual ACM/IEEE Symposium on Logic in Computer Science
Daniele Gorla (Chair) & Leonid Libkin (Chair)
29 Jun 2021 → 2 Jul 2021Activity: Participating in or organising an event types › Participation in conference
-
Journal of Logical and Algebraic Methods in Programming (Journal)
Vashti Galpin (Guest editor), Paolo Milazzo (Guest editor) & Anna Monreale (Guest editor)
25 Oct 2019Activity: Publication peer-review and editorial work types › Editorial activity
Prizes
-
2011 ICDT Best Paper Award
David, Claire (Recipient), Libkin, Leonid (Recipient) & Tan, Tony (Recipient), 24 Mar 2011
Prize: Prize (including medals and awards)
-
Best Paper Award at ICDT 2019
Nikolic, Milos (Recipient), 7 Jan 2019
Prize: Prize (including medals and awards)
-
Best paper award CANS 2022
Ciampi, Michele (Recipient), 16 Nov 2022
Prize: Prize (including medals and awards)
-
-
-
HUBS: High-Speed Universal Broadband Service
Waites, W. & Buneman, P.
24/07/13 → …
Project: Research Collaboration with external organisation
Datasets
-
Deciding on Personalized Ads: Nudging Developers About User Privacy
Tahaei, M. (Creator), Vaniea, K. (Creator) & Frik, A. (Creator), Edinburgh DataShare, May 2021
DOI: 10.7488/ds/3045, https://groups.inf.ed.ac.uk/tulips/papers/tahaei2021soups.pdf
Dataset
-
Lothian Buses Full Fleet GPS Traces, 2014 to 2015
Reijsbergen, D. (Depositor), Edinburgh DataShare, 29 Aug 2016
DOI: 10.7488/ds/1470
Dataset
-
Collected cookie dialogs and dark patterns
Vaniea, K. (Creator) & Kirkman, D. (Creator), Edinburgh DataShare, 16 Jun 2022
DOI: 10.7488/ds/3475
Dataset
Press/Media
-
2020 ACM Fellows recognized for work that underpins contemporary computing
13/01/21 → 14/01/21
8 Media contributions
Press/Media: Expert Comment
-
-
Urgent testing, tracing, and isolation could save lives and economy
Timothy Colbourn, William Waites, David Manheim, Jasmina Panovska-Griffiths & Rosalind Raine
15/06/20 → 16/06/20
5 items of Media coverage
Press/Media: Press Release