[FOM] Logic 2005 in India

[R. Ramanujam]

          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 at 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).


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