In this seminar we will read a collection of papers from recent top-tier conferences in automata and logic: LICS and ICALP (Track B).
Instructions for participating in the seminar:
1. Each week a paper will be presented (by 1 or 2 students, depending on the registration)..
2. A week before presenting (or earlier), you must meet with me to discuss your presentation, which parts to present and emphasize (as well as any questions you may have).
2a. Scheduling the meeting above is your responsibility, and it is part of the course requirements and grade.
2b. The meeting should take place after you've read and understood the paper. I will be available to answer questions anytime.
3. You will also need to review a paper and its corresponding talk. A review should include a short summary of what the paper and talk are about, and the strengths and weaknesses of the paper and the talk.
Instructions for registering to the seminar (read carefully!):
1. Read the instructions for participation above.
2. Go over the list of papers in the "material" tab. Choose 3 papers that you would most like to present.
3. Fill the registration form here: https://forms.gle/LXZULhJrsdjd65sd8 by 18.10.2026 and email ushaullattechnion.ac.il once you've done so.
4. I will send out emails to those who can register by 20.10.2026, you will have 24 hours to confirm.
Special instructions for Week 2:
If you want to present on Week 2, let me know as soon as possible.
You will have the option to present an introduction to several topics instead of a paper.
It will require you to prepare before the semester starts.