Projects Submissions | |
As Moed A is coming to an end, you should plan on submitting your projects. Please contact me to schedule a meeting so we can go over the submission process. |
פורסם ב-29/7/2019, 18:04:55 Created on 29/7/2019, 18:04:55 Создано29/7/2019, 18:04:55 تم النشر ب-29/7/2019, 18:04:55 |
Second home assignment is graded | |
If you have any questions, let me know. There was one common mistake in part 2 of question 2. Most of you took into account the case where req holds, and added the logic that updates lck_1 and tot_p. However, you neglected the case where !req holds. In that case, adding the fact that lck_1 = lck_0 and tot_p = tot is required. Running Z3 on your files could have hinted that something is wrong (i.e. without this constraint, the program is UNSAFE, i.e. has a counterexample). |
פורסם ב-27/6/2019, 22:58:29 Created on 27/6/2019, 22:58:29 Создано27/6/2019, 22:58:29 تم النشر ب-27/6/2019, 22:58:29 |
Project Presentations | |
Hello all, As you know, in the coming Monday you will present your project during the lecture. Each will have ~20 minutes to present their project + 5-10 minutes of questions (if there are any). When preparing your presentations, please consider the following: 1. Describe what is the problem you are trying to solve. 2. Describe your solution and what you are currently working on. 3. Describe the architecture of your solution. 4. Describe the current status, what are the problems you have faced, and what problems you foresee in the future. If you have any questions, please let me know ASAP. |
עדכון אחרון ב-19/6/2019, 23:05:57 Last updated on 19/6/2019, 23:05:57 Последняя модификация19/6/2019, 23:05:57 تمت الحتلنة الأخيرة ب-19/6/2019, 23:05:57 |
Second home assignment is now available :) | |
Let me know if you need my help. Enjoy |
פורסם ב-26/5/2019, 21:54:57 Created on 26/5/2019, 21:54:57 Создано26/5/2019, 21:54:57 تم النشر ب-26/5/2019, 21:54:57 |
Projects | |
The list of possible projects is now available. Due to the late notice, you can submit your proposals by next Monday (May 27). |
פורסם ב-19/5/2019, 14:36:05 Created on 19/5/2019, 14:36:05 Создано19/5/2019, 14:36:05 تم النشر ب-19/5/2019, 14:36:05 |
Schedule for the coming week | |
As noted in class, we have a different schedule for the coming week. We will hold a lecture on Sunday at 12:30 in Taub 201. In addition, we will have a complementary lecture on Wednesday at 12:30 in Taub 4. |
עדכון אחרון ב-19/5/2019, 11:13:54 Last updated on 19/5/2019, 11:13:54 Последняя модификация19/5/2019, 11:13:54 تمت الحتلنة الأخيرة ب-19/5/2019, 11:13:54 |
First home assignment is graded | |
You can stop by my office if you would like to go over it. |
פורסם ב-15/5/2019, 09:47:39 Created on 15/5/2019, 09:47:39 Создано15/5/2019, 09:47:39 تم النشر ب-15/5/2019, 09:47:39 |
No lecture today | |
This is a quick reminder, that today is Thursday according to the lectures schedule. |
פורסם ב-6/5/2019, 13:36:45 Created on 6/5/2019, 13:36:45 Создано6/5/2019, 13:36:45 تم النشر ب-6/5/2019, 13:36:45 |
Complimentary Lecture | |
The coming Sunday, April 14, we will hold a complimentary lecture at Taub 201, 16:30-18:30. |
פורסם ב-9/4/2019, 08:07:25 Created on 9/4/2019, 08:07:25 Создано9/4/2019, 08:07:25 تم النشر ب-9/4/2019, 08:07:25 |
First home assignment is now available | |
If you have any questions, please let me know. |
פורסם ב-8/4/2019, 23:11:54 Created on 8/4/2019, 23:11:54 Создано8/4/2019, 23:11:54 تم النشر ب-8/4/2019, 23:11:54 |
Lecture today @ Taub 8 | |
Please disregard the room change. Today we will hold the lecture at the usual lecture room (Taub 8). |
פורסם ב-8/4/2019, 11:14:21 Created on 8/4/2019, 11:14:21 Создано8/4/2019, 11:14:21 تم النشر ب-8/4/2019, 11:14:21 |
Room change | |
Due to the construction work in Taub, lecture this coming Monday will be held at Ullmann 606. |
פורסם ב-6/4/2019, 19:03:08 Created on 6/4/2019, 19:03:08 Создано6/4/2019, 19:03:08 تم النشر ب-6/4/2019, 19:03:08 |
Lecture 3 | |
Slides from today's lecture are now available. |
פורסם ב-1/4/2019, 19:50:59 Created on 1/4/2019, 19:50:59 Создано1/4/2019, 19:50:59 تم النشر ب-1/4/2019, 19:50:59 |
Slack | |
As mentioned during the first lecturer, best way to communicate is by using Slack. Our workspace is at: cs-236624-2019.slack.com/ |
פורסם ב-24/3/2019, 21:33:36 Created on 24/3/2019, 21:33:36 Создано24/3/2019, 21:33:36 تم النشر ب-24/3/2019, 21:33:36 |
Welcome to 236624 |
פורסם ב-24/3/2019, 21:33:04 Created on 24/3/2019, 21:33:04 Создано24/3/2019, 21:33:04 تم النشر ب-24/3/2019, 21:33:04 |