Institute of Information Theory and Automation

MTR

Logic for Computer Science

Oddělení: 
MTR
Fakulta: 
Fakulta jaderná a fyzikálně-inženýrská ČVUT
Přednášející: 
Vyučován: 
Ano
Typ kurzu: 
bakalářský
magisterský
Semestr: 
letní
Mathematical logic develops and explores flexible formal languages and various concepts of consequence. Many of its results can be used in pratical applications, especially in modeling and solving problems in the field of (theoretical) computer science. The aim of this course is to introduce basic concepts of classical and non-classical logics and their potential for applications in computer science.

Utilization of Stochastic Optimization and Equilibrium Models in Portfolio Selection and Energy Finance

Project leader: RNDr. Michal Červinka, Ph.D.
Department: MTR
Supported by (ID): 18-04145S
Grantor: Czech Science Foundation
Duration: 2018 - 2020

5th Workshop on Variational Analysis and Optimization, Mariánská

Mariánská - zimní pohled

Workshop on Variational Analysis and Optimization is an annual workshop organized by members of the Czech Academy of Sciences. It is an informal meeting of people interested in various topics of optimization theory. It combines a mathematical program in the afternoon/evening with a free program in the morning/early afternoon, when one can enjoy the beautiful scenery, go hiking, skiing or just discuss mathematics. Because of its location on the Czech-German border, it is suited mainly for Czech and German researchers.

Jevy lokalizace v materiálech s tvarovou pamětí: experimenty a modelování

Project leader: Doc. RNDr. Martin Kružík, Ph.D.
Department: MTR
Supported by (ID): GACR 18-03834S
Grantor: Czech Science Foundation
Duration: 2018 - 2020

Thermomechanics of Solids: Modeling, Analysis, and Simulations

Project leader: Doc. RNDr. Martin Kružík, Ph.D.
Department: MTR
Supported by (ID): 7AMB16AT015
Grantor: Ministry of Education, Youth and Sports
Duration: 2016 - 2017
More info: here

Variational Structures in Thermomechanics of Solids

Project leader: Doc. RNDr. Martin Kružík, Ph.D.
Department: MTR
Supported by (ID): GF16-34894L
Grantor: Czech Science Foundation
Duration: 2016 - 2018
More info: here

Mathematical Modelling of Intransitive Preferences

Project leader: Mgr. Miroslav Pištěk, Ph.D.
Department: MTR
Supported by (ID): GA17-08182S
Grantor: Czech Science Foundation
Duration: 2017 - 2019

Advanced mathematical methods for dissipative evolutionary systems

Project leader: Doc. RNDr. Martin Kružík, Ph.D.
Department: MTR
Supported by (ID): GA17-04301S
Grantor: Czech Science Foundation
Duration: 2017 - 2019
More info: here

Information Geometry and its Applications IV

Liblický zámek

About the Conference

The fourth conference on Information Geometry and its Applications will be held on June 12-17, 2016, at Liblice Castle in Czech Republic. It is organized by the Institute of Information Theory and Automation of the Czech Academy of Sciences.

Reasoning with graded properties

Project leader: Carles Noguera, Ph.D.
Department: MTR
Supported by (ID): GA18-00113S
Grantor: Czech Science Foundation
Duration: 2018 - 2020
Syndicate content
Institute of Information Theory and Automation