CPS2014

The International Conference on Embedded, Pervasive and Cyber-Physical Systems (CPS2014) Kuala Lumpur

Submissions: Oct 17, 2014

http://sdiwc.net/conferences/2014/cps2014/

All registered papers will be included in SDIWC Digital Library, and in the proceedings of the conference.

The International Conference on Embedded, Pervasive and Cyber-Physical Systems (CPS2014) November 17-19, 2014 – Kuala Lumpur, Malaysia | cps2014@sdiwc.net

[...]

ICIEIS2014

The Third International Conference on Informatics Engineering and Information Science (ICIEIS2014) Lodz

Submissions: Aug 22, 2014

http://sdiwc.net/conferences/2014/icieis2014/

The Third International Conference on Informatics Engineering and Information Science (ICIEIS2014) Lodz University of Technology, Lodz, Poland September 22-24, 2014.

http://sdiwc.net/conferences/2014/icieis2014/

======================================================================== The proposed conference on the above theme will be held at Lodz University [...]

AI4FM 2014

the 5th International Workshop on the use of AI in Formal Methods Singapore

Submissions: Mar 01, 2014

http://www.ai4fm.org/ai4fm-2014/

————————————————- AI4FM 2014 – the 5th International Workshop on the use of AI in Formal Methods

http://www.ai4fm.org/ai4fm-2014/

Singapore, 12th or 13th May, 2014 In association with FM 2014 ————————————————- — First Call for Contributions [...]

WRLA 2014

10th International Workshop on Rewriting Logic and its Applications Grenoble

Submissions: Dec 30, 2013

http://www.dsic.upv.es/workshops/wrla2014/

10th International Workshop on Rewriting Logic and its Applications

WRLA 2014 Grenoble, France, April 5th and 6th, 2014

http://www.dsic.upv.es/workshops/wrla2014/

The workshop will be held in conjunction with ETAPS 2014 17th European Joint Conferences on Theory and Practice of [...]

ICDIPC 2014

IThe Fourth International Conference on Digital Information Processing and Communications Kuala Lumpur

Submissions: Feb 18, 2014

http://sdiwc.net/conferences/2014/icdipc2014/

The Fourth International Conference on Digital Information Processing and Communications (ICDIPC2014) Asia Pacific University of Technology and Innovation (APU), Kuala Lumpur, Malaysia March 18-20, 2014

http://sdiwc.net/conferences/2014/icdipc2014/

=================================================================================================================== The proposed conference will be held at Asia Pacific [...]

ComSec2014

International Conference on Computer Security and Digital Investigation (ComSec2014) Kuala Lumpur

Submissions: Feb 18, 2014

http://sdiwc.net/conferences/2014/comsec2014/

The proposed conference on the above theme will be held at Asia Pacific University of Technology and Innovation (APU) in Kuala Lumpur, Malaysia, on March 18-20, 2014 which aims to enable researchers build connections between different digital [...]

ARQNL

Automated Reasoning in Quantified Non-Classical Logics Vienna

Submissions: Apr 14, 2014

http://vsl2014.at/pages/ARQNL-index.html

The ARQNL workshop aims at fostering the development of proof calculi, ATP systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area. These [...]

SYNASC 2014

SYNASC 2014 – 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara

Submissions: Apr 15, 2014

http://synasc.ro/2014/

First Call for Papers ———————

SYNASC 2014

16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 22-25, 2014, Timisoara, Romania

http://synasc.ro/2014/

http://synasc14.info.uvt.ro/

Aim —

SYNASC aims to stimulate [...]

DIPECC2014

The Second International Conference on Digital Information Processing, E-Business and Cloud Computing (DIPECC 2014) Dubai

Submissions: Mar 10, 2014

http://sdiwc.net/conferences/2014/dipecc2014/

The proposed conference on the above theme will be held at Islamic Azad University, UAE Branch, Dubai UAE from April 09-11, 2014 which aims to enable researchers build connections between different digital applications. [...]

ComSec2014

International Conference on Computer Security and Digital Investigation (ComSec2014) Kuala Lumpur

Submissions: Feb 18, 2014

http://sdiwc.net/conferences/2014/comsec2014/

The proposed conference on the above theme will be held at Asia Pacific University of Technology and Innovation (APU) in Kuala Lumpur, Malaysia, on March 18-20, 2014 which aims to enable researchers build connections between different digital [...]