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 [...]

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 [...]

ICGTDA2014

The International Conference on Game-Theory, Development, and Applications (ICGTDA2014) Kuala Lumpur

Submissions: Feb 18, 2014

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

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

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 [...]

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 [...]

CGMIP2014

The International Conference on Computer Graphics, Multimedia and Image Processing (CGMIP2014) Kuala Lumpur

Submissions: Oct 17, 2014

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

The proposed conference with the theme “ Computer Graphics, Multimedia and Image Processing (CGMIP2014) that will be held in Asia Pacific University of Technology and Innovation (APU), Kuala Lumpur, Malaysia on November 17-19, 2014 as [...]

ISDF2014

The International Conference in Information, Security, and Digital Forensics Thessaloniki

Submissions: Oct 12, 2014

http://sdiwc.net/conferences/isdf2014/

The proposed conference on the above theme The International Conference in Information, Security, and Digital Forensics (ISDF2014) will be held at Metropolitan College on December 12-14, 2014 which aims to enable researchers build connections between different digital applications. [...]

CGMIP2014

The International Conference on Computer Graphics, Multimedia and Image Processing (CGMIP2014)

Submissions: Oct 17, 2014

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

The conference aims to enable researchers build connections between different digital applications. The event will be held over three days, with presentations delivered by researchers from the international community, including presentations from keynote speakers and state-of-the-art lectures.

[...]