test 1

Chair, Steering Committee, Senior Programme Committee Member

• Member of the steering committee of IPEC, the International Symposium on Parameterized and Exact Computation (formerly IWPEC).
• Member of the steering committe of SAT, the International Conference on Theory and Applications of Satisfiability Testing (2010-2014).
• Senior program committee member of IJCAI 2015, 24th International Joint Conference on Artificial Intelligence, KR Track, Buenos Aires, Argentina, 25 July-1 August 2015.
• Workshop Chair of FLoC 2014, the Sixth Federated Logic Conference (FLoC 2014), July 12-24, 2014, as part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 hosts eight conferences and 74 workshops. The workshops feature over 800 talks and presentations.
• Program co-chair of IPEC 2013, International Symposium on Parameterized and Exact Computation, affiliated with ALGO 2013, September 4-6, 2013, Sophia Antipolis, France
• Co-chair of the First Symposium on Structure in Hard Combinatorial Problems, Vienna University of Technology, Vienna, Austria, May 16-18, 2013
• Senior program committee member of CP 2013, The 19th International Conference on Principles and Practice of Constraint Programming, Uppsala, Sweden September 16-20, 2013.
• Senior program committee member of IJCAI 2013, The 23rd International Joint Conference on Artificial Intelligence IJCAI-13, Beijing, China August 5-9, 2013.
• Conference co-chair of COMMA 2012, the Fourth International Conference on Computational Models of Argument, September 10-12, 2012, Vienna, Austria.
• Chair of WorKer 2011, the Third Workshop on Kernelization, September 2-4, 2011, Vienna, Austria.
• Chair of PCCR 2010, the first workshop on the Parameterized Complexity of Computational Reasoning, Satellite Workshop of the federated MFCS & CSL 2010 conference, Brno, Czech Republic, 28 August 2010.
• Co-chair of SAT 2010, Thirteenth International Conference on Theory and Applications of Satisfiability Testing, July 11-14, 2010, Edinburgh, UK, part of FLOC 2010, The Federated Logic Conference 2010.
• Co-organizer of ACiD 2007, Third Workshop on Algorithms and Complexity in Durham, September 17-19, 2007, University of Durham, England, UK.
• Co-organizer of ACiD 2006, Second Workshop on Algorithms and Complexity in Durham, September 18-20, 2006, University of Durham, England, UK.
• Co-organizer of ACiD 2005, First Workshop on Algorithms and Complexity in Durham, July 8-10, 2005, University of Durham, England, UK.

Programm Committee Member

