The Symposium on Dependable Software Engineering: Theories, Tools and Applications will be held November 4-6, 2015 at Nanjing University. Formal methods emerged as a disciple area in computer science and software engineering half a century ago. An…

EMSIG Autumn School 2015 Embedded Systems Special Interest Group (http://www.emsig.net/) is together with IDEA4CPS (http://www.idea4cps.dk/) organizing a five day Autumn School on Embedded Systems. The lectures have been selected to span both embedded…

This conference will focus in areas of intelligent systems and artificial intelligence and how it applies to the real world. It is an opportunity for researchers in this field to meet and discuss solutions, scientific results, and methods in solving…

Paper Submission is open until October 15, 2015! Submit your papers now! ======================================================================================= The Second International Conference on Digital Security and Forensics (DigitalSec2015)…

The sixth annual NSF Cyber-Physical Systems Principal Investigators' Meeting will take place on Monday, November 16 and Tuesday, November 17, 2015 at the Renaissance Arlington Capital View (RACV) Hotel located in the Crystal City…

Asiacrypt 2015 was the 21st Annual International Conference on the Theory and Application of Cryptology and Information Security. It was held at the University of Auckland in Auckland, New Zealand on November 29 - December 3, 2015 A…

Asiacrypt 2015 is the 21st Annual International Conference on the Theory and Application of Cryptology and Information Security. It was held at the University of Auckland in Auckland, New Zealand.

The 36th IEEE Real-Time Systems Symposium (RTSS'15) sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems IEEE Real-Time Systems Symposium (RTSS) is the premier conference in the area of real-time systems, presenting…

DPRTCPS: The First IEEE Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems at the Real-Time Systems Symposium, San Antonio, Texas, USA Declarative programming (functional, logic, rule-based, constraints, dataflow, and visual)…

The goal of this workshop was to bring together, for the first time, American and Brazilian cyber security researchers to discuss the main challenges of the field, and to promote cross-collaboration and the building of ties among the attendees. This…

2015 International Conference on ReConFigurable Computing and FPGA's (ReConFig 2015)  December 7-9, 2015, Mayan Riviera, Mexico | www.reconfig.org 3 Keynote Speeches Technical Sessions (General Sessions + 8 Special Tracks) PhD Forum Demo…

ACSAC brings together cutting edge researchers, with a broad cross-section of security professionals drawn from industry, government and academia, gathered to present and discuss the latest security results and topics. With peer reviewed papers, invited…

Annual Landin Semantics Seminar: Semantic Families for Cyber-Physical Systems By Prof. Jan Peleska | jointly organized by FME Europe and BCS-FACS Specialist Group Venue: BCS, First Floor, The Davidson Building, 5 Southampton Street, London,…

Workshops on Dynamic Data Driven Applications Systems (DDDAS) In conjunction with: 22nd International Conference on High Performance Computing (HiPC)  Overview  The Dynamic Data Driven Applications Systems…

You are invited to participate in The Second International Conference on Digital Information Processing, Data Mining, and Wireless Communications (DIPDMWC2015) that will be held in Islamic Azad University, Academic City, Dubai, UAE, on December 3-5, 2015…