No assignment this week
|
Hi all, In celebration of the fact that 8.1.2026 falls exactly on a Thursday, there is no assignment this week. |
| פורסם ב-8/1/2026, 13:25:38 Created on 8/1/2026, 13:25:38 Создано8/1/2026, 13:25:38 تم النشر ب-8/1/2026, 13:25:38 |
Assignment 8
| Assignment 8 is online. |
| פורסם ב-1/1/2026, 13:56:38 Created on 1/1/2026, 13:56:38 Создано1/1/2026, 13:56:38 تم النشر ب-1/1/2026, 13:56:38 |
Assignment 7
| Assignment 7 is online. |
| עדכון אחרון ב-25/12/2025, 09:27:41 Last updated on 25/12/2025, 09:27:41 Последняя модификация25/12/2025, 09:27:41 تمت الحتلنة الأخيرة ب-25/12/2025, 09:27:41 |
A talk of interest -- Simon's Factorization for Forest Algebras
|
Hi all, Asaf Shoham, my M.Sc student, is giving his M.Sc seminar tomorrow (Thursday, 11.12) at 14:30. The talk is closely related to the things we discuss in the seminar. If you're interested, by all means come to the talk. Details below. Shaull Time and Place: 11/12/2025 14:30 in Room Taub 601 Speaker: Asaf Shoham Title: Forest Factorization of Forests Supervisor: Dr. Shaull Almagor Abstract: Simon's Factorization Theorem is a powerful tool in the study of form al languages, and is key to many algorithms and theoretical results. The theorem states that, given a regular language, we can decompose any word to a bounded-height tree that allows reasoning about all infixes of the word in a compact manner. In this work, we generalize Simon's factorization theorem to languages of trees. This generalization brings about many challenges involving the manipulation of trees and forests. Specifically, even defining what a decomposition of trees means is highly nontrivial. We provide such a notion, and show how to obtain it (with a caveat). |
| עדכון אחרון ב-10/12/2025, 22:23:30 Last updated on 10/12/2025, 22:23:30 Последняя модификация10/12/2025, 22:23:30 تمت الحتلنة الأخيرة ب-10/12/2025, 22:23:30 |
An experiment in using LTL
|
Hi all, Prof. Shahar Maoz from Tel Aviv is conducting an experiment in LTL comprehension. See details below. Since you're all somewhat familiar with LTL, but are not all experts, you're ideal candidates for the experiment. Please take the few minutes to do this experiment. Since it's related to the seminar's material, this is instead of the weekly assignment (although it's obviously not mandatory). -------Details-------- We are running an online experiment to study the comprehension of LTL formulas. The experiment includes 9 questions and is expected to take approximately 10 minutes to complete. It should be done on a desktop or laptop computer screen, not on a mobile device. Participation is completely anonymous though at the end there is an option to enter an email in case a participant is interested to be invited to a separate followup online interview, for which they will receive a $20 Amazon gift card. Here is the link: https://ltl-comprehension.vercel.app/ It would be absolutely helpful if you could participate and forward this invitation to anyone in your group who may be interested. We are looking for participants from a variety of backgrounds and expertise in formal methods, from beginners to experts. |
| פורסם ב-9/12/2025, 20:55:37 Created on 9/12/2025, 20:55:37 Создано9/12/2025, 20:55:37 تم النشر ب-9/12/2025, 20:55:37 |
Assignment 6
| Assignment 6 is online. |
| פורסם ב-4/12/2025, 09:05:33 Created on 4/12/2025, 09:05:33 Создано4/12/2025, 09:05:33 تم النشر ب-4/12/2025, 09:05:33 |
Assignment 5
| Assignment 5 is online. |
| פורסם ב-27/11/2025, 09:08:50 Created on 27/11/2025, 09:08:50 Создано27/11/2025, 09:08:50 تم النشر ب-27/11/2025, 09:08:50 |
Assignment 4
| Assignment 4 is online. |
| עדכון אחרון ב-20/11/2025, 09:10:30 Last updated on 20/11/2025, 09:10:30 Последняя модификация20/11/2025, 09:10:30 تمت الحتلنة الأخيرة ب-20/11/2025, 09:10:30 |
Assignment 3
| Assignment 3 is online. |
| פורסם ב-13/11/2025, 09:27:45 Created on 13/11/2025, 09:27:45 Создано13/11/2025, 09:27:45 تم النشر ب-13/11/2025, 09:27:45 |
Assignment 2
|
Assignment 2 is online. The answer is shorter than the assignment. |
| פורסם ב-6/11/2025, 10:19:29 Created on 6/11/2025, 10:19:29 Создано6/11/2025, 10:19:29 تم النشر ب-6/11/2025, 10:19:29 |
Formal seminar registration -- graduate students
|
Hi all, I've sent a request to register all of you to the seminar. Please check that you see it within a few days. Graduate students: you need to register for the course in the system and get your advisor's approval. Please do that soon. |
| עדכון אחרון ב-30/10/2025, 15:22:55 Last updated on 30/10/2025, 15:22:55 Последняя модификация30/10/2025, 15:22:55 تمت الحتلنة الأخيرة ب-30/10/2025, 15:22:55 |
Assignment 1
|
Hi all, Assignment 1 is online. Just to clarify: I won't grade the assignments, they're just to make sure you're following the material (but they are mandatory). If you want specific feedback on your solution, let me know. |
| פורסם ב-30/10/2025, 12:13:14 Created on 30/10/2025, 12:13:14 Создано30/10/2025, 12:13:14 تم النشر ب-30/10/2025, 12:13:14 |
Welcome to the Seminar on Automata and Formal Languages
|
Hi all, Welcome to Seminar 2360833. Our first lecture is tomorrow. If you haven't done so already, please go over the seminar requirements and guidelines. I strongly recommend starting to read your papers very early. I will gladly help if you get stuck, but it needs to be well before your lecture. See you tomorrow, Shaull |
| פורסם ב-29/10/2025, 12:23:25 Created on 29/10/2025, 12:23:25 Создано29/10/2025, 12:23:25 تم النشر ب-29/10/2025, 12:23:25 |