[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Submission Deadline Extended!!! 4th Indian Conference onlogic and its Applications, January 9-11, 2011, New Delhi, India



APOLOGIES FOR MULTIPLE POSTING!!!!

PLEASE CIRCULATE!!

-------------------------------------------------------------------------------------------------------------------------


                 4th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS
                                 January 9--11, 2011
                               Delhi University, India

                            http://ali.cmi.ac.in/icla2011

			DEADLINE EXTENDED TO JULY 31 !!!


                               CALL FOR PAPERS

ALI, the Association for Logic in India, announces the fourth edition of
its biennial International Conference on Logic and its Applications
(ICLA), to be held at the Delhi University, from January 9 to 11, 2011.

ICLA is a forum for bringing together researchers from a wide variety of
fields that formal logic plays a significant role in, along with
mathematicians, 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 logicians
as invited speakers. Pre-conference workshops during Jan 5-8 are also
being planned. One such event is 'LogICCC Meets India' which will take  
place during Jan 7-8. For more information, see http://www.illc.uva.nl/LogICCCMeetsIndia 
. Details of other workshops will be posted on the conference website  
in due course. Details of the last ICLA (2009) may be found at http://ali.cmi.ac.in/icla2009 
.

Submission
-----------
Authors are invited to submit papers presenting original and unpublished
research in any area of logic and applications. Articles on mathematical
and philosophical logic, foundations and philosophy of mathematics and
the sciences, history of logic, Indian systems of logic, use of formal
logic in areas of theoretical computer science and artificial
intelligence, or on the relationship between logic and other branches of
knowledge, are welcome.

Submissions must be in English and should provide sufficient detail to  
allow the
programme committee to assess the merits of the paper. It should  
clearly present
the context of the problem, summary of the main results and should  
contain the
technical development directed to the specialist. Comparison with  
related
work must be included. The submission may not exceed 12 pages using  
Springer's
LNCS format (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 
).
If necessary, detailed proofs of technical results can be included in a
clearly marked appendix which may be read at the discretion of the
programme committee. All submissions will be in electronic form and  
submitted
via easychair submission system. Simultaneous submission to journals or
to other conferences with proceedings is not allowed.

Submitted papers will be peer-reviewed and accepted papers will be
published in the conference proceedings, which will be made available at
the time of the conference. It is expected that the conference
proceedings will appear as a volume in the FoLLI series of Springer
Lecture Notes in Artificial Intelligence; this will be confirmed soon.

Important Dates
----------------
************************************************************************
Deadline for Submission (Extended):                    	31 July 2010

Notification to Authors:                               5 September 2010

Deadline for camera-ready papers:                      10 October 2010
************************************************************************

For an accepted paper to be included in the proceedings, one of the
authors must commit to presenting the paper at the conference.


Programme Committee
-------------------
Mohua Banerjee (IIT Kanpur), co-chair
Dietmar Berwanger (ENS Cachan)
Achim Blumensath (TU Darmstadt)
Richard Booth (University of Luxembourg, and Mahasarakham University,
Thailand)
Hans van Ditmarsch (University of Sevilla)
Didier Dubois (IRIT, Paul Sabatier University)
Valentin Goranko (Technical University of Denmark)
Wilfrid Hodges
Peter Jipsen (Chapman University)
Steven Lindell (Haverford College)
Benedikt Loewe (ILLC, Amsterdam)
Shahid Rahman (University of Lille 3)
R Ramanujam (IMSc, Chennai)
K Ramasubramanian (IIT Bombay)
Sundar Sarukkai (Manipal University)
Anil Seth (IIT Kanpur), co-chair
S P Suresh (Chennai Mathematical Institute)
Andrzej Szalas (Linkoeping University)
Katherine Thompson (University of Vienna)
Jouko Vaananen (University of Helsinki)
Scott Weinstein (University of Pennsylvania)

Contact
-------
Any queries related to the conference may be sent to the following
email address: icla@cse.iitk.ac.in.