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
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:

Graduation 2014

All graduating students and their guests are warmly invited to a departmental reception on 16 July during 1pm-3pm in the Graduation Marquee.

Industry

The department cooperates with industry through student placements and collaborative training and research. Find out more.