The original programme of the HaPoC Symposium at IACAP14 included a talk from Gonzalo Genova (Universidad Carlos III de Madrid, España & Universidad de Santiago de Chile, Chile), titled “Intertwining of formal and empirical methods in software engineering”. Unfortunately Gonzalo was not able to attend the meeting, but he sent us a voice over slides presentation of his talk, for which we thank him! The file is available at the following link:
https://www.dropbox.com/s/uocbjfyyape2940/HaPoC-Intertwinning-Recorded.wmv