Activity

[rsoeldner]

is this group still active ?

[stanislaw]

@rsoeldner thanks for asking! Yes, the meetup still exists in a way that I am happy to host the meetups at any time but it is not easy to find speakers.

I have one preliminary commitment from a potential speaker (the topic is "Formal verification of the RTEMS RTOS with SPIN"). Our next contact point is the end of October.

And another potential speaker was willing to present on the FRAMA tool but his preference was to do it after the Corona time 😞

In case you would like to present anything or know someone who could present just let me know and we will arrange a meetup right away.

[rsoeldner]

@stanislaw thank you for the prompt reply. Have you thought about doing it remotely ? Unfortunately, I'm not in a position to present but would love to hear more.

[stanislaw]

The meetups 3 and 4 (see the Program) have been run as online Zoom events so it is definitely possible to do online events.

Do you know anyone who could present? Send them my way 😄

[anton-trunov]

Ah, too bad you already had a meetup on Coq. I might know a thing or two about that :)

[stanislaw]

@anton-trunov that's actually not a blocker. You could check out that talk's slides and come up with something that would make a perfect continuation :)

The audience that attends to this meetup are folks somewhere between beginners and advanced so you could find something that is accessible even to those of us who are not professional Coq programmers.

The most asked topic across technologies is the practical application of the formal methods and the news about the latest advancements in software verification. Another one which could also be of great interest is what makes you busy these days as a Coq programmer (what's the state of the art these days).

Let me know if would consider presenting. Just send me an email :)

[anton-trunov]

@stanislaw Thank you for your interest!

Just send me an email :)

Done.