All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

2 002 (0,209s) •

Project

Advanced Analysis and Verification for Advanced Software (GA23-06506S)

considered logics (e.g., separation logic, quantified bit-vector logic, or constrained on various logic-based approaches, such as bi-abductive analysis or symbolic execution systems. To increase the effic...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2023 - 2025
    • •
  • 13 285 tis. Kč
    • •
  • 10 970 tis. Kč
    • •
  • GA ČR
Project

Hybrid techniques in advanced methods of control and modelling of themal heat and power processes (GA101/04/1182)

interactions between continuous and logical/discrete parts. Traditional approaches rely on separate designs of controllers for continuous and for logical/discrete parts of theprocess. Control performance achievable by thes...

JB - Senzory, čidla, měření a regulace

  • 2004 - 2006
    • •
  • 1 880 tis. Kč
    • •
  • 1 880 tis. Kč
    • •
  • GA ČR
Project

Efficient Automata Techniques for Formal Reasoning (GJ16-24707Y)

of concurrent programs, and decision procedures of selected logics suitable for verification of infinite-state systems (such as WSkS or separation logic). The work on the project......

IN - Informatika

  • 2016 - 2019
    • •
  • 8 142 tis. Kč
    • •
  • 8 142 tis. Kč
    • •
  • GA ČR
Project

Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures (GA14-11384S)

verification approaches based on automata and/or logics. When working on the project expertise with abstract regular model checking, tree and forest automata, separation logic and symbolic memory graphs, predicate abstract...

JC - Počítačový hardware a software

  • 2014 - 2016
    • •
  • 5 775 tis. Kč
    • •
  • 5 775 tis. Kč
    • •
  • GA ČR
Project

Logical Structure of Information Channels (GM21-23610M)

The concept of information is ubiquitous in current logic. However, the informational interpretation of various logical approaches is rather scattered in the logical literature and a unification is needed. The main goal o...

Philosophy, History and Philosophy of science and technology

  • 2021 - 2025
    • •
  • 12 922 tis. Kč
    • •
  • 12 922 tis. Kč
    • •
  • GA ČR
Project

Representations of algebraic semantics for substructural logics (GF24-14386L)

of substructural logics, otherwise known as "resource sensitive logics", that is, logics "substructural logics" comes from the fact that when presented as sequent proof systems these logics restrict or la...

Statistics and probability

  • 2024 - 2026
    • •
  • 3 696 tis. Kč
    • •
  • 3 696 tis. Kč
    • •
  • GA ČR
Project

Mathematical Fuzzy Logic in Computer Science (GAP202/10/1826)

Mathematical fuzzy logic is a symbolic (mathematical) logic with a graded notion of truth, to be distinguished from fuzzy logic in broad sense which and predicate logics have exact notions of formulas, axioms, proo...

IN - Informatika

  • 2010 - 2016
    • •
  • 9 136 tis. Kč
    • •
  • 9 136 tis. Kč
    • •
  • GA ČR
Project

Non-classical Interpretation of the Aristotelian Logic and Theory of Predication (GA19-06839S)

It is widely assumed that Aristotle is the founder of logic as an independent classical logic. Hence Aristotelian logic is often treated as classical and as just a fragment of the canonical modern extensional logic...

Philosophy, History and Philosophy of science and technology

  • 2019 - 2022
    • •
  • 2 017 tis. Kč
    • •
  • 2 017 tis. Kč
    • •
  • GA ČR
Project

Foundations of logic in the light of new results of philosophy and science (GA13-21076S)

The project concentrates on reconsidering the foundations of logic in the light of recent developments of both logic itself and the scientific disciplines dealing of the fundamental concepts of logic and the nature of l...

AA - Filosofie a náboženství

  • 2013 - 2016
    • •
  • 4 342 tis. Kč
    • •
  • 4 342 tis. Kč
    • •
  • GA ČR
Project

Mathematical foundations of inference under vagueness and uncertainty (IAA1030004)

-valud logic and logics of belief that has contributed significantly to the development of their systematic mathematical and logical theory and has opened new problems as well as away to a logical analysis of techn...

BA - Obecná matematika

  • 2000 - 2004
    • •
  • 3 351 tis. Kč
    • •
  • 1 245 tis. Kč
    • •
  • AV ČR
  • 1 - 10 out of 2 002