pátek 24. února 2017

Semináře

  • MOdelling REvisited + MOdel REduction
    27. 2. 2017 (pondělí), 9:00, Sokolovská 83, K3, MFF UK
    Peter Bastian (Interdisciplinary Center for Scientific Computing, Heidelberg University)Efficient implementation of spectral discontinuous Galerkin methods
  • Necas Seminar on Continuum Mechanics   
    27. 2. 2017 (pondělí), 15:40, Sokolovská 83, K1, 2. floor, MFF UK
    Karel Tuma (IPPT PAN, Warszawa): Phase-field model for martensitic transformation
  • Seminář pro dějiny matematiky, informatiky a astronomie (SEDMA)
    28. 2. 2017 (čtvrtek), 14:00, FIT ČVUT, Thákurova 7, P6, místnost A1435
    Jan Kalina (ÚI AV ČR)
    První matematický výsledek v biologii. Gregor Mendel očima biostatistika
  • Seminář strojového učení a modelování
    2. 3. 2017 (úterý), 17:00, v S8 na Malostranském náměstí, MFF UK
    Martin Pilát
    Metody pro zefektivnění evolučních algoritmů
  • Seminář numerické matematiky
    2. 3.  2017 (čtvrtek)14:00Sokolovská 83, K3, MFF UK
    Miloslav Feistauer (MFF UK)Analysis of the DG method applied to an elliptic problem with nonlinear Newton boundary condition
  • Current Problems in Numerical Analysis
    3. 3. 2017 (pátek), 9:00, MÚ AV ČR, Žitná 25, přední budova, 3. patro
    Jiří Mikyška (Czech Technical University in Prague)
    Phase equilibrium calculation of multicomponent mixtures


Odkazem

Věda
Školství
Výzvy
Akce
Různé

čtvrtek 16. února 2017

VORACE workshop


  Last VORACE workshop 
(Verified fast optimization for embedded control)


20 February 2017 
Charles Square Campus of the Czech Technical University in Prague, Czech Republic 


 The workshop, organized by Didier Henrion and Josef Urban aims at reporting recent achievements in formal verification methods of computer science, with application in theorem proving and optimization of dynamical systems.

 The workshop takes place on Monday 20 February 2017 in room 14, building E (ground floor on your right hand side when entering the building) on the Charles Square Campus of the Czech Technical University in Prague. 

Schedule


  • 9:00-10:00 - Josef Urban (CIIRC CVUT Prague) - AI and Theorem Proving (see also the following talk)
  • 10:00-11:00 - Eric Feron (Georgia Tech Atlanta) - TBA
  • 11:30-12:30 - Stefan Ratschan (CS Czech Acad Sci) - Simulation-driven Safety Verification of Dynamical Systems
  • 12:30-14:00 - Lunch break - attendees on their own
  • 14:00-15:00 - Jan Jakubuv (CIIRC CVUT Prague)- BliStrTune: hierarchical invention of theorem proving strategies
  • 15:00-16:00 - Pierre-Loïc Garoche (ONERA Toulouse) - TBA
  • 16:30-17:30 - Thibault Gauthier (Univ Innsbruck) - TacticToe: Learning to Reason with HOL4 Tactics

  • Pražský informatický seminář

    Dvacátéšesté setkání Pražského informatického semináře
    proběhne 23. února 2017
    v posluchárně E-107, FEL ČVUT
    Karlovo nám. 13, Praha 2

    Na programu je Tomáš Skopal: Podobnostní vyhledávání v nestrukturovaných datech

    Tomáš Skopal(foto)

    pátek 10. února 2017

    Semináře

    Šachový turnaj Ústavu informatiky

    Ústav informatiky AV ČR, v.v.i.
    Vás srdečně zve na 4. ročník

    Šachového turnaje Ústavu informatiky


    Turnaj se koná v úterý 14.2.2017 od 9:00 v zasedací místnosti č. 318.

    Odkazem

    Věda
    Školství
    Akce
    Různé