Blog

Presentation by Gonzalo Genova, HaPoC@IACAP14

Submitted by admin on Wed, 07/30/2014 - 11:14

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:

HAPOC Symposium @IACAP

Submitted by admin on Thu, 07/10/2014 - 12:40

The HaPoC symposium

On July 3, 2014 we organized a symposium during the 29th IACAP conference in sunny Thessaloniki. It was a long but satisfying day with lots of discussion. For the symposium we decided to work around three fundamental questions:

An introduction to the P&T HaPoC Special Issue

Submitted by admin on Fri, 07/04/2014 - 13:02

After HaPoC-I held in Ghent in 2011, two Special Issues went into preparation to collect refereed contributions to the Conference and some additional contributions. The paper to be collected in the first of these issues were already published online on the website of Philosophy & Technology (Springer) for a while. Now the introduction to the same volume has been published and it is available at http://link.springer.com/article/10.1007/s13347-014-0169-4#.

Blog for the HaPoC Community launched!

Submitted by admin on Fri, 07/04/2014 - 12:45

This new feature of our website is an opportunity for all registered users to post about anything they want: requests for collaboration, ideas, questions, opinion, interesting texts or images. Remember to use the Events content type for events you know about or are organizing and the Publications content type to announce any new or interesting publication. Good blogging!

Pages

Subscribe to Blog