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
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?
Past seminars
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: