pub: add new version of FIT-TR-2012-03
pub: add new version of FIT-TR-2012-03
HVC'11: add link to Springer
presentations: move to a separate directory
TACAS'12: rename presentation
presentations: add possibility to list
publications: enable listing
adda a few presentations
Add the FAV Abstract Interpretation lecture
Add a few publications