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

16:00 - 17:40: CoqPL - Contributed Talks 4 at Sala VI
Chair(s): Robbert KrebbersDelft University of Technology
CoqPL-201916:00 - 16:25
Qinxiang CaoShanghai Jiao Tong University
File Attached
CoqPL-201916:25 - 16:50
Michael GreenbergPomona College, Joseph C. OsbornPomona College
File Attached
CoqPL-201916:50 - 17:15
File Attached
CoqPL-201917:15 - 17:40
Georgy LukyanovNewcastle University, UK, Andrey MokhovNewcastle University, UK
File Attached