Conferences on Intelligent Computer Mathematics - Birmingham 2008
CICM '08

Doctoral Programme

Birmingham, UK, 29-31 July 2008

General Information

The CICM 2008 Doctoral Programme will enable graduate students to discuss and present their research and ideas, and gain feedback from respected researchers within the areas of Mathematics, Computer Science and Artificial Intelligence.

The programme will offer students the chance to present their work and gain feedback from other students and senior scientists. This will befollowed by tutorials from invited speakers and discussions. Social events within the programme will include a banquet and a football tournament.

Senior Scientists

  • Joerg Siekmann
  • Jacques Fleuriot
  • Bill Farmer
  • Geoff Sutcliffe
  • Mateja Jamnik
  • Christoph Benzmueller
  • Michael Kohlhase
  • ... more to come ...

Participating Students

  • Josef Baker (The University of Birmingham, UK, Supervisor: Volker Sorge)
  • Christine Müller (Jacobs University Bremen, Germany, Supervisor: Michael Kohlhase)
  • Marc Wagner (Saarland University, Germany, Supervisor: Joerg Siekmann et al.)
  • Antti Hyvaerinen (Helsinki University of Technology, Finland, Supervisor: Ilkka Niemelä)
  • Christoph Lange (Jacobs University Bremen, Germany, Supervisor: Michael Kohlhase)
  • Dominik Dietrich (Saarland University, Germany, Supervisor: Joerg Siekmann et al.)
  • Fulya Horozal (Jacobs University Bremen, Germany, Supervisor: Michael Kohlhase)
  • Imran Zia (Heriot-Watt University, UK, Supervisor: Lilia Georgieva)
  • Normen Mueller (Jacobs University Bremen, Germany, Supervisor: Michael Kohlhase)
  • Noureddin Sadawi (University of Birmingham, UK, Supervisor: Volker Sorge)
  • Rafael Navarro-Marset (University of Valencia, Spain, Supervisor: Salvador Lucas)
  • Steven Kieffer (Simon Fraser University, Canada, Supervisor: Michael Monagan)
  • Su Wei (Lanzhou University, China, Supervisor: Paul S. Wang)
  • Vyacheslav Zholudev (Jacobs University Bremen, Germany, Supervisor: Michael Kohlhase)