A new-old software engineering and formal methods conference on the block: https://etaps.org/blog/051-ifs/
@ETAPSconf #etaps27 #ifs27 #ifs
@ETAPSconf #etaps27 #ifs27 #ifs
iFM + FASE = iFS
Interview with Wolfgang Ahrendt and Marie-Christine Jakobs about the merger of FASE and iFM.
etaps.org
September 2, 2026 at 8:20 PM
A new-old software engineering and formal methods conference on the block: https://etaps.org/blog/051-ifs/
@ETAPSconf #etaps27 #ifs27 #ifs
@ETAPSconf #etaps27 #ifs27 #ifs