[ThEdu] ThEdu'22 program

[Pedro Quaresma <pedro@mat.uc.pt>]

Dear ThEduers

The ThEdu'22 program it is taking shape. You can see it in the Web-page 
and it will be avaliable in the FloC program soon (I already added it).


79F 9:00 -   9:30 - Welcome and Announcements --- Pedro Quaresma

81B  9:30 - 10:30 --- Automated Deduction Educational Applications --- 
Pedro Quaresma

          9:30  - 10:00 - Frederik Krogsdal Jacobsen and Jørgen 
Villadsen. On Exams with the Isabelle Proof Assistant

        10:00 - 10:30 - Joomy Korkut. A Proof Tree Builder for Sequent 
Calculus and Hoare Logic

10:30 - 11:00 - coffee break

82H 11:00 - 12:30 --- SMT in Education & Rule Based ATP ---

        11:00 - 12:00 - Yoni Zohar. Satisfiability Modulo Theories in 
an Undergraduate Class

        12:00 - 12:30 - Nuno Baeta, Pedro Teixeira and Pedro Quaresma. 
Rule Based Geometry Automated Theorem Provers

12:30 - 14:00 - lunch

84H 14:00 - 15:30  --- Proofs in Education (High-School) ---

         14:00 - 15:00 - Thierry Dana-Picard. Computer assisted proofs 
and automated methods in Mathematics Education

          15:00 - 15:30 - Joana Teles, Vanda Santos and Pedro Quaresma, 
A Rule Based Theorem Prover: an Introduction to Proofs at 7th Year

15:30 - 16:00 - coffee break

85H 16:00 - 17:30 - business meeting (we only need 30 min for that) --- 
Pedro Quaresma


Cheers,

--

At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia

Professor Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
P-3001-454 COIMBRA, PORTUGAL
Elec. mail: pedro@mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568