[TYPES/announce] SACMAT 2012, 2nd CFP

[Lujo Bauer]

SACMAT welcomes submissions that address the topics listed below
through the use of programming languages, logics, and other formal
approaches relevant to types-announce readers.



(Apologies if you have received this more than once, and happy holidays!)

=========================================================

CALL FOR PAPERS

17th ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES (SACMAT 2012)
URL: http://www.sacmat.org
Newark, June 20-22, 2012

Abstract Submission: Jan 13, 2012
Paper Submission   : Jan 20, 2012

SCOPE
======

Papers offering novel research contributions in all aspects of access
control are solicited for submission to the ACM Symposium on Access
Control Models and Technologies (SACMAT). SACMAT 2012 is the seventeenth
of a successful series of symposiums that continue the tradition, first
established by the ACM Workshop on Role-Based Access Control, of being the
premier forum for presentation of research results and experience reports
on leading edge issues of access control, including models, systems,
applications, and theory. The missions of the symposium are to share novel
access control solutions that fulfill the needs of heterogeneous
applications and environments and to identify new directions for future
research and development. SACMAT gives researchers and practitioners a
unique opportunity to share their perspectives with others interested in
the various aspects of access control. Accepted papers will be presented
at the symposium and published by the ACM in the symposium proceedings.
Best Paper Award will be presented to the authors of the most outstanding
paper at the conference.

Topics of interest include but are not limited to:
- Access control models and extensions
- Access control requirements
- Access control design methodology
- Access control mechanisms, systems, and tools
- Access control in distributed and mobile systems
- Access control for innovative applications
- Administration of access control policies
- Delegation
- Identity management
- Policy/Role Engineering
- Safety analysis and enforcement
- Standards for access control- Trust management
- Trust and risk models in access control
- Theoretical foundations for access control models
- Usability in access control systems
- Usage control


PAPER SUBMISSION
=================
Authors are required to submit an abstract of their submission at least a
week before the deadline for submission of papers, in order to expedite
the appointment of reviewers.

Abstracts and papers are to be submitted electronically using the
EasyChair conference management system
(http://www.easychair.org/conferences/?conf=sacmat2012). Papers must be
submitted as a single PDF file, formatted for 8.5" X 11" paper, and be no
more than 5MB in size. It is the responsibility of the authors to ensure
that their submission will print easily on simple default configurations.

Papers must be written in English. Authors are required to use the ACM
format for papers, using one of the ACM SIG Proceedings Templates
(http://www.acm.org/sigs/pubs/proceed/template.html). The length of the
paper (in the proceedings format) must not exceed ten US letter pages,
excluding well-marked appendices, and no more than twelve pages in total.
Committee members are not required to read the appendices, so papers must
be intelligible without them.

The submission must be anonymous, so information that might identify the
authors - including author names, affiliations, acknowledgements, or
obvious self-citations - must be excluded. It is the authors’
responsibility to ensure that their anonymity is preserved when citing
their own work.

All submissions must contain a significant original contribution. That is,
submitted papers must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal, conference or
workshop. In particular, simultaneous submission of the same work is not
allowed. Where appropriate, relevant related work, including that of the
authors, must be cited.


PANEL PROPOSAL SUBMISSION
=========================
Panel proposals should be no longer than two pages, and should identify
potential panelists, indicating those who have confirmed their willingness
to participate. We especially solicit panels with participants from
industry and/or government. Proposals can be e-mailed to the Panels
Chairs, Jorge Lobo (jlobo at us.ibm.com) and Mahesh Tripunitara
(tripunit at uwaterloo.ca).

SYSTEM DEMO SUBMISSION
======================

This year we are planning to include a demonstration session in the
symposium. To be considered for presentation, a proposal describing the
demonstration should be emailed to the Demonstrations Chair, Andreas
Schaad (andreas.schaad at sap.com).

The demonstration proposal should clearly describe (1) the overall
architecture of the system or technology demonstrated, and (2) one or more
demonstration scenarios that describes how the audience, interacting with
the demonstration system or the demonstrator, will gain an understanding
of the underlying technology. Submissions will be evaluated based on the
motivation of the work behind the use of the system or technology to be
demonstrated and its novelty.

Demonstration proposals should be no longer than four pages and should use
the formatting guidelines described above for regular papers. However,
demonstration proposals are not subject to double-blind reviewing, hence
the author(s) name and affiliation(s) should be included in the
submission. A two-page description of the demonstration will be included
in the final proceedings.


IMPORTANT DATES
================
- Abstract submission due: January 13, 2012
- Paper submission due: January 20, 2012
- Demo proposal submission due: January 20, 2012

- Panel proposal submission due: January 20, 2012
- Notification to authors: March 2, 2012
- Camera-ready submission due: March 23, 2012