Announcement

CONFERENCE GOALS

The GameSec conference aims to bring together researchers who are
working on the theoretical foundations and behavioral aspects of
enhancing security capabilities in a principled manner. Previous
GameSec contributions included analytic models based on game,
information, communication, optimization, decision, and control
theories that were applied to diverse security topics. In addition, we
welcome research that highlights the connection between economic

CALL FOR PARTICIPATION: FormaliSE 2013
FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2013
Saturday 25 May 2013, San Francisco, USA
http://www.formalise.org/


WORKSHOP SCOPE
The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, the success of software projects with the current technologies cannot be assured.

MSR 2013: CALL for PARTICIPATION

10th Working Conference on Mining Software Repositories (MSR)
May 18-19, 2013. San Francisco, California, USA

The Mining Software Repositories (MSR) field analyzes the rich data available in software repositories to uncover interesting and actionable information about software systems and projects. The goal of this two-day working conference is to advance the science and practice of MSR.

CONFERENCE PROGRAM

The MSR 2013 program includes:

The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Stellenbosch, South Africa, 14-19 December 2013

www.LPAR-19.info

TSOS 2013
4th Workshop on Trustworthy Self-Organizing and Autonomous Systems
September 9, 2013, Philadelphia, PA, USA
http://tsos.isse.de

Affiliated to SASO 2013
Seventh IEEE International Conference on
Self-Adaptive and Self-Organizing Systems

Aim of the Workshop