SLOM - predavanja odr~zana ak. god. 1998/99.
- O B- i BM-particijama
- Dilema Elipsa-Kru~znica i nasljedno naslje~divanje
- Kazimir Majorinc
- O ispunjivosti propozicijskih formul~a
- Mirko Mihaljinec
- O dilemi Elipsa-Kru~znica
- Kona~cni automati
- Dean Rosenzweig
- Bisimulacije generaliziranih Veltmanovih model~a
- Logi~cka terminologija
- Logika interpretabilnosti
- Mladen Vukovi~t
- Real-Time Finite-State Systems and Linear Logic
- A. ~S~cedrov (University of Philadelphia)
- Pojava kombinatornih geometrij~a u teoriji model~a
- Ivan Toma~si~t (University of Edinburgh)