Invited Speakers

Katarina Bachrata (Zilina)

Mathematical Ideas in Computer Speech Processing

Programme

Anton Stefanek (Imperial)

Approximation of Moments in Large Scale Stochastic Systems

Frantisek Simancik (Oxford)

Ontologies and Description Logics

Jakub Zavodny (Oxford)

Algebra of Quantum -- Quantum of Algebra

Lenka Veselovska (Cambridge)

Non-invasive Prenatal Diagnosis from Cell-free Detal DNA in Maternal Blood

Lukas Polacek (KTH)

Inapproximability

Maria Friedmannova (Oxford)

Experimental Psychology

Milutin Kristofic (Oxford)

Theoretical Computer Science in the XML World

Peter Kovacik (Oxford)

Organic Solar Cells

Rastislav Lenhardt (Oxford)

Games and Probabilistic Verification

Veronika Bachrata (Comenius)

Graph Theory and Algebra 

Morning session

 9:00 Welcome

 9:15 Katarina Bachrata (PPT)

 9:45 Frantisek Simancik (PDF)

10:15 Milutin Kristofic (PDF)

10:45 Coffee and Tea 

11:00 Maria Friedmannova (PPTX)

11:30 Rastislav Lenhardt (PDF)

 

Afternoon session

14:00 Peter Kovacik (PPT)

14:30 Lenka Veselovska (PDF)

15:00 Lukas Polacek (PDF)

15:30 Coffee and Tea

15:45 Anton Stefanek (PDF)

16:15 Veronika Bachrata (PDF)

16:45 Jakub Zavodny

List of Speakers

 

Anton Stefanek

Frantisek Simancik

Jakub Zavodny

Katarina Bachrata

Lenka Veselovska

Lukas Polacek

Milutin Kristofic

Rastislav Lenhardt

Veronika Bachrata

Maria Friedmannova

Peter Kovacik

 

  

List of Participants

 

Andrej Spielmann

Martin Lukacisin

Juraj Spilda

Lukas Bosko

Daniel Bundala

Zdenka Kissova

Jozef Dobos

Tomas Kocisky

Peter Hucik  

Tomas Fabsic

Stefan Sulek