Symposium

event

Visible to the public  PADL 2017
Jan 16, 2016 7:00 am - Jan 17, 2016 6:00 pm CET

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

19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017)

16th and 17th January 2017 | Paris, France | http://bit.ly/PADL-2017

Co-located with ACM POPL 2017 - http://conf.researchr.org/home/POPL-2017

event

Visible to the public  VL/HCC 2016
Sep 04, 2016 7:00 am - Sep 07, 2016 6:00 pm BST

Submitted by Anonymous on Fri, 07/15/2016 - 4:12pm

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

From the beginning of the computer age, people have sought easier ways to learn, express, and understand computational ideas. Whether this meant moving from punch cards to textual languages, or command lines to graphical UIs, the quest to make computation easier to express, manipulate, and understand by a broader group of people is an ongoing challenge.

event

Visible to the public  SVT 2017
Apr 03, 2017 7:00 am - Apr 07, 2017 6:00 pm CEST

Submitted by Anonymous on Fri, 07/15/2016 - 3:37pm

For the past thirsty years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2017 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the University of Quebec (Montreal, Canada), University Cadi Ayyad (Marrakech, Morocco), Mohamed V University of Rabat - Mohammadia School Of Engineers (Rabat, Morocco) and National School of Applied Sciences (Kenitra, Morocco).

event

Visible to the public  SAC 2017
Apr 03, 2017 7:00 am - Apr 07, 2017 6:00 pm CEST

Submitted by Anonymous on Fri, 07/15/2016 - 3:33pm

32nd Annual ACM Symposium on Applied Computing (SAC 2017)

Sponsored by
ACM Special Interest Group on Applied Computing (SIGAPP)
The SRC Program is sponsored by Microsoft Research

Hosted by
University of Quebec at Montreal, Canada
University Cadi Ayyad (UCA) of Marrakech, Morocco
Mohamed V University of Rabat - Mohammadia School Of Engineers (EMI), Rabat Morocco
National School of Applied Sciences (ENSA) of Kenitra, Morocco

event

Visible to the public  SBMF 2016
Nov 21, 2016 7:00 am - Nov 25, 2016 6:00 pm -02

Submitted by Anonymous on Wed, 07/06/2016 - 1:14pm

Brazilian Symposium on Formal Methods (SBMF2016)

Promoted by the Brazilian Computer Society (SBC)

21st to 25th of November, 2016 | Natal, Rio Grande do Norte, Brazil | http://sbmf2016.imd.ufrn.br/

IMPORTANT DATES

event

Visible to the public  FSE 2016
Nov 13, 2016 7:00 am - Nov 18, 2016 6:00 pm CST

Submitted by Anonymous on Mon, 06/06/2016 - 1:16pm

The 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016)

What's new with FSE 2016?

event

Visible to the public  LOPSTR 2016
Sep 06, 2016 7:00 am - Sep 08, 2016 6:00 pm BST

Submitted by Anonymous on Mon, 05/09/2016 - 3:20pm

26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)

(co-located with PPDP 2016 and SAS 2016)

event

Visible to the public  S5 2016
Jul 12, 2016 7:00 am - Jul 14, 2016 6:00 pm EDT

Submitted by Anonymous on Tue, 04/26/2016 - 3:15pm

Safe and Secure Systems and Software Symposium (S5)

The Safe and Secure Systems and Software Symposium focuses on bringing together academic, industry, and government parties concerned with the safety and security of highly complex or autonomous safety critical systems. The test and evaluation, verification and validation of autonomous systems has been highlighted in several government strategic documents as the limiting factor for enabling future highly complex and autonomous systems for military and civilian use.

event

Visible to the public  Hot SoS at Carnegie Mellon University
Apr 19, 2016 4:30 pm - Apr 21, 2016 5:30 pm EDT

Submitted by Heather Lucas on Wed, 04/13/2016 - 3:25pm

3rd Annual Symposium and Bootcamp on the Science of Security (HotSoS)

Carnegie Mellon University

Overview