LogicWriter is a webapp to make it easy to write the symbolic math used in formal and informal proofs using symbolic (Boolean) logic. Rather than generating LaTeX or graphics, it generates the Unicode for the symbols. This makes it easy to copy-paste into chat windows (e.g. Discord or DM), text or Word processor documents, etc. We are not thinking of it as a replacement to LaTeX. It is designed specifically to help beginners out when they are just learning symbolic logic operations and writing both formal and informal derivations with the new notation. Just follow the link and it will run in your browser. It may take a few seconds to load up.

Link to LogicWriter

Schedule Summer 2021 and beyond

Subject to further revision.

Other meetings

Ph.D student advising t.b.a.
CS Department faculty meetings, occasionally tbd.