6-17 Jan 2014
Tezpur, India
ISLA 2014 Call for Workshops
----------------------------
Fifth Indian School on Logic and its Applications
January 6--17, 2014
Tezpur University, India
ALI, the Association for Logic in India, announces the 5th Indian School
on Logic and Applications at Tezpur University and invites proposals for
workshops to be organized during the School.
The Indian School on Logic and Applications is a biennial event. The
previous editions of the school were held in IIT Bombay, IIT Kanpur,
University of Hyderabad, and Manipal University. The objective is to
present
before graduate students and researchers of the country, some basics as
well
as active research areas in logic. The School typically attracts students
and
teachers from mathematics, philosophy and computer science departments.
The School is complemented by a biennial conference. The fifth conference
was held at the Institute of Mathematical Sciences, Chennai, in January
2013, and the
proceedings published as LNCS 7750 in the FoLLI series.
The school will adopt a dual format: the mornings will consist of
introductory courses on fundamental aspects of logic, by eminent
researchers in
the area. The afternoons will have workshops, which can be of the nature of
advanced tutorials, or presentations on research areas, in different
aspects of
logic and applications.
The ISLA programme committee invites proposals for workshops for the
School, in the broad interdisciplinary area connecting logic and the
foundations of mathematics with artificial intelligence, computing
science and philosophy. The objective is to bring before students and
faculty an active research theme.
A workshop proposal should consist of a short scientific summary of the
topic to be covered, proposed duration (3 to 7 hours), organizer(s) and
expected speakers. As an example, a workshop could aim for 90 minutes
on three successive afternoons, with 45-minute talks distributed among
six speakers. No published proceedings are planned, but short abstracts
(1 to 5 pages) of the material presented are expected, for distribution
among the participants.
Workshop speakers and organizer(s) will be provided with local hospitality
at the
Tezpur University guest house.
The programme committee will consider all proposals received by June 20
and make a selection keeping in view the expected participation and the
logistics.
***************
Important dates
***************
Workshop proposals: June 20, 2013
Notification: July 10, 2013
School: January 6--17, 2014
***********************
Invited Course Speakers (confirmed)
***********************
Chitta Baral, Arizona State University, USA.
Jonardon Ganeri, University of Sussex, UK.
Wiebe van der Hoek, University of Liverpool, UK.
Rohit Parikh, CUNY, USA.
Jouko Vaananen, Helsinki, Finland.
*******************
Programme Committee
*******************
Sujata Ghosh, ISI Chennai, co-chair
Shyamanta M Hazarika, Tezpur University co-chair
Ranjan Mukhopadhyay, Visva Bharati, Santiniketan, co-chair
Vineet Padmanabhan, University of Hyderabad
Koushik Pal, University of Maryland, USA
Sundar Sarukkai, Manipal University
S P Suresh, CMI, Chennai
********************
Organizing Committee
********************
Shyamanta M Hazarika, Tezpur University chair
*******
Contact
*******
Email: isla2014@gmail.com
Webpage: http://www.tezu.ernet.in/isla2014/index.htm