Standard View White on Black Black on White White on Blue Decrease font size Reset font size Increase font size Screen ReaderScreen Reader Skip to Main Content

5th Indian School on Logic and its Applications

January 6 - 17, 2014
Tezpur University

ALI, the Association for Logic in India, announces the fifth edition of its biennial Indian School on Logic and its Applications (ISLA), to be held at Tezpur University, from January 6 to 17, 2014. The event is hosted by Deptt. of Computer Sc. & Engineering, Tezpur University.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad and Manipal 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 Fifth Indian Conference on Logic and its Applications was held at IMSc Chennai, in January 2013, and the proceedings published as LNCS 7750 in the FoLLI series.

The 5th Indian School in Logic and Applications shall have introductory courses on fundamental aspects of logic and related areas. The school shall also include workshops and advanced tutorials by eminent researchers in the area.

Visit the ALI page for information on past events, and the ISLA 2012 website for details of the previous ISLA.

Download Poster
  • Contact
  • isla2014 at

  • Shared Transport
  • For travel arrangement for Student / Teacher participants please see here.
  • Climate
  • It will be dry and cold in January at Tezpur. The maximum tempe rature is around 25 degrees C, though on some days it can be as low as 12 degree s C. The minimum temperature is around 10 degrees C, though on some days it can be as low as 6 degrees C.
  • Accommodation
  • We are pleased to announce that we have received some funding and in a position to waive HOSTEL accommodation charges. Bedding would be MADE AVAILABLE in the hostel rooms.
  • Additional Courses
  • We are pleased to announce the following additional courses:
    1. First Order Logic by R. Ramanujam, IMSc Chennai
    2. Modal Logic by S. P. Suresh, CMI Chennai
    3. Set Theory/ Model Theory by S. M. Srivastava, ISI Kolkata.
    4. Stone Duality by Anil Seth, IIT Kanpur.
  • Cancellations
  • We regret to inform cancellation of courses by
    1. Wiebe van der Hoek, University of Liverpool, UK
    2. Jouko Vaananen, Helsinki, Finland
    due to unavoidable circumstances.