[TYPES/announce] CFP: NASSUE-2009 in conjunction with ISA'09; Deadline: Feb 19, 2009 (Final Extension)

2009-02-07 Thread Binod Vaidya
[ The Types Forum (announcements only), 
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

 Apologies for multiple posts ---


 SUBMISSION DEADLINE IS EXTENDED TO 

 FEBRUARY 19, 2009

 (FINAL EXTENSION) ***


CALL FOR PAPERS
==

2009 International Workshop on Network Assurance and Security Services in
Ubiquitous Environments (NASSUE-2009)

http://www.sersc.org/NASSUE2009/

June 25-27, 2009
Seoul, Korea

in conjunction with the 3rd International Conference on Information Security
and Assurance (ISA 2009)


Overview
-
International Workshop on Network Assurance and Security Services in
Ubiquitous Environments (NASSUE-2009) is focused on network assurance and
security measure, which has become an important research issue in ubiquitous
environments. The objective of this workshop is to provide an effective
forum for original scientific and engineering advances in NAS issues in UE.
It will highlight the various aspects of NAS - especially on the crucial
linkage between availability, compliance, and security.

NASSUE-2009 aims to bring together researchers, practitioners, developers,
and policy makers to share and exchange ideas and to learn about latest
developments, problems and solutions related to NAS issues in UE.


Topics (include but are not limited to the following):
--
* Availability, dependability, survivability,  resilience issues in UE
* Authentication and identity management in UE
* Authorization and access-control in UE
* Risk assessment, and management in UE
* Redundancy, reliability models, and failure prevention of UCS
* Trust modeling and management in UE
* Fault-tolerant architectural and operational models in UE
* Network security issues and protocols in UCS
* Cryptographic protocols and key management in UCS
* Agent-based technologies for NAS.
* Cross-layer design for security mechanisms
* Real-time technology for NAS systems.
* QoS provisioning in UCS
* Network control technologies for NA.
* Novel threat, attacks, vulnerabilities, and countermeasures
* DoS attacks and mitigation
* Reverse engineering of malicious code
* Intrusion detection, IDS / IPS in UE
* Anonymity, user privacy, and location privacy in UE
* Content protection and DRM for UCS
* System/network management techniques and strategies in UE.
* Network forensics and fraud detection
* Surveillance and Privacy-enhancing technologies in UE
* Adaptive and Autonomic security for UCS
* Role of biometrics in UE
* NAS issues in e-commerce, e-government, e-health
* NAS implementation in P2P systems, vehicular system, web application,
disaster relief etc
* Specification, design, development, and deployment of NAS mechanisms
* Models, architectures and protocols for NAS
* Standards, guidelines and certification for NAS in UE
* Metrics for measuring security, assurance and dependability
* Designing business models with NAS requirements
* Formal methods and software engineering for NAS
* Legal, ethical and policy issues related to NAS in UE
* Proactive approaches to NAS
* New ideas and paradigms for NAS in UE

Important dates
---
- Full Paper Due: February 19, 2009 (Final Extension)
- Notification of Acceptance: March 19, 2009
- Final Camera-Ready Due: April 03, 2009

Paper Submission and Publication

Every submitted paper will be carefully reviewed by at least two PC members.
Authors should submit paper with about 4 pages (short paper) or 6 pages
(regular paper) by using Online Systems for review. Please use IEEE CS paper
format.

All accepted papers will be included in the Conference Proceedings published
by IEEE CS (indexed by EI). Outstanding papers accepted and presented in
ISA-2009 including NASSUE-2009 (ISA-09 workshop), after further revisions,
will be published in Special Issues of International Journals (indexed by
SCI/E):
* Computer Communications, Elsevier
* Journal of Supercomputing, Springer
* Journal of Internet Technology, MoE, Taiwan
* Computers  Mathematics with Applications, Elsevier
* Concurrency  Computation: Practice and Experience, Wiley



Steering Chair
-
Jong Hyuk Park, Kyungnam Univ, Korea

Workshop Program Chairs
--
- Binod Vaidya, GIST, Korea
- James B D Joshi, Univ of Pittsburgh, USA
- Joel Rodrigues, IT / Univ of Beira Interior, Portugal

International Advisory Board
-
- Dimitrios Makrakis, Univ of Ottawa, Canada
- Elisa Bertino, Purdue Univ, USA
- Pascal Lorenz, Univ of Haute Alsace, France
- Yoshito Tobe, Tokyo Denki Univ, Japan

Technical Program Committee
---
- Abdelhamid Mellouk, Univ of Paris XII, France
- Antonio Nogueira, Univ of Aveiro, Portugal
- Bai Xiaoying, Tsinghua Univ, China
- Binod Vaidya, GIST, Korea
- Bo Zhu, Concordia Univ, Canada
- ByungRae Cha, Honam 

[TYPES/announce] CFP: JACIL Special Issue on Unification

2009-02-07 Thread Temur Kutsia
[ The Types Forum (announcements only), 
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Apologies if you receive multiple copies]

**
EXTENDED DEADLINES | EXTENDED DEADLINES | EXTENDED DEADLINES |
**

==
  JOURNAL OF ALGORITHMS IN COGNITION, INFORMATICS AND LOGIC
Special Issue on Unification

 http://www.score.cs.tsukuba.ac.jp/~mmarin/unif.html
==

SCOPE
-
Unification is a fundamental process that occurs in several fields of 
computer science, including theorem proving, logic programming, natural 
language processing, computational complexity, and computability theory. 
It is also at the core of several type inference algorithms, and recent 
works in XML-oriented programming introduced new aspects of the 
unification process in the theory of regular expression and regular tree 
languages. Unification theory emerged from the abstraction of the 
specific applications of this process, and is concerned with general 
notions like instantiation, most general unifier, etc., their main 
properties, and with the identification and analysis of unification 
algorithms that can be used in several contexts.

This special issue of the Journal of Algorithms in Cognition, 
Information and Logic is devoted to the dissemination of the latest 
developments and results in unification.

We are looking for contributions describing original and new ideas and 
results in unification and closely related fields. Topics of interest 
include:

* Unification
E-unification
Unification Algorithms
Higher-Order Unification
String Unification
Context Unification
Combination problems
Disunification
Typed Unification
* Related Topics
Constraint Solving
Matching
Narrowing
* Applications
Type Checking and Type Inference
Automated Deduction
Rewriting
Functional and Logic Programming
Grammars
Computational Linguistics

Both participants of the UNIF 2008 workshop and other authors are 
invited to submit contributions. Submissions should be mature journal 
articles.

SUBMISSION GUIDELINES
-
We expect full high-quality papers (typically, 20-30 pages) to describe 
original and previously unpublished contributions. Papers should be 
written in English, and not be simultaneously submitted for publication 
elsewhere (previous publication of partial results at workshops and 
conferences is acceptable). The normal reviewing process for journals 
will be used and papers should conform to usual journal standards.

Authors are strongly encouraged to use the LaTeX template files 
available at
http://www.elsevier.com/framework_products/promis_misc/latexguidelinesonline.pdf
for manuscript preparation, and to use the EasyChair submission system
 http://www.easychair.org/conferences/?conf=jacilunif2009

IMPORTANT DATES
---
* Paper submission: February 16, 2009
* Notification of acceptance/rejection: June 3, 2009
* Final version: September 28, 2009

GUEST EDITOR

   Mircea Marin (SCORE, University of Tsukuba, Japan)

ABOUT THE JOURNAL
-
The Journal of Algorithms in Cognition, Informatics and Logic is a 
prestigious international journal published by Elsevier which aims at 
promoting the algorithmic research from all relevant sciences and fields 
of human endeavor. The subtitle Cognition, Informatics, and Logic 
emphasizes the intended breadth and interdisciplinary nature of the journal.
-