Fwd: [PT] Call for Papers: ICLA 2019: Eighth Indian Conference on Logic and its Applications 2019, IIT Delhi, India (March 3-5, 2019)

[Valeria de Paiva]

---------- Forwarded message ---------
From: Torben Braüner <tor...@ruc.dk>
Date: Tue, Oct 30, 2018 at 2:21 AM
Subject: [PT] Call for Papers: ICLA 2019: Eighth Indian Conference on Logic and its Applications 2019, IIT Delhi, India (March 3-5, 2019)
To: ProofThe...@Gmail.com <ProofThe...@gmail.com>
Cc: Torben Braüner <tor...@ruc.dk>

Hello,

Can I ask you to circulate this CFP to the proof-theory mailing list? Thanks in anticipation.

Regards,

Torben

---

Fra: LII group [logicin...@gmail.com]
Sendt: 27. oktober 2018 09:25
Til: LII group
Emne: Call for Papers: ICLA 2019: Eighth Indian Conference on Logic and its Applications 2019, IIT Delhi, India (March 3-5, 2019)

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	download

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, IMSc Chennai
• Amaldev Manuel, IIT Goa (Co-chair)
• Amit Kuber, IIT Kanpur
• Anuj Dawar, University of Cambridge
• Arnaud Sangnier,  Univercite Paris Diderot
• 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 Warsaw
• 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

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 either in the Springer Lecture Notes in Computer Science series or in Leibniz International Proceedings in Informatics (LIPIcs), a series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl – Leibniz Center for Informatics.

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.

Important Dates:

Deadline for Submissions: 5 November 2018
Notification to authors: 21 December 2018
Pre-conference Workshops: 1-2 March 2019
Conference: 3-5 March 2019

Contact:

Please contact the PC chairs (aqu...@iiti.ac.in, am...@iitgoa.ac.in) for any further queries.

 

--

Valeria de Paiva
http://vcvpaiva.github.io/
http://research.nuance.com/author/valeria-de-paiva/
http://www.cs.bham.ac.uk/~vdp/