Please install the software on your laptop beforehand (download from https://scholars.huji.ac.il/uriraviv/book/d-0) and come with your laptop to the course!
09:00 - 10:15 Background on the logic and computational aspects of D+
10:15 - 10:45 Coffee break
10:45 - 12:00 Going over the program panels, tools, and options
12:00 - 13:30 Lunch break
13:30 - 14:30 Usage examples
14:30 - 15:00 Coffee break
15:00 - 16:45 Tutorial
16:45 - 17:00 Concluding remarks
