Michael Hanus

Conference Activities before 2020:

• 35th International Conference on Logic Programming (ICLP 2019) (program committee member)
• 27th International Workshop on Functional and Logic Programming (WFLP 2019) (program committee member)
• 33rd Workshop on (Constraint) Logic Programming (WLP 2019) (program committee member)
• 22nd International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2019) (program committee member)
• Haskell Implementors’ Workshop (HIW 2018) (program committee member)
• 32nd Workshop on (Constraint) Logic Programming (WLP 2018) (program committee member)
• 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) (program committee member)
• 26th International Workshop on Functional and Logic Programming (WFLP 2018) (program committee member)
• 34th International Conference on Logic Programming (ICLP 2018) (program committee member)
• Program committee chair of the 25th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2017) and the 31st Workshop on Logic Programming (WLP 2017)
• 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2017) (program committee member)
• 15th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2017) (program committee member)
• 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) (program committee member)
• 32nd International Conference on Logic Programming (ICLP 2016) (program committee member)
• 30th Workshop on (Constraint) Logic Programming (WLP 2016) (program committee member)
• 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016) (program committee member)
• Fourth International Workshop on Verification and Program Transformation (VPT 2016) (program committee member)
• 13th International Symposium on Functional and Logic Programming (FLOPS 2016) (program committee member)
• Ninth Working Conference on Programming Languages (9. Arbeitstagung Programmiersprachen, ATPS 2016) (program committee member)
• 29th Workshop on (Constraint) Logic Programming (WLP 2015) (program committee member)
• 31st International Conference on Logic Programming (ICLP 2015) (program committee member)
• 26th International Conference on Rewriting Techniques and Applications (RTA 2015) (program committee member)
• 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015) (program committee member)
• International Joint Conference on Artificial Intelligence (IJCAI 2015) (program committee member)
• Third International Workshop on Verification and Program Transformation (VPT 2015) (program committee member)
• 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014) (program committee member)
• 28th Workshop on (Constraint) Logic Programming (WLP 2014) (program committee member)
• 30th International Conference on Logic Programming (ICLP 2014) (program committee member)
• International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014 (CICLOPS-WLPE 2014) (program committee member)
• Seventh Working Conference on Programming Languages (7. Arbeitstagung Programmiersprachen, ATPS 2014) (program committee member)
• 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013) (program committee member)
• Organization of the Kiel Declarative Programming Days 2013
• Program committee chair and organization of the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013)
• 13th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2013) (program committee member)
• Sixth Working Conference on Programming Languages (6. Arbeitstagung Programmiersprachen, ATPS 2013) (program committee member)
• 26th Workshop on (Constraint) Logic Programming (WLP 2012) (program committee member)
• 21st Workshop on Functional and (Constraint) Logic Programming (WFLP 2012) (program committee member)
• Fifth Working Conference on Programming Languages (5. Arbeitstagung Programmiersprachen, ATPS 2012) (program committee member)
• 25th Workshop on (Constraint) Logic Programming (WLP 2011) (program committee member)
• Program committee chair of the 13th International Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
• 20th Workshop on Functional and (Constraint) Logic Programming (WFLP 2011) (program committee member)
• Invited talk at the 11th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2011)
• 11th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2011) (program committee member)
• 12th International Symposium on Trends in Functional Programming (TFP 2011) (program committee member)
• 24th Workshop on (Constraint) Logic Programming (WLP 2010) (program committee member)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010) (program committee member)
• Eleventh Symposium on Trends in Functional Programming (TFP 2010) (program committee member)
• Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) (program committee member)
• 19th Workshop on Functional and (Constraint) Logic Programming (WFLP 2010) (program committee member)
• Program co-chair of the Fourth Working Conference on Programming Languages (4. Arbeitstagung Programmiersprachen)
• Program committee member of the 23rd Workshop on (Constraint) Logic Programming (WLP 2009)
• Program committee member of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2009)
• Program committee member of the 11th International Symposium on Principles and Practice of Declarative Programming (PPDP 2009)
• Program committee member of the 25th International Conference on Logic Programming (ICLP 2009)
• Program committee member of the 9th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2009)
• Program committee member of the 18th Workshop on Functional and (Constraint) Logic Programming (WFLP 2009)
• Program committee member of the 10th International Workshop on Termination (WST09)
• Program committee member of the Tenth Symposium on Trends in Functional Programming (TFP 2009)
• Program committee member of the 22nd Workshop on (Constraint) Logic Programming (WLP 2008)
• Program committee member of the International Workshop on Functional and Declarative Programming in Education (FDPE'08)
• Program committee chair of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2008)
• Program committee member of the 17th Workshop on Functional and (Constraint) Logic Programming (WFLP 2008)
• Program committee member of the Ninth Symposium on Trends in Functional Programming (TFP 2008)
• Program committee chair of the 21st Workshop on (Constraint) Logic Programming (WLP 2007)
• Program committee member of the Workshop on Logic-based Methods in Programming Environments (WLPE'07)
• Program committee member of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2007)
• Program committee member of the 16th Workshop on Functional and (Constraint) Logic Programming (WFLP 2007)
• Program committee chair of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL 2007)
• Program committee member of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP 2006)
• Program co-chair of the Arbeitstagung Programmiersprachen (Working Conference on Programming Languages, in German)
• Program committee member of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2006)
• Program committee member of the 20th Workshop on (Constraint) Logic Programming (WLP 2006)
• Program co-chair of the Workshop on Curry and Functional Logic Programming (WCFLP 2005)
  (part of the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005))
