Code Party 0 is coming up!
Important: We have moved to
EV3 1408.
If you are interested in the Code Retreat, read this
Google doc for how things are going to go down.
If you are not interested in code retreat, it's still totally fine if
you bring your own project. Come out, free food awaits!
mtrberzi's SAT/SMT talk
is scheduled for 6pm on March 3rd, a Tuesday, in MC 2038. The SAT and
SMT theories combined allow you to programmatically determine whether a
computer program is satisfiable or not. Will there be free food? Good
question. Yes.
Are you interested? Understandable.
.