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

IJCAR 2014

The 7th International Joint Conference on Automated Reasoning Vienna

Submissions: Jan 15, 2014

http://cs.nyu.edu/ijcar2014/

IJCAR 2014 – The 7th International Joint Conference on Automated Reasoning Vienna, Austria, July 19-22, 2014

http://cs.nyu.edu/ijcar2014/

as part of FLoC 2014 – Federated Logic Conference

http://www.floc-conference.org/

as part of VSL 2014 – Vienna Summer of Logic

[...]

Symposium at the annual convention of the AISB

Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour; http://www.aisb.org.uk) Exeter

Submissions: Jan 14, 2013

http://www.aisb.org.uk

CALL FOR CONTRIBUTIONS

Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour;

http://www.aisb.org.uk)

University of Exeter 2-5 [...]

FroCoS 2013

FroCoS 2013 9th International Symposium on Frontiers of Combining Systems Nancy, France Nancy

Submissions: Apr 15, 2013

http://frocos2013.loria.fr/

FIRST CALL FOR PAPERS

FroCoS 2013 9th International Symposium on Frontiers of Combining Systems Nancy, France September 18-20, 2013

Submission Deadlines: 15 Apr 2013 (Abs.), 22 Apr 2013 (Paper)

http://frocos2013.loria.fr/

GENERAL INFORMATION The [...]

MDK MCS

Special Issue on Mathematics, Data and Knowledge, Mathematics in Computer Science Thuwal

Submissions: Mar 31, 2013

http://mine.kaust.edu.sa/Pages/CFP-MCS-SI.aspx

Call for Papers

Special Issue on Mathematics, Data and Knowledge (

http://mine.kaust.edu.sa/Pages/CFP-MCS-SI.aspx)

Mathematics in Computer Science (

http://www.springer.com/birkhauser/mathematics/journal/11786)

There is a growing interest in applying mathematical theories and methods (from topology, computational geometry, differential equations, [...]

Do-Form 2013

Do-Form: Enabling Domain Experts to use Formalised Reasoning (Symposium @ AISB 2013) Exeter

Submissions: Jan 14, 2013

http://cs.bham.ac.uk/research/projects/formare/events/aisb2013

Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour;

http://www.aisb.org.uk)

University of Exeter, UK 2-5 April 2013

http://emps.exeter.ac.uk/computer-science/research/aisb/

SPECIAL SESSIONS with * Utku Ünver (market [...]

AISB 2013

Artificial Intelligence and Simulation of Behaviour 2013 Exeter

Submissions: Jan 14, 2013

http://emps.exeter.ac.uk/computer-science/research/aisb/

CALL FOR CONTRIBUTIONS

Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour;

http://www.aisb.org.uk)

University of Exeter, UK 2-5 April 2013

http://emps.exeter.ac.uk/computer-science/research/aisb/

SPECIAL SESSIONS with * Utku Ünver (market design and [...]

ARiSVe 2013

1st International Workshop on Automated Reasoning in Software Verification New York

Submissions: Jul 31, 2038

http://arisve2013.lri.fr/

Call For Papers

1st International Workshop on Automated Reasoning in Software Verification

http://arisve2013.lri.fr/

Monday, June 10, 2013 Lake Placid, NY, USA Affiliated with CADE-24

Aims and Scope

The focus of the workshop is application [...]

AISB 2013

Enabling Domain Experts to use Formalised Reasoning, Stage 2 Exeter

http://emps.exeter.ac.uk/computer-science/research/aisb/

CALL FOR CONTRIBUTIONS

Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour;

http://www.aisb.org.uk)

University of Exeter, UK 2-5 April 2013

http://emps.exeter.ac.uk/computer-science/research/aisb/

SPECIAL SESSIONS with * Utku Ünver (market design and matching problems) [...]

FroCoS 2013 Second Call for Papers

FroCoS 2013 9th International Symposium on Frontiers of Combining Systems Nancy

Submissions: Apr 15, 2013

http://frocos2013.loria.fr/

SECOND CALL FOR PAPERS

FroCoS 2013 9th International Symposium on Frontiers of Combining Systems Nancy, France September 18-20, 2013

Submission Deadlines: 15 Apr 2013 (Abs.), 22 Apr 2013 (Paper)

http://frocos2013.loria.fr/

GENERAL INFORMATION The 9th [...]