9-20 Jan 2012
Manipal, India
ISLA 2012 Call for Workshops
----------------------------
Fourth Indian School on Logic and its Applications
January 9--20, 2012
Manipal University, India
ALI, the Association for Logic in India, announces the 4th Indian School
on Logic and Applications in Manipal University. This announcement is also a
call for workshop proposals.
The Indian School on Logic and Applications is a biennial event. The previous
editions of the school were held in IIT Bombay, IIT Kanpur, and University of
Hyderabad. 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 fourth conference was held at Delhi University, in
January 2011, and the proceedings published as LNCS 6521 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), an organizer 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 will be provided accommodation at the Manipal University
guest house.
The programme committee will consider all proposals received by September 8
and make a selection keeping in view the expected participation and the
logistics.
***************
Important dates
***************
Workshop proposals: 8 September 2011
Notification: 15 September 2011
School: 9--20 January 2012
*******************
Programme Committee
*******************
Mohua Banerjee (IIT Kanpur)
Mihir Chakraborty (Calcutta University)
Sundar Sarukkai (Manipal University), co-chair
S P Suresh (CMI), co-chair
********************
Organizing Committee
********************
Sundar Sarukkai (Manipal University), chair
Email: ali at cmi.ac.in
Webpage: http://ali.cmi.ac.in/isla2012
Note:
----
We are in the process of getting confirmations from invited speakers and will
send a second announcement once the list is finalized.
? S P Suresh
(On behalf of the ISLA 2012 programme committee)