review: Acta Informatica.
Final version after discussion.
phd slides: First batch.
Until first meeting... It's terrible and should change a lot.
modifs