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 intriguing problems in this field.  

13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'15) http://memocode.irisa.fr/ The University of Texas at Austin, September 21-23, 2015 MEMOCODE will be collocated with FMCAD’15, SAT’15, DIFTS’15, and ACL2’15. CONFERENCE

Ptolemy Miniconference Eleventh Biennial Ptolemy Miniconference will be held on Friday October 16, 2015 at the Bancroft Hotel Great Hall near the University of California, Berkeley campus. The Ptolemy project (http://ptolemy.org) studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components.

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-programmable logic. During the past 24 years, many of the advances achieved in reconfigurable system architectures, applications, embedded processors, design automation methods and tools were first published in the proceedings of the FPL conference series.

9th European Conference on Software Architecture SCOPE The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice. The conference will feature a research track, an industrial track, an education and training track, keynotes, workshops, tutorials, tool and demonstrations, and panels.

The 56th Conference on Simulation and Modelling (SIMS 56) 7-9 October 2015 
“Modelling, Simulation and Optimization” In 2015, the 56th Conference on Simulation and Modelling will be held in Linköping, Sweden.

13th IEEE/IFIP International Conferences on Embedded and Ubiquitous Computing (EUC’2015) Porto, Portugal on October 21-23, 2015. http://www.fe.up.pt/euc2015 Important Dates:

5th International ABZ 2014 Conference (ASM, Alloy, B, TLA, VDM, Z) May 23-27, 2016 -- Linz, Austria http://www.cdcc.faw.jku.at/ABZ2016/

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

42nd International Symposium on Computer Architecture (ACM/IEEE ISCA 2015) The 42nd International Symposium on Computer Architecture (ISCA) is the premier forum for new ideas and experimental results in computer architecture. This year ISCA will be held in the Oregon Convention Center in Portland, Oregon during June 13-17, 2015.