Update cu 18 ore în urmă
Timp de citire: 1 minut
Articol scris de: Maria Popescu
Un proiect de cercetare realizat la universitatea "Alexandru Ioan Cuza" din Iasi a fost ales pentru a primi finanțare prin programul internațional Amazon Research Awards, relatează ziaruldeiasi.ro. Proiectul, intitulat "Un mod interactiv de demonstrație pentru Dafny", este coordonat de profesorul universitar doctor Ștefan Ciobacă de la Facultatea de Informatică. Potrivit sursei, scopul principal al cercetării este de a extinde limbajul de programare Dafny, utilizat pentru crearea de programe care pot fi verificate formal.
Conform informațiilor, principalul obiectiv este dezvoltarea unui mod de lucru interactiv pentru Dafny, ceea ce va permite realizarea de demonstrații de corectitudine într-un mod mai accesibil și mai eficient, atât pentru cei începători, cât și pentru experți. Conform sursei, programul Amazon Research Awards sprijină cercetările din universități și organizații non-profit în domenii relevante pentru activitatea Amazon, cu accent pe îmbunătățirea experienței utilizatorilor și avansul științific.
lista angajaților din învățământul ieșean care vor primi gradație de merit pentru anii 2025-2030 .
Inspectoratul Școlar Județean Iași a anunțat că mai sunt locuri libere disponibile pentru înscrierea în învățământul preșcolar. Potrivit site-ului ziarlu de Iași, situația locurilor neocupate a fost publicată recent și poate fi consultată online. Etapa a doua de înscriere la grădiniță va începe luni, 16 iunie, și va permite părinților să depună dosare pentru ocuparea acelor locuri rămase libere după prima etapă. În această etapă, înscrierile se fac numai pentru locurile .
reînceperea protestelor în sistemul de învățământ din România Trei federații sindicale din învățământul românesc anunță reluarea protestelor, la doi ani de la greva generală care a avut un impact major asupra sistemului educațional. Astfel, pe data de 18 iunie 2025, angajații din învățământul preuniversitar, universitar, bibliotecile centrale universitare și institutele de cercetare vor ieși în stradă pentru a-și exprima nemulțumirea. Aceștia vor protesta la locurile de muncă, purtând banderole sau ecusoane pentru .
Rezultate și detalii despre sesiunile de Bacalaureat 2025 în județul Iași Proba de alegere din cadrul examenului de Bacalaureat 2025 a avut loc vineri, 13 iunie, în județul Iași, cu o prezență de 98,17%, adică 4.334 de candidați din cei 4.415 înscriși. Absolvenții claselor a XII-a și a XIII-a, atât seral, cât și cu frecvență redusă, au ales disciplina de examen în funcție de profilul și specializarea urmată. În prima zi a .
03:35
03:29
03:24
03:04
02:45
06:11
06:09
05:58
