TUTORIALS, WITH SOME REMARKS OF THE TEACHERS
December 21, 2002
Abstract of the topics and about the teachers occurs in final call for participation.
There were altogether seven tutorials held in six institutions.
TUTORIAL 1: Formal Verification: Theory and Practice of Proving Computer Systems
Venue: Utkal University; time 9 am - 12.30 pm
S. Ramesh and S. Chakraborty, IIT Bombay
S. Ramesh: Attendance - about 70 to 80 students
Response of students - definitely satisfactory
Other remarks - prabably a day with stronger interaction would have better.
Supratik Chakraborty: Attendance - about 70 to 80 students
Response of stuents - satisfactory
Remarks - would be useful if preliminary study is recommended.
TUTORIAL 2: Security issues in computer networks
venue: ITER time: 9 am - 12.30 pm
I. Sengupta, IIT Kharagpur
Indranik Sengupta: Attendance - above 80
Response of students - cordial and interactive atmosphere
Remarks - Bigger rooms
TUTORIAL 3: Multi-objective evolutionary algorithm for rule generation and data mining
venue: Silicon School;
Ashish Ghosh and Satchidananda Dehuri, ISI Calcutta & BIITMS, Bhubaneswar
Time: 2 pm - 5.30 pm
Ashish Ghosh: Attendance - 60 to 70
Response of students - good
Remarks - central location may be considered
TUTORIAL 4: Agent Technology
venue: IISIT; time: 2 pm - 5.30 pm
Hiranmoy Ghosh, Tata Infotech Research Centre, Delhi
Hiranmay Ghosh: Attendance - 80 to 90
Response of students - satisfactory
Remarks - (a) Host Institution participation
(b) Giving a certificate could be considered
(c) Some at higher level integrated with conf
TUTORIAL 5: Intelligent sensor and virtual instrumentation
venue: Utkal University; time 2 pm - 5.30 pm
A. Patnaik and B. S. Pattanaik, NIST, Berhampur
A. Patnaik and B. S. Patnaik:
Attendance - 60 to 70
Response - satisfactory
TUTORIAL 6: Soft Computing
venue: Krupazal, time: 2 pm - 5.30 pm
S. Bandyopadhyay and U. Maulik, ISI Calcutta & Kalyani Govt. Eng. College
Sanghamitra Bandopadhyay and Ujjwal Maulik:
Attendance - 80 to 90
Response of students - mixed; some showed pretty good interest
Remarks - Probably both basic level and advanced level tutorials.
TUTORIAL 7: Finite-state modeling in software
venue: KIIT, time: 2 pm - 5.30 pm (actual time: 4 pm - 7.30 pm)
Sukhamoy Kundu, Louisiana State University
S. Kundu: Attendance - 80 in first half, and 40 in second half
Respone of students - good
Remarks - Change in schedule (started at 4.15 and ended at 7.30) made it difficult.