meeting

The final review of the SecureChange EU FP7 research project was held in Leuven, Belgium, on the 28th and 29th March 2012. The results of the third year of the project, as well as a summary of the entire three-year span of research were presented to EU-mandated reviewers. The reviewers posed questions based on the presentations and written deliverables, and then retired behind close doors; in the end, they announced that they accept the work of the SecureChange consortium.

The three-year span of the SecureChange EU research project is nearing its completion this January. The last General Assembly before the final review was held between 18-19 of January, at the campus of Open University in Milton Kenes, UK. In addition to the university, the town is also famous for Bletchley Park, the secret location hosting Alan Turing and the rest of the codebreakers during the Second World War.

The General Assembly concluding the second year of the SecureChange EU research project was held between 18-20 of January 2011 at the University of Innsbruck. Our research group was represented by dr. Dániel Varró and Gábor Bergmann. The participating partners summarized their results achieved during the second year of the project, initiated the discussion on the plans for validation activities, agreed on next years's cooperation and integration strategy, and continued the preparations for April's review hearings. Our group presented a demonstrator prototype that showcases the tools and techniques of WP3, with EMF-IncQuery as the underling technology.

This modern building of Thales Research at the outskirts of Paris hosted the 2010 October meeting of the WP3 working group of the EU research project SecureChange. Our research group was represented by Gábor Bergmann. Project partners discussed the remaining tasks in the second year of SecureChange, finalized the outline of the upcoming project deliverables, drafted plans on the conceptual and technical integration among partners and work packages, and presented their results to the other WP members. FTSRG showcased accomplishments funded by SecureChange, including the tool EMF-IncQuery and the results of Ábel Hegedüs in the topics of BPEL verification and execution trace back-annotation.

  Read more »

The first meeting of the WP4.2 and WP4.3 work packages of the R3-COP ARTEMIS project was hosted by the Universität Erlangen-Nürnberg in July 2010. During the meeting the partners first reviewed the goals of the work packages responsible for the V&V activities of autonomous systems, then each partner (Austrian Institute of Technology GmbH, BME, Brno University of Technology, Friedrich-Alexander Universität Erlangen-Nürnberg, Inst. of Mathematics and Computer Science of the University of Latvia, Siemens AG) presented their related, existing research results. Read more »

During 10-12 May 2010 Dániel Varró and Gábor Bergmann participated in a meeting of the SecureChange research project held in Trento, Italy. 23 members of 12 partner institutions were present. The discussion ranged from presenting and overviewing recent progress and reflecting to reviewers' comments to integration plans between work packages.