Stimulating Research

CASC ... 50% evaluation, 50% stimulation

• Motivate research, development, and implmentation
• Robust systems that are easily and usefully deployed
• Provide an inspiring environment for interaction
• Expose ATP within and beyond the ATP community

The CASC Dinner

• Relaxed atmosphere for interaction
• Newcomers learn from old hands
• Learn more than from reading papers and listening to talks

The Gambling

• Sweepstake style, but with gambler choices
• Gets people talking, thinking, learning
• Results
  • Random Horse Division - 41 entries (FOF Guess/Result/500)
    • Tie 1st: €85 - Andrei V. - CSE 1.4 126/128/500
    • Tie 1st: €85 - Jun L. - E 2.6 370/368/500
    • 3rd: €35 - Kostya K. - CSE 1.4 125/128/500
  • Chosen Horse Division - 5 entries (FOF Guess/Result/500)
    • 1st: €12 - Martin R. - Vampire 4.6 440/448/500
    • 2nd: €8 - John H. - Prover9 1109a 130/138/500
    • 3rd: €5 - Tanel T. - Vampire 4.6 432/448/500

The T-shirts

• Identify developers
• Demonstrate involvement
• Collector items!