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

QTML 2017

1st Workshop on Quantum Techniques in Machine Learning Verona

Submissions: Sep 16, 2017

http://qtml2017.di.univr.it

Quantum Computing (QC) has been for a long time known only for a restricted set of applications where it allows for the achievement of an exponential speed up over the classical computer (e.g. the simulation of quantum physics and […]

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

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

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 —

[…]

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