This was a very informative workshop and I must say that I learned a lot from other participants, including computer scientists and mathematicians. Definitely I'll try to use the software Prover9 and its future renovations to solve problems in my research and teaching. The atmosphere was informal and very friendly. Everybody is ready to help and share with other people. The ac commendation and food service was excellent. Looking forward to attending another conference or workshop in Banff Center in the nearest future.

[link to this testimonial]