
Ex3 Grades and Feedback | |
Hi all, Ex3 is returned. The grades were lower than previous exercises. I strongly recommend you read my/each other's solutions, since there are some important ideas there. As usual, if you want to discuss anything, let me know. |
פורסם ב- 20/6/2022, 14:12:23 Created on 20/6/2022, 14:12:23 Создано 20/6/2022, 14:12:23 تم النشر ب- 20/6/2022, 14:12:23 |

Ex4 (short!) | |
Hi all, The last exercise is online. It's a short one. The due date is 26.6, so that it doesn't go beyond the semester. If you need an extension, email me, but I recommend not to drag it out. |
פורסם ב- 19/6/2022, 09:50:22 Created on 19/6/2022, 09:50:22 Создано 19/6/2022, 09:50:22 تم النشر ب- 19/6/2022, 09:50:22 |
A talk by Apple's formal verification team | |
Hi all, The Apple verification team will be giving a talk next week. You may find it interesting. See publication below (in Hebrew). Disclaimer: I am not affiliated with Apple, nor with any other company (or fruit). אפל מגיעה לקמפוס לשוחח לראשונה על אימות פורמלי, הגשר בין האקדמיה לתעשייה. באירוע יציגו ארז גולן (מנהל הקבוצה) ואוהד דרוקר (מהנדס בקבוצה ודוקטור למתמטיקה) את ההיבט ההנדסי-לוגי כמו התאורטי-אקדמי מנקודת המבט של קבוצת האימותם הפורמלי בישראל. בואו לפגוש אותנו ביום שלישי 21.6.22 בין השעות 18:00-20:00, בניין אמאדו חדר 232. להרשמה להרצאה: https://applecorp.avature.net/Apple22?projectId=13143 *מספר המקומות בהרצאה מוגבל, יש להירשם מראש ולקבל אישור הגעה באמצעותו ניתן להיכנס לאירוע. |
פורסם ב- 16/6/2022, 20:34:09 Created on 16/6/2022, 20:34:09 Создано 16/6/2022, 20:34:09 تم النشر ب- 16/6/2022, 20:34:09 |
Office hour tomorrow - Cancelled | |
Hi all, I'm afraid I have to cancel my office hour tomorrow (due to a strike in the preschool system). If you want to schedule a meeting, email me. |
פורסם ב- 12/6/2022, 21:09:50 Created on 12/6/2022, 21:09:50 Создано 12/6/2022, 21:09:50 تم النشر ب- 12/6/2022, 21:09:50 |
Ex3 Extension | |
Due to public demand, I'm giving a two-day extension on Ex3. Oh merciful me. |
פורסם ב- 11/6/2022, 21:47:25 Created on 11/6/2022, 21:47:25 Создано 11/6/2022, 21:47:25 تم النشر ب- 11/6/2022, 21:47:25 |
Office hour next Monday | |
Hi all, My office hour next week will be from 9:30 to 10:30 (30 min earlier than usual). I hope this would not cause mass panic. |
פורסם ב- 8/6/2022, 11:12:10 Created on 8/6/2022, 11:12:10 Создано 8/6/2022, 11:12:10 تم النشر ب- 8/6/2022, 11:12:10 |
Ex3 is online! | |
Ex3 is online, due on 12.6.2022. Keep in mind that you will have all the necessary material to solve it by tomorrow, and that next week we'll move to different material. So as usual, I recommend solving it early. |
פורסם ב- 28/5/2022, 21:49:12 Created on 28/5/2022, 21:49:12 Создано 28/5/2022, 21:49:12 تم النشر ب- 28/5/2022, 21:49:12 |
Free access to FLoC! (in return for volunteering) | |
Hi all, tl;dr: if you want to volunteer in FLoC, you can get free access: https://bit.ly/3wAYTNW Long version: As I mentioned a couple of times, during the summer we will host a multi-conference event called FLoC: https://www.floc2022.org/ If you're interested in automata/logic/games/verification (which you obviously are), there will be interesting talks there, by the very best researchers in the field. Registration is generally quite expensive, but if you volunteer, you get free access (and a T-shirt!) This involves helping with registration, directions, moving microphones around, etc. You can register in the link above if you're interested. |
פורסם ב- 22/5/2022, 15:07:17 Created on 22/5/2022, 15:07:17 Создано 22/5/2022, 15:07:17 تم النشر ب- 22/5/2022, 15:07:17 |
Ex2 Grades and feedback | |
Hi all, The feedback and grades for Ex2 are on the website. Please read my comments in the file (they should be readable with Adobe Acrobat. Not sure about other readers). Apologies that it took so long. |
פורסם ב- 19/5/2022, 20:55:29 Created on 19/5/2022, 20:55:29 Создано 19/5/2022, 20:55:29 تم النشر ب- 19/5/2022, 20:55:29 |
Ex2 Solution | |
Ex2 solution is online. Let me know if you have any questions. Reminder: reading the solution is part of the course requirements. |
פורסם ב- 12/5/2022, 11:47:39 Created on 12/5/2022, 11:47:39 Создано 12/5/2022, 11:47:39 تم النشر ب- 12/5/2022, 11:47:39 |
Reception hour tomorrow (2.5.2022) | |
Hi all, I'm unable to hold my usual reception hour tomorrow. If you wanted to come, please email me and we'll either meet on Zoom or schedule a different hour. |
פורסם ב- 1/5/2022, 17:24:15 Created on 1/5/2022, 17:24:15 Создано 1/5/2022, 17:24:15 تم النشر ب- 1/5/2022, 17:24:15 |
Ex2 is online! | |
Ex2 is online, due on 8.5.2022. I recommend solving it before the lecture of 8.5, simply because that lecture won't be related to the exercise, so it's better if you don't have the exercise deadline looming. As usual, please ask question/ discuss topics in Piazza. |
עדכון אחרון ב- 24/4/2022, 12:39:06 Last updated on 24/4/2022, 12:39:06 Последняя модификация 24/4/2022, 12:39:06 تمت الحتلنة الأخيرة ب- 24/4/2022, 12:39:06 |
Ex1 Grades and Feedback | |
Ex1 has been marked. I tried to give a detailed feedback, please go through it carefully. Note that I didn't check the automata constructions of Q4 carefully. Please compare with my solution and ask if you see differences. |
פורסם ב- 16/4/2022, 23:20:25 Created on 16/4/2022, 23:20:25 Создано 16/4/2022, 23:20:25 تم النشر ب- 16/4/2022, 23:20:25 |
Ex1 Solution | |
Hi all, The solution for Ex1 is online. Note: I will assume you have read and understood the exercise solutions. |
פורסם ב- 16/4/2022, 19:51:51 Created on 16/4/2022, 19:51:51 Создано 16/4/2022, 19:51:51 تم النشر ب- 16/4/2022, 19:51:51 |
Ex1 is online! | |
Ex1 is online. Please read the submission guidelines in the exercise description. The exercise is meant to help you get comfortable with NBWs. Questions can be posted on Piazza. I would be very happy to have interesting discussions there. |
עדכון אחרון ב- 27/3/2022, 09:57:47 Last updated on 27/3/2022, 09:57:47 Последняя модификация 27/3/2022, 09:57:47 تمت الحتلنة الأخيرة ب- 27/3/2022, 09:57:47 |
Crash Course on Computability - Sunday 21:00 - 22:30 | |
The Crash Course on Computability and Complexity will take place on: Sunday, 27.3.2022, 21:00 - 22:30. Zoom link: https://technion.zoom.us/j/91315351287 |
פורסם ב- 22/3/2022, 15:43:14 Created on 22/3/2022, 15:43:14 Создано 22/3/2022, 15:43:14 تم النشر ب- 22/3/2022, 15:43:14 |
Crash course in Computability and Complexity | |
If you haven't taken computability yet, or if you feel like you want a refreshment, I will give a crash course (90min) containing most of the stuff we will need for the course. Please fill the Doodle link with convenient times (only if you plan on attending) https://doodle.com/meeting/participate/id/9aAGZqzd This will be on Zoom, and I will record it for later reference. |
פורסם ב- 20/3/2022, 12:45:30 Created on 20/3/2022, 12:45:30 Создано 20/3/2022, 12:45:30 تم النشر ب- 20/3/2022, 12:45:30 |
Welcome to Automata, Logic and Games (ALG)! | |
Hello all, ALG will start on Sunday, but we can all start getting excited today! Please read the syllabus and FAQ on the course website, so you have a rough idea what to expect. We'll discuss the administrative stuff in class. In the meantime, here's a link to Piazza forum for the course, where you can ask questions, discuss the material, etc. piazza.com/technion.ac.il/spring2022/236025 Looking forward to seeing you all, Shaull |
פורסם ב- 18/3/2022, 15:11:05 Created on 18/3/2022, 15:11:05 Создано 18/3/2022, 15:11:05 تم النشر ب- 18/3/2022, 15:11:05 |