Hello Everyone,
The great folks at Anseo are graciously letting us use their upstairs room again, still on the Monday. You are all very welcome !
For this meetup, Wu Hao will be our speaker.
Wu is an Assistant Professor in Computer Science at Maynooth University. His research area is in Formal Methods, and he has a strong interest in formal methods, programming language design, program synthesis, and software testing.
The talk will be about Program Verification in C, C++ and C#.
You can find recordings of previous meetups here:
https://indymotion.fr/c/cppdug/videos
Our code of conduct is available here:
https://cppdug.github.io/codeofconduct
and we encourage anyone to share any concerns with the organisers.
