A SYSTEM FOR AUTOMATIC EVALUATION OF PROGRAMS FOR CORRECTNESS AND PERFORMANCE Topics: e-Learning Standards and Tools; Software Tools for E-Learning; Web-Based Education; Web-Based Teaching and Learning Technologies In Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 2: WEBIST, 196-203, 2006 , Setúbal, Portugal