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é

neděle 19. února 2017

Semináře

  • Seminář Hora Informaticae
    20. 2. 2017 (pondělí), 14:00, ÚI AV ČR, Pod Vodárenskou věží 2, P8, místnost 318
    F. Matus TIA AV ČR)
    Open problems in entropy regions
  • Necas Seminar on Continuum Mechanics   
    20. 2. 2017 (pondělí), 15:40, Sokolovská 83, K1, 2. floor, MFF UK
    Mathias Schaeffner (Inst. f. Wissensch. Rechnen, Tech. Univ. Dresden): Quantitative homogenization in non-linear elasticity
  • Seminář numerické matematiky
    23. 2.  2017 (čtvrtek)14:00Sokolovská 83, K3, MFF UK
    Miro Kuchta (University of Oslo)Operator preconditioning for saddle point systems: trace constrained and singular PDEs

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é

    pátek 27. ledna 2017

    pátek 20. ledna 2017

    Odkazem

    Věda Umělá inteligence Kybernetická bezpečnost Robotika Genetika Mozek Klimatologie Různé

    čtvrtek 19. ledna 2017

    Pražský informatický seminář

    Dvacátépáté setkání Pražského informatického semináře
    proběhne 26. ledna 2017
    v posluchárně S5, MFF UK
    Malostranské nám. 25, Praha 1
    Na programu je Josef Urban: Umělá inteligence a dokazování matematických vět

    Josef Urban(foto)

    pátek 13. ledna 2017

    Semináře

    • Seminář aplikované matematické logiky
      18. 1. 2017 (středa)10:00, místnost 318
      Rostislav Horčík Algebraic approach to valued CSP via non-classical logics
    • Current Problems in Numerical Analysis
      20. 1. 2017 (pátek), 9:00, MÚ AV ČR, Žitná 25, přední budova, 3. patro
      Miroslav Rozložník (Institute of Mathematics of the CAS)Gram-Schmidt process and its numerical properties

    Odkazem

    Věda
    Školství
    Akce

    sobota 7. ledna 2017

    Semináře

    • MOdelling REvisited + MOdel REduction
      9. 1. 201ý (pondělí), 9:00, Sokolovská 83, K3, MFF UK
      Ivana Pultarová (Faculty of Civil Engineering, Czech Technical University in Prague)Multigrid and multilevel methods, part 2
    • Necas Seminar on Continuum Mechanics   
      9. 1. 2017 (pondělí), 15:40, Sokolovská 83, K1, 2. floor, MFF UK
      50th ANNIVERSARY OF SEMINAR ON CONTINUUM MECHANICS (now Necas seminar on cont. mech.)
      An interview with one of the founders of this seminar,  Ivan Hlaváček (in Czech)

    • Seminář aplikované matematické logiky
      11. 1. 2017 (středa)10:00, místnost 318
      Tommaso Moraschini On the complexity of the Leibniz hierarchy
    • Current Problems in Numerical Analysis
      13. 1. 2017 (pátek), 9:00, MÚ AV ČR, Žitná 25, přední budova, 3. patro
      Tomáš Vejchodský (Institute of Mathematics of the CAS) New lower bounds on eigenvalues by conforming finite elements

    Odkazem

    Věda Školství Akce

    pondělí 2. ledna 2017

    Petr Hájek

    Hluboce zarmouceni oznamujeme, že pan 

    prof. RNDr. Petr Hájek, DrSc.

    emeritní vědecký pracovník AV ČR a dlouholetý pracovník jejího Matematického ústavu a Ústavu informatiky, člen Učené společnosti ČR, České společnosti pro kybernetiku a informatiku a Jednoty českých matematiků a fyziků, 

    zemřel po krátké nemoci v ranních hodinách 
    dne 26. prosince 2016 ve věku 76 let.



     V sobotu 14. ledna 2017 se uskuteční vzpomínková akce v Ústavu informatiky.


    Profesor Petr Hájek byl světoznámý český matematik. V oblasti matematické logiky a jejích aplikací se věnoval zejména teorii množin, aritmetice, fuzzy logice, data miningu a zpracování vágní informace. Je autorem několika monografií a množství odborných, výukových a popularizačních prací, ve všech oblastech své odborné činnosti za sebou zanechává nesmazatelnou stopu.

    Po více než půl století pracoval v Akademii věd České republiky, v letech 1992 až 2000 byl ředitelem Ústavu informatiky. Byl jmenován profesorem na MFF UK, přednášel také na FJFI ČVUT a na Technické univerzitě ve Vídni. Založil a po několik dekád vedl seminář aplikované matematické logiky.

    Za svůj přínos odborné komunitě i veřejnosti se stal nositelem celé řady vyznamenání, mj. Medaile za zásluhy prezidenta republiky. Po dlouhou řadu let působil jako varhaník v evangelickém kostele sv. Klimenta v Praze.