Getting Started

The goal of this class is to brainstorm future work ideas for your individual project pitches and eventual group project proposals. Before class, it may help to go back over your forum posts from previous classes and think about the ideas you've had so far. Maybe write some of them down. Just be ready to talk to people about some fun ideas.



During class, we will divide into groups and discuss future work ideas. Some things to possibly talk about, if it helps guide the conversation:

  1. What do you think are some of the biggest outstanding problems in proof automation?
  2. Where has the work you've seen fallen short so far?
  3. What did you find most difficult about using the tools you've seen so far?
  4. What do you think is preventing proof assistants from becoming more widely accessible or usable?
  5. What ideas do you have for future work in proof automation?
  6. What do you anticipate some of the biggest challenges toward working on those ideas will be?
  7. What work you've seen so far may be useful toward solving these problems?
  8. What technical approaches might you take toward solving these problems?
  9. How might you evaluate whether you have solved those problems successfully?

With about twenty minutes left, we will leave our groups and spend about twenty minutes writing down our own ideas privately. This is to help give you a start on your elevator pitches for next week.

<< Previous | Class Schedule | Next >>