<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">
<html><head><meta name="qrichtext" content="1" /><style type="text/css">
p, li { white-space: pre-wrap; }
</style></head><body style=" font-family:'DejaVu Sans Mono'; font-size:9pt; font-weight:400; font-style:normal;">
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Call for Extended Abstracts & Demonstrations</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">- </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">ThEdu'15</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Theorem proving components for Educational software</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> July 13-17, 2015</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> </span><a href="http://www.uc.pt/en/congressos/thedu/thedu15[1]"><span style=" font-size:11px; text-decoration: underline; color:#0057ae;">http://www.uc.pt/en/congressos/thedu/thedu15[1]</span></a><span style=" font-size:11px; color:#1f1c1b;">)</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> at CICM 2015</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Conferences on Intelligent Computer Mathematics</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Washington DC, USA</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> </span><a href="http://cicm-conference.org/2015[2]"><span style=" font-size:11px; text-decoration: underline; color:#0057ae;">http://cicm-conference.org/2015[2]</span></a></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">THedu'15 Scope:</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> The distinguishing feature of mathematics is reasoning: questionable</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> statements are proved by the laws of logic. This kind of reasoning</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> makes mathematics a central thinking technology of modern science.</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Educational software tools have integrated technologies from</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Computer Algebra, from Dynamic Geometry, from Spreadsheets and</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> others, but not from (computer) theorem proving (TP) with few</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> exceptions: the latter have been developed to model mathematical</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> reasoning in software; theorem provers (TPs) are successfully used</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> to tackle difficult proofs in the science of mathematics, like the</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Four Color Problem or the Kepler Conjecture; and TPs are</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> successfully used to verify safety critical software in industry.</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> This workshop addresses support for reasoning in mathematics education</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> by use of TP technology.</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> The workshop addresses educators and designers and developers of TPs</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> as well as of other educational mathematics software; and the</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> discussions shall clarify the requirements of education, identify</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> advantages and promises of TP for learning and motivate development</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> of a novel kind of tools probably establishing a new generation of</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> educational mathematical tools.</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">Important Dates</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> * Extended Abstracts: 24 May 2015</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> * Author Notification: 08 June 2015</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> * Final Version: 21 June 2015</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> * Workshop Day: 1 day (13-17 July)</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">Points of interest include:</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Adaption of TP - concepts and technologies for education: knowledge</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> representation, simplifiers, reasoners; undefinednes, level of</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> abstraction, etc.</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Requirements on software support for reasoning - reasoning appears</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> as the most advanced method of human thought, so at which age</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> and what kind of support TP can provide?</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Automated TP in geometry - relating intuitive evidence with logical</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> rigor: specific provers, adaption of axioms and theorems, visual</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> proofs, etc.</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Levels of authoring - in order to cope with generality of TP:</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> experts adapt to specifics of countries or levels, teachers adapt</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> to courses and students.</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Adaptive modules, students modeling and learning paths - services</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> for user guidance provided by TP technology: which interfaces</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> enable flexible generation of adaptive user guidance?</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Next-step-guidance, which suggests a next step when a student gets</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> stuck in problem solving: which computational methods can extend</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> TP for that purpose?</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> TP as unifying foundation - for the integration of technologies like</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> CAS, DGS, Spreadsheets etc: interfaces for unified support of</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> reasoning?</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Continuous tool chains - for mathematics education from high-school</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> to university, from algebra and geometry to graph theory etc.</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">Submission</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> We welcome submission of extended abstracts and demonstration</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> proposals presenting original unpublished work which is not been</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> submitted for publication elsewhere.</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> All accepted extended abstracts and demonstrations will be presented</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> at the workshop. The extended abstracts will be made available</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> online.</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Extended abstracts and demonstration proposals should be submitted via</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> THedu'15 easychair (</span><a href="https://www.easychair.org/conferences/?conf=thedu15[3]"><span style=" font-size:11px; text-decoration: underline; color:#0057ae;">https://www.easychair.org/conferences/?conf=thedu15[3]</span></a><span style=" font-size:11px; color:#1f1c1b;">).</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Extended abstracts and demonstration proposals should be no more than</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> 4 pages in length and are to be submitted in PDF format. They must</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> conform to the EPTCS style guidelines (</span><a href="http://style.eptcs.org/[4]"><span style=" font-size:11px; text-decoration: underline; color:#0057ae;">http://style.eptcs.org/[4]</span></a><span style=" font-size:11px; color:#1f1c1b;">).</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> At least one author of each accepted extended abstract/demonstration</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> proposal is expected to attend THedu'15 and presents his/her extended</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> abstract/demonstration.</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">Program Committee</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Francisco Botana, University of Vigo at Pontevedra, Spain</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Roman Hašek, University of South Bohemia, Czech Republic</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Filip Maric, University of Belgrade, Serbia</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Walther Neuper, Graz University of Technology, Austria (co-chair)</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Pavel Pech, University of South Bohemia, Czech Republic</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Pedro Quaresma, University of Coimbra, Portugal (co-chair)</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Vanda Santos, CISUC, Portugal</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Wolfgang Schreiner, Johannes Kepler University, Austria</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> Burkhart Wolff, University Paris-Sud, France</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">Proceedings</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">Following ThEdu'13 and ThEdu'14 practise we expect to have a joint</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">proceedings of the workshops co-located with the Conferences on</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">Intelligent Computer Mathematics. </span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">---//---</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> IJCAR 2016, International Joint Conference on Automated Reasoning, 27 June - 1 </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">July, 2016, Coimbra, Portugal.</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> CICM 2015, Conference on Intelligent Computer Mathematics, July 13-17, 2015, </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">Washington DC, USA.</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> ThEdu'15, 4th International Workshop on Theorem proving components for </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">Educational software, colocated with CICM 2015, July 13-17, 2015, Washington DC, </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">USA. </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> CIEMeLP 2015, Conferência Internacional do Espaço Matemático em Língua </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">Portuguesa, 28 a 31 de Outubro de 2015 em Coimbra, Portugal. </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">---//---</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">-- </span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;"> At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">Professor Auxiliar Pedro Quaresma</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">Departamento de Matem\'atica, Faculdade de Ci\^encias e Tecnologia</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">Universidade de Coimbra</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">P-3001-454 COIMBRA, PORTUGAL</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">correioE: </span><a href="mailto:pedro@mat.uc.pt"><span style=" font-size:11px; text-decoration: underline; color:#0057ae;">pedro@mat.uc.pt</span></a></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">p\'agina: </span><a href="http://www.mat.uc.pt/~pedro/"><span style=" font-size:11px; text-decoration: underline; color:#0057ae;">http://www.mat.uc.pt/~pedro/</span></a></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">telef: +351 239 791 137; fax: +351 239 832 568</span><span style=" font-size:11px; color:#1f1c1b; background-color:#ffffff;"><br /></span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">--------</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">[1] </span><a href="http://www.uc.pt/en/congressos/thedu/thedu15"><span style=" font-size:11px; text-decoration: underline; color:#0057ae;">http://www.uc.pt/en/congressos/thedu/thedu15</span></a></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">[2] </span><a href="http://cicm-conference.org/2015"><span style=" font-size:11px; text-decoration: underline; color:#0057ae;">http://cicm-conference.org/2015</span></a></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">[3] </span><a href="https://www.easychair.org/conferences/?conf=thedu15"><span style=" font-size:11px; text-decoration: underline; color:#0057ae;">https://www.easychair.org/conferences/?conf=thedu15</span></a></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"><span style=" font-size:11px; color:#1f1c1b;">[4] </span><a href="http://style.eptcs.org/"><span style=" font-size:11px; text-decoration: underline; color:#0057ae;">http://style.eptcs.org/</span></a></p></body></html>