Znanost

• Seminari
• Seminar za matematičku logiku i osnove matematike
• Seminar za teorijsko računarstvo
• Projekti
• Znanstveni projekti
  • Matematička logika i primjene
  • Logičke i matematičke osnove računarstva
• Informatički projekti
  • Informatički projekt: Alat za unificiranu analizu i sintezu kriptografskih sintaksi
  • Informatički projekt: HRLaTeX - lokalizacija LaTeX-a za Hrvatsku
• Ostali projekti
  • Hibridne modalne logike
  • Kriptografski protokoli
  • Časopis Poučak