2018

event

Visible to the public  VECoS 2018
Sep 26, 2018 7:00 am - Sep 28, 2018 6:00 pm CEST

Submitted by Anonymous on Fri, 12/08/2017 - 9:41am

12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)

The VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related. VECoS encourages the cross fertilization between the various formal verification and evaluation approaches, methods and techniques, especially those developed for concurrent and distributed hardware/software systems.

Topics of interest include, but are not limited to:

event

Visible to the public  CONCUR 2018
Sep 04, 2018 7:00 am - Sep 07, 2018 6:00 pm +07

Submitted by Anonymous on Tue, 11/21/2017 - 1:25pm

The 29th International Conference on Concurrency Theory (CONCUR 2018)

Beijing, China | September 4-7, 2018 | http://lcs.ios.ac.cn/concur2018/

event

Visible to the public  Ada-Europe 2018
Jun 18, 2018 7:00 am - Jun 22, 2018 6:00 pm EDT

Submitted by Anonymous on Tue, 11/21/2017 - 12:57pm

23rd International Conference on Reliable Software Technologies (Ada-Europe 2018)

Organized by U.Lisboa on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED (pending), SIGPLAN (pending) and the Ada Resource Association (ARA)

event

Visible to the public  FOIS 2018
Sep 10, 2018 7:00 am - Sep 14, 2018 6:00 pm SAST

Submitted by Anonymous on Tue, 11/21/2017 - 12:29pm

10th International Conference on Formal Ontology in Information Systems (FOIS 2018)

Definition and Scope

The advent of complex information systems which rely on robust, coherent and formal representations of their subject matter, led in the last 25 years to the exploitation of ontological analysis and ontology-based representation. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques and their relations to cognition and reality, are at the center of the modern discipline of formal ontology.

event

Visible to the public  MobiSPC 2018
Jul 13, 2018 7:00 am - Jul 15, 2018 6:00 pm CEST

Submitted by Anonymous on Tue, 11/21/2017 - 12:22pm

The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018)

In Conjunction with The 13th International Conference on Future Networks and Communications (FNC 2018)

event

Visible to the public  RAPIDO '18
Jan 22, 2018 7:00 am - 8:00 pm GMT

Submitted by Anonymous on Mon, 11/20/2017 - 5:56pm

10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO

co-located with HiPEAC Conference

event

Visible to the public  IntelliSys 2018
Sep 06, 2018 7:00 am - Sep 07, 2018 7:45 pm BST

Submitted by Anonymous on Mon, 11/20/2017 - 5:42pm

IntelliSys 2018 will focus in areas of intelligent systems and artificial intelligence and how it applies to the real world. IntelliSys provides a leading international forum that brings together researchers and practitioners from diverse fields with the purpose of exploring the fundamental roles, interactions as well as practical impacts of Artificial Intelligence. It is part of the conference series started in 2013.

event

Visible to the public  ECYPS 2018
Jun 10, 2018 7:00 am - Jun 14, 2018 7:30 pm EEST

Submitted by Anonymous on Mon, 11/20/2017 - 5:35pm

6th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS'2018)

ECYPS'2018 - the 6th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems will be held in the scope of MECO'2018 - the 7th Mediterranean Conference on Embedded Computing, in Budva, Montenegro, June 10-14, 2018. Cyber-physical systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems.

event

Visible to the public  HCSS 2018
May 07, 2018 7:00 am - May 09, 2018 7:00 pm EDT

Submitted by Anonymous on Mon, 11/20/2017 - 5:01pm

The Eighteenth Annual

High Confidence Software and Systems Conference

Call for Presentations

event

Visible to the public  IFIP 2018
Sep 18, 2018 7:00 am - Sep 20, 2018 6:45 pm EDT

Submitted by Anonymous on Mon, 11/20/2017 - 4:53pm

First cross-domain IFIP Internet of Things (IoT) Conference

IoT is hot. Experts and organizations are addressing the topic in policy statements, papers and conferences. There are many aspects to be looked at when talking about IoT. Earlier developments were quite focused on the lower level aspects such as interfacing, communication protocols and standards, base platforms, energy efficiency and energy harvesting, smart devices and smart sensors, etc.