![[The University of Leicester]](unilogo.gif)
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, contact
- Martin Birks ( mb259@mcs.le.ac.uk ) or
- Frank Nebel ( fn29@mcs.le.ac.uk ) or
- Julien Lange ( jlange@mcs.le.ac.uk )
Seminar Programme
| Seminars |
|---|
| 9th May 2012, 16:00 in BEN LT5 Richard Dobson (King's College London, UK, Hosts: Martin Birks and Tom Grant) Low Energy Boolean Circuits |
| 14th March 2012, 16:00 in BEN LT5 Golnaz Badkobeh (King's College London, UK, Host: Sam Jones) Fewest Repetitions vs Maximal-exponent Powers in Infinite Binary Words |
| 12th December 2011, 11:00 in ATT 212 Gian Perrone (IT University of Copenhagen, Danemark, Host: Emilio Tuosto, Julien Lange) Vertical Refinement in Bigraphs |
| 22nd November 2011, 16:00 in GP LRC Andrea Vandin (IMT Lucca, Italy, Host: Kyriakos Poyias, Emilio Tuosto) Towards the development of Techniques for Specification and Analysis of Systems with Dynamic Structure |
| 3rd November 2011, 10:00 in ATT LT3 Fredrik Nordvall Forsberg (University of Swansea, UK, Host: Tadeusz Litak) Data Types in Dependent Type Theory |
| 20th June 2011, 14:00 in MA1.19 Jessica Diaz (Technical University of Madrid, Spain, Host: José Fiadeiro, Frank Nebel) Change Impact Analysis in Product-Line Architectures |
| 30th March 2011, 16:00 in MA1.19 Max Bolingbroke (University of Cambridge, UK, Host: Frank Nebel, Julien Lange) Supercompilation by evaluation |
| 17th March 2011, 10:00 in BEN LT3 Christian Soltenborn (University of Paderborn, Germany, Host: Reiko Heckel, Tamim Ahmed Khan) Using Dynamic Meta Modeling for Quality Assurance |
