Architectures

Software & systems engineering and their applications.
forum

Visible to the public Special Session on: Architectures & Systems for Automotive and Intelligent Transportations, NEW DEADLINE April 12th 2015

Special Session on: Architectures & Systems for Automotive and Intelligent Transportations (ASAIT'15)

In conjunction with : DSD'2015 18th Euromicro Conference on Digital System Design,

Funchal, Madeira, Portugal - August 26-28, 2015
http://paginas.fe.up.pt/~dsd-seaa-2015/dsd2015/call-for-papers-dsd-2015/asait-special-session/

NEW DEADLINE: April 12th, 2015

Scope

event

Visible to the public  ERTS² 2016
Jan 27, 2016 8:00 am - Jan 29, 2016 5:00 pm CET

Embedded Real Time Software and Systems (ERTS2 2016)

The ERTS2 congress is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centers and industries. The previous editions gathered each more than 100 talks, 500 participants and 60 exhibitors.ERTS2 is both:

forum

Visible to the public Call for papers - ERTS² 2016

Call for papers and exhibitions

Embedded Real Time Software and Systems (ERTS2 2016)

27 - 29 January 2016, Toulouse - France

http://www.erts2016.org

Abstract submission Deadline: June 22nd, 2015

The ERTS2 congress is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centers and industries. The previous editions gathered each more than 100 talks, 500 participants and 60 exhibitors.ERTS2 is both:

forum

Visible to the public CfP: ETFA'2015 special session on Industrial Automation Systems in the Industrial Internet (of Things)

Industrial Automation Systems in the Industrial Internet (of Things)

Special session in IEEE 20th International Conference on Emerging Technologies and Factory Automation ETFA'2015

http://www.etfa2015.org/index.php?page=ss06
September 8-11, 2015, Luxembourg

forum

Visible to the public CFP: Special Issue of the Journal of Software Engineering for Robotics

Special Issue of the Journal on SOFTWARE ENGINEERING FOR ROBOTICS

www.joser.org

Deadline: 1 July 2015

Theme of the issue: Domain-Specific Languages and Models for Robotic Systems

Summary:

forum

Visible to the public Post-doctorate on formal semantics of time in embedded architecture models with INRIA project TEA in Rennes, Brittany, France

A post-doctorate position is available with INRIA project TEA in Rennes (Brittany, France), for a duration of 18 months, to participate in a project which aims at defining, implementing and standardising a formal semantics of timed concurrency for embedded architecture models.

All are available online https://www.inria.fr/en/centre/rennes/overview/offers/post-doctoral-research-fellowships/post-doctoral-research-fellowships/%28view%29/details.html?nP...

forum

Visible to the public FACS 2015 Call for papers

12th International Conference on Formal Aspects of Component Software (FACS 2015)

Rio de Janeiro, Brazil | October 14-16, 2015 | http://facs2015.ic.uff.br

OVERVIEW AND SCOPE

event

Visible to the public  ESLsyn 2015
Jun 10, 2015 8:00 am - Jun 11, 2015 5:00 pm EDT

The 2015 Electronic System Level Synthesis Conference (ESLsyn 2015)

(in conjunction with DAC)

General Chair: Jorn Janneck, Lund University, Sweden
Co-Chair: Achim Rettberg, Hella KGaA, Germany

The Electronic System Level Synthesis Conference focuses on automated system design methods that enable efficient modelling, synthesis, exploration and verification of systems from high-level specifications down to lower level implementations.

forum

Visible to the public CfP: ESL Synthesis Conference (ESLsyn) @ DAC2015

ESLsyn 2015 - Call for Papers

June 10-11, 2015 | San Francisco, CA, USA
(in conjunction with DAC)

General Chair: Jorn Janneck, Lund University, Sweden
Co-Chair: Achim Rettberg, Hella KGaA, Germany

The Electronic System Level Synthesis Conference focuses on automated system design methods that enable efficient modelling, synthesis, exploration and verification of systems from high-level specifications down to lower level implementations.