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

ADG 2014

Tenth International Workshop on Automated Deduction in Geometry Coimbra

Submissions: Jun 22, 2014

http://www.uc.pt/en/congressos/adg/adg2014

—————————————————————- Call for Papers

ADG 2014 Tenth International Workshop on Automated Deduction in Geometry 9-11 July 2014 Coimbra, Portugal

http://www.uc.pt/en/congressos/adg/adg2014

——————————————————————–

ADG (Automated Deduction in Geometry) is a forum dedicated to the exchange of ideas and views, to the [...]

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

ADG2014

ADG 2014, 10th International Workshop on Automated Deduction in Geometry, 9-11 July 2014, University of Coimbra, Portugal. Coimbra

Submissions: May 04, 2014

http://www.uc.pt/en/congressos/adg/adg2014

ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools on the intersection between geometry and automated deduction.

The previous [...]

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

DigitalSec2014

International Conference on Digital Security and Forensics (DigitalSec2014) Ostrava

Submissions: May 25, 2014

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

The proposed conference with the theme “ The International Conference on Digital Security and Forensics (DigitalSec2014) that will be held at VSB-Technical University of Ostrava, Czech Republic on June 24-26, 2014. The event will be held over three days, [...]