History: 2000 - 2001 - INS0 - Applied Logic and Digital Libraries 2002 - 2012 - INS0 - Standardization and Knowledge Transfer