úterý 30. června 2015

SOFSEM 2016

42nd International Conference on Current Trends
in Theory and Practice of Computer Science

January 23–28, 2016
Harrachov, Czech Republic

 

SOFSEM 2016 Tracks Papers presenting original research are sought on all topics of interest in the following tracks:
  • Foundations of Computer Science
    Track Chair: Rusins Freivalds (University of Latvia, Latvia).
  • Software Engineering: Methods, Tools, Applications
    Track Chair: Gregor Engels (University of Paderborn, Germany).
  • Data, Information and Knowledge Engineering
    Track Chair: Barbara Catania (University of Genova, Italy).

Abstracts Deadline:Monday, July 13, 2015
Full Papers Deadline:Monday, July 27, 2015



pátek 26. června 2015

Semináře

  • Seminář Hora Informaticae
    29. 6. 2015 (pondělí), 14:00, ÚI AV ČR, Pod Vodárenskou věží 2, P8, místnost 318
    Martin Vejmelka (ÚI AV ČR)
    The Malware game: attack & defense

Odkazem

Věda a výzkum
Školství
Akce
Semináře
  • 3. 7. v 10:00, budova FIT ČVUT: Kate Smith-Miles, Monash University: Understanding strengths and weaknesses of optimization algorithms with new visualization tools and methodologies
Genetika
Klimatologie
Mozek
Robotika
Umělá inteligence

sobota 20. června 2015

STTI'15 - Současné trendy teoretické informatiky


26.-27. června 2015

Konferenci pořádá Centrum excelence - Institut teoretické informatiky (CE-ITI) a Informatický ústav Univerzity Karlovy (IÚUK) v Praze. Konference se koná v budově Matematicko-fyzikální fakulty UK v Praze na Malostranském náměstí. Program bude tvořen hlavní přednáškou význačné české nebo slovenské osobnosti světové teoretické informatiky a krátkými přednáškami mladých českých a slovenských vědců. Jednacími jazyky jsou čeština a slovenština.


Hlavní přednáška
Hlavní přednášku přislíbil přednést Stanislav Živný, University of Oxford.

[Webová stránka konference]

Odkazem

Věda a výzkum Školství Akce Výzvy

pátek 12. června 2015

Geometři a vykladači: Věda jako povolání, či profese?


Nejpovolanější vědce dneška vybírá Evropská výzkumná rada. O tom, jak je to těžké, ale zásadní, hovoří s ČESKOU POZICÍ matematik Zdeněk Strakoš, jenž vedl jeden z panelů. A mimo jiné upozorňuje: „Chytré a pracovité studenty i vědce máme, ale neumíme jim často vytvořit takové podmínky, aby mohli vyrůst na úroveň srovnatelnou s úspěšnými řešiteli zmiňovaných ERC grantů.“
[celý článek]

Odkazem

Věda a výzkum
Školství
Popularizace

sobota 6. června 2015

Výroční setkání Charles University In Prague Chapter of SIAM

středa 10.6.2015, 16:00-17:10, místnost K1 (Karlín)
Během setkání budete seznámeni s činností Chapter v uplynulém roce a s jejím hospodařením. Dále budou zvoleni členové komise pro nadcházející akademický rok. Prostor dostanou i Vaše návrhy a postřehy k současnému fungování Chapter. Na akci bude připraveno bohaté občerstvení.
[další informace]

pátek 5. června 2015

Prague seminar on Non-Classical Mathematics

11. - 13. 6. 2015
 
Venue:
Institute of Computer Science of the Czech Academy of Sciences
Pod Vodárenskou věží 271, Prague 8

Scope:
non-classical mathematics is a study of both metamathematics based
on some non-classical logic and (any part of) mathematics that is,
or can in principle be, formalized in some non-classical logic.

Semináře

  • Seminář Hora Informaticae
    8. 6. 2015 (pondělí), 14:00, ÚI AV ČR, Pod Vodárenskou věží 2, P8, místnost 318
    Štefan Porubský, (ÚI AV ČR)
    Idempotenty a grupy v pologrupách a jejich aplikace
  • Seminář výpočetních metod   
    9. 6. 2015 (úterý)13:15, místnost 318
    Joab Winkler (Department of Computer Science, University of Sheffield)
    Image processing by polynomial computations
  • Seminář aplikované matematické logiky
    10. 6. 2015 (středa), 14:00, místnost 318
    Igor Sedlár
    Substructural epistemic logics
  • Seminar Knowledge Engineering Group
    11. 6. 2015 (čtvrtek), 10:30, room 473NB, Faculty of Informatics and Statistics, VŠE Praha
    Jiří Helmich (KSI MFF UK Praha)
    Linked data visualization model implementation

Odkazem

Věda a výzkum
Školství
Akce