Abstrakt přednášky: Despite the enormous progress in the area of real-world applications of fl uid mechanics ranging from construction of airplanes, ships and cars over weather prediction, medical applications including the blood fl ow and tumor growth modeling to the evolution of gaseous stars in cosmology, and despite a concerted effort of generations of outstanding mathematicians, the mathematical issues related to fundamental equations of fl uid mechanics remain either unsolved or very poorly understood. An iconic example of such problem – the Navier-Stokes system – remains on the list of unsolved “millenium problems”. This lecture attempts to survey the stateof-art in mathematical fl uid dynamics and to discuss some recent results concerning well-posedness of the underlying equations and systems. In particular, we introduce various concepts of solutions and compare their role in the development of the mathematical theory from the historical perspective. We conclude by presenting certain disturbing examples of ill-posedness obtained recently by the method of
convex integration.
Místo konání:
Posluchárna V. Jarníka (M1), děkanát MFF UK, 2. patro, Ke Karlovu 3, Praha 2.
For the past 40 years computer scientists generally believed that NP-complete problems are intractable. In particular, Boolean satisfiability (SAT), as a paradigmatic NP-complete problem, has been considered to be intractable. Over the past 20 years, however, there has been a quiet, but dramatic, revolution, and very large SAT instances are now being solved routinely as part of software and hardware design.
In this talk I will review this amazing development and show that we can leverage SAT solving to accomplish other Boolean reasoning tasks. Counting the the number of satisfying truth assignments of a given Boolean formula or sampling such assignments uniformly at random are fundamental computational problems in computer science with numerous applications. While the theory of these problems has been thoroughly investigated in the 1980s, approximation algorithms developed by theoreticians do not scale up to industrial-sized instances. Algorithms used by the industry offer better scalability, but give up certain correctness guarantees to achieve scalability. We describe a novel approach, based on universal hashing and Satisfiability Modulo Theory, that scales to formulas with hundreds of thousands of variable without giving up correctness guarantees.
Místo konání:
Karolinum UK, Celetná 20, Praha 1, Modrá posluchárna, druhé patro
Česká společnost pro mechaniku a Jednota českých matematiků a fyziků uděluje od roku 1994 každoročně Cenu Prof. Babušky v oboru počítačových věd, tj. v oboru počítačová mechanika, počítačová analýza a numerická matematika. Cena byla zřízena z podnětu vynikajícího matematika a inženýra českého původu Prof. Ing. Dr. Ivo Babušky, DrSc., jehož současným působištěm je University of Texas, Austin, USA. Soutěž je určena pro podporu vědního oboru počítačových věd a jejím cílem je podnítit zájem studentů a mladých vědeckých pracovníků o uvedené obory.
Další ze série přednášek pro širokou veřejnost, které mají za cíl ukázat na uplatnění matematiky v nejrůznějších oblastech lidské činnosti. Doc. Vojtěch Kolman z Filosofické fakulty Univerzity Karlovy v Praze se bude v přednášce zabývat otázkou, jakou roli ve vztazích mezi matematikou a filosofií hrají Platón a Kant coby nejvlivnější postavy filosofie matematiky po naši dobu a co je takto vlivnými činí, např. ve srovnání s filosofy, kteří byli jako Descartes či Leibniz také mimořádně významnými matematiky.
Místo konání:
Refektář budovy Matematicko-fyzikální fakulty UK, Praha 1, Malostranské nám. 25
Na valném shromáždění vystoupí tři přední světoví vědci, významní představitelé britské Royal Society Prof. Martin John Rees, Baron Rees of Ludlow, Kt, OM, FRS, University of Cambridge, Prof. Geoffrey Boulton OBE, FRS, FRSE University of Edinburgh a Prof. Sir Brian Heap CBE FRS University of Cambridge.
Program
13:30-14:15 M. Rees: From Mars to Multiverse
14:15-15:00 G. Boulton: Earth: the workings of a water planet
15:00-15:45 B. Heap: Can genetically modified crops help to feed the world?
Moderuje Jiří Bičák.
Místo konání:
Karolinum, Modrá posluchárna, Univerzita Karlova, Praha. vchod z Celetné ulice.
Přednášky budou přenášeny i do Zelené posluchárny tamtéž..
Již pátý ročník online soutěže pro pětičlenné týmy v řešení fyzikálních příkladů. Primárně je určená pro nadané středoškoláky schopné řešit příklady zadané v češtině, pro které máme tři kategorie spoluvyhlašované MŠMT, ale zadání překládáme i do angličtiny a je tak možná účast i zahraničních středoškoláků a máme i otevřenou kategorii pro kohokoliv (např. vysokoškoláky, učitele, profesory...).
Místo konání:
Na internetových stránkách http://online.fyziklani.cz
Letos již 20. mezinárodní letní škola věnovaná globální analýze a jejim aplikacím má tentokrát podtitul "Obecná teorie relativity: 100 let po Hilbertovi".
Konference je oslavou a připomenutím stoletého výročí Hilbertova variačního principu v obecné teorii relativity.
