Feedback on the seminar
As a final assignment, please fill in this short questionnaire:
Thank you again for all the great lectures!
|פורסם ב- 20/6/2022, 16:22:23 Created on 20/6/2022, 16:22:23 Создано 20/6/2022, 16:22:23 تم النشر ب- 20/6/2022, 16:22:23|
Handouts for today's lecture
|Please download Eyal's handout notes here:|
(or under "course material", if the link doesn't work).
|פורסם ב- 20/6/2022, 09:34:57 Created on 20/6/2022, 09:34:57 Создано 20/6/2022, 09:34:57 تم النشر ب- 20/6/2022, 09:34:57|
The weekly assignment
|You may have noticed that there is no weekly assignment.|
This is in celebration of Week 10 of the semester.
I'm sure you're all familiar with the rich cultural history of Week 10.
So have a happy Week 10!
Also, I didn't have time to prepare the assignment.
|פורסם ב- 30/5/2022, 22:22:54 Created on 30/5/2022, 22:22:54 Создано 30/5/2022, 22:22:54 تم النشر ب- 30/5/2022, 22:22:54|
Free access to FLoC! (in return for volunteering)
tl;dr: if you want to volunteer in FLoC, you can get free access:
During the summer we will host a multi-conference event called FLoC:
If you're interested in automata/logic/games (which you obviously are), there will be interesting talks there.
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:08:27 Created on 22/5/2022, 15:08:27 Создано 22/5/2022, 15:08:27 تم النشر ب- 22/5/2022, 15:08:27|
Updated Lecture Schedule + stuff
I uploaded an updated schedule (basically everything up to 20.6 shifts one week).
Note that the file contains a detailed description of what the lecture should contain. Make sure you read it.
I remind you that I want to meet, or at least see the lecture notes/slides, roughly a week before the presentation. So please make sure you'll be ready on time.
Also, assignment 4 is online.
|פורסם ב- 11/4/2022, 20:28:14 Created on 11/4/2022, 20:28:14 Создано 11/4/2022, 20:28:14 تم النشر ب- 11/4/2022, 20:28:14|
Lecture 3 assignment
|The 3rd assignment is online.|
I was asked last week to consider submission in pairs, but have decided against it.
The reason is that grading seminars is a complicated task, so the more differentiating information I have - the better.
|פורסם ב- 4/4/2022, 14:06:02 Created on 4/4/2022, 14:06:02 Создано 4/4/2022, 14:06:02 تم النشر ب- 4/4/2022, 14:06:02|
Revised Lecture Assignment
I updated the (hopefully final) lecture assignments.
All the relevant papers are also in the course material tab.
Note: if you have not been assigned a lecture, the for all I'm concerned you are not registered to the seminar.
Conversely, if you have been assigned a lecture but have decided not to take the seminar PLEASE EMAIL ME.
|פורסם ב- 29/3/2022, 12:58:51 Created on 29/3/2022, 12:58:51 Создано 29/3/2022, 12:58:51 تم النشر ب- 29/3/2022, 12:58:51|
Lecture 2 Assignment
The second assignment has been uploaded.
I will update the slides and the recorded talk soon.
|פורסם ב- 28/3/2022, 16:29:10 Created on 28/3/2022, 16:29:10 Создано 28/3/2022, 16:29:10 تم النشر ب- 28/3/2022, 16:29:10|
The lecture assignment can be found under "Course material".
I tried to take into account your preferences as much as possible.
My working assumption was that your pick was based on topic, rather than on date. Since dates were shuffled a bit, this may not be aligned with your original intents.
If you want to swap lectures (i.e. contents+date) with someone, and they want to swap with you - let me know and I'll probably approve.
If you want to swap dates only, this may be more problematic, since some lectures build on others.
If there are any questions, email me.
|פורסם ב- 25/3/2022, 23:33:14 Created on 25/3/2022, 23:33:14 Создано 25/3/2022, 23:33:14 تم النشر ب- 25/3/2022, 23:33:14|
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:44:17 Created on 22/3/2022, 15:44:17 Создано 22/3/2022, 15:44:17 تم النشر ب- 22/3/2022, 15:44:17|
|Please note that Ex1 is online (since yesterday).|
It's a short question regarding determinization of tropical weighted automata.
|פורסם ב- 22/3/2022, 13:26:04 Created on 22/3/2022, 13:26:04 Создано 22/3/2022, 13:26:04 تم النشر ب- 22/3/2022, 13:26:04|
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.
|פורסם ב- 21/3/2022, 16:18:40 Created on 21/3/2022, 16:18:40 Создано 21/3/2022, 16:18:40 تم النشر ب- 21/3/2022, 16:18:40|
|Welcome to the seminar! Please read the following guidelines carefully.|
- Fill in the preference google form by *Friday 25.3.2002* (otherwise you'll be assigned a random lecture).
- Each student will read a paper and give a lecture about it. Some lectures may be given in pairs/trios.
- The lectures should be carefully prepared and planned.
In particular, either the lecture notes or slides will need to be sent to me a few days prior to the lecture.
You can give either a whiteboard lecture or slides, as you see fit.
- Each lecture will have some emphasis on important points, which we will discuss before you start preparing.
- Each week I will give a short homework question about the presented paper(s), everyone needs to hand those in.
- Homework solutions must be typed (preferably in English and LaTeX, but not mandatory).
- Attendance in the seminar is mandatory (special cases, e.g., quarantine, will be discussed on a case basis)
|עדכון אחרון ב- 21/3/2022, 13:49:15 Last updated on 21/3/2022, 13:49:15 Последняя модификация 21/3/2022, 13:49:15 تمت الحتلنة الأخيرة ب- 21/3/2022, 13:49:15|
Paper preference form
|Please enter your preferences for presentation here:|
You can put this off until the semester starts, but if you want to present early, it's better to fill it early, so that I can allocate sooner.
Please note: SOMEONE will have to present on the second week. If nobody volunteers, then this will be selected on the first week. So make your game-theoretic reasoning accordingly.
|פורסם ב- 16/3/2022, 15:45:25 Created on 16/3/2022, 15:45:25 Создано 16/3/2022, 15:45:25 تم النشر ب- 16/3/2022, 15:45:25|
List of topics, papers and dates
The "course material" tab now has a detailed list of the papers and topics, and the order they will be presented.
All that remains is to select who presents what.
Since the registration is not finalized yet, I cannot allocate all papers yet. However, I would like to assign the first week or two, so people have enough time to prepare.
Therefore, please go over the list and see which papers you would want to present.
I will send a registration form for papers later today, please fill it soon (there will be some element of first come-first serve basis).
The presentation of big papers (2 hour lectures) will probably be either in pairs or trios. Smaller papers will be individual or maybe in pairs
A note regarding difficulty: not all papers are the same difficulty. I realize that, and I will adjust my expectations of details and of presentations accordingly. Also note that the presentations often don't include the entire paper.
Therefore, please choose papers based on how interesting they seem, and not based on how to get the least amount of work.
As usual, email me if you have any questions.
|פורסם ב- 16/3/2022, 15:35:59 Created on 16/3/2022, 15:35:59 Создано 16/3/2022, 15:35:59 تم النشر ب- 16/3/2022, 15:35:59|
A course on Automata, Logic and Games
|Hello automata lovers,|
I am giving a course on Automata, Logic and Games, here:
Please consider enrolling in addition to/instead of the seminar (also tell your friends).
|פורסם ב- 24/1/2022, 14:08:28 Created on 24/1/2022, 14:08:28 Создано 24/1/2022, 14:08:28 تم النشر ب- 24/1/2022, 14:08:28|
Possible paper list
First - I remind you to please email me with the information I asked for in my previous message, if you haven't already done so.
Second - I put on the website a list of possible papers, mainly so you can get the gist of the type of works we'll focus on.
The main topic is weighted automata, specifically -- probabilistic automata and tropical weighted automata.
Third - If you've enrolled in the course, but after seeing the list change your mind (wisely), please unenroll, as there are others who wish to, and the seminar is currently full.
You're welcome to email me with any questions.
|פורסם ב- 16/1/2022, 18:52:29 Created on 16/1/2022, 18:52:29 Создано 16/1/2022, 18:52:29 تم النشر ب- 16/1/2022, 18:52:29|
Registration to the seminar on Automata and Formal Languages
|Welcome to the seminar on Automata and Formal Languages!|
If you've registered to the seminar, please read the syllabus on the course website, and email me with the following details:
- Name and year in the degree (and any specialization you're doing)
- Which of the following courses you already took:
Automata (either the old one or Matka)
Any other theoretical CS/math courses you think may be relevant.
Please note that this seminar is on advanced topics, and is intended for students who are interested in research on the topic.
|עדכון אחרון ב- 15/3/2022, 09:49:43 Last updated on 15/3/2022, 09:49:43 Последняя модификация 15/3/2022, 09:49:43 تمت الحتلنة الأخيرة ب- 15/3/2022, 09:49:43|