Recall that the final for this course is a 2-5 page project proposal, which we will do in teams. But before we form those teams to write that proposal, we will start with short individual elevator pitches for future work ideas related to proof automation.
The goal of this class is to help you form an interest-based team with whom to write your final proposal. To do this, you will pitch some future work idea related to proof automation for about 60 seconds to the class. It doesn't have to be good, and it doesn't have to be novel. The important part is just to get up there and say something. There will be plenty of time to team up, refine ideas, discard ideas you don't like, think of new ideas, and so on, before you turn in the final proposal.