The Coq mailing list

["Philippe Codognet" <attache.stic AT ambafrance-jp.org>]

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

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�@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.



-----------------------------------------
ASIAN'06 - 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�@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.