PAS 2013

Special Issue of Journal of Symbolic Computation on Program Verification, Automated Debugging and Symbolic Computation Beijing

Submissions: Mar 31, 2014

http://pas2013.cc4cm.org/jsc-pas.html

Special Issue of Journal of Symbolic Computation on Program Verification, Automated Debugging and Symbolic Computation

http://pas2013.cc4cm.org/jsc-pas.html

CALL FOR PAPERS

Important dates

- Submission of papers: March 31, 2014 – Notification [...]

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

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

TAEECE2015

The Third International Conference on Technological Advances in Electrical, Electronics and Computer Engineering Beirut

Submissions: Mar 29, 2015

http://sdiwc.net/conferences/taeece2015/

All the papers will be submitted to IEEE for potential inclusion to IEEE Xplore as well as other Abstracting and Indexing (A&I) databases.

The Third International Conference on Technological Advances in Electrical, Electronics and [...]

CSCESM2014

The International Conference on Computer Science, Computer Engineering, and Social Media (CSCESM2014) Thessaloniki

Submissions: Oct 12, 2014

http://sdiwc.net/conferences/cscesm2014/

The International Conference on Computer Science, Computer Engineering, and Social Media (CSCESM2014)

Metropolitan College, Thessaloniki, Greece December 12-14, 2014 | cscesm14@sdiwc.net

http://sdiwc.net/conferences/cscesm2014/

All registered papers will be included in SDIWC Digital Library. ================================================================ The conference [...]

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, Nike Air Max 2016 [...]

Logica 2014

Logica 2014 Hejnice

Submissions: Feb 15, New Balance Pas Cher 2014

http://www.flu.cas.cz/en/logica2014

Logica 2014 is the 28th in the series of annual international symposia devoted to logic.

Invited speakers are Dorothy Edgington, Fjallraven Kanken Baratas Dag Prawitz, Cheap Nike shoes Graham Priest and Göran Sundholm.

Submission guidelines can be found at the conference [...]

WoLLIC 2014

21st Workshop on Logic, Language, Information and Computation Valparaiso

Submissions: Mar 24, 2014

http://www.aslonline.org/studenttravelawards.html

WoLLIC 2014 21st Workshop on Logic, Language, Information and Computation September 1st to 4th, 2014 Valparaiso, Chile

SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic [...]

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 —

[...]

EECEA2014

The International Conference on Electrical, Electronics, Computer Engineering and their Applications (EECEA2014) Kuala Lumpur

Submissions: Oct 17, 2014

http://sdiwc.net/conferences/eecea2014/

The proposed conference with the theme “Electrical, Electronics, Computer Engineering and their Applications (EECEA2014) “ will be held at Asia Pacific University of Technology and Innovation (APU), Kuala Lumpur, Malaysia on November 17-19, 2014. [...]