Symposium

event

Visible to the public  ReCoSoC 2015
Jun 30, 2015 8:00 am - Jul 01, 2015 5:00 pm CEST

Submitted by Anonymous on Tue, 04/07/2015 - 10:12am

10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2015)

During the past decade, ReCoSoC has established itself as a reference international event for researchers in the areas of reconfigurable and communication-centric systems-on-chip. Its informal and dynamic philosophy encourages the technical and scientific interactions between senior academics and young researchers. ReCoSoC 2015 will take place from 29.6. to 1.7.2015 in Bremen, Germany.

event

Visible to the public  SCC 2015
May 03, 2015 8:00 am - May 04, 2015 5:00 pm EDT

Submitted by Anonymous on Tue, 04/07/2015 - 9:58am

On behalf of the Steering Committee of the Software Certification Consortium (SCC) I invite you to attend the 15th Meeting of the SCC, co-located with the High Confidence Software and Systems (HCSS) Conference in Annapolis in early May, 2015.

Registration for SCC is free, but participants are required to register at:

http://cps-vo.org/group/hcss_conference/registration

Venue information is available on the registration web site.

Instructions for Registering for Each Day's Webinar:

event

Visible to the public  VL/HCC 2015
Oct 18, 2015 8:00 am - Oct 22, 2015 5:00 pm EDT

Submitted by Anonymous on Mon, 04/06/2015 - 5:06pm

VL/HCC 2015 - IEEE Symposium on Visual Languages and Human-Centric Computing

October 18-22, 2015 | Atlanta, Georgia, USA

We are pleased to invite you to submit papers to the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), to be held in Atlanta, Georgia, USA at the Georgia Tech Hotel & Conference Center, October 18-22, 2015.

SCOPE AND TOPICS

event

Visible to the public  ERTS² 2016
Jan 27, 2016 8:00 am - Jan 29, 2016 5:00 pm CET

Submitted by akarns on Fri, 03/27/2015 - 3:59pm

Embedded Real Time Software and Systems (ERTS2 2016)

The ERTS2 congress is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centers and industries. The previous editions gathered each more than 100 talks, 500 participants and 60 exhibitors.ERTS2 is both:

event

Visible to the public  FroCoS 2015
Sep 21, 2015 8:00 am - Sep 24, 2015 5:00 pm CEST

Submitted by Anonymous on Wed, 03/18/2015 - 11:37am

10th International Symposium on Frontiers of Combining Systems (FroCoS 2015)

GENERAL INFORMATION

The 10th International Symposium on Frontiers of Combining Systems (FroCoS 2015) will be held in Wroclow, Poland, from September 21 to September 24, 2015. 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  S5 2015
Jun 09, 2015 8:00 am - Jun 11, 2015 5:00 pm EDT

Submitted by Anonymous on Mon, 03/16/2015 - 2:26pm

2015 Safe and Secure Systems and Software Symposium (S5) - Save the Date!

The Air Force Research Laboratory, Aerospace Systems Directorate, Power and Control Division will be hosting the 2015 Safe and Secure Systems and Software Symposium (S5) on 9 - 11 June 2015 at The Crowne Plaza Dayton, Ohio. Please mark your calendars!

event

Visible to the public  SmartFuture 2015
Mar 24, 2015 8:00 am - Mar 25, 2015 5:00 pm EDT

Submitted by Anonymous on Fri, 02/27/2015 - 10:38am

Beyond Today's Internet: Experiencing a Smart Future!

Join US Ignite and GENI March 24-25 in Washington, DC to experience the future of the Internet and the next-generation applications it enables.

US Ignite and GENI, with the help of our partners at the National Science Foundation and Mozilla Foundation, will showcase new applications running on deeply programmable cyberinfrastructure that transcends the current Internet and has the potential to completely transform how we live, work, learn, and play.

event

Visible to the public  MCSoC-15
Sep 23, 2015 8:00 am - Sep 25, 2015 6:45 pm CEST

Submitted by Anonymous on Wed, 02/18/2015 - 4:53pm

The IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip aims at providing the world's premier forum of leading researchers in the embedded Multicore/Many-core SoCs software, tools and applications design areas for Academia and industries.

WORKSHOPS AND SPECIAL SESSIONS INCLUDE:

event

Visible to the public  LOPSTR 2015
Jul 13, 2015 8:00 am - Jul 15, 2015 5:00 pm CEST

Submitted by Anonymous on Wed, 02/18/2015 - 4:33pm

25th International Symposium on Logic-Based Program Synthesis and Transformation

Co-located with PPDP 2015

Conference Description

event

Visible to the public  ATVA 2015
Oct 12, 2015 8:00 am - Oct 15, 2015 5:00 pm CST

Submitted by Anonymous on Thu, 02/05/2015 - 12:22pm

13th International Symposium on Automated Technology for Verification and Analysis

The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The previous events were held in Taiwan - 2003-5, Beijing - 2006, Tokyo - 2007, Seoul - 2008, Macao - 2009, Singapore - 2010, Taiwan - 2011, Thiruvananthapuram - 2012, Hanoi - 2013, and Sydney - 2014.