| 12:15-12:35 |
Radan Skorić i Josip Vujčić: Safety model checker za booleovske programe |
| 12:40-13:00 |
Konrad Burnik i Dario Oreščanin: Igre parnosti |
| 13:05-13:25 |
Marko Špoljarec: Alternirajući automati |
| 13:30-13:50 |
Marijan Jurešić i Davor Davidović: Lightweight XML parser |
| 12:15-12:35 |
Davor Borojević: Dobro utemeljene relacije i dobri parcijalni uređaji |
| 12:40-13:00 |
Marijan Polić: Dvodimenzionalni jezici |
| 13:05-13:25 |
Martin Ferlan: Dvosmjerni i višetračni automati |
| 08:20-08:40 |
Aleksandar Ušćumlić: Brzi algoritam za prepoznavanje riječi opisanih regularnim izrazima |
| 08:45-09:05 |
Damjan Namjesnik: Alternirajući automati i aperiodički jezici |
| 09:10-09:30 |
Srđan Romčević: Uklopljene riječi |
| 09:35-09:55 |
Danijela Perić: Vremenski regulirani automati |