UNCE - seminář Centra moderní informatiky

UNCE

Seminář se koná v rámci STTI 2017.

6th Annual Scientific Meeting of Computer Science Institute of Charles University and Institute for Theoretical Computer Science (CE-ITI)

All lectures are in the faculty building at Malostranské nám. 25

Program

Session 1 – Small Aula, 1st floor

9:30 Andreas Emil Feldmann Parameterized approximation algorithms for directed Steiner network problems in bidirected graphs

10:00 Jiří Fink Matchings extend to 2-factors in Carthesian graphs

10:30 Coffee break

Session 2 – Small Aula, 1st floor

11:00 Tommaso Moraschini A correspondence between logical translations and semantic transformations

11:30 Pavel Hrubeš How to generalize Descartes' rule of signs?

12:15 Lunch in the restaurant in the basement of the faculty building

Session 3 – 106th Mathematical Colloquium – Room S5, 2nd floor

14:00 Moni Naor White-box vs. black-box search problems:A cryptographic perspective

15:00 Coffee break

Session 4 – Small Aula, 1st floor

15:30 Jan Ekstein Bounding the distance among longest paths in a connected graph

16:00 Pavel Hubáček ARRIVAL: next stop in CLS

program akce ke stažení