Ústav informatiky SAV, v.v.i.

Ústav informatiky SAV, v.v.i.

Veda je budúcnosť: Vitajte na stránkach Ústavu informatiky Slovenskej akadémie vied, Bratislava

  • Doma
  • O nás
    • Organizačná štruktúra
      • Vedecká rada
      • Správna rada
      • Poradné orgány
    • Kontakty
    • História
    • Dokumenty
    • Spracúvanie osobných údajov
    • Zverejňovanie zmlúv, faktúr a objednávok
    • Verejné obstarávanie
    • Register ponúk
  • Aktivity
    • Konferencie
    • Semináre
    • Aplikácie
    • Info pre verejnosť
      • Výročia a jubileá
      • Exkurzie
      • Napísali o nás
  • Veda-výskum
    • Najvýznamnejšie výsledky vedeckej práce
    • Projekty
      • Projekty rámcových programov
      • Horizont 2020
      • Horizont Európa
      • Iné medzinárodné projekty
      • Projekty štrukturálnych fondov
      • Centrá excelentnosti
      • Projekty APVV
      • Projekty VEGA
      • Ostatné domáce projekty
    • Publikácie
    • Spolupráca
  • Oddelenia
    • Paralelné a distribuované spracovanie informácií
    • Inteligentné digitálne systémy
    • Paralelné výpočtové metódy a algoritmy
    • Analýza a syntéza reči
    • Modelovanie a riadenie diskrétnych procesov
    • Senzorické informačné systémy a technológie
    • Vývoj a realizácia
  • Laboratóriá
    • Infraštruktúra pre paralelné a distribuované spracovanie informácií
    • Laboratórium plošných spojov
    • Laboratórium elektrónovej litografie a mikrotechnológií
    • Laboratórium mobilnej robotiky
    • Laboratórium digitálnych systémov
    • Nahrávacie štúdio
    • Špecializované pracovisko na simuláciu požiarov
  • Vzdelávanie
    • Doktorandské štúdium
    • Spolupráca s univerzitami
  • Časopis CAI
  • Intranet
  • Slovenčina
  • English
  • SAV
  • Doma
  • O nás
    • Organizačná štruktúra
      • Vedecká rada
      • Správna rada
      • Poradné orgány
    • Kontakty
    • História
    • Dokumenty
    • Spracúvanie osobných údajov
    • Zverejňovanie zmlúv, faktúr a objednávok
    • Verejné obstarávanie
    • Register ponúk
  • Aktivity
    • Konferencie
    • Semináre
    • Aplikácie
    • Info pre verejnosť
      • Výročia a jubileá
      • Exkurzie
      • Napísali o nás
  • Veda-výskum
    • Najvýznamnejšie výsledky vedeckej práce
    • Projekty
      • Projekty rámcových programov
      • Horizont 2020
      • Horizont Európa
      • Iné medzinárodné projekty
      • Projekty štrukturálnych fondov
      • Centrá excelentnosti
      • Projekty APVV
      • Projekty VEGA
      • Ostatné domáce projekty
    • Publikácie
    • Spolupráca
  • Oddelenia
    • Paralelné a distribuované spracovanie informácií
    • Inteligentné digitálne systémy
    • Paralelné výpočtové metódy a algoritmy
    • Analýza a syntéza reči
    • Modelovanie a riadenie diskrétnych procesov
    • Senzorické informačné systémy a technológie
    • Vývoj a realizácia
  • Laboratóriá
    • Infraštruktúra pre paralelné a distribuované spracovanie informácií
    • Laboratórium plošných spojov
    • Laboratórium elektrónovej litografie a mikrotechnológií
    • Laboratórium mobilnej robotiky
    • Laboratórium digitálnych systémov
    • Nahrávacie štúdio
    • Špecializované pracovisko na simuláciu požiarov
  • Vzdelávanie
    • Doktorandské štúdium
    • Spolupráca s univerzitami
  • Časopis CAI
  • Intranet
  • Slovenčina
  • English
  • SAV

Seminár 17. 1. 2017 o 9:30 v zasadačke č. 102

uijspk    January 17, 2017 March 13, 2017    Comments Off on Seminár 17. 1. 2017 o 9:30 v zasadačke č. 102

When

17/01/2017    
9:30 am - 10:30 am
Download ICS Google Calendar iCalendar Office 365 Outlook Live

Event Type

  • Návrh a diagnostika digitálnych systémov
  • Spoločné
Seminár

Mgr. Marek Košta, PhD. (odd. DDDS): Real Quantifier Elimination
Abstrakt

Post navigation

Seminár 5. 12. 2016 o 13:00 v zasadačke č. 102
Seminár 14. 2. 2017 o 9:30 v zasadačke č. 102

Aktuálne informácie

• Cestovateľský seminár January 18, 2023
• Seminár “Superpočítačové modelovanie materiálov” November 29, 2022
• Extrapolácie 2022 – konferencia “Dejiny informatiky na Slovensku” November 15, 2022
• Podpísanie dohody s univerziou v Kórei August 19, 2022
• Ocenenie docenta Hluchého July 11, 2022
1 2 3 … 49 50 →

Nadchádzajúce udalosti

• Cestovateľský seminár January 18, 2023
• Seminár “Superpočítačové modelovanie materiálov” November 29, 2022
• Extrapolácie 2022 – konferencia “Dejiny informatiky na Slovensku” November 15, 2022
• Seminár „Senzory plynov“ June 28, 2022
• Seminár Ako dostať svoj nápad do praxe June 8, 2022
1 2 3 … 24 25 →

Today
M
T
W
T
F
S
S
M
T
W
T
F
S
S
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
10:30 AM - Cestovateľský seminár
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
Cestovateľský seminár
18 Jan
18/01/2023    
10:30 am - 12:00 pm
Seminár
Pozvánka na cestovateľský seminár Milé kolegyne a milí kolegovia, pozývame Vás na zaujímavý cestovateľský seminár, ktorý sa bude konať v stredu 18.1. 2023 o 10.30 [...]
More Info
Events on 18/01/2023
18 Jan
Cestovateľský seminár
18 Jan 23

Copyright © 2016-2023 Ústav informatiky SAV
Sitemap Mapa stránok
Last modified: 1.1.2023 
Previous pages
RSS SK
Privacy Policy
Institute of Informatics
Slovak Academy of Sciences
Powered by WP
RSchild Theme
Statistics since 13.5.2021 Flag Counter