Akce ČVUT

 Dnes
«  duben  2014  »
Po Út St Čt So Ne
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30        

Zpět na kalendář

Pražský informatický seminář - IV. přednáška - Život s omezeními (prof. Roman Barták)

24.04.2014   16:00

ANOTACE PŘEDNÁŠKY
Programování s omezujícími podmínkami (CP-Constraint Programming) je technologie pro deklarativní modelování a řešení problémů kombinatorické optimalizace. Přes názor přetrvávající v některých odborných kruzích, že CP je pouze jednoduchá enumerace, je skutečná síla CP v integraci prohledávání a inferečních technik, které jsou realizovány konzistenčními technikami různé úrovně. Tato integrace poskytuje CP jedinečnou schopnost využívat jak uživatelem definované heuristiky, tak silné obecné techniky pro ořezání prohledávaného prostoru.

Prezentace představí základní pojmy a techniky splňování omezujících podmínek na známé populární hříčce. Dále se soustředí na tzv. globální podmínky, které představují ?zadní vrátka? pro přidávání efektivních speciálních řešících technik do obecných systémů pro řešení podmínek. Prezentované techniky budou motivovány reálnými příklady pocházejícími především z oblasti plánování a rozvrhování.

PŘEDNÁŠEJÍCÍ
Prof. RNDr. Roman Barták, Ph.D. vede katedru teoretické informatiky a matematické logiky na Matematicko-fyzikální fakultě Univerzity Karlovy, kde vede výzkumnou skupinu omezujících podmínek a optimalizace.

V letech 1999-2004 vedl výzkumné aktivity v nadnárodní firmě Visopt BV, v níž byl hlavním architektem rozvrhovací engine vyvíjené touto společností. Jeho práce se soustřeďuje na techniky splňování omezujících podmínek a jejich aplikace v plánování, rozvrhování a dalších oblastech. Od roku 1998 učí na Univerzitě Karlově kurz programování s omezujícími podmínkami, na několika mezinárodních konferencích (IJCAI, AAAI, ICAPS, CI, SAC) a letních školách (ESSLLI, NASSLLI) vedl výukové semináře splňování omezujících podmínek. Je autorem On-line Guide to Constraint Programming (podle Google druhého nejdůležitějšího zdroje pro programování s omezujícími podmínkami) and On-line Guide to Logic Programming (podle Google druhého nejdůležitějšího zdroje pro logické programování).

O PRAŽSKÉM INFORMATICKÉM SEMINÁŘI
Seminář se bude scházet vždy 4. čtvrtek v měsíci v 16 hod. (s výjimkou letních měsíců a prosince), a to buď v budově FEL ČVUT na Karlově náměstí, nebo v budově MFF UK na Malostranském náměstí.
Jeho program bude tvořen hodinovou přednáškou, po níž bude následovat časově neomezená diskuse. Základem přednášky by mělo být něco (v mezinárodním měřítku) mimořádného nebo aspoň pozoruhodného, na co přednášející přišel a co vysvětlí způsobem srozumitelným a zajímavým i pro širší informatickou obec. Přednášky budou standardně v angličtině.
Formát semináře připravil přípravný výbor ve složení Michal Chytil (ÚI AVČR), Pavel Kordík (FIT ČVUT), Jan Kybic (FEL ČVUT), Michal Pěchouček (FEL ČVUT), Jiří Sgall (MFF UK), Vojtěch Svátek (FIS VŠE), Michal Šorel (ÚTIA AV ČR), Filip Železný (FEL ČVUT)
Idea Pražského informatického semináře vznikla z rozhovorů představitelů několika vědeckých institucí na téma, jak odstranit zbytečnou fragmentaci informatické komunity v ČR.

Místo konání
Karlovo nám. 13, budova E, místnost 107 (Zengerova posluchárna)
Pořadatel
Přípravný výbor PIS
Kontaktní osoba
Ing. Veronika Šínová,, sinova@fel.cvut.cz, 224 35 7667
Podrobnější informace
http://www.praguecomputerscience.cz/