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.