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

[Luke Kenneth Casson Leighton]

On Mon, Feb 5, 2024 at 1:37 PM Tobias Platen via Libre-soc-dev
<libre-soc-dev at lists.libre-soc.org> wrote:

> 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.

nice! :)  lovely to hear you enjoyed FOSDEM. it's so huge isn't it?

l.