An invitation letter from the Organizers. Please email
Satyadev if you need a
The clearance from the Ministry of Human Resources Development
can be obtained
here. If you are applying for
a conference visa to
attend this conference, then you may need this. Only Chinese citizens
require this, as
this FAQ. However,
you may submit this clearance along with your application.
The nearest international airport is Bangalore (Bengaluru). Flights
operate to Bangalore from many major international destinations in
and Asia. Mysore is about 180 kms. (115 miles) from
Bangalore. You can travel to Mysore either by
Airport Bus (4 hours, approximately 12 USD), or by prepaid taxi (4
hours, 5500 INR, approximately 80 USD).
The conference, previously known as conference on Logic, Computability and Randomness, will be in the tradition of the previous meetings in
Authors are invited to submit an abstract or extended abstract in PDF
page hosted by EasyChair.
After the deadline for submissions has expired, submissions may still
be accepted for reviewing at the discretion of the PC chairs.
Notification of authors:
April 19, 2017.
Final version of abstract:
May 1, 2017.
3-7 July 2017.
There will be a special issue of
Theory of computing systems (TOCS) that will contain full versions of selected abstracts presented at the conference. Submissions to the special issue will be refereed according to the usual standards of TOCS.
Infosys has agreed to provide a venue and accommodation for all the
participants for free.
Further funding opportunities for student members of
the Association for Symbolic
Logic (ASL) are available. Applications should be submitted to the
Association for Symbolic Logic not later than three months before the
Manindra Agrawal (Kanpur, India).
V. Arvind (Chennai, India).
Chong Chi Tat (Singapore).
Adam Day, co-chair (Wellington, New Zealand).
Damir Dzhafarov (Storrs, Connecticut, USA).
Rupert Hölzl (Munich, Germany).
Steffen Lempp (Madison, Wisconsin, USA).
Kenshi Miyabe (Tokyo, Japan).
Satyadev Nandakumar, co-chair (Kanpur, India)
Keng Meng Ng (Singapore).
André Nies (Auckland, New Zealand).
Jason M. Rute (State College, Pennsylvania, USA).
Alexander Shen (Montpellier, France and Moscow, Russia).