Reminder: Lecture today
| Reminder: we have a lecture today at 12:30, in Taub 5. |
| פורסם ב-1/7/2026, 10:30:39 Created on 1/7/2026, 10:30:39 Создано1/7/2026, 10:30:39 تم النشر ب-1/7/2026, 10:30:39 |
Reminder: two lectures this week
|
Hi all, Reminder: we will have two lectures this week: - Sunday as usual - Wednesday 12:30 in Taub 5. |
| פורסם ב-26/6/2026, 20:54:01 Created on 26/6/2026, 20:54:01 Создано26/6/2026, 20:54:01 تم النشر ب-26/6/2026, 20:54:01 |
Ex3
|
Hi all, Ex3 is online. Note that we haven't covered some of the material on it (S1S). We will cover it this week, in the two lectures. This is why it's due a week from Wednesday. |
| פורסם ב-26/6/2026, 20:52:29 Created on 26/6/2026, 20:52:29 Создано26/6/2026, 20:52:29 تم النشر ب-26/6/2026, 20:52:29 |
Ex2 Grades and Feedback
|
Hi all, Ex2 grades and feedback are available. As always, make sure you also read my solution. |
| פורסם ב-18/6/2026, 13:26:51 Created on 18/6/2026, 13:26:51 Создано18/6/2026, 13:26:51 تم النشر ب-18/6/2026, 13:26:51 |
Office hours
|
Hi all, If you want to come to my office hours (which I strongly encourage, if you have anything you want to discuss), please email me first (ushaullattechnion.ac.il). Specifically, tomorrow I'll only be around until 14:30 (but we can schedule other times). |
| עדכון אחרון ב-14/6/2026, 15:52:45 Last updated on 14/6/2026, 15:52:45 Последняя модификация14/6/2026, 15:52:45 تمت الحتلنة الأخيرة ب-14/6/2026, 15:52:45 |
Ex2
|
Hi all, Ex2 is online. Reminders: - Submissions are in pairs or threes - Submissions must be typed (either in English or in Hebrew). |
| פורסם ב-31/5/2026, 09:14:12 Created on 31/5/2026, 09:14:12 Создано31/5/2026, 09:14:12 تم النشر ب-31/5/2026, 09:14:12 |
Piazza forum for discussion
|
Hi all, I forgot to set up a Piazza forum so you can discuss and ask questions. I've set it up now. Please sign up at: https://piazza.com/technion.ac.il/summer2026/02360025 |
| פורסם ב-31/5/2026, 09:08:40 Created on 31/5/2026, 09:08:40 Создано31/5/2026, 09:08:40 تم النشر ب-31/5/2026, 09:08:40 |
Ex1 Feedbacks and Grades
|
Hi all, Ex1 feedbacks and grades are online. Even if you got 100, please look at the feedback. |
| פורסם ב-28/5/2026, 23:01:14 Created on 28/5/2026, 23:01:14 Создано28/5/2026, 23:01:14 تم النشر ب-28/5/2026, 23:01:14 |
Ex1 Solution
|
Hi all, The solution to Ex1 is online (in the same assignment). I remind you that it is part of the course requirements to read the official solutions, I will assume you understand them. |
| פורסם ב-25/5/2026, 22:19:22 Created on 25/5/2026, 22:19:22 Создано25/5/2026, 22:19:22 تم النشر ب-25/5/2026, 22:19:22 |
Some lecture date changes
|
Hi all, Due to a conference, I need to make some changes in the lectures towards the end of the semester. The changes are: Lecture on Sunday 5.7 is cancelled. Lecture on Sunday 12.7 is cancelled. Makeup lecture on Wednesday 1.7 at 12:30 Makeup lecture on Wednesday 15.7 at 12:30. Both makeup lectures will be in Taub 6. |
| עדכון אחרון ב-7/5/2026, 10:18:43 Last updated on 7/5/2026, 10:18:43 Последняя модификация7/5/2026, 10:18:43 تمت الحتلنة الأخيرة ب-7/5/2026, 10:18:43 |
Ex1
|
Hi all, Ex1 is online. It's not too long, but if you have a lot of exams during the next couple of weeks and need an extension, let me know (but I don't recommend doing so, because it's important for keeping up with the material). Reminders: - Submissions are in pairs or threes - Submissions must be typed (either in English or in Hebrew). |
| פורסם ב-19/4/2026, 12:23:18 Created on 19/4/2026, 12:23:18 Создано19/4/2026, 12:23:18 تم النشر ب-19/4/2026, 12:23:18 |
Lecture tomorrow - on Zoom
|
Hi all, As per the faculties instructions, we're still in an online format next week. So we'll meet here again: https://technion.zoom.us/j/94035066742?pwd=Qqgur4baACV8vaCZ6sbXt8v38mmeca.1 Meeting ID: 940 3506 6742 Passcode: the course number |
| עדכון אחרון ב-18/4/2026, 22:09:11 Last updated on 18/4/2026, 22:09:11 Последняя модификация18/4/2026, 22:09:11 تمت الحتلنة الأخيرة ب-18/4/2026, 22:09:11 |
Lecture Recordings
|
Hi all, I added a persistent link for a Panopto folder where I'll put the recordings. The link is on the "Material" tab. I think you need to be logged on to your Technion account to view it. If you try it out and it doesn't work, please email me. |
| פורסם ב-14/4/2026, 09:14:36 Created on 14/4/2026, 09:14:36 Создано14/4/2026, 09:14:36 تم النشر ب-14/4/2026, 09:14:36 |
Live Lecture Whiteboard
|
Hi all, The lecture whiteboard will be available in the following link: https://technionmail-my.sharepoint.com/:p:/g/personal/shaull_technion_ac_il/IQDndqRgnbQuQ7sCtg7_0T6qAXDLg0CpME53TJxHmCCcbzg?e=ob0JTJ (you don't have to view it, since I'll share it, but it might be convenient if you want to scroll back to something). |
| פורסם ב-11/4/2026, 21:15:49 Created on 11/4/2026, 21:15:49 Создано11/4/2026, 21:15:49 تم النشر ب-11/4/2026, 21:15:49 |
Welcome to Automata, Logic and Games -- Take II
|
Hi all, It seems that we will be starting the semester online. The online lectures (Sunday, 10:30) will be in the following link. https://technion.zoom.us/j/94035066742?pwd=Qqgur4baACV8vaCZ6sbXt8v38mmeca.1 Meeting ID: 940 3506 6742 Passcode: the course number I will record the lectures, but I strongly urge you to attend if you can: this course is interactive, with many avenues that we can explore through discussions. Looking forward to seeing you on Sunday. |
| עדכון אחרון ב-10/4/2026, 08:04:05 Last updated on 10/4/2026, 08:04:05 Последняя модификация10/4/2026, 08:04:05 تمت الحتلنة الأخيرة ب-10/4/2026, 08:04:05 |
Welcome to Automata Logic and Games
|
Hi all, I hope you are all safe in these troublesome times. The semester is still a couple of weeks away, and a lot is unclear. In case you have some downtime and want to get a head start in the course, you're welcome to start reading my course notes in the "material" tab. If you have any questions before the semester starts, feel free to contact me. Hope to see you all, and have a fun, quiet and interesting semester. Shaull |
| פורסם ב-18/3/2026, 22:53:21 Created on 18/3/2026, 22:53:21 Создано18/3/2026, 22:53:21 تم النشر ب-18/3/2026, 22:53:21 |