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

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

SCSS 2013

JOURNAL OF SYMBOLIC COMPUTATION on SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE Castle of Hagenberg

Submissions: Jan 10, 2014

http://www.risc.jku.at/people/tkutsia/jsc-scss-2013.html

—————————————- Special issue of the

JOURNAL OF SYMBOLIC COMPUTATION

on

SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE —————————————-

http://www.risc.jku.at/people/tkutsia/jsc-scss-2013.html

IMPORTANT DATES ——— Paper submission: January 10, 2014 Notification of acceptance: April 4, 2014 Publication: Second half of [...]

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

CSS 2013

5th International Symposium on Cyberspace Safety and Security Zhangjiajie

Submissions: Jun 15, 2013

http://www.ietf.org/mail-archive/web/sdn/current/msg00195.html

Call for Papers for the 5th International Symposium on Cyberspace Safety and Security (CSS 2013)

– Highlight:

The symposiums/workshops (SQC-13/SRTC-13/TrustData-13/HNCC-13) will be held in conjunction with CSS-13. More symposiums/workshops will be added later. –

Organizers: Central South [...]

CiE 2013

CiE 2013: The Nature of Computation Logic, Algorithms, Applications Milano

Submissions: Jan 20, 2013

http://cie2013.disco.unimib.it

************************************************************************ CALL FOR PAPERS:

CiE 2013: The Nature of Computation

Logic, Algorithms, Applications

Milan, Italy

July 1 – 5, 2013

http://cie2013.disco.unimib.it

IMPORTANT DATES:

Submission Deadline for LNCS: 20 January 2013 Notification of authors: 4 [...]

ISSAC 2013

SECOND CALL FOR PAPERS ISSAC 2013:International Symposium on Symbolic and Algebraic Computation Boston

Submissions: Jan 14, 2013

http://www.issac-conference.org/2013

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

ISSAC 2013

International Symposium on Symbolic and Algebraic Computation Boston, USA, June 26-29, 2013

SECOND CALL FOR PAPERS

http://www.issac-conference.org/2013

PAPER SUBMISSION DEADLINE: Monday, January 14, 2013

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

The International Symposium [...]

SCSS 2012

International Symposium on Symbolic Computation in Software Science Gammarth

Submissions: Nov 30, 2012

http://www.cedar-forest.org/forest/events/scss2012/

*Call for Participation* *(Early registration: November 30, 2012) *

*SCSS 2012*

http://www.cedar-forest.org/forest/events/scss2012/

International Symposium on Symbolic Computation in Software Science, December 15-17 2012 Gammarth, Tunisia

Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic [...]

ISSAC 2013

International Symposium on Symbolic and Algebraic Computation Boston

Submissions: Jan 14, 2013

http://www.issac-conference.org/2013

ISSAC 2013

International Symposium on Symbolic and Algebraic Computation Boston, USA, June 26-29, 2013

FINAL CALL FOR PAPERS

http://www.issac-conference.org/2013

PAPER SUBMISSION DEADLINE: Monday, January 14, 2013

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

The International Symposium on Symbolic and Algebraic Computation is the [...]