Proiect de cercetare de la UAIC, selectat pentru finanțare în cadrul programului Amazon Research Awards

stiridiniasi.ro

Inapoi

Proiect de cercetare de la UAIC, selectat pentru finanțare în cadrul programului Amazon Research Awards

Postat cu 21 ore în urmă

Update cu 20 ore în urmă

Timp de citire: 1 minut

Articol scris de: Elena Dumitrescu

Image Description
Educatie
SURSA FOTO

Proiect de cercetare de la UAIC, selectat pentru finanțare în cadrul programului Amazon Research Awards

Un proiect de cercetare de la universitatea "Alexandru Ioan Cuza" din Iași a fost ales pentru a primi finanțare prin programul internațional Amazon Research Awards. Conform ziaruldeiasi.ro, proiectul se numește „An Interactive Proof Mode for Dafny” și este coordonat de profesorul universitar dr. Ștefan Ciobacă, de la Facultatea de Informatică.

Obiectivul principal al cercetării este de a crea un mod interactiv de lucru pentru limbajul de programare Dafny, folosit pentru a scrie și verifica programe în mod formal. Potrivit sursei, acest nou mod va permite realizarea de demonstrații de corectitudine mai simple și mai eficiente, fiind de ajutor atât pentru începători, cât și pentru experți în domeniu.

Programul Amazon Research Awards sprijină proiectele de cercetare din universități și organizații non-profit, cu focus pe domenii importante pentru activitatea companiei Amazon și pe dezvoltarea științifică. În acest mod, se dorește îmbunătățirea experienței utilizatorilor și avansarea cunoașterii în tehnologii relevante, notează sursa citată.

Distribuie aceasta stire pe social media sau mail
Image Description
Acest articol apare prima data aici
Alte postari din Educatie
Educatie

Listă de angajați din învățământul ieșean care vor primi gradație de merit în perioada 2025-2030

Inspectoratul Școlar Județean Iași a publicat lista cu cei 340 de angajați din sistemul preuniversitar care vor beneficia de gradație de merit în următorii cinci ani, potrivit informațiilor de pe site-ul oficial al instituției. Aceștia vor primi o majorare de 25% la salariul de bază, timp de cinci ani, conform prevederilor. Conform sursei, gradația de merit ar trebui să recompenseze performanța profesională, implicarea în activitatea didactică, contribuția la dezvoltarea unităților de .

Educatie

Mai sunt locuri disponibile la grădinițele din Iași

Inspectoratul Școlar Județean (ISJ) Iași a anunțat că mai există locuri libere pentru înscrierea copiilor în grădinițe. Potrivit sursei, situația locurilor disponibile a fost publicată pentru a ajuta părinții să-și înscrie copiii în învățământul preșcolar. Etapa a II-a de înscriere în grădinițe va începe luni, 16 iunie. În această etapă, părinții pot depune dosarele doar pentru locurile rămase neocupate după prima rundă de înscrieri. Până la această dată, părinții trebuie să .

Educatie

Rezultate și detalii despre examenul de Bacalaureat 2025 în județul Iași

Rezultate și detalii despre examenul 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. Potrivit informațiilor, rata de participare a fost de 98,17%, cu 4.334 de candidați prezenț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 susținut examenele la disciplinele alese, în funcție de profilul .

Educatie

Ultima săptămână de școală înainte de vacanța de vară

Elevii români se pregătesc de încheierea anului școlar, ultima săptămână fiind dedicată cursurilor înainte de vacanța de vară, care va începe pe 21 iunie. Potrivit informațiilor publicate pe site-ul ziaruldeiasi.ro, elevii vor avea o vacanță de 11 săptămâni, până pe 8 septembrie, când va începe noul an școlar 2025-2026. Clasele din învățământul tehnologic și profesional vor termina cursurile pe data de 27 iunie 2025, deoarece acestea au avut 37 de săptămâni .

Pagina de facebook

-
-
Your Page Name

Recente din iasi

-
-

04:14

Studiu despre consumul de alcool și droguri în rândul elevilor de liceu din București

Un medic psihiatru a vorbit, vineri seara, despre rezultatele unui studiu realizat pe elevii de liceu din Capitală. Potrivit lui Eugen Hriscu, 70% dintre elevi au consumat alcool cel puțin o dată, iar 40% au fost în stare de intoxicație, scrie news.ro. Medicul a mai menționat că 14% dintre elevi au testat substanțe interzise, iar 40% au jucat la jocuri de noroc în ultimul an. Studiul atrage atenția asupra problemelor cu
Image Description

04:11

Listă de angajați din învățământul ieșean care vor primi gradație de merit în perioada 2025-2030

