CFP ASIAN'06 - please distribute !

This is a multi-part message in MIME format.

------=_NextPart_000_0017_01C69585.D4AA2FF0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

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

ASIAN'06 - 11th Asian Computing Science Conference


"Secure Software"

December 6-8, 2006, National Center of Sciences, Tokyo


http://www.nii.ac.jp/asian2006


Motivation

Security and safety problems in computing systems, in particular in
software, have become serious and widespread.  We are confronted with
an increasing number and variety of attacks by remote computers and
malicious software, e.g., computer viruses, bots, worms, etc.
Whatever the advances in hardware and software may be, the amount and
consequences of such attacks continue to pose serious
problems. Moreover, the ubiquity of computing systems amounts to their
use in dependable and mission-critical systems, the failure of which
can cause serious damages to our daily life.  Our societies also have
experienced various software failures which resulted in paralysis in
nation-wide social and economic activities.  Most security incidents
could be traced back to defects in software, and thus secure software
is becoming an essential requirement for modern computing.

The development of secure software, however, is a very difficult task,
and hence it requires theoretical approaches and formal methods, such
as logic, type theory, proof theory, semantics, which can increase the
level of confidence in the design and implementation of
security-critical systems.  Automated tools and techniques are
essential for the analysis and verfication of software and systems.
In addition, there is a need for processes that effectively and
efficiently incorporate rigorous techniques for producing secure
software as well as practitioners who are highly motivated,
disciplined, and proficient in their execution.  Security in computing
systems often relies on the underlying system-level software, e.g.,
operating systems, network protocol stacks and middleware, and
therefore security mechanisms in these systems play an important role.

Scope

The theme of this year's ASIAN Computing Sciennce Conference is
"Secure Software."  The conference aims at discovering and promoting
new ways to apply theoretical and practical techniques to secure
software analysis, design, development, and operation.  Papers are
invited on all aspects of theory, practice, applications, and
experiences related to this theme.  Moreover, papers focused on
lessons learned from and/or education for the development and
operation of secure software are particularly welcome.

Topics of interest include but are not limited to:

- Theoretical approaches to secure software
- Formal specification and verification
- Programming language semantics
- Static analysis
- Type theory and logic for secure and reliable programming
- Automated deduction and reasoning about secure software
- Model checking for security
- Testing and aspects of security in software
- Dependable and autonomic architectures and design
- Secure OS and middleware
- Secure protocols and networks
- Artificial intelligence for secure systems
- Secure and reliable software engineering
- Education for secure software development
- Security-specific software development practices

Submission and Proceedings

The proceedings will be published by Springer-Verlag as a volume in
the Lecture=81@Notes in Computer Science series. Please prepare your
manuscript using the series' style, following the instructions
downloadable at http://www.springer.de/comp/lncs/authors.html.  The
length of proceedings papers will be limited to 15 pages.  It is
expected that when a submitted paper is accepted, at least one of its
authors will register before the final paper due (September 30) and
present it at the conference.  With the notification of acceptance,
the author(s) of an accepted paper will also receive further
information on submitting the final manuscript(s).

Important Dates

Title and abstract due: July 16, 2006
Paper submission deadline:    July 27, 2006
Acceptance notification:    September 10, 2006
Final paper due:    September 28, 2006

Organization

General chairs:

    Akinori Yonezawa (University of Tokyo, Japan)
    Philippe Codognet (Embassy of France in Japan)

Program Chairs:

    Mitsuhiro Okada (Keio University, Japan)
    Ichiro Satoh (National Institute of Informatics, Japan)

