Hi user
Admin Login:
Name: Formal Verification with Ada 2012: a Very Simple Case Study
--client fosdem --show fosdem_2014 --room K4601 7881 --force
Next: 5 Speedup and Quality Up with Ada Tasking
Marks
Author(s):Didier Willame
LocationK.4.60110
Date feb Sat 01 Days Raw Files
Start16:00 First Raw Start15:01
Duration00:25:00 Offset0:58:16
End 16:25 Last Raw End 16:32
Chapters 00:00
Total cuts_time25 min.
https://fosdem.org/2014/schedule/event/ada_verification/
raw-playlist raw-mp4-playlist encoded-files-playlist public mp4 svg png
final audio

assets release.pdf Formal_Verification_with_Ada_2012_a_Very_Simple_Case_Study.json
logs
Admin: episode episode list cut list raw files day marks day marks day image_files

clear this to unlock

user/process that locked.

initially scheduled time from master, adjusted to match reality

length in hh:mm:ss

Video Title (shows in video search results)

email(s) of the presenter(s)

has someone authorised pubication

m=mono, 01=copy left to right, 10=right to left, 00=ignore.

filename.png

markdown

production notes
recording sheet
2014-02-01/14_01_44.dv 15:01:44 - 16:03:42 ( 01:01:58 ) S: 15:01:44 - E: 16:03:42 D: 01:01:58
vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/K4601/2014-02-01/14_01_44.dv :start-time=00.0 --audio-desync=0
Raw File Cut List
15:01:44 seconds: 0.0
Wall: 15:01:44
Duration 01:01:58
16:03:42 seconds: 0.0
Wall: 15:01:44
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2014-02-01/15_03_42.dv 16:03:42 - 16:06:24 ( 00:02:42 ) S: 16:03:42 - E: 16:06:24 D: 00:02:42
vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/K4601/2014-02-01/15_03_42.dv :start-time=00.0 --audio-desync=0
Raw File Cut List
16:03:42 seconds: 0.0
Wall: 16:03:42
Duration 00:02:42
16:06:24 seconds: 0.0
Wall: 16:03:42
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2014-02-01/15_06_25.dv 16:06:25 - 16:32:07 ( 00:25:42 ) S: 16:06:25 - E: 16:32:07 D: 00:25:42
vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/K4601/2014-02-01/15_06_25.dv :start-time=00.0 --audio-desync=0
Raw File Cut List
16:06:25 seconds: 0.0
Wall: 16:06:25
Duration 00:25:42
16:32:07 seconds: 0.0
Wall: 16:06:25
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz

root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv

check and save to add this

2014-02-01/14_01_44.dv
audio viz
2014-02-01/15_03_42.dv
audio viz
2014-02-01/15_06_25.dv
audio viz

Veyepar Video Eyeball Processor and Review