Konferencje

Mój udział w organizacji konferencji naukowych.

1. Członek komitetu programowego konferencji Set Theory and Hierarchy Theory, Karpacz, 1975 i 1976.
2. Przewodniczący komitetu programowego i organizacyjnego European Summer Meeting of the Association for Symbolic Logic, Wrocław, 1977.
3. Przewodniczący komitetu programowego konferencji Model Theory of Algebra and Arithmetics, Karpacz, 1979.
4. Członek komitetu programowego Logic Colloquium '80, Praga (Czechosłowacja), 1980.
5. Członek komitetu programowego Logic Colloquium '81, Marsylia (Francja), 1981.
6. Członek komitetu sekcyjnego (logika) International Congress of Mathematicians, Warszawa, 1982.
7. Przewodniczący komitetu sekcyjnego (teoria modeli) 1987 Moscow Congress of the International Union of History and Philosophy of Science, Moskwa (Związek Radziecki), 1987.
8. Członek komitetu programowego Colloquium on Trees in Algebra and Programming (CAAP'93), Paryż (Francja), 1993.
9. Członek komitetu programowego Conference on Rewriting Techniques and Applications (RTA'93), Montreal (Kanada), 1993.
10. Członek komitetu programowego 13th World Computing Congress of International Federation of Information Processing (13 WCC IFIP), Hamburg (Niemcy), 1994.
11. Członek komitetu programowego konferencji Computer Science Logic '94 (CSL'94), Kazimierz, 1994.
12. Członek komitetu programowego Logic Colloquium '94 (The European Summer Meeting of the Association for Symbolic Logic), Clermont-Ferrand (Francja), 1994.
13. Członek komitetu programowego Symposium on Theoretical Aspects of Computer Science (STACS'94), Caen (Francja), 1994.
14. Członek komitetu programowego konferencji Constraints in Computational Logic (CCL'94), Monachium (Niemcy), 1994.
15. Członek komitetu programowego International Colloquium on Automata, Languages and Programming(ICALP'96), Paderborn, Niemcy, 1996.
16. Członek komitetu programowego konferencji Principles and Practice of Constraint Programming (CP'96), Cambridge (USA), 1996.
17. Przewodniczący komitetu programowego i organizacyjnego ACM State-of-the-art Summer School on Functional and Object Oriented Languages, Sobótka (Polska), 1996.
18. Członek komitetu programowego Logic Colloquium '97 (The European Summer Meeting of the Association for Symbolic Logic), Leeds (Wielka Brytania), 1997.
19. Przewodniczący komitetu programowego i organizacyjnego ACM State-of-the-art Workshop on Functional and Object Oriented Languages, Jadwisin, 1997.
20. Członek komitetu programowego International Congress of Union of History and Philosophy of Sciences, Division of Logic and Methodology of Science, Kraków, 1999.
21. Przewodniczący komitetu programowego 24th International Symposium on Mathematical Foundations of Computer Science, Szklarska Poręba, 1999.
22. Członek komitetu programowego 25th International Symposium on Mathematical Foundations of Computer Science, Bratysława (Słowacja), 2000.
23. Członek komitetu programowego Logic Colloquium 2000 (The European Summer Meeting of the Association for Symbolic Logic), Paryż (Francja), 2000.
24. Członek komitetu programowego 7th International Conference on Logic for Programming and Automated Reasoning (LPAR 2000), Reunion Island, 2000.
25. Członek komitetu programowego 8th International Conference on Logic for Programming and Automated Reasoning (LPAR'01), Hawana (Kuba), 2001.
26. Zastępca przewodniczącego komitetu programowego 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2001), Piestrany (Słowacja), 2001.
27. Członek komitetu programowego 18th Conference on Automated Deduction (CADE'18), Copenhaga (Dania), 2002.
28. Członek komitetu programowego 9th International Conference on Logic for Programming and Automated Reasoning (LPAR'02), Tbilisi (Gruzja), 2002.
29. Przewodniczący komitetu programowego i organizacyjnego ACM State-of-the-Art Summer School on Foundations of Internet Security (FIS'02), Duszniki, 2002.