• Organization of the International Workshop on Functional and Declarative Programming in Education (FDPE'05)
  (part of the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005))
• Program committee member of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05)
• Program committee member of the 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP 2005)
• Program committee member of the 19th Workshop on (Constraint) Logic Programming (WLP 2005)
• Organization of the 3rd International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'04)
  (part of the 20th International Conference on Logic Programming (ICLP'04))
• Program co-chair of the 3. Arbeitstagung Programmiersprachen (Third Working Conference on Programming Languages, in German)
• Program committee member of the First International Workshop on Teaching Logic Programming (TeachLP 2004)
• Program committee member of the 13th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2004)
• Program committee member of the 5th International Workshop on Rule-Based Programming (RULE 2004)
• Program committee member of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL 2004)
• Program committee member of the Seventh International Symposium on Functional and Logic Programming (FLOPS 2004)
• Program chair of the 18th Workshop on (Constraint) Logic Programming (WLP 2004)
• Organization of the 2nd International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'03)
  (part of the Ninth International Conference on Principles and Practice of Constraint Programming (CP2003))
• Program committee member of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003)
• Organization of the International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'02)
  (part of the Eighth International Conference on Principles and Practice of Constraint Programming (CP2002))
• Organization of the International Workshop on Functional and Declarative Programming in Education (FDPE'02)
• Program committee member of the International Workshop on Logic Based Program Development and Transformation (LOPSTR'02)
• Program committee member of the Workshop on Algorithmic Aspects of Advanced Programming Languages 2002 (WAAAPL'02)
• Program committee member of the Sixth International Symposium on Functional and Logic Programming (FLOPS 2002)
• Program committee member of the Second International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002)
• Program committee member of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002)
• Program committee member of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02)
• Program committee member of the 11th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2001)
• Program chair and organization of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001)
• Program committee member of the 5th International Symposium on Functional and Logic Programming (FLOPS 2001)
• Program committee member of the 15th Workshop on Logic Programming and Constraint Systems
• Tutorial on Functional Logic Programming at the First International Conference on Computational Logic (CL'2000))
• Program committee member of the Tenth International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'2000) (part of the First International Conference on Computational Logic (CL'2000))
• Tutorial on Multi-Paradigm Programming at the European Joint Conferences on Theory and Practice of Software (ETAPS)
• Program committee member of the 14th Workshop on Logic Programming
• Program committee member of the International Conference on Logic Programming (ICLP'99)
• Co-Organizer of the Workshop on Functional and Declarative Programming in Education (DPE'99)
• Program committee member of the Second International Workshop on Component-Based Software Development in Computational Logic (COCL'99)
• Program committee member of the International Workshop on Implementation of Declarative Languages (IDL'99)
• Program committee member of "2. Arbeitstagung Programmiersprachen" (Working Conference on Programming Languages, in German)
• Invited talk at the 10th Benelux Workshop on Logic Programming (Benelog'98)
• Program committee member of the 13th Workshop on Logic Programming (WLP'98)
• Program committee member of the Workshop on Principles of Abstract Machines
• Program committee member of the Ninth International Conference on Rewriting Techniques and Applications (RTA'98)
• Program committee member of the International Logic Programming Symposium (ILPS'97)
  (I also presented there a tutorial on multi-paradigm declarative programming)
• Program committee co-chair of the 6th International Conference on Algebraic and Logic Programming (ALP'97)
• Invited talk at the Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97)
• Program committee member of "Arbeitstagung Programmiersprachen" (Working Conference on Programming Languages, in German)
• Program committee chair of the 5th International Conference on Algebraic and Logic Programming (ALP'96)
• Organization of
• Organization of an International Workshop on Integration of Functional and Logic Languages, Dagstuhl, Germany, 1996
• Workshop chair of Joint International Symposium and Conference on Logic Programming (JICSLP'96)
• Program committee member of the 5th International Workshop on Extensions of Logic Programming (ELP'96)
• Program committee member of Seventh International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP'95)