2016

event

Visible to the public  DAC 2016
Jun 05, 2016 7:00 am - Jun 09, 2016 6:00 pm CDT

Design Automation Conference 2016

Austin Convention Center, Austin, Texas | June 5 - 9, 2016 | www.dac.com

event

Visible to the public  HOST 2016
May 03, 2016 7:00 am - May 05, 2016 6:00 pm EDT

CALL FOR PAPERS: IEEE International Symposium on Hardware Oriented Security and Trust (HOST) 2016

The Ritz - Carlton Tysons Corner

event

Visible to the public  CAV 2016
Jul 17, 2016 7:00 am - Jul 23, 2016 6:00 pm EDT

28th International Conference on Computer Aided Verification (CAV 2016)

Important Dates (All deadlines are 4pm EST):

event

Visible to the public  ASPLOS 2016
Apr 02, 2016 7:00 am - Apr 06, 2016 6:00 pm EDT

Twenty First International Conference on Architectural Support for Programming Languages and Operating Systems

ASPLOS is the premier forum for multidisciplinary systems research spanning computer architecture and hardware, programming languages and compilers, operating systems and networking, as well as applications and user interfaces. The research may target diverse goals such as performance, energy and thermal efficiency, resiliency, security, and sustainability.

event

Visible to the public  STAF 2016
Jul 04, 2016 7:00 am - Jul 08, 2016 6:00 pm CEST

Software Technologies: Applications and Foundations (STAF 2016)

Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. The participating conferences focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.

event

Visible to the public  ICGT 2016
Jul 05, 2016 7:00 am - Jul 06, 2016 6:00 pm CEST

9th International Conference on Graph Transformation (ICGT 2016)

Graphs are used almost everywhere when representing or modelling structures and systems, not only in applied and theoretical computer science, but also in, e.g., natural and engineering sciences. Graph transformation and graph grammars are the fundamental modelling paradigms for describing, formalizing, and analyzing graphs that change over time when modelling, e.g., dynamic data structures, systems, or models.

event

Visible to the public  PLDI 2016
Jun 13, 2016 8:00 am - Jun 17, 2016 5:00 pm CDT

2016 ACM Conference on Programming Language Design and Implementation (PLDI)

PLDI 2016 is the 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation.

PLDI is a premier forum for all areas of programming language research, including the design, implementation, theory, and efficient use of languages. PLDI's emphases include innovative and creative approaches to compile-time and runtime technology, novel language designs and features, and results from implementations.

Important Dates

event

Visible to the public  DisCoTec 2016
Jun 06, 2016 8:00 am - Jun 09, 2016 5:00 pm EEST

11th International Federated Conference on Distributed Computing Techniques

The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information processing (IFIP). This year the main conferences, taking place in Heraklion, Crete, Greece on June 6-9, are:

event

Visible to the public  Coordination 2016
Jun 06, 2016 8:00 am - Jun 08, 2016 5:00 pm EEST

18th IFIP International Conference on Coordination Models and Languages

Scope