C++ Meetup upstairs un Anseo

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.