Programe doctorale și postdoctorale - suport pentru creșterea competitivității cercetării în domeniul Științelor exacte

Acest site este cofinanţat din Fondul Social European prin Programul Operaţional Sectorial Dezvoltarea Resurselor Umane 2020-2026

Parolă

Pentru informaţii detaliate despre celelalte programe cofinanţate de Uniunea Europeană, vă invităm să vizitaţi: www.fonduri-ue.ro.

Conţinutul acestui material nu reprezintă în mod obligatoriu poziţia oficială a Uniunii Europene sau a Guvernului României.

Vineri, 31 octombrie 2014, ora 12.00, se va desfășura Workshop-ul cu titlul:

" Progress reports to grant POSDRU/159/1.5/S/ 137750 "

Locația: Corp C, C308

Organizator: prof.univ.dr.Dorel Lucanu, ETL coordonare si evaluare stiintifica domeniul informatica

PROGRAM

Andrei Arusoaie-A Generic Framework for Symbolic Execution: Theory and Applications;

Ioana Leahu-Circuit-type based Petri Nets;

Stefan Ciobaca-Language Aggregation for Program Equivalence;

Discutii.