Email

Parolă

Autentificare

Am uitat parola
Nu am cont

10-06-2025 - Instrumente digitale pentru cercetare: ghid și resurse
09-12-2024 - Invitatie la conferinta de inchidere a Proiectului
16-10-2024 - Workshop Facultatea de Chimie
08-10-2024 - Prelungire perioada implementare proiect
08-09-2024 - Workshop Facultatea de Matematică
04-09-2024 - Workshop Facultatea de Informatică

• FSE România
• OI POSDRU

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.

2ND WORKSHOP

Progress reports for the POSDRU/159/1.5/S/137750 grants

 

Data și intervalul orar: 8 Mai, orele 12-14

Locația: Corp C, C308

Moderator: prof. univ. dr. Dorel Lucanu

Coordonator: prof. univ.dr. Dorel Lucanu

 

PROGRAMUL MANIFESTĂRII

 

·    Ioana Leahu: The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets

·    Ștefan Ciobâcă: Specifying Temporal Properties of Programs using Matching Logic

·    Discuții