The formalization of system engineering models and approaches.
forum
Submitted by Anonymous on Mon, 05/08/2017 - 3:14pm
Call for informal presentations (abstracts)
Workshop on Formal approaches to Explainable VERification ( FEVER 2017)
JULY 23, 2017 | HEIDELBERG, GERMANY | http://fever.nilsjansen.org
Co-Located with CAV 2017
The FEVER workshop solicits presentations of ongoing or previously published work to enable discussions on a broad range of topics. These presentations will not be subject to proceedings publication.
forum
Submitted by Anonymous on Mon, 05/08/2017 - 2:58pm
CALL FOR PAPERS
(co-located with PPDP 2017)
University of Namur, Namur, Belgium | October 10 - 12, 2017 | https://www.sci.unich.it/lopstr17/
DEADLINES:
- Abstract submission: June 6, 2017
- Paper/Extended abstract submission: June 13, 2017
INVITED SPEAKERS: to be announced
forum
Submitted by Anonymous on Fri, 05/05/2017 - 4:24pm
These PhD works will be co-supervised by Stephane Galland and Christophe Nicolle. And they will take place in the LE2I Laboratory (Laboratoire d'Electronique, Informatique et Image), of the Burgondy Franche-Comte University, located inside the buildings of the Belfort-Montbeliard University of Technology, at Belfort, France.
The PhD student position is subject to be funding by the Regional Council of Burgondy Franche-Comte, under the umbralla of the SPIM Doctoral School.
forum
Submitted by Anonymous on Fri, 05/05/2017 - 4:18pm
CALL FOR PAPERS
Brasilia | 24 September, 2017 | workshop.dali.di.uminho.pt
co-located with FROCOS TABLEAUX and ITP 2017)
event
Submitted by Anonymous on Fri, 05/05/2017 - 4:17pm
Workshop DaLi - Dynamic Logic: new trends and applications
Brasilia | 24 September, 2017 |
co-located with FROCOS TABLEAUX and ITP 2017)
forum
Submitted by Anonymous on Fri, 05/05/2017 - 4:06pm
CALL FOR PARTICIPATION-- ASYNC 2017
May 21-24, 2017 | San Diego, California, USA | http://www.async2017.org/
These are the last days for hotel registration at discounted rates and student grant applications!!!
IMPORTANT DATES:
forum
Submitted by Anonymous on Fri, 05/05/2017 - 12:13pm
A Postdoc Position is available in the Rigorous System Design (RSD) team at Verimag Laboratory, Grenoble, France.
http://www-verimag.imag.fr/rsd.html
The position is for two years with possible extension. It is available immediately but the start date can be adapted to the candidate constraints.
The RSD team is looking for a responsible and mature post-doc who can contribute to the team research topics, in particular for:
forum
Submitted by Anonymous on Wed, 05/03/2017 - 4:01pm
event
Submitted by Anonymous on Wed, 05/03/2017 - 3:56pm
International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification (RSSRail 2017)
forum
Submitted by Anonymous on Fri, 04/14/2017 - 3:56pm
IEEE Design & Test Call for Contributions to Special Issue on Cross-layer Design of Cyber-Physical Systems
Submission Deadline: 30 June, 2017
Topics of Interest:
This special issue will be on problems and innovative solutions on cross-layer design of all forms of cyber-physical systems. Solutions involving any two or more layers of design abstraction are welcome. The solicited topics include, but are not limited to:
