vsl2014

Joint 25th International Conference on REWRITING TECHNIQUES AND APPLICATIONS and 12th International Conference on TYPED LAMBDA CALCULI AND APPLICATIONS Vienna

Submissions: Jan 28, 2014

http://vsl2014.at/rta-tlca

Joint 25th International Conference on REWRITING TECHNIQUES AND APPLICATIONS and 12th International Conference on TYPED LAMBDA CALCULI AND APPLICATIONS

July 14–17, 2014, Vienna, Austria

http://vsl2014.at/rta-tlca

====================================== IMPORTANT [...]

ICIA2014

The Third International Conference on Informatics & Applications (ICIA2014) Kuala Terengganu

Submissions: Sep 06, 2014

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

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

The Third International Conference on Informatics & Applications (ICIA2014) October 6-8, 2014 – Kuala Terengganu, Malaysia | icia2014@sdiwc.net

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

First [...]

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

ICIA2014

The Third International Conference on Informatics & Applications Kuala Terengganu

Submissions: Sep 06, 2014

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

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

The Third International Conference on Informatics & Applications (ICIA2014) October 6-8, 2014 – Kuala Terengganu, Malaysia | icia2014@sdiwc.net

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

First Submission [...]

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

SYNASC 2014

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

Submissions: Apr 30, 2014

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

[Please post - apologies for multiple copies.]

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 —

[...]

CyberForensics2014

The International Conference on Cyber-Crime Investigation and Digital Forensics (CyberForensics2014) Kuala Lumpur

Submissions: Oct 17, 2014

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

The proposed conference on the above theme will be held at Asia Pacific University of Technology and Innovation (APU) in Kuala Lumpur, Malaysia on November 17-19, 2014 as part of The Third World Congress on Computing [...]

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