Student IT&Math Conferences in Visegrad - 2016
(Standard Visegrad Project No. 21520043)
Theoretical computer science uses mathematical methods in order to clarify some of the most important notions used in computer science and, therefore, it is a key research area within computer science. Logic is an important part of theoretical computer science, focusing on modelling bodies of information and ways how agents use them in reasoning. So called non-classical logics, alternatives to classical logic, aim at a better representation of various aspects of information and reasoning than the representations based on classical logic (these aspects include vagueness, incompleteness and inconsistency of information or limitations of reasoning agents). Within this project, the Institute of Computer Science hosts three researchers working on non-classical logics and their applications to specific problems in theoretical computer science. The overall goal of the project is to study (i) applications of non-classical logics in program verification, (ii) applications of non-classical logics in the study of weighted structures (with focus on the Valued Constraint Satisfaction Problem) and (iii) non-classical logics with so-called generalized quantifiers (with focus on their computational properties).This project is funded by the European structural and investment funds within the Operational Programme Research, Development, Education.
01. 05. 2018 - 30. 04. 2020
Center of Excellence - Institute for Theoretical Computer Science (CE-ITI) is a research center for theoretical computer science and discrete mathematics. CE-ITI aims at becoming an international leader recognized world-wide, and also a driving force of Czech theoretical computer science and discrete mathematics. To achieve that, CE-ITI includes best professors, young researchers, and students from several top institutes in the Czech Republic, and integrates the following key activities: 1) conducting research of highest quality, addressing major challenges and open problems, and initiating new lines of research. 2) Educating a new generation of researchers and active searching for new talents. 3) Coordinating and fostering international cooperation, strengthening the standing of Czech computer science and mathematics in world-wide context.
01. 01. 2012 - 31. 12. 2018
Abstrakt anglicky Graphs are among the simplest mathematical structures. They form the foundation for much of Computer Science and their importance has grown enormously with the development of computernetworks. Extremal graph theory focuses on interactions between different properties of graphs. In thisproject we link extremal graph theory to several other fields, including probability theory, analysis andgeometry. We exploit novel techniques that were developed for embedding problems in sparse graphsand those that arose from the theory of dense graph limits. The aim of the project is to develop generaltools that relate to the Szemerédi Regularity lemma, the Stability method, extremal problems ingraphons, and applications of the Chatterjee-Varadhan approach to large deviations of Erdős-Rényirandom graphs. Among our main goals are the resolution of the Loebl-Komlós-Sós conjecture,applications of extremal graph theory in geometric combinatorics, or work on the "infamous upper tailproblem" for subgraph counts in random graphs.
01. 01. 2016 - 31. 12. 2018
01. 01. 2017 - 31. 12. 2019
01. 01. 2017 - 31. 12. 2019
RI serves for Czech contribution to particle physics research on experiments at Fermilab. It consists of experiments on which Czech physicists collaborate in Fermilab and of infrastructures of the Czech collaborating institutions.Members of RI work on the Fermilab's experiments NOvA, D0 and plan to join a new experiment in two years to contribute to its design and construction. In the Czech Republic it is a RCCPP computing farm and physics laboratory in FZU, cluster for artificial intelligence and neural networks algorithms in ICS and numerical and statistical computing servers at CTU. The whole infrastructure serves for particle physics experiments and for researchers for many years. The RI as top world research environment serves also for education of undergraduate and postgraduate students.
01. 01. 2016 - 31. 12. 2019
Ductile or brittle behavior of cracks is one of the key phenomena which may have a crucial influence on static and dynamic strength of mechanical structures utilizing bcc iron based materials, e.g. ferritic steels. Continuum predictions on ductile/brittle behavior of a central crack under biaxial tension show that the change of called T-stress can change ductile crack behavior to brittle crack extension. We utilize 3D atomistic molecular dynamic (MD) simulations in bcc iron at various temperatures to verify predictions on ductile-brittle transition caused by T-stress. It will be done for central cracked specimens under biaxial tension and as well for edge cracked samples under uniaxial tension, available for experiments. The topic is important for reactor pressure vessels and interpretation of fracture experiments. Another important aim is interconnecting with first-principles calculations for model clusters of restricted size, pointed at cohesive energy, tension and shear strength, atomic configurations and forces at defects,determining interatomistic potential parameters for MD.
01. 01. 2017 - 31. 12. 2019
Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic formalises the notion of bivalent truth, substructural logics allow to handle notions such as resources, partial truth, meaning, and natural language syntax, motivated by studies in computer science, epistemology, economy, and linguistics.Traditionally, substructural logics have been investigated following three main approaches: proof theoretic, algebraic and abstract-algebraic. Although some connections among these approaches were observed long ago, in large part these practices developed in independence. The main objective of this project is to establish a network of leading experts from these three areas, with the aim of reuniting these traditions and their communities and obtain new deep results.
01. 03. 2016 - 28. 02. 2019
