caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] ICLA 2019: EIGHTH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2019
@ 2018-11-05 19:19 geoff
  0 siblings, 0 replies; 1+ messages in thread
From: geoff @ 2018-11-05 19:19 UTC (permalink / raw)
  To: caml-list

[-- Warning: decoded text below may be mangled --]
[-- Attachment #0: Type: text/plain, Size: 5202 bytes --]

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 [1]

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 [2]. See http://ali.cmi.ac.in [3] 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
        * 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. [4]

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 15 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 (aquilk@iiti.ac.in, amal@iitgoa.ac.in) for
any further queries.

Links:
------
[1] https://easychair.org/cfp/poster_download.cgi?cfp=icla2019
[2] https://icla.cse.iitk.ac.in
[3] http://ali.cmi.ac.in
[4] http://www.dagstuhl.de/en/publications/lipics

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list
Forum: https://discuss.ocaml.org/
Bug reports: http://caml.inria.fr/bin/caml-bugs

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-11-05 19:19 [Caml-list] ICLA 2019: EIGHTH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2019 geoff

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox