Research Activities

• PC member of the 5th International Simposium on Symbolic Computation in Software Science (SCSS 2013), July 5-6, 2013, Hagenberg (Austria).

• PC member of the Joint SVARM & VERIFY Workshop 2012, June 30-July 1, 2012, Manchester (UK).

• PC member of the 4th International Workshop on Invariant Generation (WING'12), June 30, 2012, Manchester (UK).

• PC member of the 4th Mathematical Aspects of Computer and Information Sciences (MACIS'11), October 19-21, 2011, Beijing (China).

• PC member of the 3rd International Workshop on Numerical and Symbolic Abstract Domains (NSAD'11), September 13, 2011, Venice (Italy).

• PC member of the X Jornadas sobre Programación y Lenguajes (PROLE'10), September 7-10, 2010, València (Spain).

• Co-chair of the 2nd International Workshop on Numerical and Symbolic Abstract Domains (NSAD'10), September 13, 2010, Perpignan (France).

• PC member of the 3rd International Workshop on Invariant Generation (WING'10), July 21, 2010, Edinburgh (UK).

• PC member of the 1st International Workshop on Synthesis, Verification, and Analysis of Rich Models (SVARM'10), July 20-21, 2010, Edinburgh (UK).

• PC member of the IX Jornadas sobre Programación y Lenguajes (PROLE'09), September 9-11, 2009, San Sebastián (Spain).

• PC member of the 3rd Mathematical Aspects of Computer and Information Sciences (MACIS'09), December 14-17, 2009, Fukuoka (Japan).

• PC member of the 1st International Workshop on Invariant Generation (WING'07), June 25-26, 2007, Hagenberg (Austria).