The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security.…

The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security.…

International Conference on Autonomous Agents and Multiagent Systems (AAMAS-18) AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three…

Computing Conference (formerly called Science and Information (SAI) Conference) is a research conference held in London, UK since 2013. The conference series has featured keynote talks, special sessions, poster presentation, tutorials, workshops, and…

The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) In Conjunction with The 13th International Conference on Future Networks and Communications (FNC 2018)     

5th Int. Workshop on Applied Verification for Continuous and Hybrid Systems The ARCH workshop will be held as part of the IFAC Conference on Analysis and Design of Hybrid Systems (ADHS). Philosophy This workshop aims at bringing together researchers…

International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XVII) SAMOS is a unique conference. It deals with embedded systems (sort of) but that is not what makes it different. It brings together every year…

11th  International Workshop on Numerical Software Verification (NSV 2018) Federated Logic Conference (FLoC)  2018

Early registration deadline: March 12, 2018 2nd International Summer School on Deep Learning 2018 (DeepLearn) 23th — 27th July 2018 | Genova, Italy | http://grammars.grlmc.com/DeepLearn2018/ Organized by: University of Genova IRDTA-London

INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN (ISLPED 2018) Pending sponsorship by the ACM Special Interest Group on Design Automation (SIGDA) and the IEEE Circuits and Systems Society (CASS).

The 18th Privacy Enhancing Technologies Symposium: PETS brings together privacy experts from around the world to present and discuss recent advances and new perspectives on research in privacy technologies. PETS/PoPETs is the premier venue for novel…

8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2018) In Cooperation with EUROMICRO The purpose of PECCS is to bring together researchers and practitioners interested in both theoretical…

15th International Conference on Informatics in Control, Automation and Robotics  The purpose of the 15th International Conference on Informatics in Control, Automation and Robotics (ICINCO) is to bring together researchers, engineers and…

The Fourteenth Symposium on Usable Privacy and Security (SOUPS 2018) will take place August 12–14, 2018, at the Baltimore Marriott Waterfront in Baltimore, MD.  The 2018 SOUPS will bring together an interdisciplinary group of researchers and…

The 13th International Conference on Future Networks and Communications What is it about? Research in networks and communication technologies requires very significant investments of stakeholders for enabling our future networking society. Research in…

The Fourth  International Workshop on the Future of the Internet of Things (FIT 2018) in conjunction with The 15th International Conference on Mobile Systems and Pervasive Computing