Email Gateway (Aug 19 2022 at 11:56): Email Gateway (Aug 19 2022 at 11:56):From: Sarah Grebing <grebing@ira.uka.de>
Dear Isabelle-User,
I am a PhD student at the Karlsruhe Institute of Technology and I am
working in a project funded by the BMBF which aims at evaluating and
improving the interactive verification process of verification systems.
For this project I want to conduct so called focus group discussions for
different verification systems including Isabelle. Focus group
discussions are small moderated discussion groups with 5 to 8 participants.
I am looking for participants for these discussions who are familiar
with Isabelle.
If you are interested in taking part in such a discussion then please
send me an email.
Details are attached.
Kind Regards,
Sarah Grebing
focusgroup_Isabelle.pdf
Last updated: Nov 21 2024 at 12:39 UTC