Announcement of DIMACS Symposium on teaching logic
