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
- Frank Nebel ( fn29@mcs.le.ac.uk ) or
- Julien Lange ( jlange@mcs.le.ac.uk )
Seminar Programme
| Seminars |
|---|
|
17th May 2013, 11:00 in G4 (Computer Science Building) |
| 22nd November 2012, 10:00 in GP LTB Steffen Lösch (University of Cambridge, UK; Host: Daniela Petrişan) Semantics for a Pure, Functional Programming Language with Names |
| 4th October 2012, 17:00 in BEN LT10 Alceste Scalas (University of Cagliari, Italy, Hosts: Emilio Tuosto and Julien Lange) Contract-oriented Computing in CO2 |
| 11th October 2012, 10:00 in GP LTB Nicolas D'Ippolito (Imperial College London, UK, Hosts: Nir Piterman and Alexey Bakhirkin)
Synthesis of Event-Based Controllers: A Software Engineering Challenge |
| 2nd July 2012, 16:00 in ATT 001 Daisuke Kimura (University of Tokyo, Japan, Hosts: Rajeev Raman and Muhammad Muzammal) Kernel Methods for Tree-structured Data |
| 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, Hosts: Emilio Tuosto, Julien Lange) Vertical Refinement in Bigraphs |
| 22nd November 2011, 16:00 in GP LRC Andrea Vandin (IMT Lucca, Italy, Hosts: 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, Hosts: 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, Hosts: Frank Nebel, Julien Lange) Supercompilation by evaluation |
| 17th March 2011, 10:00 in BEN LT3 Christian Soltenborn (University of Paderborn, Germany, Hosts: Reiko Heckel, Tamim Ahmed Khan) Using Dynamic Meta Modeling for Quality Assurance |
