PhD Seminars

The PhD Seminar is a series of presentations given by PhD and research students in computer science and mathematics from Leicester and other universities in the UK. In particular, the talks address students and staff of the University of Leicester. The seminar is open to anyone interested. A strong background in any of the subjects is not assumed.

The presentations reflect the research interests of PhD students in the department of Computer Science and are intended to stimulate the interaction between researchers in Computer Science, Software Engineering, Logic, and Mathematics.

If you are interested in giving a talk yourself or want to receive the weekly reminder, please contact

Seminar Programme

Upcoming seminars
17th March 2016, 10:00 in ADR LG26
Rob Van Stee(University of Leicester)
Beating the Harmonic Lower Bound for Online Bin Packing
Past seminars

3rd March 2016, 10:00 in ADR LG26
Stefan Khun (University of Leicester)

Does Open Data Work?
8th December 2015, 10:00 in CW 802
Timo Kehrer (Politecnico Milano)
Example-driven Specification of Complex Editing Operations for Domain-specific Models in MDE
19th November 2015, 10:00 in ADR LG26
Kornchulee Khanana(University of Leicester)
Development of Design Heuristics for Digital Educational Games for School Children of 7 to 11 Years Old
12th November 2015, 10:00 in ADR LG26
Edvard Oliveira (Universidade de Sao Paulo)
AIP3S - Architecture for integration of projects for prediction of protein structures
5th November 2015, 10:00 in ADR LG26
Matthias M. Heintz
(University of Leicester, UK)
Paper or Pixel? Comparing Paper- and  Tool-Based Participatory Design Approach
21st May 2015, 11:00 in FJ L66
Rob Edlin-White
(University of Leicester, UK)
Adaptive Interfaces for Improving Technology Accessibility for Older Users: A Pain or a Boon?
14th May 2015, 10:00 in KE322
Klaus von Gleisenthall
(Technische Universitat Munchen, Munich, Germany)
Symbolic Polytopes for Quantitative Verification
24th April 2015, 14:00 in ATT 210
Nicolas Ricci
(Universidad Naciona de Rio Cuarto, Argentina)
dCTL: A Deontic Logic for Fault-Tolerance Reasoning
25th March 2015, 14:00 in ATT 002
Sophie Karagiorgou (IMIS, Athens, Greece)
Inference of Transportation Networks from Sparse Tracking Data
5th March 2015, 10:00 in ADR LG26
Heidy Khlaaf (University College London)
Fairness for Infinite-State Systems (slides)
26th February 2015, 10:00 in ADR LG26
Sandy Heydrich (MPI, Host: Rob van Stee)
Approximating minimum biclique cover and partition
10th December 2014, 14:00 in ATT 208
Steven Woodhouse (Cambridge University)
Synthesising Gene Regulatory Networks from Single-Cell Gene Expression Data
30th October 2014, 10:00 in BENL LT
Lucas Junqueira Adami (University of São Paulo, Brasil; Host: Stephan Reiff-Marganiec)
Providing Quality of Service on Services Selection using Anycast Techniques
16th October 2014, 10:00 in BENL LT
Rafael Mira Libardi (University of São Paulo, Brasil; Host: Stephan Reiff-Marganiec)
Improving file storage using multiple cloud providers
17th September 2014, 14:00 in ATT 206
Daniel Ciolek (Universidad de Buenos Aires, Argentina; Host: Gabriela Rino)
Controller Synthesis

Click here for a complete list of past seminars.

Share this page: