[Prev][Next][Index][Thread]
ASIAN'96 CALL FOR PAPERS
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
CALL FOR PAPERS --- ASIAN'96
ASIAN COMPUTING SCIENCE CONFERENCE
Singapore, December 2-5, 1996
BACKGROUND
----------
The first conference ASIAN'95 (also called ACSC'95 last year) was held
in Bangkok, Thailand, in December 1995, organized by the Asian Institute
of Technology in partnership with INRIA, France, and the UNU/IIST, Macau.
Its main purpose was to provide a local forum for Asian researchers in
Computer Science. Its scope was a broad coverage of CS, though there was
a focus on the more conceptual areas of algorithms, concurrency and
knowledge. Its proceedings appeared as Springer-Verlag's LNCS 1023.
SCOPE
-----
The 1996 conference will continue to emphasize the conceptual areas of CS,
though papers in all areas will be considered. The following themes
represent the areas of focus for this year.
* Programming (semantics, languages, systems, paradigms, types, ...)
* Concurrency & Parallelism (algorithms, formalisms, systems, ...)
* Networking & Security (algorithms, protocols, formalisms, systems, ...)
INVITED SPEAKERS
----------------
The keynote speaker will be David HAREL (Weizmann Institute, Israel).
The invited speakers will be: Jean-Chrysostome BOLOT (INRIA, France) on
networking, Gert SMOLKA (DFKI Saarbruken, Germany) on programming languages,
and Doug TYGAR (Carnegie Mellon University, USA) on secure
electronic commerce.
PAPER SUBMISSIONS
-----------------
By email, in a self-contained Postscript file (compressed and uuencoded), to
be complemented by a hard copy sent to the address of the program chair.
The length guidelines are 10--12 pages in 11-point font, and about 3000
words. For details, see the conference web page. The email address for
submissions is
asian96@iscs.nus.sg
PUBLICATION
-----------
The proceedings is expected to be published by Springer-Verlag in the
Lectures Notes in Computer Science series. In addition to regular papers,
we hope to accept posters, which will appear as one-page abstracts in the
proceedings. Papers and posters must be presented at the conference by
one of the authors.
IMPORTANT DATES
---------------
July 5, 1996 Paper submission deadline
August 23, 1996 Acceptance decisions
September 13, 1996 Camera-ready copy due
December 2--4, 1996 Asian'96, Main Conference
December 5, 1996 Asian'96, Workshops
PRE and POST CONFERENCE ACTIVITIES
----------------------------------
The 9th Asian School on Computer Science: Synthesis & Verification of
Finite-State Machine Based Systems by G. Berry, N. Halbwachs and E. Sentovich
will be held on 22--29 November 1996, in Rayong, Thailand.
(See http://www.cs.ait.ac.th/school96). On December 5, 3--4 workshops will
be held in association with the main conference.
CONFERENCE WEB PAGE
-------------------
Additional information will be posted and will be available from
http://www.iscs.nus.sg/~asian96
Sponsors:
---------
* The Asian Inst. of Technology (AIT)
* Inst. National de Recherche en Informatique et en Automatique (INRIA)
* National Univ. of Singapore (NUS)
* United Nations Univ. Intl. Inst. for Software Technology (UNU/IIST)
Program Chair:
--------------
Joxan Jaffar,
Department of Information Systems & Computer Science,
National University of Singapore, Singapore 119260
Phone: +65 772 6731 Fax: +65 779 4890 E-mail: joxan@iscs.nus.sg
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. Shyamasunder (TIFR Bombay, India)
Program Committee:
------------------
Martin Abadi (SRC, DEC, USA) Eliezer A. Albacea (U. of Phillipines)
A. Anuchitanukul (Bank of Thailand/AIT) Kim Bruce (Williams College, USA)
Rance Cleaveland (NCSU, USA) Dang Van Hung (UNU/IIST, Macau)
Li Gong (SRI International, USA) Shigeki Goto (Waseda U., Japan)
Seif Haridi (SICS, Sweden) Nevin Heintze (Bell Labs, USA)
Pascal van Hentenryck (Brown U., USA) Jieh Hsiang (NTU, Taiwan)
Kyoki Imamura (Kyushu IT, Japan) Joxan Jaffar, Chair (NUS, Singapore)
Tomasz Janowski (UNU/IIST, Macau) Gilles Kahn (INRIA, France)
Lam Kwok-Yan (NUS, Singapore) John Lamping (Xerox PARC, USA)
Peter Lee (CMU, USA) Jean-Jacques L'evy (INRIA, France)
C. Lursinsap (Chulalongkorn U/AIT) Michael Maher (Griffith U., Australia)
Hideo Miyahara (Osaka U., Japan) Gustaf Neumann (Essen U., Germany)
Vijay Saraswat (Xerox PARC, USA) S. Sudarshan (IIT, Bombay)
R. Sureswaran (USM, Malaysia) Doug Tygar (CMU, USA)
Philip Wadler (U. of Glasgow, UK) Belawati Widjaja (U. of Indonesia)
Roland Yap (NUS, Singapore)
Local Arrangements Chair:
-------------------------
Roland Yap (NUS, Singapore), E-mail: ryap@iscs.nus.sg
%%%%%%%%%%%%%%%%%%%%%%%%%%%%% LaTeX Version %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentstyle{article}
\oddsidemargin 0pt
\marginparwidth 90pt
\marginparsep 10pt
\topmargin -30pt \headheight 12pt \headsep 25pt \footheight 12pt
\footskip 30pt
\columnsep 10.5pt \columnseprule 0pt
\addtolength{\oddsidemargin}{-2.0cm}
\setlength{\textwidth}{19.0cm}%{18cm}
\addtolength{\topmargin}{-1cm}
\setlength{\textheight}{27cm}
\pagestyle{empty}
\newcommand{\asian}{{\sc Asian'96}}
\setlength{\tabcolsep}{0pt}
\begin{document}
\begin{center}
{\Large\sc Call for Papers - \asian{}}
\end{center}
\begin{center}
{\Large \bf Asian Computing Science Conference}\\[1.5ex]
\end{center}
\begin{center}
{\large\bf Singapore, \ December 2-5, 1996}
\end{center}
\vspace*{0.15in}
\parbox[t]{6.3cm}{ %{5.3cm}{
\footnotesize
\noindent
{\bf Sponsors}: \\
\vspace*{0.05in}
\begin{minipage}{6.3cm}
\begin{tabular}{ll}
$\bullet$ & The Asian Inst. of Technology (AIT)\\
$\bullet$& Inst. National de Recherche en \\
& Infor\-ma\-tique et en Automatique (INRIA) \\
$\bullet$ & National Univ. of Singapore (NUS) \\
$\bullet$ & United Nations Univ. Intl. Inst. for \\
& Soft\-ware Technology (UNU/IIST) \\
\end{tabular}
\end{minipage}
\vspace*{5mm}
\noindent
{\bf Program Chair:}
\vspace*{0.05in}
\begin{tabular}{l}
Joxan Jaffar, \\
Department of Information Systems \\
~~~~~ \& Computer Science, \\
National University of Singapore, \\
Singapore 119260 \\
{\it Phone}: +65 772 6731 \\
{\it Fax}: +65 779 4890 \\
{\it E-mail}: {\tt joxan@iscs.nus.sg} \\
\end{tabular}
\vspace*{5mm}\vspace*{\fill}
\noindent
{\bf {\sc Asian'9X} Steering Committee:}
\vspace*{0.05in}
\begin{tabular}{l}
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. Shyamasunder (TIFR Bombay, India) \\
\end{tabular}
\vspace*{5mm}\vfill
\noindent
{\bf Program Committee:}
\vspace*{0.05in}
\begin{tabular}{l}
Mart\'{\i}n Abadi (SRC, DEC, USA) \\
Eliezer A. Albacea (U. of Phillipines) \\
A. Anuchitanukul (Bank of Thailand \& AIT) \\
Kim Bruce (Williams College, USA) \\
Rance Cleaveland (NCSU, USA) \\
Dang Van Hung (UNU/IIST, Macau) \\
Li Gong (SRI International, USA) \\
Shigeki Goto (Waseda U., Japan) \\
Seif Haridi (SICS, Sweden) \\
Nevin Heintze (Bell Labs, USA) \\
Pascal van Hentenryck (Brown U., USA) \\
Jieh Hsiang (NTU, Taiwan) \\
Kyoki Imamura (Kyushu IT, Japan) \\
Joxan Jaffar, {\it Chair} (NUS, Singapore) \\
Tomasz Janowski (UNU/IIST, Macau) \\
Gilles Kahn (INRIA, France) \\
Lam Kwok-Yan (NUS, Singapore) \\
John Lamping (Xerox PARC, USA) \\
Peter Lee (CMU, USA) \\
Jean-Jacques L\'evy (INRIA, France) \\
C. Lursinsap (Chulalongkorn U. \& AIT) \\
Michael Maher (Griffith U., Australia) \\
Hideo Miyahara (Osaka U., Japan) \\
Gustaf Neumann (Essen U., Germany) \\
Phillip Wadler (U. of Glasgow, UK) \\
Vijay Saraswat (Xerox PARC, USA) \\
S. Sudarshan (IIT, Bombay) \\
R. Sureswaran (USM, Malaysia) \\
Doug Tygar (CMU, USA) \\
Belawati Widjaja (U. of Indonesia) \\
Roland Yap (NUS, Singapore) \\
\end{tabular}
\vspace*{5mm}
\noindent
{\bf Local Arrangements Chair:}
\vspace*{0.05in}
\begin{tabular}{l}
Roland Yap (NUS, Singapore) \\
{\it E-mail}: {\tt ryap@iscs.nus.sg}
\end{tabular}
}
\parbox[t]{5mm}{
\rule[-23.1cm]{0.2mm}{23.8cm}
}
\begin{minipage}[t]{11.5cm}%{12.2cm}
{\bf Background:}
The first conference {\sc Asian'95} (also called {\sc Acsc'95} last year)
was held in Bangkok, Thailand, in December 1995, organized by the
Asian Institute of Technology in partnership with INRIA, France,
and the UNU/IIST, Macau.
Its main purpose was to provide a local forum for Asian
researchers in Computer Science. Its scope was a broad coverage of
CS, though there was a focus on the more conceptual areas of
algorithms, concurrency and knowledge. Its proceedings appeared
as Springer-Verlag's LNCS 1023.
\vspace*{5mm}
\noindent
{\bf Scope:}
The 1996 conference will continue to emphasize the conceptual areas of CS,
though papers in all areas will be considered.
The following themes represent the areas of focus for this year.
\vspace*{5mm}
\noindent $\bullet$
Programming ({\it semantics, languages, systems, paradigms, $\ldots$ }) \\
\noindent $\bullet$
Concurrency \& Parallelism
({\it algorithms, formalisms, systems, $\ldots$ }) \\
\noindent $\bullet$
Networking \& Security
({\it algorithms, protocols, formalisms, systems, $\ldots$} )
\vspace*{5mm}
\noindent
{\bf Invited Speakers:}
The keynote speaker will be {\sc David Harel} (Weizmann
Institute, Israel).
The invited speakers will be:
{\sc Jean-Chrysostome Bolot} (INRIA, France) on networking,
{\sc Gert Smolka} (DFKI Saarbruken, Germany) on
programming languages, and {\sc Doug Tygar} (Carnegie Mellon
University, USA) on secure electronic commerce.
\vspace*{5mm}
\noindent
{\bf Paper submissions:} By email, in a self-contained Postscript
file (compressed and uuencoded), to be complemented by a hard copy
sent to the address of the program chair. The length guidelines are
10--12 pages in 11-point font, and about 3000 words. For details,
see the conference web page. The email address for submissions is
\bigskip
\hspace*{30mm} \fbox{\tt asian96@iscs.nus.sg}
\vspace*{5mm}
\noindent
{\bf Publication:}
The proceedings is expected to be published by Springer-Verlag in the
{\it Lecture Notes in Computer Science} series. In addition to
regular papers, we hope to accept posters, which will appear as
one-page abstracts in the proceedings. Papers and posters must be
presented at the conference by one of the authors.
\vspace*{5mm}
\noindent
{\bf Important dates:}
\begin{tabular}{ll}
July 5, 1996 & ~~Paper submission deadline \\
August 23, 1996 & ~~Acceptance decisions \\
September 13, 1996~~ & ~~Camera-ready copy due \\
December 2--4, 1996 & ~~Asian'96, Main Conference \\
December 5, 1996 & ~~Asian'96, Workshops
\end{tabular}
\vspace*{5mm}
{\bf Pre and Post Conference Activities:} \\
The 9th Asian School on Computer Science:
{\it Synthesis \& Verification of Finite-State Machine Based Systems}
by G. Berry, N. Halbwachs and E. Sentovich
will be held on 22--29 November 1996, in Rayong, Thailand.
(See {\tt http://www.cs.ait.ac.th/school96}).
On December 5, 3--4 workshops will be held in association with the
main conference.
\vspace*{5mm}
\noindent
{\bf Conference Web Page:}
Additional information will be posted and will be available from
{\tt http://www.iscs.nus.sg/$\sim$asian96}.
\end{minipage}
\end{document}