Symposium

event

Visible to the public  RTSS 2017
Dec 05, 2017 7:00 am - Dec 08, 2017 6:00 pm CET

The 38th IEEE Real-Time Systems Symposium - RTSS 2017

Paris, France | December 5-8, 2017 | http://2017.rtss.org

Sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems

Scope of the Conference

event

Visible to the public  IUPT 2017
May 16, 2017 7:00 am - May 19, 2017 6:00 pm WEST

The 7th International Symposium on Internet of Ubiquitous and Pervasive Things

A Brief Introduction

This symposium aims at gathering researchers from the fields of wireless networking and Internet applications to discuss new opportunities and hurdles to leverage the possibilities of new applications and services for the Internet of Ubiquitous and Pervasive Things.

event

Visible to the public  HEART 2017
Jun 07, 2017 7:00 am - Jun 09, 2017 6:00 pm CEST

The 8th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART2017)

7-9 June 2017 | Bochum, Germany | http://www.isheart.org/HEART2017

Important dates:

event

Visible to the public  POPL 2017
Jan 15, 2017 7:00 am - Jan 21, 2017 6:00 pm CET

The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)

is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports.

The symposium is organised by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

Invited speakers

event

Visible to the public  ISLPED 2017
Jul 24, 2017 7:00 am - Jul 26, 2017 6:00 pm CST

International Symposium n Low Power Electronics and Design

The International Symposium on Low Power Electronics and Design (ISLPED) is the premier forum for presentation of innovative research in all aspects of low power electronics and design, ranging from process technologies and analog/digital circuits, simulation and synthesis tools, system-level design and optimization, to system software and applications.

Topics

Specific topics include, but are not limited to, the following three main tracks and sub-areas:

event

Visible to the public  FroCoS 2017
Sep 25, 2017 7:00 am - Sep 29, 2017 6:00 pm WEST

FIRST CALL FOR PAPERS

11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)

GENERAL INFORMATION

The 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) will be held in Brasilia, Brazil, between September 25 to September 29, 2017. Its main goal is to disseminate and promote progress in research areas related to the development of techniques for the integration, combination, and modularization of formal systems together with their analysis.

event

Visible to the public  SPIN 2017
Jul 13, 2017 7:00 am - Jul 14, 2017 7:00 pm PDT

24th International Symposium on Model Checking of Software (SPIN 2017)

Santa Barbara, CA, USA | July 13-14, 2017 | http://conf.researchr.org/home/spin-2017

Collocated with ISSTA

event

Visible to the public  IUBT 2017
May 16, 2017 7:00 am - May 19, 2017 6:00 pm WEST

The 7th International Symposium on Internet of Ubiquitous and Pervasive Things (IUPT 2017)

To be held in conjunction with Ambient Systems, Networks and Technologies Conference (ANT'17)