Theory Postgraduate Course 2007/8, Semester 2

Recommended Undergraduate/MSc courses for TPG students are:

• Types and Programming Language (Philip Wadler)
  
• Algorithmic Game Theory (Kousha Etessami)
  
• http://www.inf.ed.ac.uk/teaching/courses/2007/la-5.html Logic and Automata (Leonid Libkin)
  
• Topics in Distributed Databases (Wenfei Fan)
  
• Decision Procedures for First-order Theories (Patrick Maier)
  
• Research Topics in Software Engineering (Perdita Stevens)
  http://www.inf.ed.ac.uk/teaching/courses/2007/rtse.html
  (subject to attracting enough MSc registrants).
  

First year (and later) LFCS PhD students are advised to attend courses selected after discussion with their supervisor. If you plan to attend an Undergraduate or MSc course other than those listed above, it would be polite to ask the course lecturer first. NB: there is no requirement or expectation to undertake the assessment for Undergraduate and MSc courses.

A full list of courses offered in Informatics in this session is given here.