1:00pm–2:30pm Development of modules or problem-sets
addressing the critical areas. Presentations and discussion.
Collective effort to develop a proposal for a larger, funded,
workshop on the topic.
In advance of the workshop participants sent in examples of areas
of logic and proof where students have particular trouble. At the
workshop we broke into four groups to produce tasks or ideas for how
to help students grapple with these.