CSSE 490: Logic: Week 6

DayTopics
Day 23
  • Presentation of Applications:
    • Michael: Software Verification
    • Andy: Hardware Optimization
Day 24
  • Presentation of Applications:
    • Josh: Expert Systems
    • Daniel: BioInformatics

Please use the following guidelines for your presentations.