An invitation letter from the Organizers. Please email
Satyadev if you need a
letter.
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
explained in
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
Europe
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).
Conference Series
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
format via
the submission
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.
Important dates
Notification of authors:
April 19, 2017.
Final version of abstract:
May 1, 2017.
Conference:
3-7 July 2017.
Proceedings
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.
Funding
Infosys has agreed to provide a venue and accommodation for all the
participants for free.
Google India has graciously
provided funding to support travel. Additional funding has also been
received from the
National Board of Higher
Mathematics, Department of Atomic Energy, Government of India.
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
meeting,
following these
instructions.
Programme Committee
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).
