Ada Informatika Oktatásért Alapítvány
Dokumentumok
Dokumentumok
Beszámolók
Ösztöndíj pályázatok
Elérhetőségek
Ösztöndíj pályázatok
2026-ban pályázható
Az illesztési logika gépi formalizációja 2026
Sharp3D STL – C++ Standard Template konténerek közötti váltások statikus elemzéssel (2026.04.01., 2026.11.01.)
Sharp3D – Geometriai modellezés, grafika és szoftverfejlesztés (2026.04.01., 2026.11.01.)
P4 programozási nyelv, illetve P4 nyelvű programok vizsgálata (2026. január – 2026. december időszakra)
2025-ben pályázható
A P4 programozási nyelv, illetve P4 nyelvű programok vizsgálata
Sharp3D_Standard_Template_Library_palyazat_2025
Geometriai modellezés, grafika és szoftverfejlesztés
Az illesztési logika gépi formalizációja
Térképtörténeti kutatások és fejlesztések
2024-ben pályázható
SHARP_pályázati_felhívás_2024_december
kiírásH_Az illesztési logika gépi formalizációja
