source: Deliverables/Dissemination

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3281   8 years tranquil back end correctness slides, alas still incomplete
(edit) @3280   8 years Ian Stark Front end final review talk?
(edit) @3279   8 years Ian Stark Renaming and moving
(edit) @3278   8 years Ian Stark Renaming and moving
(edit) @3277   8 years Ian Stark Renaming and moving
(edit) @3276   8 years Ian Stark Renaming and moving
(edit) @3275   8 years Ian Stark Renaming and moving
(edit) @3274   8 years Ian Stark Rnaming and moving
(edit) @3273   8 years Ian Stark Rnaming and moving
(edit) @3272   8 years Ian Stark Rnaming and moving
(edit) @3271   8 years Ian Stark Rnaming and moving
(edit) @3270   8 years Ian Stark Rnaming and moving
(edit) @3269   8 years Ian Stark Some revised slides in front end, not complete
(edit) @3267   8 years campbell Improve a few awkward parts of front-end slides.
(edit) @3266   8 years campbell Some f.e. revisions.
(edit) @3264   8 years campbell Draft a bit of missing content for front-end slides.
(edit) @3260   8 years campbell Start adapting previous talk to front-end review.
(edit) @2945   8 years campbell Minor tweak.
(edit) @2941   8 years campbell Update proof slides.
(edit) @2589   8 years campbell Add one of the simulation diagrams
(edit) @2587   8 years campbell Tweak talk a little.
(edit) @2586   8 years amadio r
(edit) @2585   8 years campbell Many improvements to proof/structured traces talk.
(edit) @2584   8 years regisgia * Update slides.
(edit) @2583   8 years campbell Structured traces talk with most of the content; not quite final.
(edit) @2579   8 years regisgia * First version of Yann's slides.
(edit) @2577   8 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.