Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sat 19 Jan 2019 16:25 - 16:50 at Sala VI - Contributed Talks 4 Chair(s): Robbert Krebbers

We will present our early experiences teaching first- and second-year computer science students in Coq, adapting Logical Foundations (the first volume of Software Foundations). Our presentation’s goals are: to offer evidence that such a course is pedagogically sound; to highlight the pedagogical approach taken to teaching Coq and informal proof simultaneously; to document successes and failures, both pedagogically and in Coq’s technical ecosystem; and to seek feedback on pedagogy and course design.

The first author will give the talk.

Slides (coqpl2019_slides.pdf)2.40MiB
Abstract (coqpl19-final8.pdf)521KiB

Sat 19 Jan

Displayed time zone: Belfast change