SEES 12: Call for Papers Workshop on Software Engineering for Embedded Systems

Posted on by
Reply

Software development for embedded systems is often a complex undertaking and fundamentally different from that of non-embedded systems. Complexity arises from the need to co-design and create software at low-level of abstraction that also interacts closely with hardware, and with strong emphasis on dependability and mission-critical real-time constraints. In order to tackle these challenges in embedded software development, industry needs to apply software engineering technologies that are appropriate for specific situations.

The SEES 2012 workshop (in conjunction with ICSE 2012 in Zurich, Switzerland) aims to provide an international forum to discuss the issues and challenges in adopting software engineering methods for embedded systems development.

Submission Deadline: February 17, 2012

More information at: http://www.ssrg.nicta.com.au/sees12/

CAV’12: special embedded systems track

Posted on by
Reply
====== CALL FOR PAPERS ======
24th International Conference on Computer Aided Verification (CAV 2012)
July 7-13, 2012
Berkeley, California, USA

http://cav12.cs.illinois.edu/

Aims and Scope
————————
The conference on Computer Aided Verification (CAV), 2012, is the 24th
in a series dedicated to the advancement of the theory and practice of
computer-aided formal analysis methods for hardware and software
systems. CAV considers it vital to continue spurring advances in
hardware and software verification while expanding to new domains such
as biological systems and computer security. The conference covers the
spectrum from theoretical results to concrete applications, with an
emphasis on practical verification tools and the algorithms and
techniques that are needed for their implementation. The proceedings
of the conference will be published in the Springer-Verlag Lecture
Notes in Computer Science series. A selection of papers will be
invited to a special issue of Formal Methods in System Design and the
Journal of the ACM.

Topics of interest include:
- Algorithms and tools for verifying models and implementations
- Hardware verification techniques
- Hybrid systems and embedded systems verification
- Deductive, compositional, and abstraction techniques for verification
- Program analysis and software verification
- Testing and runtime analysis based on verification technology
- Verification methods for parallel and concurrent hardware/software systems
- Applications and case studies in verification
- Verification in industrial practice
- Algorithms and tools for system synthesis
- Verification techniques for security
- Formal models and methods for biological systems

** NEW in 2012 **
CAV will have *special tracks* in the following four areas:
1. Hardware Verification (track chair: Andreas Kuehlmann)
2. Computer Security  (track chair: Somesh Jha)
3. Embedded Systems (track chair: Stavros Tripakis)
4. SAT and SMT (track chair: Daniel Kroening)

Submissions in these four topics are especially encouraged. Papers in
these areas will be subject to the same rigorous review process as
other papers. Accepted special track papers will be organized into
special sessions that are highlighted in the program.

Events
———
The conference will include the following events:
* Pre-conference workshops on July 7-8.
* The main conference will take place July 9th-13th:
– Invited tutorials on July 9th.
– Technical sessions on July 10-13.
Please see the conference website for further details.

Paper Submission
————————–
There are two categories of submissions:

A. Regular Papers: Submissions, not exceeding sixteen (16) pages using
Springer’s LNCS format, should contain original research, and
sufficient detail to assess the merits and relevance of the
contribution. For papers reporting experimental results, authors are
strongly encouraged to make their data available with their
submission. Submissions reporting on case studies in an industrial
context are strongly invited, and should describe details, weaknesses,
and strengths in sufficient depth. Simultaneous submission to other
conferences with proceedings or submission of material that has
already been published elsewhere is not allowed.

B. Tool Presentations: Submissions, not exceeding six (6) pages using
Springer’s LNCS format, should describe the implemented tool and its
novel features.  An appendix that will not be part of the published
presentation may be added for use in the program committee selection
process.  A demonstration, in a separate demonstration session, is
expected to accompany a tool presentation. Papers describing tools
that have already been presented (in any conference) will be accepted
only if significant and clear enhancements to the tool are reported
and implemented.

Papers exceeding the stated maximum length run the risk of rejection
without review. Note that the page limit for submissions has been
increased to 16 pages. For regular papers, an appendix can be joined
to the submissions providing additional material such as details on
proofs or experiments. The appendix is not guaranteed to be read or
taken into account by the reviewers and it should not contain
information necessary to the understanding and the evaluation of the
presented work. The review process will include a feedback/rebuttal
period where authors will have the option to respond to reviewer
comments.

Papers must be submitted in PDF format. Submission is done with
EasyChair. Information about the submission procedure will be
available at: http://cav12.cs.illinois.edu/

Important Dates
- Abstract submission: January 15, 2012
- Paper submission (firm): January 22, 2012 at 23:59 Samoa time (UTC/GMT-11)
- Author feedback/rebuttal period: March 7-9, 2012
- Notification of acceptance/rejection: March 22, 2012
- Final version due: April 20, 2012

Program Chairs
———————-
Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA
Sanjit A. Seshia, University of California at Berkeley, USA

