1st International Workshop on Software Architectures for Next-generation Cyber-physical Systems (SANCS 2015) co-located with the 9th European Conference on Software Architecture (ECSA 2015)

2nd International Workshop on Cyber-Physical Systems (IWCPS’15) E-mail: iwcps2015@fedcsis.org We would like to cordially invite you to consider contributing a paper to IWCPS 2015 - held as a part of the Federated Conference on Computer Science and Information Systems (FedCSIS 2015).

The 56th Conference on Simulation and Modelling (SIMS 56) 7-9 October 2015 
“Modelling, Simulation and Optimization” In 2015, the 56th Conference on Simulation and Modelling will be held in Linköping, Sweden.

13th IEEE/IFIP International Conferences on Embedded and Ubiquitous Computing (EUC’2015) Porto, Portugal on October 21-23, 2015. http://www.fe.up.pt/euc2015 Important Dates:

The Second International Workshop on Graphical Models for Security (GraMSec 2015) Co-located with CSF 2015 Graphical security models provide an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures. Formal methods and computer security researchers, as well as security professionals from industry and government, have proposed various graphical security modeling schemes.

9th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2015) Important dates Paper submission: May 15, 2015 Decision notification: July 12, 2015 Camera-ready submission: July 23, 2015 Workshop: September 10-11, 2015 Aims and scope

First International Workshop on Model-Based Design for Cyber-Physical Systems (MB4CP 2015) In Conjunction with the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) WORKSHOP AIM

5th International ABZ 2014 Conference (ASM, Alloy, B, TLA, VDM, Z) May 23-27, 2016 -- Linz, Austria http://www.cdcc.faw.jku.at/ABZ2016/

SIGBED Paul Caspi Memorial Dissertation Award

  http://sigbed.blogspot.fr/p/awards.html

The Paul Caspi Memorial Dissertation Award is a new SIGBED award established in 2013. The award will recognize outstanding doctoral dissertations that significantly advance the state of the art in the science of embedded systems, in the spirit and legacy of Dr. Paul Caspi's work.

The SIGBED Paul Caspi Memorial Dissertation Award will be presented annually to the author of an outstanding dissertation in the area of Embedded Systems. The author of the winning dissertation will be invited to publish a dissertation summary in the ACM SIGBED Newsletter and to submit their work to the journal ACM TECS (Transactions on Embedded Computing Systems) for possible publication, after the normal peer-review process. The award will include an award certificate for the author and an honorarium of 2000 USD. A public citation for the award paper will be placed on the SIGBED web site.

Selection Process

The award is for an outstanding doctoral dissertation dated within one year preceding the nomination due date. A selection committee and a selection committee chair will be selected by the current SIGBED Executive Committee. A member of the current SIGBED Executive Committee will be one of the selection committee members. The committee chair shall adjudicate conflicts of interest, appointing substitutes to the committee as necessary. Dissertations supervised by a selection committee member are ineligible to be nominated. For purposes of continuity, committee members may remain on the committee for up to three years. The selection committee shall be no less than three persons in size.

Selection Committee

•    Sanjoy Baruah
•    Christoph Kirsch (Chair)
•    Xenofon Koutsoukos
•    Florence Maraninchi
•    John Regehr
•    Lothar Thiele

Nomination Process

Nominations will be solicited annually, via major mailing lists and web forums. Additionally, dissertation advisers of each eligible year will be contacted for solicitation of award nominations.

A nomination should consist of the following items:

• Name, address, phone number, and email address of the person making the nomination (the nominator).
• Name, address, phone number, and email address of the candidate for whom an award is recommended (the nominee).
• A short statement (200-500 words) explaining why the nominee deserves the award.
• Supporting statements from up to two persons in addition to the nominator.
• The nominated dissertation in an English language version.
• A list of the nominee's publications that were used as the basis of chapters in the nominated dissertation.
• The CV of the nominee.

The selection committee will make a recommendation on the winner of the award to the SIGBED Executive Committee, which will approve and announce the final winner. SIGBED Executive Committee members who have conflicts of interest with any nominee will be excluded from the approval process. The primary selection criterion will be the quality of the candidate's work, with the aim to recognize outstanding doctoral dissertations. The selection committee may choose to issue no award in a given year. The award may not be given to multiple recipients.

General Announcement

Not in Slideshow

13th International Conference on Formal Modeling and Analysis of Timed Systems Objective