Deputy head:

Secretary:

Phone:

286581419

Publications ÚTIA:

list Most of the research activities of the department belong to the field of applied mathematics. The focus is on theoretical problems as well as problems connected with implementation of methods in the following areas:

- mathematical optimization
- nonsmooth analysis
- differential equations
- variational problems
- probabilistic models of decision support systems
- conditional independence structures
- uncertainty in artificial intelligence
- mathematical logic
- multicriteria decision making

Former members of the department.

Classical mathematical logic, built on the conceptually simple core of propositional Boolean calculus, plays a crucial role in modern computer science. A critical limit to its applicability is the underlying bivalent principle that forces all propositions to be either true or false.

Many-valued logics are a prominent family of non-classical logics whose intended semantics uses more than the two classical truth-values, truth/false. The study of these logics is stimulated by strong mutually beneficial connections with other mathematical disciplines such as universal algebra, topology, and model, proof, game and category theory.

New equilibrium models arising in economy and mechanics will be described by systems of evolutionary generalized equations (EGEs) and thoroughly investigated. Their characteristic feature is the presence of nonsmooth and set-valued mappings. We intend to study various concepts of solutions to systems of such generalized equations and their relevance for particular problems.

In this project we intend to model individual decision making (DM), a cornerstone of microeconomic theory. First, we will participate in a long-standing discussion challenging the transitivity of preferences, a basic axiom of the expected utility theory. We will propose a DM theory with intransitive preferences and then explore its relationship to existing alternatives.

The accurate description of the complex thermomechanical behavior of solids requires the efficient treatment of strongly nonlinearly coupled partial differential equations systems.

Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics.

- ‹ previous
- 2 of 6
- next ›

Matematicko-fyzikální fakulta UK

Matematicko-fyzikální fakulta UK

Matematicko-fyzikální fakulta UK

Matematicko-fyzikální fakulta UK

Přírodovědecká fakulta Jihočeské University v Českých Budějovicích

Přírodovědecká fakulta Jihočeské University v Českých Budějovicích

Fakulta jaderná a fyzikálně-inženýrská ČVUT

Matematicko-fyzikální fakulta UK

- ‹ previous
- 2 of 3
- next ›

4th Workshop on Variational Analysis and Optimization ,
2017-02-17

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...

Winter school of MTR, 2017 ,
2017-01-27

January 29 - February 2, Mariánská, Czech RepublicThe Winter School of Department of Decision-Making Theory is a popular meeting point of students and researchers from the department and other colaborating researchers from several Czech...

BELIEF'16 ,
2016-09-21

The theory of belief functions, also referred to as evidence theory or Dempster-Shafer theory, is a well established general framework for reasoning with uncertainty, with well understood connections to other frameworks such as probability...

IGAIA IV ,
2016-06-13

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

Information Geometry and its Applications IV ,
2016-06-12

About the ConferenceThe 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...

WUPES'15 ,
2015-06-19

A series of Workshops on Uncertainty Processing (WUPES) has been held in the Czech Republic every third year since 1988. Proceedings from several previous workshops can be found on their websites ( WUPES'12, WUPES'09,...

Spring School on Variational Analysis 2015 ,
2015-04-19

Following a longstanding tradition, the Faculty of Mathematics and Physics of Charles University in Prague and the Instutite of Information Theory and Automation of the Czech Academy of Sciences will organize the 43rd Spring School on...

ManyVal 2013 ,
2013-09-04

ManyVal is a series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic....

WUPES'12 - 9th Workshop on Uncertainty Processing. ,
2012-09-12

A series of Workshops on Uncertainty Processing (WUPES) has been held in the Czech Republic every third year since 1988. Like the previous meetings the forthcoming Workshop will foster creative intellectual activities and the exchange of...

Measure Concentration Minischool ,
2012-08-22

organized by F. Matúš
Institute of Information Theory and Automation, Prague
Room 25, UTIA AVCR, Pod Vodárenskou věží 4, 18208 Praha 8

- ‹ previous
- 2 of 3
- next ›