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 Informatics 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
Past seminars
23rd Oct 2017, 10:00 in ATT 111
Gijs Wijnholds (Queen Mary University of London)
Proof Nets and String Diagrams
20th Oct 2016, 10:00 in ENG LT1
Matthias Heintz (University of Leicester)
Challenges and Resolutions for Engaging Teachers and Students in Participatory Design of Online Science Learning Resources
26th July 2016, 10:00 in BEN G85 A
Dr. Juan Boubeta-Puig (University of Cadiz, Spain)
MEdit4CEP: A Model-Driven Solution for Real Time Decision Making in SOA 2.0
17th March 2016, 10:00 in ADR LG26
Rob Van Stee (University of Leicester)
Beating the Harmonic Lower Bound for Online Bin Packing

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:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc
E: MSc

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604

Dept of Informatics
University of Leicester
Leicester, LE1 7RH
United Kingdom


AccessAble logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has a detailed accessibility guide for the Informatics Building.