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 —

[...]

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

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

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

FOMCAF13

Foundation of Mathematics for Computer-Aided Formalization Padova

Submissions: Jan 09, 2013

http://events.math.unipd.it/fomcaf13/

Call for participation

We are pleased to announce the workshop

“Foundation of Mathematics for Computer-Aided Formalization”

to be held in Padova (Italy), 9-11 January 2013.

For more information (motivations, registration, contributed talks) please refer to the webpage:

http://events.math.unipd.it/fomcaf13/

Invited speakers include:

[...]

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

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

CICM 2013

Conferences on Intelligent Computer Mathematics Bath

Submissions: Mar 01, 2013

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

As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The [...]