2018

event

Visible to the public  RTSOPS 2018
Jul 03, 2018 7:00 am - Jul 06, 2018 6:00 pm CEST

Submitted by Anonymous on Thu, 01/04/2018 - 1:14pm

9th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2018)

Satellite workshop of 30th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS

news

Visible to the public Open for Nominations!

Submitted by Heather Lucas on Thu, 12/14/2017 - 5:34pm

The 6th Annual Best Scientific Cybersecurity Paper Competition is now open for nominations. This year's nominating period runs through midnight on March 30, 2018. We look forward to receiving your nominations.

Spotlight Slideshow Link: 
https://cps-vo.org/group/sos/papercompetition
event

Visible to the public  ICMT 2018
Jun 25, 2018 7:00 am - Jun 28, 2018 6:00 pm CEST

Submitted by Anonymous on Thu, 12/14/2017 - 11:06am

11th International Conference on Model Transformation (ICMT 2018)

OVERVIEW

Modeling is a key element in reducing the complexity of software systems during their development and maintenance. Model transformations are essential for elevating models from documentation elements to first-class artifacts. Transformations also play a key role in analyzing models to reveal conceptual flaws or highlight quality bottlenecks and in integrating heterogeneous tools into unified tool chains.

event

Visible to the public  RAW 2018
May 21, 2018 7:00 am - May 22, 2018 6:00 pm PDT

Submitted by Anonymous on Thu, 12/14/2017 - 10:53am

The 25th Anniversary of Reconfigurable Architectures Workshop (RAW 2018)

The 25th Reconfigurable Architectures Workshop (RAW 2018) will be held in Vancouver, British Columbia CANADA in May 2018. RAW 2018 is associated with the 32nd Annual IEEE International Parallel & Distributed Processing Symposium (IEEE IPDPS 2018) and is sponsored by the IEEE Computer Society and the Technical Committee on Parallel Processing.

event

Visible to the public  PASA 2018
Apr 09, 2018 7:00 am - Apr 12, 2018 6:00 pm CEST

Submitted by Anonymous on Wed, 12/13/2017 - 10:40am

13th Workshop on Parallel Systems and Algorithms (PASA 2018)

In conjunction with ARCS 2018 - 31st International Conference on Architecture of Computing Systems

Organized by GI/ITG-Fachgruppe, Parallel-Algorithmen, Rechnerstrukturen und Systemsoftware' (PARS) and GI-Fachgruppe, Algorithmen' (ALGO)

event

Visible to the public  GCTC-SC3 Kickoff 2018
Feb 06, 2018 7:00 am - Feb 07, 2018 6:00 pm EST

Submitted by Anonymous on Wed, 12/13/2017 - 10:26am

Smart and Secure Cities and Communities Challenge Kickoff 2018

2018 Global City Teams Challenge (GCTC) will be co-hosted by NIST and U.S. Department of Homeland Security Science and Technology Directorate (DHS S&T) as the Smart and Secure Cities and Communities Challenge (SC3). GCTC-SC3 kickoff conference will bring together hundreds of municipal governments and technology innovators around the world with the goal to establish teams to address shared issues faced by cities and communities.

event

Visible to the public  SCOPES 2018
May 28, 2018 7:00 am - May 30, 2018 6:00 pm CEST

Submitted by Anonymous on Fri, 12/08/2017 - 10:26am

21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018)

A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will be organized in 2017. The workshop will feature a combination of research papers and research presentations (details see below). The papers and presentation abstracts will also be published in the ACM digital library. The workshop is held in cooperation with ACM SIGBED and EDAA.

event

Visible to the public  CREST 2018
Apr 21, 2018 7:00 am - 6:00 pm EEST

Submitted by Anonymous on Fri, 12/08/2017 - 10:14am

3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2018)

A satellite event of ETAPS 2018

event

Visible to the public  FM 2018
Jul 15, 2018 7:00 am - Jul 17, 2018 6:00 pm BST

Submitted by Anonymous on Fri, 12/08/2017 - 10:01am

22nd International Symposium on Formal Methods (FM 2018)

FM 2018 is the latest in a series of symposia organized by Formal Methods Europe, an independent association that encourages the use of, and research on, formal methods for the engineering of computer-based systems and software. The symposia have been notably successful in bringing together researchers and industrial users around a programme of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral work.