Výsledky vyhledávání
- 1.0568260 - MÚ 2023 RIV eng U - Uspořádání akce
Hrubeš, Pavel - Koucký, M. - Talebanfard, Navid - Thapen, Neil
Complexity Theory with a Human Face, Third Edition.
[Šindlerův Mlýn, 27.06.2022-01.07.2022, (W-WRD 32/13)]
Institucionální podpora: RVO:67985840
Klíčová slova: complexity theory
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://workshop.math.cas.cz/HumanFace/2022/
Trvalý link: https://hdl.handle.net/11104/0339590 - 2.0522505 - MÚ 2020 RIV eng U - Uspořádání akce
Chodounský, David - Verner, J. - Cintula, Petr - Honzík, R. - Hubička, J. - Pudlák, Pavel - Starý, J. - Stejskalová, Šárka - Thapen, Neil
Logic Colloquium 2019.
[Prague, 11.08.2019-16.08.2019, (K-WRD 230/198)]
Institucionální podpora: RVO:67985840 ; RVO:67985807
Klíčová slova: mathematical logic
Obor OECD: Pure mathematics; Pure mathematics (UIVT-O)
https://lc2019.cz/
Trvalý link: http://hdl.handle.net/11104/0306989 - 3.0488110 - MÚ 2018 RIV eng U - Uspořádání akce
Thapen, Neil - Pudlák, Pavel
Prague Bounded Arithmetic Workshop 2017.
[Prague, 02.11.2017-03.11.2017, (W-WRD 30/19)]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: logic * bounded arithmetic * computational complexity
Obor OECD: Pure mathematics
https://calendar.math.cas.cz/content/prague-bounded-arithmetic-workshop-2017
Trvalý link: http://hdl.handle.net/11104/0282728