ICLA 2023

10th Indian Conference on Logic and its Applications



Indian Institute of Technology Indore, Image source Nalanda Auditorium


Home Programme Invited Speakers Call for Papers Accepted Papers Important Dates Registration Committee Contact About Indore



Patron

Prof. Suhas Joshi (Director Indian Institute of Technology Indore)

Organizing Committee

Md. Aquil Khan (Indian Institute of Technology Indore)
Somnath Dey (Indian Institute of Technology Indore)
M. Tanveer (Indian Institute of Technology Indore)
Vijay Kumar Sohani (Indian Institute of Technology Indore)
Mohd. Arshad (Indian Institute of Technology Indore)

Programme Committee

C. Aiswarya (Chennai Mathematical Institute)
Mohua Banerjee (Indian Institute of Technology Kanpur (co-chair))
Michael Benedikt (University of Oxford)
Thomas Colcombet (IRIF)
Laure David (City, University of London)
Soma Dutta (University of Warmia and Mazury)
Deepak D'Souza (IISc Bangalore)
John Horty (University of Maryland)
Juliette Kennedy (University of Helsinki)
Minghui Ma (Sun Yat-Sen University)
Amaldev Manuel (IIT Goa)
Luca Motto Ros (University of Turin)
Alessandra Palmigiano (Vrije Universiteit Amsterdam)
M. Praveen (Chennai Mathematical Institute )
Prakash Saivasan (IMSc Chennai)
H. P. Sankappanavar (SUNY at New Paltz)
Manidipa Sanyal (University of Calcutta)
Andrzej Szalas (University of Warsaw and Linkoping University)
A. V. Sreejith (IIT Goa (co-chair))
Giorgio Venturi (Universidade Estadual de Campinas)
Zach Weber (University of Otago)



News and updates