TUTORIAL
Students from all disciplines of computer science, logic, and artificial intelligence are welcome to participate. We encourage participants to get in contact with us, should there be questions, comments, or suggestions pertaining to the tutorial.