For any queries, please E-mail to   sukanta@it.iiests.ac.in   or   mihirc4@gmail.com  

7th Indian School on Logic and its Applications (Part II)

Logic and Automata

December 17-22, 2018
Indian Institute of Engineering Science and Technology, Shibpur

On behalf of the Association for Logic in India (ALI), Indian Institute of Engineering Science and Technology (IIEST), Shibpur announces the seventh edition of Indian School on Logic and its Applications (ISLA). The theme of the school of this edition is ''Logic and Automat''. The school will be held in collaboration with Calcutta Logic Circle from December 17 to December 22, 2018. The venue is the Seminar Room, Department of Information Technology, IIEST, Shibpur.

The ISLA is a reputed school, organized in different parts of India. It is a biennial event of ALI. The past editions of the school were held in Jadavpur University, PSG College of Technology, 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. Visit the ALI page for more information about ALI and its events.

The school will target to cover among others the following topics:

1. Interplay between Logic and Automata
2. Algebraic Logic
3. Recursion Theory and Computability
4. Cellular Automata
5. Philosophy of Computer Science
6. Indian Grammatical Theories: An information scientist's perspective
7. Programming Approach to Logical Concepts in Computer Science
8. Algebra and Finite Automata

Local Organizing committee:

Sukanta Das, Faculty, Department of Information Technology (IIEST Shibpur) - Convenor
Mihir K Cakraborty, Visiting Professor, Department of Humanities and Social Sciences (IIEST Shibpur) - Convenor
Hafizur Rahaman, Head, Department of Information Technology (IIEST Shibpur)
Subhasis Bandopadhyay, Head, Department of Humanities and Social Sciences (IIEST Shibpur)
Arindam Biswas, Faculty, Department of Information Technology (IIEST Shibpur)
Mallika Sarbadhikari, Faculty, Department of Humanities and Social Sciences (IIEST Shibpur)
Biplab Kumar Sikdar, Faculty, Department of Computer Science and Technology (IIEST Shibpur)
Abhik Mukherjee, Faculty, Department of Computer Science and Technology (IIEST Shibpur)
Shyamalendu Kandar, Faculty, Department of Information Technology (IIEST Shibpur)
Raju Hazari, Research Scholar, Department of Information Technology (IIEST Shibpur)
Kamalika Bhattacharjee, Research Scholar, Department of Information Technology (IIEST Shibpur)
Sumit Adak, Research Scholar, Department of Information Technology (IIEST Shibpur)
Souvik Roy, Research Scholar, Department of Information Technology (IIEST Shibpur)
Supreeti Kamilya, Research Scholar, Department of Information Technology (IIEST Shibpur)
Jayanta Sen, Faculty, Taki Government College and Calcutta Logic Circle


Contacts:

Sukanta Das, sukanta@it.iiests.ac.in
Mihir K. Chakraborty: mihirc4@gmail.com

IIEST, Shibpur