Institute of Information Theory and Automation

MTR

11th Workshop on Uncertainty Processing

June 6-9, 2018, Třeboň, Czech Republic

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'15, WUPES'12, WUPES'09, and WUPES'06).

The 9th International Conference on Probabilistic Graphical Models

pfm2018

September 11-14, 2018. Prague

The International Conference on Probabilistic Graphical Models (PGM) is a biennial meeting that brings together researchers interested in all aspects of graphical models for probabilistic reasoning, decision making, and learning.

http://pgm2018.utia.cz/

Winter school of MTR, 2018

Mariánská - zimní pohled

February 26 - March 4, Mariánská, Czech Republic

The 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 institutions as well as guests from abroad. It is held in the UTIA's chalet.

The program of the 2018 edition of the MTR Winter School will consist mainly of tutorial talks given by participants.

First-order many-valued logics

Project leader: Carles Noguera, Ph.D.
Department: MTR
Supported by (ID): CONICET-16-04
Grantor: Internal promotion of international cooperation AVČR
Duration: 2017 - 2018

Predicate graded logics and their applications to computer science

Project leader: Carles Noguera, Ph.D.
Department: MTR
Supported by (ID): GA17-04630S
Grantor: Czech Science Foundation
Duration: 2017 - 2019

Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics

Project leader: Carles Noguera, Ph.D.
Department: MTR
Grantor: Foreign Grantor
Duration: 2016 - 2019
More info: here

Mathematical Fuzzy Logic

Oddělení: 
MTR
Fakulta: 
Filozofická fakulta UK
Přednášející: 
Vyučován: 
Ano
Typ kurzu: 
bakalářský
magisterský
Semestr: 
letní
Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of mathematical logic. Research in this area focuses on many-valued logics with linearly ordered truth theories and challenging problems, thus continuing to attract an ever increasing number of researchers. The goal of this course is to provide an up-to-date introduction to MFL.

General theories of logical systems

Oddělení: 
MTR
Fakulta: 
Filozofická fakulta UK
Přednášející: 
Vyučován: 
Ano
Typ kurzu: 
bakalářský
magisterský
Semestr: 
letní
Algebraic logic is the branch of mathematical logic that studies logical systems by giving them algebraic semantics. It mainly capitalizes on the standard Linbenbaum–Tarski proof of completeness of classical logic w.r.t. the two-element Boolean algebra, which can be analogously repeated in other logical systems yielding completeness w.r.t. other kinds of algebras. Abstract algebraic logic (AAL) determines what are the essential elements in these proofs and develops an abstract theory of the possible ways in which logical systems can be related to an algebraic counterpart.

Krömer

Jméno: 
Stefan
Titul před jménem: 
PD Dr.
Oddělení: 
MTR
Stefan Kromer
Pozice anglicky: 
research associate
Pozice česky: 
Vědecký pracovník
Kontakty
Místnost: 
225
Linka: 
3245
Mail: 
skroemer
List of publications
Podrobnosti (česky): 
Přepínače
Aktivní: 
Ano
Zobrazit literaturu: 
Ano
Foto veřejné: 
Ano
Doktorand: 
Ne
Zahrnout do papírového seznamu: 
Ano

11th International Conference on Parametric Optimization and Related Topics

ParaoptXI

September 19-22, 2017. Prague

In honor of Jiří Outrata's 70th birthday

The international conference series “Parametric Optimization and Related Topics” was founded in 1985 and, since then, took place in different places: the latter seven conferences were held in Enschede (1995), Tokyo (1997), Dubrovnik (1999), Puebla (2002), Cairo (2005), Cienfuegos (2007) and Karlsruhe (2010).

Syndicate content
Institute of Information Theory and Automation