Design Automation Tools

Software tools for designing electronic systems.
forum

Visible to the public 2017 S5 Abstract Submission Extension FOR POSTERS ONLY

Submitted by Anonymous on Fri, 06/09/2017 - 12:20pm

CALL FOR POSTER ABSTRACTS

2017 Safe and Secure Systems and Software Symposium (S5)

1 - 3 August 2017 | The Crowne Plaza Dayton, Ohio | http://www.mys5.org/

forum

Visible to the public LOPSTR 2017: 1st Call for Papers

Submitted by Anonymous on Mon, 05/08/2017 - 2:58pm

CALL FOR PAPERS

27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)

(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

Visible to the public CfP SOCNE 2017 Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments

Submitted by Anonymous on Wed, 05/03/2017 - 4:35pm

CALL FOR PAPERS - Extended Deadline

11th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE 2017)

in conjunction with IECON 2017 - 43rd Annual Conference on of the IEEE Industrial Electronics Society

Oct 29 - Nov 1, 2017 | Beijung, China | http://www.socne.org

event

Visible to the public  RSSRail 2017
Nov 14, 2017 7:00 am - Nov 16, 2017 6:00 pm CET

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)

event

Visible to the public  EXPRESS/SOS 2017
Apr 14, 2017 4:00 pm - 5:00 pm EDT

Submitted by akarns on Fri, 04/14/2017 - 3:03pm

Combined 24th International Workshop on Expressiveness in Concurrency
and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017)

September 04, 2017 | Berlin (Germany) | https://www.concur2017.tu-berlin.de/express_sos.html
Affiliated with CONCUR 2017

SCOPE AND TOPICS:

event

Visible to the public  WebGME and CPS-VO Integration Meeting
Mar 24, 2017 2:00 pm - 3:00 pm CDT

Submitted by admin on Thu, 03/23/2017 - 2:16pm

Agenda

Design a technical strategy for single sign on wrt to WebGME based Design Studios on the VO.

https://docs.google.com/presentation/d/1PFJ_tfWa-2LX5PAv2ra2mMnZqqQhHvpZTiD2-e7rpJc/edit?usp=sharing

CPS-VO

1. JWToken generated by CPS-VO (with userId: <userId>) using shared RSA Keys

2. Passes in url query of running webgme instance

3. a) userId doesn't exist -> A new user is created in the webgme database

b) userId exists -> Users can access all his/her projects

forum

Visible to the public CyberC 2017 Call for Paper

Submitted by Anonymous on Mon, 03/06/2017 - 5:49pm

CALL FOR PAPERS

CyberC 2017 : The 9th International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery

Nanjing, China | October 12 - 14, 2017 | www.Cyberc.org

Paper Submission : https://edas.info/N23496 or Login EDAS at http://edas.info/ by selecting "CyberC 2017". Electronic submission to Papers@cyberc.org with a title of "CyberC 2017 Submission" is also accepted.