ThEdu’17

Theorem proving components for Educational software Gothenburg

Submissions: Jun 18, 2017

http://www.uc.pt/en/congressos/thedu/thedu17

ThEdu’17 Scope

Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop brings together experts in automated deduction with experts in education in […]

ThEdu’17 2nd CFP

Theorem Proving Components for Educational Software, ThEdu’17 Gothenburg

Submissions: Jun 18, 2017

http://www.uc.pt/en/congressos/thedu/thedu17

ThEdu’17 Theorem proving components for Educational software 6 August 2017 http://www.uc.pt/en/congressos/thedu/thedu17 – – – – – – – – – – – – – – – – – – – – – – – – – – – – […]

ThEdu’17 Post-proceedings

Post-proceedings – 6th International Workshop on Theorem proving components for Educational software Gothenburg

Submissions: Nov 17, 2017

http://www.uc.pt/en/congressos/thedu/thedu17

Call for Papers – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – […]

ThEdu’18

Theorem proving components for Educational software Oxford

Submissions: Apr 15, 2018

http://www.uc.pt/en/congressos/thedu/thedu18/

THedu’18 Scope:

Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop brings together experts in automated deduction with experts in education […]

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

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 —

[…]

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:

[…]

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