From - Sun Feb 23 03:57:35 1997 Path: Radon.Stanford.EDU!news.Stanford.EDU!su-news-hub1.bbnplanet.com!news.bbnplanet.com!newsxfer3.itd.umich.edu!newsxfer.itd.umich.edu!news.join.ad.jp!news.imnet.ad.jp!waseda.ac.jp!mn.waseda!gouda!ueda From: ueda@ueda.info.waseda.ac.jp (Kazunori UEDA) Newsgroups: comp.ai,comp.constraints,comp.lang.prolog,comp.lang.functional,comp.lang.misc,comp.object,comp.object.logic,comp.databases.theory,comp.theory,comp.realtime Subject: CFP: ASIAN'97 - Asian Computing Science Conference Date: 22 Feb 1997 05:20:14 GMT Organization: Dept. of Information and Computer Science, Waseda Univ., Japan Lines: 369 Distribution: world Message-ID: NNTP-Posting-Host: kikuchi@gouda.ueda.info.waseda.ac.jp X-Forwarded: by - (DeleGate/3.1.0) Xref: Radon.Stanford.EDU comp.ai:28557 comp.constraints:1580 comp.lang.prolog:9729 comp.lang.functional:5687 comp.lang.misc:15232 comp.object:51842 comp.object.logic:1088 comp.databases.theory:8894 comp.theory:11293 comp.realtime:16019 (LaTeX version follows the plain text.) ======================================================================== First Call for Papers - ASIAN'97 ASIAN COMPUTING SCIENCE CONFERENCE Kathmandu, Nepal, December 9-11, 1997 ======================================================================== BACKGROUND: The series of annual Asian Computing Science Conferences (ASIAN for short, formerly called ACSC) was started in 1995 to provide a forum for researchers in computer science from the Asian region and to promote interaction with researchers from other regions. The first conference, ACSC'95, was held in Bangkok, organized by the Asian Institute of Technology. The second conference, ASIAN'96, was held in Singapore, organized by National University of Singapore. Both were held in partnership with INRIA, France, and the UNU/IIST, Macau. The proceedings were published as Lecture Notes in Computer Science 1023 and 1179 from Springer-Verlag. Their scope was a broad coverage of Computer Science, though there was a focus on the more conceptual areas of algorithms, programming, concurrency and parallelism, networking and security. SCOPE: The 1997 conference will continue to emphasize the conceptual areas of Computer Science, though papers in all areas will be considered. The following themes represent the areas of focus for this year: - Programming Languages and Compilation Technology - Formal Reasoning and Constraints - Real-Time Computing - Network/Mobile Computing PAPER SUBMISSIONS: Authors are invited to send manuscripts by e-mail in a self-contained PostScript file (gzipped and uuencoded), complemented by one hardcopy sent to the address (below) of R. K. Shyamasundar. The length guidelines are 10-12 pages in 11-point font and 3000 words. In addition, a separate e-mail message should be sent containing the paper title and a 150-word abstract, authors, keywords, postal address, e-mail address and fax number. E-mail submissions should be sent to both asian97@tcs.tifr.res.in and asian97@ueda.info.waseda.ac.jp . If e-mail is not available, five hardcopies and the above coversheet information should be sent to R. K. Shyamasundar. PUBLICATION: The proceedings are expected to be published by Springer-Verlag in the LNCS series. In addition to regular papers, we hope to accept posters, which will appear as two-page abstracts in the proceedings. Papers and posters must be presented at the conference by one of the authors. IMPORTANT DATES: JUNE 16, 1997 PAPER SUBMISSION DEADLINE August 11, 1997 Acceptance decisions September 1, 1997 Camera-ready copy due December 9-11, 1997 ASIAN'97, Main Conference December 12, 1997 ASIAN'97, Workshops PRE- AND POST-CONFERENCE ACTIVITIES: The 10th Asian School on Computer Science at AIT, Bangkok will be held during November 29-December 4. Details will be made available at http://www.cs.ait.ac.th/school97. On December 12, workshops will be held in association with the main conference. CONFERENCE WEB PAGE: Additional information will be available from http://tcs.tifr.res.in/~asian97 and http://ueda.info.waseda.ac.jp/asian97. SPONSORS Asian Inst. of Technology (AIT) Inst. National de Recherche en Informatique et en Automatique (INRIA) Tata Institute of Fundamental Research (TIFR) United Nations Univ. Intl. Inst. for Software Technology (UNU/IIST) Waseda University PROGRAM CO-CHAIRS: R. K. Shyamasundar - and - Kazunori Ueda Tata Institute Dept. of Information and of Fundamental Research Computer Science, Waseda University Bombay 400 005, India 3-4-1, Okubo, Shinjuku-ku, Tokyo 169, Japan phone: +91-22-215-2971 (x2288) phone: +81-3-5286-3340 fax: 215-2181 fax: 5285-7882 e-mail: shyam@tcs.tifr.res.in e-mail: ueda@ueda.info.waseda.ac.jp ASIAN'9X STEERING COMMITTEE: Dines Bjorner (UNU/IIST, Macau) Shigeki Goto (Waseda U., Japan) Joxan Jaffar (NUS, Singapore) Kanchana Kanchanasut (AIT, Thailand) Gilles Kahn (INRIA, France) Jean-Jacques Levy (INRIA, France) R. K. Shyamasundar (TIFR, India) Kazunori Ueda (Waseda U., Japan) PROGRAM COMMITTEE: (to be finalized) Arnie Azcarraga (De La Salle U., Philippines) Gerard Berry (Ecole des Mines, France) Manfred Broy (Tech. U. Munich, Germany) Gihan Dias (U. Moratuwa, Sri Lanka) Phan Minh Dung (AIT, Thailand) Georges Gonthier (INRIA, France) Shigeki Goto (Waseda U., Japan) Jan Friso Groote (CWI, Netherlands) Nicola Halbwachs (Verimag, France) Jieh Hsiang (NTU, Taiwan) Gerard Huet (INRIA, France) Kanchana Kanchanasut (AIT, Thailand) Deepak Kapur (SUNY Albany, USA) Jimmy H. M. Lee (CUHK, Hongkong) Chidchanok Lursinsap (Chula/AIT, Thailand) Michael Maher (Griffith U., Australia) Tatsuo Nakajima (JAIST, Japan) Kesav V. Nori (TRC, India) Catuscia Palamidessi (U. Genova, Italy) Amir Pnueli (Weizmann, Israel) Willem P. de Roever (U. Kiel, Germany) Taisuke Sato (Tokyo Inst. Tech., Japan) Natarajan Shankar (SRI, USA) R. K. Shyamasundar, Co-Chair (TIFR, India) Ambuj Singh (UCSB, USA) John Staples (U. Queensland, Australia) Yohanes Stefanus (U. Indonesia, Indonesia) Doug Tygar (CMU, USA) Kazunori Ueda, Co-Chair (Waseda U., Japan) Martin Wirsing (U. Munich, Germany) Nor A. Yahaya (Telekom Malaysia, Malaysia) Roland H. C. Yap (NUS, Singapore) Zhou Chaochen (UNU/IIST, Macau) LOCAL ARRANGEMENT CHAIR: Kanchana Kanchanasut (AIT, Thailand) e-mail: Kanchana.Kanchanasut@ait.ac.th \documentstyle{article} \topmargin -30pt \headheight 12pt \headsep 25pt \footheight 12pt \footskip 30pt \setlength{\oddsidemargin}{-1.5cm} \setlength{\textwidth}{19.0cm}%{18cm} \addtolength{\topmargin}{-1cm} \setlength{\textheight}{27cm} \pagestyle{empty} \def\asian#1{{\sc Asian#1}} \setlength{\parindent}{0pt} \def\notbut#1#2{\rlap{#2}\hphantom{#1}} \begin{document} \begin{center} {\Large\sc First Call for Papers - \asian{'97}}\\[3mm] {\Large\bf Asian Computing Science Conference}\\[3mm] {\large\bf Kathmandu, Nepal, December 9--11, 1997} \end{center} \vspace*{3mm} \parbox[t]{6.4cm}{\footnotesize\advance\baselineskip by-0.5pt {\bf Sponsors}:\\[1mm] % Asian Inst. of Technology (AIT)\\ Inst. National de Recherche en \\ \null\quad Infor\-ma\-tique et en Automatique (INRIA) \\ Tata Institute of Fundamental Research (TIFR) \\ United Nations Univ. Intl. Inst. for \\ \null\quad Soft\-ware Technology (UNU/IIST) \\ Waseda University \vspace*{3mm} {\bf Program Co-Chairs:}\\[1mm] % {\bf R. K. Shyamasundar} \\ Tata Institute of Fundamental Research \\ Bombay 400 005, India \\ phone/fax: +91-22-215-2971 (x2288) / 215-2181\\ e-mail: {\tt shyam@tcs.tifr.res.in}\\[3pt] % {\bf Kazunori Ueda}\\ Dept. of Information and Computer Science\\ Waseda University\\ 3-4-1, Okubo, Shinjuku-ku, Tokyo 169, Japan\\ phone/fax: +81-3-5286-3340 / 5285-7882\\ e-mail: {\tt ueda@ueda.info.waseda.ac.jp} \vspace*{5mm} {\bf \leavevmode \hbox{\asian{'9X}}\llap{\asian{'9X}\kern.15pt} Steering Committee:}\\[1mm] % Dines Bj{\o}rner (UNU/IIST, Macau) \\ Shigeki Goto (Waseda U., Japan) \\ Joxan Jaffar (NUS, Singapore) \\ Kanchana Kanchanasut (AIT, Thailand) \\ Gilles Kahn (INRIA, France) \\ Jean-Jacques Levy (INRIA, France) \\ R.~K. Shyamasundar (TIFR Bombay, India) \\ Kazunori Ueda (Waseda U., Japan) \vspace*{5mm} {\bf Program Committee:}\\[1mm] % Arnie Azcarraga (De La Salle U., Philippines)\\ G{\'e}rard Berry (Ecole des Mines, France)\\ % Jean Bolot* (INRIA, France)\\ Manfred Broy (Tech.~U. Munich, Germany)\\ Gihan Dias (U. Moratuwa, Sri Lanka)\\ Phan Minh Dung (AIT, Thailand)\\ Georges Gonthier (INRIA, France)\\ Shigeki Goto (Waseda U., Japan)\\ % Jan Friso Groote (CWI, Netherlands)\\ Nicola Halbwachs (V{\'e}rimag, France)\\ Jieh Hsiang (NTU, Taiwan)\\ G{\'e}rard Huet (INRIA, France)\\ Kanchana Kanchanasut (AIT, Thailand)\\ % Deepak Kapur (SUNY Albany, USA)\\ Jimmy H. M. Lee (CUHK, Hongkong)\\ Chidchanok Lursinsap (Chula/AIT, Thailand)\\ Michael Maher (Griffith U., Australia)\\ Tatsuo Nakajima (JAIST, Japan)\\ Kesav V. Nori (TRC, India)\\ Catuscia Palamidessi (U. Genova, Italy)\\ Amir Pnueli (Weizmann, Israel)\\ Willem P. de Roever (U. Kiel, Germany)\\ Taisuke Sato (Tokyo Inst.\ Tech., Japan)\\ % Natarajan Shankar (SRI, USA)\\ R. K. Shyamasundar, {\bf Co-Chair} (TIFR, India)\\ Ambuj Singh (UCSB, USA)\\ John Staples (U. Queensland, Australia)\\ Yohanes Stefanus (U. Indonesia, Indonesia)\\ Doug Tygar (CMU, USA)\\ Kazunori Ueda, {\bf Co-Chair} (Waseda U., Japan)\\ Martin Wirsing (U. Munich, Germany)\\ % Nor A. Yahaya (Telekom Malaysia, Malaysia)\\ Roland H. C. Yap (NUS, Singapore)\\ Zhou Chaochen (UNU/IIST, Macau) % {\it Somebody}* (???, Korea) \vspace*{5mm} {\bf Local Arrangement Chair:}\\[1mm] {\bf Kanchana Kanchanasut} (AIT, Thailand)\\ e-mail: {\tt Kanchana.Kanchanasut@ait.ac.th} } % \parbox[t]{2.5mm}{ \rule[-23.1cm]{0.2mm}{23.5cm} } % \begin{minipage}[t]{11.9cm} \advance\baselineskip by-0.5pt {\bf Background:} The series of annual Asian Computing Science Conferences (\asian{} for short, formerly called ACSC) was started in 1995 to provide a forum for researchers in computer science from the Asian region and to promote interaction with researchers from other regions. % The first conference, ACSC'95, was held in Bangkok, organized by the Asian Institute of Technology. The second conference, \asian{'96}, was held in Singapore, organized by National University of Singapore. Both were held in partnership with INRIA, France, and the UNU/IIST, Macau. The proceedings were published as Lecture Notes in Computer Science 1023 and 1179 from Springer-Verlag. % Their scope was a broad coverage of Computer Science, though there was a focus on the more conceptual areas of algorithms, programming, concurrency and parallelism, networking and security. \vspace*{4mm} {\bf Scope:} The 1997 conference will continue to emphasize the conceptual areas of Computer Science, though papers in all areas will be considered. The following themes represent the areas of focus for this year: \begin{center} \begin{tabular}{l} $\bullet$ Programming Languages and Compilation Technology\\ $\bullet$ Formal Reasoning and Constraints\\ $\bullet$ Real-Time Computing\\ $\bullet$ Network/Mobile Computing \end{tabular} \end{center} \vspace*{4mm} {\bf Paper submissions:} Authors are invited to send manuscripts by e-mail in a self-contained PostScript file (gzipped and uuencoded), complemented by one hardcopy sent to the address (in the left column) of R.~K.~Shyamasundar. % The length guidelines are 10--12 pages in 11-point font and 3000 words. In addition, a separate e-mail message should be sent containing the paper title and a 150-word abstract, authors, keywords, postal address, e-mail address and fax number. % E-mail submissions should be sent to both \begin{center} \fbox {{\tt asian97@tcs.tifr.res.in} and {\tt asian97@ueda.info.waseda.ac.jp}} . \end{center} If e-mail is not available, five hardcopies and the above coversheet information should be sent to R.~K.~Shyamasundar. \vspace*{4mm} \noindent {\bf Publication:} The proceedings are expected to be published by Springer-Verlag in the LNCS series. In addition to regular papers, we hope to accept posters, which will appear as two-page abstracts in the proceedings. Papers and posters must be presented at the conference by one of the authors. \vspace*{4mm} \noindent {\bf Important dates:} \begin{center} \begin{tabular}{lll} \bf June 16, 1997&\bf Paper submission deadline\\ August 11, 1997& Acceptance decisions\\ September 1, 1997& Camera-ready copy due\\ December 9--11, 1997& \asian{'97}, Main Conference\\ December 12, 1997& \asian{'97}, Workshops\\ \end{tabular} \end{center} \vspace*{4mm} {\bf Pre- and Post-Conference Activities:} The 10th Asian School on Computer Science at AIT, Bangkok will be held during November 29--December 4. Details will be made available at {\tt http://www.cs.ait.ac.th/school97}. On December 12, workshops will be held in association with the main conference. \vspace*{4mm} \noindent {\bf Conference Web Page:} Additional information will be available from\\ \verb|http://tcs.tifr.res.in/~asian97| and\\ \verb|http://ueda.info.waseda.ac.jp/asian97|. \end{minipage} \end{document}