++++++++++++++++++++++++++++++++++++++++++++++++++++++ CALL FOR PAPERS ICLA 2019: Eighth Indian Conference on Logic and its Applications 2019 Indian Institute of Technology Delhi New Delhi, India, March 3-5, 2019 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ Conference website: http://icla2019.cse.iitd.ac.in Submission link : https://easychair.org/conferences/?conf=icla2019 Poster : http://icla2019.cse.iitd.ac.in/icla2019cfp.pdf ++++++++++++++++++++++++++++++++++++++++++++++++++++++ Important Dates: Deadline for Submissions: 15 November 2018 Notification to authors: 21 December 2018 Pre-conference Workshops: 1-2 March 2019 Conference: 3-5 March 2019 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ The Association for Logic in India (ALI) announces the eighth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Delhi from March 3 to 5, 2019. ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition and historical research on logic. As in the earlier events in this series, we shall have eminent scholars as invited speakers. Details of the last ICLA 2017 may be found at https://icla.cse.iitk.ac.in. See http://ali.cmi.ac.in for information on past events as well as updates on this conference. Scope: Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, logic in computer science, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, history of logic, Indian systems of logic, or on the relationship between logic and other branches of knowledge, are welcome. ++++++++++++++++++++++++++++++++++++++++++++++++++++++ Committees: Program Committee Abhisekh Sankaran, University of Cambridge Amaldev Manuel, IIT Goa (Co-chair) Amit Kuber, IIT Kanpur Anuj Dawar, University of Cambridge Arnaud Sangnier, Univercite Paris Diderot S. Arun-Kumar, IIT Delhi Astrid Kiehn, IIT Mandi Benedikt Löwe, University of Amsterdam Benedikt Bollig, LSV, ENS Cachan, CNRS Benjamin Monmege, Aix-Marseille Université, LIF, CNRS Davide Grossi, University of Groningen Denis Kuperberg, ENS Lyon Gabriele Puppis, LaBRI, Bordeaux Hans van Ditmarsch, LORIA - CNRS / University of Lorraine Ivo Düntsch, Brock University Katsuhiko Sano, Hokkaido University M. Praveen, Chennai Mathematical Institute Md. Aquil Khan, IIT Indore (Co-chair) Mihir Kumar Chakraborty, Jadavpur University Minghui Ma, Sun Yat-Sen University Ramchandra Phawade, IIT Dharwad Richard Zach, University of Calgary S. Akshay, IIT Bombay Sankha Basu, IIIT Delhi Smita Sirker, Jawaharlal Nehru University Soma Dutta, University of Warmia and Mazury Sreejith A. V., IIT Goa Stefan Göller, University of Kassel Sujata Ghosh, ISI Chennai Sunil Easaw Simon, IIT Kanpur Torben Braüner, Roskilde University Organizing committee S. Arun-Kumar, IIT Delhi Sanjiva Prasad, IIT Delhi Subodh V Sharma, IIT Delhi ++++++++++++++++++++++++++++++++++++++++++++++++++++++ Confirmed Invited Speakers: Ian Pratt-Hartmann, University of Manchester Carolin Antos, University of Konstanz Martin Lange, University of Kassel Mike Prest, University of Manchester Johann A. Makowsky, Technion - Israel Institute of Technology Names of other speakers will be added soon. ++++++++++++++++++++++++++++++++++++++++++++++++++++++ Publication: Submitted papers will be peer-reviewed and accepted papers will be published in the conference proceedings. The ICLA 2019 conference proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series. Submission Guidelines: Authors may submit drafts of full papers or extended abstracts. The submission must not exceed 12 pages in Springer-Verlag Lecture Notes LaTeX style. If appropriate, proof details omitted in the paper may be added in an appendix meant for the reviewers. Link: https://easychair.org/conferences/?conf=icla2019 Concurrent submissions to other conferences/journals are not admissible. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference. ++++++++++++++++++++++++++++++++++++++++++++++++++++++ Contact: Please contact the PC chairs (aquilk@iiti.ac.in, amal@iitgoa.ac.in) for any further queries. ++++++++++++++++++++++++++++++++++++++++++++++++++++++