Formal Reasoning in Computer Science

This course will become read-only in the near future. Tell us at community.p2pu.org if that is a problem.

Task Navigation 

July 20: Meeting 9

NOTE: This is a wiki page -- anyone can add to this. Feel free to add/correct info here!

For people not at UMD, feel free to organize meetups at other locations! Add it here so people can find you. 

University of Maryland:

We'll be meeting Wednesday, July 20 at 6pm in Grad Lounge on the first floor of AVW. Feel free to email Kotaro with any questions. (kotaro at cs dot umd dot edu) We'll post discussion points, links and worked solutions to this page.

Task Discussion


  • Alex Quinn   July 20, 2011, 5:13 p.m.

    Where will we meet?

  • Alex Quinn   July 20, 2011, 5:14 p.m.
    In Reply To:   Alex Quinn   July 20, 2011, 5:13 p.m.

    Oh, duh.  Grad lounge.  Sorry.

  • Jessy Kate Schingler   July 20, 2011, 3:53 p.m.

    see you there!  i will bring some refreshments :)