Research Activities
PC member of the
29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI2020)
, July 11 to July 17, 2020, Yokohama, (Japan).
PC member of the
20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17)
, August 28 to September 1, 2016, Melbourne, (Australia).
PC member of the
13th International Workshop on Satisfiability Modulo Theories (SMT'16)
, July 1-2, 2016, Coimbra (Portugal).
PC member of the
XV Jornadas sobre Programación y Lenguajes (PROLE'15)
, September 15-17, 2015, Santander (Spain).
PC member of the
XIV Jornadas sobre Programación y Lenguajes (PROLE'14)
, September 16-19, 2014, Cádiz (Spain).
PC member of the
5th International Workshop on Invariant Generation (WING'14)
, July 23, 2014, Vienna (Austria).
PC member of the
7th International Joint Conference on Automated Reasoning (IJCAR'14)
, July 19-22, 2014, Vienna (Austria).
PC member of the
5th Mathematical Aspects of Computer and Information Sciences (MACIS'13)
, December 11-13, 2013, Nanning (China).
Co-chair of the
International Workshop on Synthesis, Verification, and Analysis of Rich Models (SVARM'13)
, October 17-18, 2013, Madrid (Spain).
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).