Program Committee
—————————–
Rajeev Alur (Univ. Pennsylvania)
Roderick Bloem (TU Graz)
Supratik Chakraborty (IIT Bombay)
Swarat Chaudhuri (Rice Univ.)
Adam Chlipala (MIT)
Vincent Danos (University of Edinburgh)
Thomas Dillig (College of William and Mary)
Andy Gordon (Microsoft Research)
Mike Gordon (Cambridge Univ.)
Orna Grumberg (Technion)
Aarti Gupta (NEC Labs)
William Hung (Synopsys)
Somesh Jha (Univ. Wisconsin)
Ranjit Jhala (UCSD)
Bengt Jonsson (Uppsala Univ.)
Rajeev Joshi (NASA JPL)
Daniel Kroening (Oxford Univ.)
Andreas Kuehlmann (Coverity)
Viktor Kuncak (EPFL)
Shuvendu Lahiri (Microsoft Research)
Rupak Majumdar (MPI-SWS)
Ken Mcmillan (Microsoft Research)
David Molnar (Microsoft Research)
Kedar Namjoshi (Bell Labs)
Albert Oliveras (TU Catalonia, Barcelona)
Joel Ouaknine (Oxford Univ.)
Gennaro Parlato (Univ. of Southampton)
Madhusudan Parthasarathy (UIUC)
Nir Piterman  (Univ. of Leicester)
Andreas Podelski  (Univ. of Freiburg)
Shaz Qadeer  (Microsoft Research)
Zvonimir Rakamaric (Univ. of Utah)
Sriram Sankaranarayanan (Univ. of Colorado)
Sanjit A. Seshia (UC Berkeley)
Natasha Sharygina (Univ. of Lugano)
Stavros Tripakis (UC Berkeley)
Helmut Veith (TU Vienna)
Mahesh Viswanathan  (UIUC)
Jin Yang (Intel)
Karen Yorav (IBM)

Steering Committee
—————————-
Michael Gordon, University of Cambridge, UK
Orna Grumberg, Technion, Israel
Robert Kurshan, Cadence Design Systems, USA
Kenneth McMillan, Microsoft Research, USA

CAV Award
—————–
The annual CAV Award has been established for a specific fundamental
contribution or a series of outstanding contributions to the field of
Computer Aided Verification.  The award of $10,000 will be granted to
an individual or a group of individuals chosen by the Award Committee
from a list of nominations. The Award Committee may choose to make no
award. The CAV Award shall be presented in an award ceremony at CAV
and a citation will be published in a Journal of Record (currently,
Formal Methods in System Design).

Call for Nominations for the CAV Award
———————————————————
Anyone can submit a nomination. The Award Committee can originate a
nomination. Anyone, with the exception of members of the Award
Committee, is eligible to receive the Award. A nomination must state
clearly the contribution(s), explain why the contribution is
fundamental or the series of contributions is outstanding, and be
accompanied by supporting letters and other evidence of worthiness.
Nominations should include a proposed citation (up to 25 words), a
succinct (100-250 words) description of the contribution(s), and a
detailed statement to justify the nomination. The cited
contribution(s) must have been made not more recently than five years
ago and not over twenty years ago. In addition, the contribution(s)
should not yet have received recognition via a major award, such as
the ACM Turing or Kanellakis Awards. The nominee may have received
such an award for other contributions.

The 2012 CAV Award Committee consists of
Thomas A. Henzinger (Chair)
Rajeev Alur
Marta Kwiatkowska
Aarti Gupta
The nominations should be sent to Thomas Henzinger at tah@ist.ac.at.
Nominations must be received by January 22, 2012.

ESWEEK 2013: Call for Organization

Posted on by
Reply

The ESWeek Steering Committee is seeking individuals or groups
interested in organizing ESWeek 2013 in North America.

Schedule:

Candidates wishing to be considered should reply in email to
thomas@ece.cmu.edu by the close of their business day
February 10, 2012 at the latest. Earlier responses are appreciated.
This email is only a statement of interest but should indicate the
location that is being considered and the primary contact person.

Then, by March 9, 2012, the ESWeek Steering Committee will need a
proposal with a detailed description of the proposed conference
site — it could be either a hotel or conference center. At this
point, candidates need to show that the proposed location’s
conference facilities can accommodate the needs for ESWeek (please
include floor plans, etc.), and what dates the conference facilities
could be available. See below for dates and facility requirements.
Candidates should provide a description of the academic and
industrial institutions in or near the proposed location, as well
as any possible financial support by local companies, universities,
or governments. Based on this proposal, we may have some specific
questions for you.

Do not attempt to negotiate a contract with a hotel or convention
center. Our sponsors, ACM or IEEE, will do that. However, your
proposal should indicate whether the conference facilities will
need to be paid for – hotels usually do not charge for conference
rooms if the conference is located in the hotel, whereas conference
centers do charge for the rooms. These facilities typically hand
out a list of charges — please include those.

We hope to make a decision on the 2013 site by the end of April 2012.
ACM or IEEE will then finish the hotel/convention center contract
negotiation.

Conference dates:

The conference dates should be sometime between mid September and
late October of 2013. A religious holiday that we try to stay away
from is on Friday Sept 13, 2013, so this week would not be good.

Candidates should assume the following general requirements for
ESWeek:

Main conferences attendance: approximately 350 people
Conference room needs:
** Sunday: 4 rooms of 80 people each
** Mon-Wed: Max 5 rooms in parallel (2 rooms of 150 people each +
3 rooms of 80 people each) + 1 plenary room of 350 people (used
for general sessions only).
** Thursday: 6 rooms of 40 people each
** Friday: 2 rooms of 40 people each

Food/beverages:
** Lunches provided for up to 350 people on Mon-Wed, and up to 160
people on Thursday.
** Tuesday night banquet for 350. This could either be at the
conference site or at a nearby site of local interest.
** Coffee breaks on all days

Note that to facilitate interaction and moving between sessions,
it is strongly preferable that all rooms used on Mon-Wed be close
to each other, allowing people to move freely and quickly between
sessions.

A person/group from the winning site will be appointed “Local
Organization Chair” by the ESWeek Steering Committee for 2013.

Inquiries: thomas@ece.cmu.edu