A. I. Cuza University of Iaşi


Workshop științific

23.10.2015 12:00
C308
Cadrele didactice FII
Sesiunea 1 12:00 - 13:40, C308, moderator: Cornelius Croitoru

12:00 Ștefan Ciobâcă: "Proving Program Equivalence" – PDF

12:20 Dorel Lucanu: "A Common Framework for Induction and Coinduction; Application to Program Verification" – PDF

12:40 Mădălina Ioniță: "Guiding Evolutionary Search with Association Rules for Solving CSPs" – PDF

13:00 Cristian Gațu: "Matrix Computations and Statistics" – PDF

13:20 Emanuel Onică: "EBSIS - Event Based Systems in Iasi - A Twinning between Universitatea Alexandru Ioan Cuza din Iasi, Université de Neuchatel and Technische Universitat Dresden" – PDF

Sesiunea 2 14:00 - 16:00, C308, moderator: Sabin Buraga

14:00 Liviu Ciortuz: "Detection of genomic inversion breakpoints in NGS (Next Generation Sequencing) data" – PDF + Book chapter

14:20 Adrian Iftene: "Proiectul MUCKE" – PDF

14:40 Lenuța Alboaie: "Proiecte de cercetare în colaborare cu clusterul de IT" – PDF

15:00 Ionuț Pistol: "Servicii Web lingvistice. Proiectele MappingBooks, COROLA și QuoVadis" – PDF

15:20 Corina Forăscu: "Proiectul PARSEME" – PDF

15:40 Ioana Leahu: "Computation of Siphons for Asymmetric Choice Petri Nets" – PDF

De asemenea, vineri, 23 octombrie, începând cu ora 10 are loc în Sala de Consiliu Simpozionul tinerilor cercetători ai Facultății de Informatică (moderatori: Ștefan Ciobâcă și Vlad Rădulescu).


© 2006-2010 FII | about | intranet