Inspectoratul Școlar Județean Iași a publicat lista cu cei 340 de angajați din sistemul preuniversitar care vor beneficia de gradație de merit în următorii cinci ani, potrivit informațiilor de pe site-ul oficial al instituției. Aceștia vor primi o majorare de 25% la salariul de bază, timp de cinci ani, conform prevederilor. Conform sursei, gradația de merit ar trebui să recompenseze performanța profesională, implicarea în activitatea didactică, contribuția la dezvoltarea unităților de
Image Description

03:45

Mai sunt locuri disponibile la grădinițele din Iași

Inspectoratul Școlar Județean (ISJ) Iași a anunțat că mai există locuri libere pentru înscrierea copiilor în grădinițe. Potrivit sursei, situația locurilor disponibile a fost publicată pentru a ajuta părinții să-și înscrie copiii în învățământul preșcolar. Etapa a II-a de înscriere în grădinițe va începe luni, 16 iunie. În această etapă, părinții pot depune dosarele doar pentru locurile rămase neocupate după prima rundă de înscrieri. Până la această dată, părinții trebuie să
Image Description

03:16

Rezultate și detalii despre examenul de Bacalaureat 2025 în județul Iași

Rezultate și detalii despre examenul 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. Potrivit informațiilor, rata de participare a fost de 98,17%, cu 4.334 de candidați prezenț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 susținut examenele la disciplinele alese, în funcție de profilul
Image Description

02:53

Ilinca Rata, tânăra sportivă din Iași, visează la olimpii în calarie, fiind preocupată de performanță încă de când era copilă. Potrivit mărturiei tatălui ei, Marius Rata, pasiunea pentru cai i-a fost insuflată de la o vârstă foarte fragedă, fiica sa urcând pe cal în brațele părintelui încă de când abia învăța să meargă. La 13 ani, Ilinca nu doar că participatează în competiții interne, dar a și reușit să obțină rezultate remarcabile, printre care un loc II la Cupa României pentru copii, anul trecut.

Ilinca Rata, tânăra sportivă din Iași, visează la olimpii în calarie, fiind preocupată de performanță încă de când era copilă. Potrivit mărturiei tatălui ei, Marius Rata, pasiunea pentru cai i-a fost insuflată de la o vârstă foarte fragedă, fiica sa urcând pe cal în brațele părintelui încă de când abia învăța să meargă. La 13 ani, Ilinca nu doar că participatează în competiții interne, dar a și reușit să obțină
Image Description

Recente din Romania

-
-

09:02

- Externe - Modul în care începem dimineața poate influența întreaga zi, în special sănătatea inimii noastre. Medicii cardiologi avertizează că un obicei des întâlnit, dar dăunător, este verificarea telefonului imediat după trezire, potrivit digi24.ro.

Modul în care începem dimineața poate influența întreaga zi, în special sănătatea inimii noastre. Medicii cardiologi avertizează că un obicei des întâlnit, dar dăunător, este verificarea telefonului imediat după trezire, potrivit digi24.ro. Conform specialiștilor, răsfoirea rețelelor sociale, chicoteala la reeluri sau răspunsul la mesaje primele minute după trezire pot genera un stres considerabil. Dr. Alexandra Kharazi, chirurg la Southern California Surgical, menționează că fluxul constant de informații și dezinformări de pe
Image Description

09:02

- Externe - Donald Trump a făcut declarații controversate despre rolul Rusiei în cel de-al Doilea Război Mondial

Fostul președinte american Donald Trump a spus că Rusia a avut un rol important în al Doilea Război Mondial și a criticat modul în care lumea percepe Moscova. Într-o conferință de presă la Casa Albă, Trump a relatat o discuție cu președintele Franței, Emmanuel Macron, referitoare la comemorarea războiului. El a spus că i-a întrebat pe Macron și pe Putin dacă celebrăm victoria aliată, iar răspunsurile lor au fost diferite. „I-am
Image Description

08:51

- Bacau - Casa Sterian din Bacău, restaurată recent, devine un nou sediu pentru Arhiepiscopia Romanului și Bacăului

Restaurarea Casei Sterian, un important monument de arhitectură din Bacău, s-a finalizat recent, fiind finanțată din fonduri publice. Potrivit site-ului ziaruldebacau.ro, lucrările au fost susținute de Consiliul Județean și Primăria Bacău, care au investit sute de mii de euro în acest proiect. Imobilul, construit în anul 1910, se află pe strada Mihai Eminescu și are o arhitectură deosebită, cu turnuri și detalii ce îi conferă aspectul unui castel medieval. În 2013,
Image Description

Reclame

-
-
Image Description

Vremea

-
-
iasi WEATHER

Schimb valutar

-
-

Autor știre

-
-
Maria Popescu

Redactie

-
-
Stiri de calitate din judetul iasi
mail: office@AiPath.ro

Acasa Recente Radio Judete