About ISLA 2018

ALI, the Association for Logic in India, announces the seventh edition of its biennial Indian Schools on Logic and its Applications (ISLA). The first school, will be held at Vellore Institute of Technology, Vellore from September 29, 2018 – October 3, 2018. The school is organized by the School of Computer Science and Engineering, VIT, Vellore.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in, PSG Coimbatore, Jadavpur, IIT Bombay, IIT Kanpur, University of Hyderabad, Manipal University, and Tezpur University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments. The School is complemented by a biennial conference. The seventh conference was held in IIT Kanpur, in January 2017.

Registration

Click here to Register

All participants must register. There is no Registration fee for students and speakers.
For others it is Rs 1000.
Accommodation is available in VIT guest house at Rs 1000 per person per night
on twin sharing basis.
For students accommodation is available in the hostels at Rs 260 per night.
Payments may be made online or at VIT after your arrival.
We expect some travel grants (3AC at train fare) to be available for students participants.

Programme

29/09 30/09 01/10 02/10 03/10
9.00 – 11.00 Amit Kuber Anil Seth M.Praveen M.Praveen Siddhartha Gadgil
11.00 – 11.30 Coffee Break
11.30 – 01.00 Anil Seth Amit Kuber Amit Kuber Siddhartha Gadgil M.Praveen
01.00 – 02.00 Lunch
02.00 – 03.30 Piyush Kurur Amit Kuber Anil Seth Siddhartha Gadgil Siddhartha Gadgil
03.30 – 04.00 Coffee Break
04.00 – 05.30 Piyush Kurur Purbita Jana M.Praveen Anil Seth --

Organizing Committee

Organizing Chair
R Delhibabu (VIT, Vellore)
----
Academic Programme Coordinator
Anil Seth (IIT Kanpur)




How to reach VIT

The VIT campus is located on a 370 acre site on the Ranipet – Katpadi Road. It is 2½ hours drive from Chennai by Road and 4 hours from Bangalore. Both the cities are well connected by road, rail and air routes with all parts of the country and also have international airports.

The airport nearest to Vellore is in Chennai. From the airport, you can go to the bus stand at Koyambedu (CMBT) or to the Central Railway Station to take a bus or train to Vellore. Train and bus services to Vellore are frequent, cheap and quite satisfactory. Either journey takes about 2½ hours. If you choose to travel by train, you should buy your ticket to Katpadi Railway Station which is just 3 km away from VIT. Buses from Chennai will bring you right to the centre of the town of Vellore from where you can reach VIT which is about 5 km from the bus stand.

TRANSPORTATION IN VELLORE:

Auto Rickshaws (on share basis) are easily available from Katpadi Junction Railway station and Vellore new bus stand. Government Buses will fly between Chittoor bus stop to VIT. You could also hire exclusive auto rickshaws to reach VIT.

You can also book a cheap cab from (droptaxi.in) Inter City Taxi Service at One Way Fare droptaxi contact: 044-44556677

Reaching Vellore from Chennai:
You can reach Vellore from Chennai either by train or by road.

BY TRAIN:
If you arrived at Chennai by air, you may take a taxi to the Central Railway Station, about 20 km away. The taxi fare ranges from Rs.200 to Rs.250.

All west-bound trains from Chennai go via Katpadi Junction Railway Station to several destinations such as Bangalore, Coimbatore, Trivandrum, etc. Travel time is approximately 2 ½ hours; make sure you buy your ticket to Katpadi which is the railway station that serves Vellore town.

For more details about train schedules from Chennai to Katpadi, please click http://www.southernrailway.org/src_dest_trns.php

After having alighted at Katpadi Junction Railway Station, take an auto rickshaw to VIT campus, a 3 km drive.

BY ROAD:
If you wish, you may take a taxi directly to VIT, Vellore, from the Chennai airport. It could cost you Rs. 2,000 to Rs. 3,000 depending upon the type of car you hire. The distance is approximately 130 km; travel time is about 2 ½ hours.

Alternatively, you can go from the airport to the bus stand at Koyambedu either by taxi or auto rickshaw. The approximate distance is 15 km.

Several state-owned buses operate from Koyambedu Bus Stand (CMBT), Chennai, to Vellore (new) bus stand from 04:00 am to 10:30 pm. Travel time is approximately 3 hours.

After having arrived at the new bus stand in Vellore, take an auto rickshaw to VIT campus, a 7 km drive.

Contact Us

Dr. R. Delhi Babu
Associate Professor
SCOPE
Email-r.delhibabu@vit.ac.in
Mobile - 8754589478, 9080908780