---------- Forwarded message --------- From: Torben Braüner <[email protected]> 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: [email protected] <[email protected]> Cc: Torben Braüner <[email protected]>
Hello, Can I ask you to circulate this CFP to the proof-theory mailing list? Thanks in anticipation. Regards, Torben ------------------------------ *Fra:* LII group [[email protected]] *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 <https://easychair.org/cfp/poster_download.cgi?cfp=icla2019> 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 h ttps://icla.cse.iitk.ac.in <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) <http://www.dagstuhl.de/en/publications/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 (*[email protected] <[email protected]>*, *[email protected] <[email protected]>*) 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/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvWfPmhxhPd8gnRdYHLHZn0ZvzdUbrcTgf4eDioca94%3DQ%40mail.gmail.com.
