[Libre-soc-dev] Your FOSDEM 2024 talk titled 'An introduction to Formal Verification of Digital Circuits'

[Tobias Platen]

On Sun, 2024-02-04 at 19:37 +0000, Luke Kenneth Casson Leighton via
Libre-soc-dev wrote:
> hello could evrryone coordinate on reviewing these videos,
Doing that when I am back in Göttingen. I enjoyed FOSDEM and when I saw
that Cesar is also using Godot, my thaught for the future was, giving a
talk about Godot, which I use to develop libre VR games. 
> check/mark start/end and report quality?
> thnk you so much.
> l.
> 
> https://review.video.fosdem.org/r/09c7e25ac98fa202efc1888ff159ac94d0c1e67c10b4234fcd3b8bb4016e593b
> 
> https://review.video.fosdem.org/r/540e939de988dae6db96630a42da35906186271849b2b9f9b6abcf016e1e31f5
> 
> https://review.video.fosdem.org/r/7953a44b9211bf0d2601ac426885d7f211c2817813f02ee85b00766992f0aecc
> 
> https://review.video.fosdem.org/r/18175c3f4aee1af8b82e01072ee421c16622034ac749b02fc83884b621564c7c
> 
> https://review.video.fosdem.org/r/f51846d9347bd1367d6c258f8f39e701b36c913e03bacc0bf4c6f12fce2e229c
> 
> ---------- Forwarded message ----------
> From: <noreply at fosdem.org>
> Date: Saturday, February 3, 2024
> Subject: Your FOSDEM 2024 talk titled 'An introduction to Formal
> Verification of Digital Circuits'
> To: Cesar Strauss <cestrauss at gmail.com>
> Cc: responsible for track Libre-SOC FPGA and VLSI devroom <
> libre-soc-devroom-manager at fosdem.org>
> 
> 
> Hi!
> 
> This is to notify you that the video of your talk, titled
> 
>   An introduction to Formal Verification of Digital Circuits
> 
> is now ready for review at
> 
> 
> https://review.video.fosdem.org/r/09c7e25ac98fa202efc1888ff159ac94d0c1e67c10b4234fcd3b8bb4016e593b
> 
> Please be so kind as to review it at your earliest convenience. If
> you
> don't do so, we will eventually get around to it, but that might take
> a
> while.
> 
> Please follow the instructions in the form; the primary goal of the
> review process is to crowdsource the marking of the start and end of
> the
> talk to you, its speaker(s) and other directly involved people,
> rather
> than relying on a limited number of speakers. It is not about you
> approving the video.
> 
> If there is any problem with the video that you cannot fix through
> the
> review system, you can contact us through:
> 
> mail: video at fosdem.org
> matrix: #video:fosdem.org
> or via the comment system in the review interface (be sure to then
> enable the "an administrator should look at this" option).
> Thanks for your assistance,
> 
> The FOSDEM video team.
> 
> 
>