Former Scientific Activities of Michael Hanus

• 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)