Symposium

event

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

Submitted by Anonymous on Fri, 01/20/2017 - 2:38pm

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

Submitted by Anonymous on Wed, 12/28/2016 - 4:51pm

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

Submitted by Anonymous on Thu, 12/15/2016 - 1:51pm

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

Submitted by Anonymous on Thu, 12/01/2016 - 4:35pm

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

Submitted by Anonymous on Wed, 11/09/2016 - 10:42am

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

Submitted by Anonymous on Mon, 10/17/2016 - 12:02pm

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)

event

Visible to the public  SmartMedDev 2017
Feb 21, 2017 7:00 am - Feb 23, 2017 6:00 pm CET

Submitted by Anonymous on Wed, 10/12/2016 - 2:38pm

3rd International Special Session on Smart Medical Devices - from Lab to Clinical Practice (SmartMedDev)

event

Visible to the public  NFM 2017
May 16, 2017 7:00 am - May 18, 2017 6:00 pm CDT

Submitted by Anonymous on Fri, 09/09/2016 - 1:11pm

The 9th NASA Formal Methods Symposium (NFM 2017)

May 16 - 18, 2017 | NASA Ames Research Center - Moffett Field, CA, USA | http://ti.arc.nasa.gov/events/nfm-2017/

Theme of the Symposium