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)
Michael Hanus