Logic List Mailing Archive

First Indian Conference on Logic and its Relationship with other disciplines, January 2005 (Bombay, India)

Announcement and Call for Papers

             FIRST INDIAN CONFERENCE ON
   LOGIC AND ITS RELATIONSHIP WITH OTHER DISCIPLINES

             January 8 - 12, 2005,
       Indian Institute of Technology - Bombay, Mumbai, India


The Conference will cover three basic themes: Indian systems of Logic,
Systems of Formal Logic and Foundational issues in Philosophical Logic,
Issues arising out of applications of Logic in the relevant disciplines.

************************************************************************
Deadline for submission: August 15, 2004 (the submissions must be in
electronic form): Notification of acceptance to author(s): September 15,
2004 Deadline for camera-ready paper: October 15, 2004
************************************************************************

Invited Speakers:

Philosophical Logic: John Crossley, Yuri Gurevich, Petr Hajek, Wilfrid A.
Hodges, Rohit Parikh, Krister Segerberg.

Indian systems of logic: S.M. Bhave, Pradeep Gokhale, D. Prahladacharya,
K. Ramasubramanian, V.V.S. Sarma, M.D. Srinivas, S.P. Suresh

(several other speakers have indicated that they will come, and their
conformation is awaited; please see web page for updates.)

Conference web page: http://logic2005.hss.iitb.ac.in 
Contact email address: Prof. Amitabha Gupta <ag@hss.iitb.ac.in>

ORGANIZING COMMITTEE

Johan F. A. K. van Benthem (ILLC & Stanford), Mihir Chakraborty (Calcutta
University,) Norman Foo (UNSW, Sydney), Amitabha Gupta (IITB, Mumbai),
Anil Gupta (Univ. of Pittsburgh), David Harel (Weizmann Institute), Daniel
Kayser (Univ. of Paris), Yiannis Moschovakis (UCLA & Athens), Paritosh
Pandya, (TIFR, Mumbai), Rohit Parikh (CUNY), R. Ramanujam (IMSc, Chennai),
R.K. Shyamasundar (TIFR, Mumbai), G. Sivakumar (IITB, Mumbai).