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

Past seminars
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
19th June 2014, 14:00 in ATT 002
Sebastian Ott (Universität des Saarlandes, Saarbrücken, Germany; Host: Rob van Stee)
Energy-Efficient Scheduling
22nd May 2014, 10:00 in ATT 208
Ionut Tutu (Royal Holloway University London, UK; Host: Octavian Babus)
Model-theoretic foundations of logic programming
8th May 2014, 14:00 in ATT 208
Johannes Marti
(University of Amsterdam, Netherlands; Host: Gabriela Rino)
Coalgebras for a Terminal Sequence
1st May 2014, 11:00 in ATT 208
Sjur Dyrkolbotn
(Durham University, UK; Host: Gabriela Rino)
Identity, Normative Systems and Alternating-time Temporal Logic
27th March 2014, 10:00 in ATT 111
Davide Basile
(University of Pisa, Italy; Host: Emilio Tuosto)
Automata for Service Contracts
20th March 2014, 10:00 in ENG LT2
Bruno Guazelli Batista
(University of São Paulo, Brasil; Host: Stephan Reiff-Marganiec)
Business models for cloud computing environments that consider QoS attributes related to performance and security
10th March 2014, 15:00 in PHY LTA
Alwin Blok
(University of Strathclyde, UK; Host: Gabriela Rino)
Reachability and Observation, Categorically
10th March 2014, 14:00 in PHY LTA
Stuart Hannah
(University of Strathclyde, UK; Host: Gabriela Rino)
Bijective proofs on interval order enumeration
6th March 2014, 10:00 in ENG LT2
Luke Day
(King's College London; Host: Stefan Kuhn)
Analysis of Metastable RNA Thermodynamic Folding Landscapes

Click here for a complete list of past seminars.

Share this page: