From - Mon May 19 00:44:02 1997 Path: Radon.Stanford.EDU!news.Stanford.EDU!su-news-hub1.bbnplanet.com!cpk-news-hub1.bbnplanet.com!news.bbnplanet.com!news-peer.sprintlink.net!news-pull.sprintlink.net!news.sprintlink.net!Sprint!myriad!mail From: fsttcs@cse.iitb.ernet.in Newsgroups: comp.theory Subject: FSTTCS Conference (New Deadline) Date: 18 May 1997 16:00:18 -0400 Organization: Mail to Usenet Gateway Lines: 231 Message-ID: <199705170709.MAA16909@kailash.cse.iitb.ernet.in> To: comp.theory@myriad.alias.net Xref: Radon.Stanford.EDU comp.theory:11858 X-Mozilla-Status: 0001 Content-Length: 7163 Hello, The deadline for submitting papers to FST&TCS conference has been extended to June 1, 1997. A brief summary of the CFP followed by the full Latex version is enclosed. Ramesh and Siva (fsttcs@cse.iitb.ernet.in) ==Ascii Summary====================================================== FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE December 18 - 20 , 1997 IIT, Kharaghpur, India IMPORTANT DATES: Deadline for Submission : June 1 1997 Notification to Authors : 1 August 1997 Final Version of Accepted Papers due on : 8 September 1997 Submission: By 2 separate e-mails to fsttcs@cse.iitb.ernet.in a. ascii file of title/author/abstract. b. UUencoded, compressed, postscript file of full paper. CONFIRMED INVITED SPEAKERS at the conference: 1. Prof. Ed Clarke (CMU) 2. Prof. Deepak Kapur (Albany) 3. Prof. Moshe Vardi (Rice) =====Latex Version==================================================== \documentclass[10pt]{article} %\usepackage{times} %\usepackage{epsf} \topmargin-0.75in \marginparwidth 0pt \oddsidemargin -27pt \evensidemargin -27pt \marginparsep 0pt \textwidth 7in \textheight 10.0in\parskip 6pt \parindent 0pt \renewcommand{\i}[1]{{\it #1 \/}} \begin{document} % % Overall structure of the page % ---------------line--------------------- % parbox(logo) minipage (title) % ---------------line--------------------- % % Minipage minipage % (com- (conference % mit- information) % tees) % % \thispagestyle{empty} % % BEGIN Top Box % % First, a top line, with \parskip separation after % \rule{7in}{1pt} % % Parbox with logo % \parbox{1.5in}{ %\epsfxsize=1.5in %\epsfbox{fst97logo.epsf} } \hspace*{\fill} % % Minipage with title % \begin{minipage}{5.3in}% first column \begin{center} {\bf CALL FOR PAPERS}\\[2ex] {\large Seventeenth Conference on the }\\[2ex] {\Large\bf FOUNDATIONS OF SOFTWARE TECHNOLOGY \\[1ex] AND THEORETICAL COMPUTER SCIENCE }\\[2ex] {\large\it December 18-20, 1997, IIT Kharagpur, India} \end{center} \end{minipage} % % Finally, bottom line, with \parskip separation before % \rule{7in}{1pt} % % END Top Box (no \parskip after \rule)! % % % BEGIN Left Box % \small \begin{minipage}[t]{2.9in} \vspace*{0.1in} {\bf Program Chairs:} \\[1mm] S. Ramesh and G. Sivakumar\\ Attn: FST\&TCS\\ Department of Computer Science\\ Indian Institute of Technology\\ Powai, Mumbai 400 076\\ India\\ {\tt fsttcs@cse.iitb.ernet.in}\\ Phone: +91 22 5782545\\ Fax: +91 22 5783441\\[0.1in] {\bf Program Committee:} \\[1mm] Manindra Agrawal {\em (IIT Kanpur)}\\ Ralph Back {\em (Abo Akademi, Finland)}\\ John Case {\em (U. Delaware)}\\ Vijay Chandru {\em (IISc Bangalore)}\\ Joxan Jaffar {\em (NUS, Singapore)} \\ Nachum Dershowitz {\em (UIUC, Illinois)}\\ Tamal K. Dey {\em (IIT Kharagpur)} \\ Anna Gal {\em (Princeton)}\\ Asish Mukhopadhyay {\em (IIT Kanpur)}\\ Madhavan Mukund {\em (SMI Madras)} \\ Ketan Mulmuley {\em (IIT Bombay/U.Chicago) }\\ C. Pandurangan {\em (IIT Madras)}\\ P. K. Pandya {\em (TIFR Bombay)}\\ A. K. Pujari {\em (U. Hyd., Hyderabad) }\\ Vijaya Ramachandran {\em (U. Texas)}\\ Krithi Ramamritham {\em (U. Mass.)}\\ Venkatesh Raman {\em (IMSc Madras) }\\ S. Ramesh {\em (IIT Bombay) (Co-chair) }\\ Bala Ravikumar {\em (U. Rhode Island) }\\ Willem-Paul de Roever {\em (Kiel University)}\\ Sandeep Sen {\em (IIT Delhi)}\\ R. K. Shyamasundar {\em (TIFR Bombay)}\\ G. Sivakumar {\em (IIT Bombay)(Co-chair) }\\ Ashok Subramanian {\em (IISc Bangalore)}\\[0.1in] {\bf Organizing Committee} \\[1mm] S. C. De Sarkar (Chair) {\em (IIT, KGP)} \\ T. K. Dey (Convener) {\em (IIT, KGP)} \\ P. P. Chakrabarti (Treasurer) {\em (IIT, KGP)} \\ A. Bagchi {\em (IIM, Calcutta)} \\ M. K. Chakraborty {\em (Calcutta Univ.)} \\ P. P. Das {\em (IIT, KGP)} \\ P. Dasgupta {\em (IIT, KGP)} \\ G. L. Datta {\em (IIT, KGP)} \\ A. Pal {\em (IIT, KGP)} \\ S. P. Pal {\em (IIT, KGP)} \\ D. Sarkar {\em (IIT, KGP)} \\ B. P. Sinha {\em (ISI, Calcutta)} \\ \end{minipage} % % END Left Box % % % BEGIN Right Box % \begin{minipage}[t]{4in}% second column \parskip 1ex \vspace*{0.1in} The {\bf FST\&TCS} conference is a forum for presenting original research results in foundational aspects of Computer Science and Software Technology. The conference proceedings are brought out by Springer-Verlag in the series Lecture Notes in Computer Science (LNCS). Authors are invited to submit papers presenting original and unpublished research in the following or related areas. {\sf \begin{tabbing} \hspace*{0.75cm} \= Algorithms \= (\= \kill \> Algorithms \> (including Parallel, Distributed, \+ \+ \+\\ Probabilistic and Randomized Algorithms) \- \-\\ Computational Geometry\\ Complexity Theory\\ Learning Theory\\ Programming Languages (Semantics and Type Theory)\\ Distributed, Concurrent, Real-time and Hybrid Systems\\ Database systems \- \\ \hspace*{0.75cm} \= Prog \= (\= \kill \> Automated Reasoning and Applications \+ \+ \\ (\> Rewrite Systems, Constructive Mathematics, \+\\ Program verification, Symbolic Computation) \- \-\\ Programming Logics \+ \\ (Temporal, Modal Logics and Linear Logics) \- \\ Programming Paradigms \+ \\ (Logic, Functional and Object-oriented languages) \- \\ Software Specification, Construction and Verification \end{tabbing} } Submissions on practical applications in these areas such as case studies, system design and software tools are also encouraged. Authors are invited to submit by e-mail (to fsttcs@cse.iitb.ernet.in) the postscript version (compressed and uuencoded) complemented by a hard copy sent to the program co-chairs. A separate e-mail message with author(s), title and abstract (ascii) should also be sent. If e-mail submission is not possible, SIX copies of the paper may be sent by post. Papers should be limited to 4500 words (about 12 pages). Authors may include, if necessary, a clearly marked appendix which will be read at the discretion of the referees. \vspace*{5mm} {\bf Important Dates} \hspace*{0.75cm} Deadline for Submission: \hfill {\bf June 1 1997} \\ \hspace*{0.75cm} Notification to Authors: \hfill {\bf 1 August 1997} \\ \hspace*{0.75cm} Final Version of Accepted Papers due on: \hfill {\bf 8 September 1997}\\ {\bf Conference Homepage:} \hspace*{0.75cm}{\tt http://www.cse.iitb.ernet.in/$\sim$fsttcs} \vspace*{5mm} % This is optional % {\bf Publicity Chair:} \hspace*{0.75cm}Madhavan Mukund, SPIC Mathematical Institute\\ \hspace*{0.75cm}92 G N Chetty Road, Chennai 600 017, India\\ \hspace*{0.75cm}E-mail: {\tt fsttcs@ssf.ernet.in} \end{minipage} % % END Right Box % \end{document}