2017

event

Visible to the public  CF'17
May 15, 2017 7:00 am - May 17, 2017 6:00 pm CEST

Submitted by Anonymous on Wed, 10/12/2016 - 3:56pm

ACM International Conference on Computing Frontiers 2017 (CF'17)

Computing Frontiers is an eclectic, collaborative community of researchers who investigate emerging technologies in the broad field of computing: our common goal is to drive the scientific breakthroughs that transform society.

event

Visible to the public  AISTECS 2017
Jan 25, 2017 4:30 pm - 5:30 pm CET

Submitted by Anonymous on Wed, 10/12/2016 - 3:40pm

2nd International Workshop on Advanced Interconnect Solutions and Technologies for Emerging Computing Systems (AISTECS)

Associated with the 12th HiPEAC Conference on High Performance Embedded Architectures and Compilers.
https://www.hipeac.net/2017/stockholm/

event

Visible to the public  iFM 2017
Sep 18, 2017 7:00 am - Sep 22, 2017 6:00 pm CEST

Submitted by Anonymous on Wed, 10/12/2016 - 3:25pm

13th International Conference on integrated Formal Methods (iFM 2017)

Objectives and Scope

event

Visible to the public  CAV 2017
Jul 22, 2017 7:00 am - Jul 28, 2017 6:00 pm CEST

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

CAV 2017: 29th International Conference on Computer-Aided Verification

Scope

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)

news

Visible to the public Register to Attend 4th Annual HoTSoS Symposium & Bootcamp

Submitted by Anonymous on Tue, 10/11/2016 - 3:55pm

Registration is open for the 4th Annual Hot Topics in the Science of Security (HoTSoS) Symposium and Bootcamp, which will be held April 4-5, 2017 at The Hotel at Arundel Preserve in Hanover, Maryland. The symposium will include a mix of invited talks, refereed papers, panels, tutorials, and posters. As in prior years, papers will appear in the conference proceedings to be published by ACM Press.

Please see the HoTSoS Registration page to register: http://cps-vo.org/group/hotsos/registration

Spotlight Slideshow Link: 
http://cps-vo.org/group/hotsos/cfp
event

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

Submitted by Anonymous on Wed, 10/05/2016 - 12:42pm

18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)

VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Scope

event

Visible to the public  The Fourth International Conference on Electrical, Electronics, Computer Engineering and their Applications (EECEA2017)
Oct 11, 2017 9:00 am - Oct 13, 2017 5:00 pm UTC

Submitted by AbbyThomer67 on Fri, 09/30/2016 - 1:53am

The Fourth International Conference on Electrical, Electronics, Computer Engineering and their Applications (EECEA2017)

University of Perpetual Help System DALTA, Las Pinas, Manila, Philippines
October 11-13, 2017

URL: http://sdiwc.net/conferences/4th-international-conference-electrical-electronics-computer-engineering-their-applications/
Email: eecea17@sdiwc.net

event

Visible to the public  2017 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '17)
Jan 09, 2017 8:00 am - Jan 11, 2017 5:00 pm CST

Submitted by el_wehby on Wed, 09/28/2016 - 5:59pm

The third biennial Secure and Trustworthy CyberSpace (Principal Investigators' Meeting (SaTC PI Meeting '17) was held January 9-11, 2017 in Arlington, Virginia. The NSF SaTC PI Meeting is a biennial forum of the SaTC research community with leading experts from academia, industry, and Federal agencies, who will come together to discuss game changing challenges resulting from the global adoption of cyberspace by: