Morning of February 4
    09:00-10:00   Coffee, welcome and schmoozing
    10:00-11:00   George Danezis: Tutorial on machine learning and traffic analysis

    11:00-11:30   Coffee break

    11:30-12:00   Bart Jacobs Tutorial demo of VeriFast
    12:00-12:30   James Cheney: Provenance and security

    12:30-14:00   Lunch

Afternoon of February 4

    14:00-14:30   Sean Weaver: Cryptol and its applications
    14:30-15:00   Erik Poll, Sicco Verwer: Automated reverse engineering of security protocols
    15:00-15:30   Graham Steel: Mac In The Box

    15:30-16:00   Tea break

    16:00-16:30   Mark Ryan: Protected execution: model and analysis
    16:30-17:00   Jeremy Jacob: Confidentiality in Circus

    18:30-21:00   Drinks from 18:30 and buffet dinner from 19:00 in the Meade Room in the University Centre

Morning of February 5
    08:30-09:00   Coffee and schmoozing
    09:00-10:00   Overview of CESG research initiatives
    10:00-10:30   Dusko Pavlovic: Overview of ASECOLAB.org

    10:30-11:00   Coffee break

    11:00-11:30   Gareth Smith: A trusted JavaScript semantics
    11:30-12:00   Janet Barnes: Correctness by Construction for security
    12:00-12:30   Shiu-Kai Chin: Mission Assurance in Cyberspace

    12:30-14:00   Lunch

Afternoon of February 5
    
    14:00-14:30   Dino Distefano: Future research ideas
    14:30-15:30   Rump session consisting of 5 minute presentations
                   Radu Grigore: TOPL demo
                   Will Harwood: The logic of trust
                   Frank Seaton Taylor: Advertisement for HCSS conference 
    
    15:30-16:00   Tea break

    16:00-17:00   BoF sessions

    17:00         End of Workshop.