From anji@saathi.ncst.ernet.in Tue Jul 5 17:16:49 EDT 1994 Article: 22955 of comp.ai Xref: glinda.oz.cs.cmu.edu comp.ai:22955 Newsgroups: comp.ai,news.announce.conferences.,soc.culture.indian Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!godot.cc.duq.edu!news.duke.edu!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!pipex!uknet!EU.net!uunet!sangam!shakti!news From: anji@saathi.ncst.ernet.in (KSR Anjaneyulu) Subject: CFP: Indian Natnl Workshop on Logics and Automated Reasoning Message-ID: Sender: news@shakti.ncst.ernet.in (News account) Organization: National Centre for Software Technology, Bombay, India. Date: Mon, 4 Jul 1994 15:29:01 GMT Lines: 66 Call for papers Indian National Workshop on Logics and automated reasoning December 19 - 21, 1994, Hyderabad, India The workshop will take place in Hyderabad. It is organised by the University of Hyderabad. Objective: The Indian national workshop on Logics and automated reasoning (LAR) is intended to provide a forum for the researchers and Ph.D. students to share information and to explore future directions in the areas of logics and automated reasoning. Scope: The topics of interest include ( but not restricted to ). Classical logics, Non-classical logics, Proof theory, Theorem proving, Logic programming, Deductive databases, Rewrite systems, and Constraint reasoning. Submissions: Authors are invited to send FOUR copies of a draft a full paper or an extended abstract. Papers should be limited to 6000 words (about 15 pages). If available, e-mail addresses and fax numbers of the authors should be included. Only hard copy submissions will be accepted. The workshop proceedings would be published by World Scientific. A commitment that the paper will be presented at the workshop by one of the authors is a pre-condition for an accepted paper to be included in the proceedings. Important dates: Deadline for Submission : 15th August, 94 Notification to Authors : 15th September, 94 Final version of accepted papers due on:30th September, 94 Send papers to: P. V. Reddy E-mail: ailab@uohyd.ernet.in Dept of Computer Sciences Fax: 91-40-253145 University of Hyderabad Hyderabad - 500 134 India Programme committee: 1. S. Arun Kumar (IIT, Delhi) 2. R.K Shyam Sundar ( TIFR, Bombay) 3. M. Vidyasagar (CAIR, Bangalore) 4. G. Venkatesh (IIT, Bombay) 5. H. Karnick (IIT, Kanpur) 6. L.M. Patnaik (IISc, Bangalore) 7. C. Goswami (Univ. Hyderabad) 8. P.S. Thiagarajan (SPIC Sci. Found., Madras) 8. R. Ramanujam (IMSc, Madras) 9. A.K. Pujary (Univ. Hyderabad) ==============================================================================