• Program committee member of SAT 2015, the 18th International Conference on Theory and Applications of Satisfiability Testing, Austin, Texas, USA, September 24-27, 2015·.
• Program committee member of ECAI 2014, The 21st European Conference on Artificial Intelligence, Prague, Czech Republic, August 18-22, 2014.
• Program committee member of SAT 2014, the 17th International Conference on Theory and Applications of Satisfiability Testing (Part of FLoC 2014), Vienna, Austria, July 14-17, 2014.
• Program committee member of STAIRS 2014, The 7th European Starting AI Researcher Symposium, a satellite event of ECAI 2014, Prague, Czech Republic, August 18-22, 2014.
• Program committee member of ISAIM 2014, the 13th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, FL, USA, January 6-8, 2014.
• Program committee member of SAT 2013, The 16th International Conference on Theory and Applications of Satisfiability Testing, Helsinki, Finland, July 8-12, 2013.
• Program committee member of QBF 2013, International Workshop on Quantified Formulas, colocated with SAT 2013, Helsinki, Finland, July 8-12, 2013.
• Program commitee member of  CP 2012 (main track and multidisciplinary track), the 18th International Conference on Principles and Practice of Constraint Programming, 8-12th October 2012, Quebec City, Canada.
• Program commitee member of AAAI 2012, the 26th Conference on Artificial Intelligence, Toronto, Ontario, Canada, July 22-26, 2012.
• Program commitee member of MEMICS 2012, The 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, Czech Republic, October 25-28, 2012.
• Program commitee member of SAT 2012, the Fifteen International Conference on Theory and Applications of Satisfiability Testing June 17-20, 2012, Trento, Italy.
• Program commitee member of SAT 2011, the Fourteenth International Conference on Theory and Applications of Satisfiability Testing June 19-22, 2011, Ann Arbor, USA.
• Program committee member of NECTAR 2011, Special Track on New Scientific and Technical Advances in Research; part of AAAI 2011, Twenty-Fifth AAAI Conference on Artificial Intelligence, San Francisco, USA, August 7-11, 2010.
• Program committee member of MFCS 2010, 35th International Symposium on Mathematical Foundations of Computer Science, Brno, Czech Republic, August 23-27, 2010.
• Program committee member of ISAIM 2010, 11th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, January 6-8, 2010.
• Program committee member of NECTAR 2010, Special Track on New Scientific and Technical Advances in Research; part of AAAI 2010, Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA, July 11-15, 2010.
• Program committee member of IWPEC 2009, 4th International Workshop on Parameterized and Exact Computation, 10-11 September 2009, IT University of Copenhagen, Denmark. Part of ALGO 2009.
• Program committee member of IJCAI 2009, Twenty-First International Joint Conference on Artificial Intelligence, July 11-17, 2009, Pasadena, California, USA.
• Program committee member of SAT 2009, Twelfth International Conference on Theory and Applications of Satisfiability Testing, 30 June - 3 July 2009, Swansea, Wales, United Kingdom.
• Program committee member of CATS 2009, Computing: The Australasian Theory Symposium, Wellington, New Zealand, January 20-23, 2009. Part of ASCW 2009, the Australasian Computer Science Week 2009.
• Program committee member of IWPEC 2008, Third International Workshop on Exact and Parameterized Computation, May 14-16, 2008, Victoria (BC), Canada. Colocated with STOC 2008.
• Program committee member of AAAI 2008, Twenty-Third AAAI Conference on Artificial Intelligence, Chicago, Illinois, USA, July 13-17, 2008.
• Program committee member of SAT 2008, Eleventh International Conference on Theory and Applications of Satisfiability Testing, May 12-15, 2008, Guangzhou, P. R. China.
• Program committee member of SAT 2007, Tenth International Conference on Theory and Applications of Satisfiability Testing, May 28-31, 2007, Lisbon, Portugal.
• Program committee member of SAT 2006, Ninth International Conference on Theory and Applications of Satisfiability Testing, August 12-15, 2006, Seattle, Washington, USA, affiliated to FLOC 2006.
• Program committee member of WADS 2005, The Workshop on Algorithms and Data Structures, August 15-17, 2005, University of Waterloo, Waterloo, Canada.
• Program committee member of SAT 2005, Eighth International Conference on Theory and Applications of Satisfiability Testing, June 19-23, 2005, University of St. Andrews, St. Andrews, Scotland, UK.

• Invited tutorial speaker at IPEC 2014, the 9th International Symposium on Parameterized and Exact Computation, part of ALGO 2014, Wroclaw, Poland, September 10-12, 2014.
• Invited speaker at PCCR 2014, the 2nd Workshop on the Parameterized Complexity of Computational Reasoning, part of FLoC 2014, Vienna, Austria, July 17-18, 2014.
• Invited keynote speaker at IEEE-ICTAI 2013, the IEEE International Conference on Tools with Artificial Intelligence, Special Track on SAT and CSP Technologies, Washington, D.C., USA, November 4-6, 2013.
• Invited lecturer at SAT/SMT 2013, the Third International SAT/SMT Summer School 2013, Espoo, Finland, July 3-5, 2013.
• Invited speaker at APAC 2012, the first workshop on Applications of Parameterized Algorithms and Complexity, an affiliated workshop of ICALP 2012, Warwick, UK, July 8, 2012.
• Invited speaker at the workshop on Statistical Mechanics of Unsatisfiability and Glasses, Mariehamn, Finland, 23-26 May 2012.
• Invited tutorial speaker at LI 2012, the Logic and Interactions Winter School at CIRM, Marseille, France, 30 January - 2 March, 2012.
• Invited plenary speaker at INAP 2011/WLP 2011, The 19th International Conference on Applications of Declarative Programming and Knowledge Management, and The 25th Workshop on Logic Programming, Vienna, Austria, 28-30 September 2011.
• Invited plenary speaker at JFPC/JIAF 2011, the 7th French Conference on Constraint Programming and the 5th French Conference on Artificial Intelligence, Lyon, France, 8-10 June, 2011.
• Invited speaker at ARW 2009, the Automated Reasoning Workshop 2009, Department of Computer Science, University of Liverpool, UK, 21-22 April 2009.
• Invited speaker at ICDM 2008, International Conference on Discrete Mathematics, Mysore, India, 6-10 June 2008. Proceedings published by the Ramanujan Mathematical Society, 2010.
• Invited speaker at SymCon'07, Seventh International Workshop on Symmetry and Constraint Satisfaction Problems, satellite workshop of CP 2007, Providence, RI, USA, 23 September 2007.