[TYPES/announce] ASIAN06 on Secure Software : New Submission Deadlines (Annual ASIAN Tokyo Meeting, Dec 6-8, 2006)

Mitsu OKADA mitsu at abelard.flet.keio.ac.jp
Tue Jul 25 06:49:22 EDT 2006


--------------------------------------------------------------------------
ASIAN 06, Focusing on SECURE SOFTWARE and related issiues

(Annual ASIAN COMPUTING SCIENCE CONFERENCE) TOKYO MEETING
(December 6-8, 2006), hosted by National Institute of Informatics of Japan

EXTENSIONS of Paper Submissions Deadline. (PLEASE NOTE THAT
THE ABSTRACT SUBMISSION DEADLINE IS NOW MOVED TO
AUGUST 24TH)

Considering many requests for extending deadlines, we change the
deadlines and publication schedule of ASIAN 06 as follows.

Title and abstracts (100-300 words) by August 24th, 2006
Paper submission by August 31st, 2006
Notification by October 6th, 2006

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

Regular papers (up to 15 pages) and  short-papers (up to 7 pages).
The proceedings will be published as a volume of Springer LNCS.

If you have any questions on paper submissions,
please contact our conference office at asian06 at nii.ac.jp
or directly the Program Committee Co-chair, Mitsuhiro Okada, Keio
University, at mitsuATabelardDOTfletDOTkeioDOTacDOTjp

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

Scope

The theme of this year's Annual ASIAN Conference is
Secure Software and related computer security issues.
The conference aims at discovering and promoting new
ways to apply theoretical and practical techniques in 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 targeting lessons learn from and 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 of software
  * Programming language semantics
  * Static analysis
  * Type systems and type theory for secure programming
  * Automated deduction and reasoning about secure software
  * Model checking for security
  * Testing and aspects of security in software
  * Secure protocols and networks
  * Authentication and cryptography issues
  * logic and semantics for protocol analysis
  * Dependable and autonomic architectures and design
  * Secure OS and middleware
  * Artificial intelligence for secure systems
  * Secure software engineering
  * Education for secure software development
  * Security-specific software development practices
  * Case analysis and failure analysis for secure software
  * Policy and standardization issues for secure software

Important Dates

-- SUBMISSION DEADLINE EXTENDED --
Considering many requests for extending deadlines, we change the
deadlines and publication schedule of ASIAN 06 as follows.

Title and abstracts (100-300 words) by August 24th, 2006 (NEW CHANGE)
Papers submission by August 31st, 2006
Notification by October 6th, 2006
Abstracts and papers can be submitted through
http://www.EasyChair.org/ASIAN06 until the deadlines.

Motivation

Security problems in computing systems, in particular software, 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, the amount and consequences of such attacks remains
serious. Moreover, the ubiquity of computing systems amounts to their
use in dependable and mission-critical systems, failure of which can
result in serious damages for our daily life. Most security incidents
could be traced back to defects in software, thus secure software is
becoming an essential requirement of modern computing. However, the
development of secure software is a very difficult task that should be
based on theoretical approaches and formal methods, such as logic, type
theory, and proof theory, to increase the level of confidence in the
design and implementation of security-critical systems. Automated tools
and techniques are essential for the analysis and verification of
software and systems. We also need processes that effectively and
efficiently incorporate rigorous techniques for producing secure
software and practitioners that are 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. Security mechanisms in these
systems play therefore an important role.
The aim of the Conference is to provide a forum for exchanging ideas
among researchers of secure software, in a broad sense, from theoretical
and practical fields, and from Asian, American, European and other regions.

Submission and Proceedings

Accepted papers will be published in a volume of the Springer
Lecture Notes in Computer Science series, as all 10 former
proceedings of the past ASIAN conferences were published in the 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 for regular paper. A paper up to 7
pages can also be submitted as a short paper.  With the notification of
acceptance, the author(s) of an accepted paper will also
receive further information on submitting the manuscript(s) presented in
the pre-proceeding and formal proceedings. For inclusion of a paper for
publication in the proceedings, at least one of the co-authors is
required to pre-register for participation and present the paper at the
Conference.


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


------------------------------------
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 Lecture Notes in Computer Science by Springer-Verlag.

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

General chairs

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

Program Committee Chairs

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

Program Committee

  * Patrick Cousot (Ecole Normale Supereure-Paris, France)
  * Anupam Datta (Stanford University, USA)
  * Sumanta Guha, (AIT, Thailand)
  * Masami Hagiya (University of Tokyo)
  * John Mitchell (Stanford University, USA)
  * Ching-Laung Lei (Taiwan National University, Taiwan)
  * Joxan Jaffar (National University of Singapore, Singapore)
  * Kanchana Kanchanasut (AIT, Thailand)
  * Ninghui Li (Purdue University, USA)
  * Xavier Leroy (INRIA, France)
  * Atsushi Ohori (Tohoku University, Japan)
  * Michael Rusinowitch (INRIA-Lorraine/University of Nancy/CNRS, France)
  * Etsuya Shibayama (Tokyo Insitute of Technology, Japan)
  * L. Yohanes Stefanus (University of Indonesia, Indonesia)
  * Kazushige Terui (National Institute of Informatics, Japan)
  * Kazunori Ueda (Waseda University, Japan)

and others, to be announced.

Local Organization Committee

  * Shin Nakajima (National Institute of Informatics, Japan)
  * Kensuke Fukuda (National Institute of Informatics, Japan)
  * Soichiro Hidaka (National Institute of Informatics, Japan)
  * Hiroshi Hosobe (National Institute of Informatics, Japan)
  * Hiroyuki Kato (National Institute of Informatics, Japan)
  * Michihiro Koibuchi (National Institute of Informatics, Japan)

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

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





More information about the Types-announce mailing list