Free access to FLoC! (in return for volunteering)
tl;dr: if you want to volunteer in FLoC, you can get free access:
As I mentioned a couple of times, during the summer we will host a multi-conference event called FLoC:
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
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 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)
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|
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.
|פורסם ב- 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)
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)!
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.
Looking forward to seeing you all,
|פורסם ב- 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|