[ThEdu] ThEdu'23 tentative programme

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

Dear ThEduers

It is already in the web-page. ThEdu'23 tentative programme


8:45 -   9:00 - Welcome and Announcements
9:00 - 10:00 - session 1 - Isabelle PA in Education
  - Chair Pedro Quaresma

9:00 - 9:30: 7475 - Walther Neuper. Interactive Formal Specification for
                Mathematical Problems of Engineersw
9:30 - 10:00: 8317 - Simon Tobias Lund and Jørgen Villadsen. Teaching
               Higher-Order Logic Using Isabelle

10:00 - 10:30 coffe break

10:30 - 12:30 - session 2 - Invited Talk + Coq PA in Education
  - Chair Julien Narboux

10:30 - 11:30: Invited talk - Yves Bertot

11:30 - 12:00: 3543 - Jelle Wemmenhove, Thijs Beurskens, Sean McCarren, 
Jan Moraal,
                         David Tuin and Jim Portegies. Waterproof: 
educational software for
                     learning how to write mathematical proofs

12:00 - 12:30: 8365 - Qinxiang Cao, Xiwei Wu and Yalun Liang. A Coq 
Library of Sets
                         for Teaching Denotational Semantics

12:30 - 14:00 - lunch

14:00 - 15:30 - session  3 - PAs in Education & Learning Environments
  - Chair Walther Neuper

14:00 - 14:30:  728 - Frédéric Tran Minh. Use of two proof assistants in an
                           introduction to proof course: an experiment

14:30 - 15:00:  1831 - Iro Bartzia, Emmanuel Beffara, Antoine Meyer and 
Julien
                          Narboux. Underlying theories of proof 
assistants and
                          potential impact on the teaching and learning 
of proof

15:00 - 15:30:  5773 - Christophe Scholliers. WebPie: A Tiny Slice of 
Dependent Types

15:30 - 16:00 coffe break

16:00 - 17:30 - session 4 - Bussines Meeting
  - Chairs: Pedro Quaresma, Julien Narboux, Walther Neuper

16:00 - 16:30 bussines meeting

I'm assuming 30min (20+10) for each regular talk and 1h (45+15) for the 
invited talk.

Cheers,

--

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

Assistant Professor Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
Largo D.Dinis
3000-143 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