GSoC Instructions

If you are interested in applying for this project, follow the instructions below:

1. get an idea of the basics of logic, automated deduction and proof theory.
2. learn how to program in Scala.
3. read papers and slides describing the algorithms that have been or have to be implemented, but don't stress if you don't understand the details.

Apply according to the GSoC instructions and choose Computer Science and Engineering at TU-Wien as your mentoring organization. If you want your application to impress us, please consider doing one or more of the following:

• fork Skeptik's repository, and make pull requests of any contributions you might have. We suggest you try to fix some of the current issues that we have especially labeled as puzzles for GSoC.
• send samples of code you have produced in the past (not necessarily in Scala), and explain why you think the techniques, algorithms or data structures you used in these samples are relevant for Skeptik.
• demonstrate your knowledge of scala, logic, automated deduction, proof theory or proof compression by making contributions to relevant Wikipedia pages. A good starting point is this stub on proof compression.