source: Deliverables/Dissemination

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @2945   7 years campbell Minor tweak.
(edit) @2941   7 years campbell Update proof slides.
(edit) @2589   7 years campbell Add one of the simulation diagrams
(edit) @2587   7 years campbell Tweak talk a little.
(edit) @2586   7 years amadio r
(edit) @2585   7 years campbell Many improvements to proof/structured traces talk.
(edit) @2584   7 years regisgia * Update slides.
(edit) @2583   7 years campbell Structured traces talk with most of the content; not quite final.
(edit) @2579   7 years regisgia * First version of Yann's slides.
(edit) @2577   7 years tranquil abstract of indexed labels talk
(edit) @2567   8 years amadio r
(add) @2558   8 years amadio r
Note: See TracRevisionLog for help on using the revision log.