Institute of Information Theory and Automation

You are here

Home

MTR

Winter school of MTR, 2018

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.

2018-05-02 13:38

First-order many-valued logics

Start: 
2017
End: 
2018
Leader: 
Carles Noguera, Ph.D.
Identification Code: 
CONICET-16-04
Project Type (EU): 
other
Project Focus: 
teoretický
Publications ÚTIA: 
list
2018-10-05 16:32

Predicate graded logics and their applications to computer science

Start: 
2017
End: 
2019
Leader: 
Carles Noguera, Ph.D.
Identification Code: 
GA17-04630S
Project Type (EU): 
other
Publications ÚTIA: 
list
2018-10-05 16:30

Mathematical Fuzzy Logic

Faculty: 
Filozofická fakulta UK
Course type: 
bakalářský
magisterský
Semester: 
letní
Current: 
Ne

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.

2023-09-25 20:08

General theories of logical systems

Faculty: 
Filozofická fakulta UK
Course type: 
bakalářský
magisterský
Semester: 
letní
Current: 
Ne

Algebraic logic is the branch of mathematical logic that studies logical systems by giving them an 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.

2023-09-25 20:07

PD Dr. Stefan Krömer

Position: 
research fellow
Kontakty
Room: 
225
Phone: 
266053245
Mail: 

Preprints and full list of publications

2020-02-10 14:39

11th International Conference on Parametric Optimization and Related Topics

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

2018-05-02 13:38

Prof. RNDr. Jan Kratochvíl, DrSc.

This person is no longer active at UTIA.
Position: 
research associate
2019-10-07 15:22

Ing. Jan Švorc, Ph.D.

This person is no longer active at UTIA.
Position: 
postdoc
2020-02-11 15:34

Pages

Subscribe to RSS - MTR
Institute of Information Theory and Automation