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.