Chair and Memberships
Chairs:
- Program Chairman of IJCAI'03, International Joint
Conference on Artificial Intelligence, Acapulco, Mexico, 2003.
- Program Chairman of the 19th ACM SIGMOD SIGACT SIGART
Symposium on Principles of Database Systems (PODS'2000), Dallas, Texas.
-
Co-chairman of the program committee for the International Conference on
Database Theory 1995 (together with co-chair Moshe Vardi).
- Program co-chairman for the 1998
Computer Science Logic conference (CSL'98). Co-chair was
Prof. Etienne Grandjean.
- Chairman of the program committee of the
international workshop on Expert Systems in Engineering, 1990,
(together with co-chair Prof. Wolfgang Nejdl). 50 participants
Member of approximately 70 program
committees of which a brief selection is provided here:
- Intern. Joint Conference on Artificial Intelligence
2001 (IJCAI'01).
- Constraint Programming (CP'01), Cyprus, 2001.
- 16th American National Conference on Artificial
Intelligence (AAAI'98), 1998.
- ACM SIGMOD Symposium on Principles of Database Systems
(PODS), 1998.
- European Conference on Artificial Intelligence (ECAI),
1996.
- Intl. Symposium on Knowledge Representation and Reasoning (KR)
1994, 1998.
- Intern. Colloquium on Automata, Languages and Programming
(ICALP), 1997.
- Intern. Conference on Computational Complexity , (CCC) 1997
(Former name: Structure in Complexity Theory)
- IEEE Symp. on Logic in Computer Science, (LICS) 1996.
- ACM SIGMOD Symposium on Principles of Database Systems
(PODS), 1994.
- International Conference on Data Engineering, 1987, 1988,
1989, 1991.
- International Conference on Extending Database
Technology (EDBT), 1988, 1992 (Org. Chairman).
- International Conference on Very Large Data Bases
(VLDB) 1989, 1990, 1995.
- International Conference on Deductive and
Object-Oriented Databases (DOOD91), 1991, 1994.
- Symposium on Mathematical Fundamentals of
Database and Knowledge Base Systems (MFDBS), 1991.
Membership of scientific advisory boards.
Since 1997 head of the LPNMR Steering Committee. LPNMR is is an association
organizing world wide scientific activities
on logic programming and nonmonotonic reasoning (former head:
Prof. Anil Nerode, Cornell University).
Member of the scientific advisory board of the
European Association
for Computer Science Logic (EACSL), of the European Association of
Theoretical Computer Science (EATCS), of the Kurt Gödel society
(KGS; vice president of this society from 1990-1995), of the
institute of computer science of the Consiglio Nazionale delle
Ricerche (CNR) in Cosenza, Italy, and of the SOFSEM Seminars
in the Czech Republic. Chair of the ACM PODS Executive committee
(2004-2006) and General Chair of the PODS conferences of 2005 and
2006.
Membership of EU Networks of Excellence:
Network of Excellence COLOGNET (Computational Logic),
GAMES (Games-Theory and Logic), REWERSE Foundations of the
Semantic Web).In the past: COMPULOG (Computational
Logic) and IDOMENEUS (databases).