In this seminar we will go over the relationship between automata, logic and algebraic structures. This is a fascinating relationship that shines a light on deep connections between these seemingly unrelated topics.
Instructions for participating in the seminar:
1. Each week a paper will be presented (by 1 or 2 students, depending on the registration).
2. Two weeks before your lecture (or earlier), you must inform me which papers/sources you will be using for your talk.
3. 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).
3. Scheduling the meeting above is your responsibility, and it is part of the course requirements.
4. The meeting should take place after you've read and understood the paper. I will be available to answer questions anytime.
Instructions for registering to the seminar:
1. Read the instructions for participation above.
2. Go over the list of papers/topics in the "material" tab. Read at least the abstract (or more) of each of them.
3. Fill the registration form here: https://forms.gle/Dbxtg6DxfToA3Svr9 and email shaull@technion.ac.il once you've done so.
4. I will send out emails to those who can register a few days after 5.10, you will have 24 hours to confirm.