University of Arizona
Institute for Mathematics and Education

Southwestern Network Meeting and Proof Workshop


  • Maria Acosta (Texas State, San Marcos)
  • Terry Bridgman (Colorado School of Mines)
  • Terry Blows (NAU)
  • Renzo Cavalieri (Colorado State)
  • Dorin Dumitrascu (NAU)
  • Nicholas Ercolani (UA)
  • Stephen Gagola (UA)
  • Tom Gruszka (WNMU)
  • Joceline Lega (UA)
  • Klaus Lux (UA)
  • Dan Madden (UA)
  • William McCallum (UA)
  • Andrew Pyzdek (UA)
  • Wayne Raskind (ASU)
  • Barbara Shipman (UT Arlington)
  • Michael Tabor (UA)
  • Dinesh Thakur (UA)
  • Doug Ulmer (UA)
  • William Velez (UA)


  • 9:00am–10:30am Initiatives in undergraduate and graduate education at Network Schools.
  • 10:30am–11:00am Break
  • 11:00am–12:00pm Proof workshop: experiences of teaching proof courses at different institutions
  • 12:00pm–1:00pm Discussion and lunch-break
  • 1:00pm–2:30pm Development of modules or problem-sets addressing the critical areas. Presentations and discussion.
  • 2:30pm–3:00pm 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.