The 25th International Conference on Field Programmable Logic and Applications The International Conference on Field-programmable Logic and Applications (FPL) was the first and remains the largest conference covering the rapidly growing area of field-…

13th International Conference on Formal Modeling and Analysis of Timed Systems Objective

Attendees: Bosch (Jens, Matthias) , Goran, GE (Simone, Alex) Discussed deliverable content

The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) will take place 1-4 September 2015 in Edinburgh, UK. The workshop is organised by the Computer Science department within the School of Mathematical and Computer…

Discussion on how to implement reachability analysis based on zonotopes into SpaceEx.

Euromicro Conference on Digital System Design (DSD) and Euromicro Conference series on Software Engineering and Advanced Applications (SEAA)

8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015) Collocated with RTSS 2015. San Antonio TX. USA

10th HiPEAC Workshop on Reconfigurable Computing (WRD 2016) January 19, 2016, Prague, Czech Republic | http://www.fe.up.pt/wrc2016

The 12th IEEE International Conference on Embedded Software and Systems Co-located with HPCC 2015 and CSS 2015 *IMPORTANT DATES*

The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE) Registration is open for participants! http://gttse.wikidot.com/2015:registration There is a students' workshop to which one may submit. http://gttse.wikidot.com/2015…

Symposia dedicated to promising research in resilient systems that will protect critical cyber-physical infrastructures from unexpected and malicious threats--securing our way of life. There are five co-located symposia: Resilient Control Systems…

Discussion about vehicle controllers Report on progress on reachability analysis Joint supervision of Evgeny Agamizow

The NSF cyberinfrastructure ecosystem presented an aggregate of complex cybersecurity needs (e.g., scientific data and instruments, unique computational and storage resources, complex collaborations) as compared to other organizations and sectors.…

The 10th International Conference on Future Networks and Communications held in conjunction with The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

The 12th International Conference on Mobile Systems and Pervasive Computing will be held in conjunction with The 10th International Conference on Future Networks and Communications (FNC)

CRYPTO 2015 was the 35th International Cryptology Conference. It was held at the University of California, Santa Barbara (UCSB) from August 16 - 20, 2015. The academic program covered all aspects of cryptology. The conference was…