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
22nd May 2014, 10:00 in TBA
Ionut Tutu
(Royal Holloway University of London, UK; Host: Octavian Vladut Babus)
8th May 2014, 10:00 in TBA
Johannes Marti
(University of Amsterdam, Netherlands; Host: Gabriela Rino)
1st May 2014, 10:00 in TBA
Sjur Dyrkolbotn
(Durham University, UK; Host: Gabriela Rino)
Past seminars
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
27th August 2013, 14:00 in KE 322
Bertrand Boisvert (IRIT/Toulouse III Paul Sabatier University; Host: Reiko Heckel)
Categories, Typed lambda-Calculus and Proofs for Attributed Graphs Transformation
26th July 2013, 15:00 in ATT 210
Ignacio Vissani (University of Buenos Aires, Host: Emilio Tuosto)
Conflict-driven learning in parallel and distributed sat solvers
17th May 2013, 11:00 in G4 (Computer Science Building)
Gianluca Mezzetti (University of Pisa, Italy; Host: Emilio Tuosto)
Towards Nominal Automata Based Model Checking

Click here for a complete list of past seminars.

Share this page: