Papers Preference | |
|
Hi all, Please fill in the below form. https://forms.gle/ed6638pgGtgcQo2P9 Yakir |
| פורסם ב-6/4/2025, 20:28:07 Created on 6/4/2025, 20:28:07 Создано6/4/2025, 20:28:07 تم النشر ب-6/4/2025, 20:28:07 |
Seminar in Formal Methods | |
|
Hello all, The list of papers can be found under material. Since I will give the needed background in the first two weeks, papers are ordered starting Week 3. Currently, every week has two papers, though this may change since some papers may require the full two hours. If you have any question, please let me know. Yakir |
| פורסם ב-25/3/2025, 11:50:03 Created on 25/3/2025, 11:50:03 Создано25/3/2025, 11:50:03 تم النشر ب-25/3/2025, 11:50:03 |