Workshop stiintific
-----------------------------------
          
ABSTRACT
-----------------------------------
Sesiunea 1 12:00 - 13:40, C308, moderator: Cornelius Croitoru

12:00 Stefan Ciobaca: "Proving Program Equivalence"

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

12:40 Madalina Ionita: "Guiding Evolutionary Search with Association Rules for Solving CSPs"

13:00 Cristian Gatu: "Matrix Computations and Statistics"

13:20 Emanuel Onica: "EBSIS - Event Based Systems in Iasi - A Twinning between Universitatea Alexandru Ioan Cuza din Iasi, Universite de Neuchatel and Technische Universitat Dresden"

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"

14:20 Adrian Iftene: "Proiectul MUCKE"

14:40 Lenuta Alboaie: "Proiecte de cercetare in colaborare cu clusterul de IT"

15:00 Ionut Pistol: "Servicii web lingvistice. Proiectele MappingBooks, COROLA si QuoVadis"

15:20 Corina Forascu: "Proiectul PARSEME"

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