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

[Tobias Platen]

On Mon, 2024-02-05 at 13:46 +0000, Luke Kenneth Casson Leighton wrote:
> 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.
It's the bigges conference in Europe. In one month I will go to the
Chemnitzer Linuxtage.