Program Committee (to be completed)

    Patrick Cousot (Ecole Normale Supereure-Paris, France)
    Sumanta Guha, (AIT, Thailand)
    Masami Hagiya (University of Tokyo)
    Joxan Jaffar (National University of Singapore, Singapore)
    Kanchana Kanchanasut (AIT, Thailand)
    Ching-Laung Lei (Taiwan National University, Taiwan)
    Ninghui Li (Purdue University, USA)
    John Mitchell (Stanford University, USA)
    Atsushi Ohori (Tohoku University, Japan)
    Mitsuhiro Okada (Keio University, Japan, co-chair)
    Michael Rusinowitch (INRIA-Lorraine/University of Nancy/CNRS,France)
    Ichiro Satoh (NII,Japan, co-chair)
    Etsuya Shibayama (Tokyo Insitute of Technology, Japan)
    L. Yohanes Stefanus (University of Indonesia, Indonesia)
    Kazunori Ueda (Waseda University, Japan)
    and others, to be announced.

Local Organization Committee Chair:

    Shin Nakajima (National Institute of Informatics, Japan)

The conference is sponsored by National Institute of Informatics, Japan,
the Embassy of France in Japan and INRIA.

About ASIAN Conference series

The series of annual Asian Computing Science Conferences (ASIAN) was
initiated in 1995 by AIT, INRIA and UNU/IIST to provide a forum for
researchers in computer science from the Asian region and to promote
interaction with researchers from other regions. The first seven
conferences were held, respectively, in Bangkok, Singapore, Kathmandu,
Manila, Phuket, Penang, Hanoi, and Kunming.  In addition to support
from the host countries, they have also been sponsored by INRIA,
France, UNU/IIST, Macau and NUS, Singapore. The proceedings have been
published as volumes of Lecture Notes in Computer Science by
Springer-Verlag.




------=_NextPart_000_0017_01C69585.D4AA2FF0
Content-Type: text/plain;
	name="cfp0620.txt"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: attachment;
	filename="cfp0620.txt"

-----------------------------------------=0D
ASIAN'06 - Asian Computing Science Conference=0D
=0D
"Secure Software"=0D
=0D
December 6-8, 2006, National Center of Sciences, Tokyo=0D
=0D
http://www.nii.ac.jp/asian2006=0D
=0D
Motivation=0D
=0D
Security and safety problems in computing systems, in particular in=0D
software, have become serious and widespread.  We are confronted with=0D
an increasing number and variety of attacks by remote computers and=0D
malicious software, e.g., computer viruses, bots, worms, etc.=0D
Whatever the advances in hardware and software may be, the amount and=0D
consequences of such attacks continue to pose serious=0D
problems. Moreover, the ubiquity of computing systems amounts to =
their=0D
use in dependable and mission-critical systems, the failure of which=0D
can cause serious damages to our daily life.  Our societies also have=0D
experienced various software failures which resulted in paralysis in=0D
nation-wide social and economic activities.  Most security incidents=0D
could be traced back to defects in software, and thus secure software=0D
is becoming an essential requirement for modern computing.=0D
=0D
The development of secure software, however, is a very difficult =
task,=0D
and hence it requires theoretical approaches and formal methods, such=0D
as logic, type theory, proof theory, semantics, which can increase =
the=0D
level of confidence in the design and implementation of=0D
security-critical systems.  Automated tools and techniques are=0D
essential for the analysis and verfication of software and systems.=0D
In addition, there is a need for processes that effectively and=0D
efficiently incorporate rigorous techniques for producing secure=0D
software as well as practitioners who are highly motivated,=0D
disciplined, and proficient in their execution.  Security in =
computing=0D
systems often relies on the underlying system-level software, e.g.,=0D
operating systems, network protocol stacks and middleware, and=0D
therefore security mechanisms in these systems play an important =
role.=0D
=0D
=0D
Scope=0D
=0D
The theme of this year's ASIAN Computing Sciennce Conference is=0D
"Secure Software."  The conference aims at discovering and promoting=0D
new ways to apply theoretical and practical techniques to secure=0D
software analysis, design, development, and operation.  Papers are=0D
invited on all aspects of theory, practice, applications, and=0D
experiences related to this theme.  Moreover, papers focused on=0D
lessons learned from and/or education for the development and=0D
operation of secure software are particularly welcome.=0D
=0D
Topics of interest include but are not limited to:=0D
=0D
- Theoretical approaches to secure software=0D
- Formal specification and verification=0D
- Programming language semantics=0D
- Static analysis=0D
- Type theory and logic for secure and reliable programming=0D
- Automated deduction and reasoning about secure software=0D
- Model checking for security=0D
- Testing and aspects of security in software=0D
- Dependable and autonomic architectures and design=0D
- Secure OS and middleware=0D
- Secure protocols and networks=0D
- Artificial intelligence for secure systems=0D
- Secure and reliable software engineering=0D
- Education for secure software development=0D
- Security-specific software development practices=0D
=0D
=0D
Submission and Proceedings=0D
=0D
The proceedings will be published by Springer-Verlag as a volume in=0D
the Lecture=81@Notes in Computer Science series. Please prepare your=0D
manuscript using the series' style, following the instructions=0D
downloadable at http://www.springer.de/comp/lncs/authors.html.  The=0D
length of proceedings papers will be limited to 15 pages.  It is=0D
expected that when a submitted paper is accepted, at least one of its=0D
authors will register before the final paper due (September 30) and=0D
present it at the conference.  With the notification of acceptance,=0D
the author(s) of an accepted paper will also receive further=0D
information on submitting the final manuscript(s).=0D
=0D
=0D
Important Dates=0D
=0D
Title and abstract due: July 16, 2006=0D
Paper submission deadline:    July 27, 2006=0D
Acceptance notification:    September 10, 2006=0D
Final paper due:    September 28, 2006=0D
=0D
=0D
Organization=0D
=0D
General chairs:=0D
    Akinori Yonezawa (University of Tokyo, Japan)=0D
    Philippe Codognet (Embassy of France in Japan)=0D
