Challenges in Formalizing Foundational Domains

The panelists will address the following questions:

1. What are low-hanging fruit that are worthwhile and comparatively easy?

2. What are the biggest challenges (or your favorite big challenges): problems that are both extremely central and extremely difficult?

3. How do we evaluate success?

4. What is the methodology for collecting knowledge and for turning it into axiomatic form?