Michael Hanus

Professor of Computer Science

Conference Activities before 2015:

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)
International Symposium on Principles and Practice of Declarative Programming (PPDP 2011) (program committee member)
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)