=0D
Program Chairs:=0D
    Mitsuhiro Okada (Keio University, Japan)=0D
    Ichiro Satoh (National Institute of Informatics, Japan)=0D
=0D
Program Committee (to be completed)=0D
    Patrick Cousot (Ecole Normale Supereure-Paris, France)=0D
    Sumanta Guha, (AIT, Thailand)=0D
    Masami Hagiya (University of Tokyo)=0D
    Joxan Jaffar (National University of Singapore, Singapore)=0D
    Kanchana Kanchanasut (AIT, Thailand)=0D
    Ching-Laung Lei (Taiwan National University, Taiwan)=0D
    Ninghui Li (Purdue University, USA)=0D
    John Mitchell (Stanford University, USA)=0D
    Atsushi Ohori (Tohoku University, Japan)=0D
    Mitsuhiro Okada (Keio University, Japan, co-chair)=0D
    Michael Rusinowitch (INRIA-Lorraine/University of =
Nancy/CNRS,France)=0D
    Ichiro Satoh (NII,Japan, co-chair)=0D
    Etsuya Shibayama (Tokyo Insitute of Technology, Japan)=0D
    L. Yohanes Stefanus (University of Indonesia, Indonesia)=0D
    Kazunori Ueda (Waseda University, Japan)=0D
    and others, to be announced.=0D
=0D
Local Organization Committee Chair:=0D
    Shin Nakajima (National Institute of Informatics, Japan)=0D
=0D
The conference is sponsored by National Institute of Informatics, =
Japan,=0D
the Embassy of France in Japan and INRIA.=0D
=0D
About ASIAN Conference series=0D
=0D
The series of annual Asian Computing Science Conferences (ASIAN) was=0D
initiated in 1995 by AIT, INRIA and UNU/IIST to provide a forum for=0D
researchers in computer science from the Asian region and to promote=0D
interaction with researchers from other regions. The first seven=0D
conferences were held, respectively, in Bangkok, Singapore, =
Kathmandu,=0D
Manila, Phuket, Penang, Hanoi, and Kunming.  In addition to support=0D
from the host countries, they have also been sponsored by INRIA,=0D
France, UNU/IIST, Macau and NUS, Singapore. The proceedings have been=0D
published as volumes of Lecture Notes in Computer Science by=0D
Springer-Verlag.=0D
=0D

------=_NextPart_000_0017_01C69585.D4AA2FF0--