Byla vyhlášena soutěž na podporu akcí pro studenty a mladé kolegy pro rok 2019. Více informací najdete na http://jcmf.cz/?q=cz/node/1120. Termín pro podávání návrhů je do 31. 5. 2019.
Závěrečné kolo letošního ročníku Soutěž studentů vysokých škol ve vědecké činnosti v matematice a informatice (SVOČ) bude uspořádáno v Brně v areálu Ústavu matematiky a statistiky Přírodovědecké fakulty a Fakulty informatiky Masarykovy univerzity ve dnech 2. - 4. června 2019.
Místo konání:
Ústav matematiky a statistiky Přírodovědecké fakulty a Fakulta informatiky Masarykovy univerzity, Brno
Please find enclosed three important announcements for the ICIAM 2019 Congress (Valencia, Spain, 15-19 July 2019). The International Council for Industrial and Applied Mathematics (ICIAM) is a worldwide organisation for professional applied mathematics societies, including the Czech Mathematical Society.
1. CALL FOR CONTRIBUTED PAPERS AND POSTERS
The ICIAM 2019 Organizing Committee is pleased to announce the call for contributed presentations in lecture and poster format in all areas consistent with the conference themes.
The aim of the workshop is to foster cooperation between industry and mathematicians working in academia. There will be 5 presentations of successful collaborative projects. Each presentation will consist of a pair of talks given by a mathematician and a representative of industry. Besides mathematical and industrial perspective the speakers are encouraged to describe the genesis and evolution of their project as well as gained experiences and benefits of mutual collaboration.
Confirmed speakers:
Místo konání:
Institute of Mathematics of the Czech Academy of Sciences, Žitná 25, Prague
Tématem letošního ročníku konference je Matematika a vzdělanost. Účastníci konference mají možnost přihlásit své příspěvky týkající se výuky matematiky na všech typech a stupních školy do sekcí. Program bude dále sestávat z přednášek a dvou kulatých stolů.
Setkání má akreditaci MŠMT DVPP č. MSMT-15398/2016-1-486, a je tedy považováno za akci DVPP.
Vyhlášení soutěže na podporu akcí pro studenty a mladé kolegy pro rok 2018
Ve snaze podpořit popularizační a vědeckou činnost mladých kolegyň a kolegů a v matematice, nabízí ČMS možnost získání peněžního příspěvku na organizaci soutěží, přednášek, seminářů ap. určených zejména pro středoškolské a vysokoškolské studenty.
Pro zařazení do soutěže zašlete svůj návrh do 1. 6. 2018 na adresu Česká matematická společnost, Sokolovská 83, 186 75 Praha 8 nebo elektronicky na adresu
Povídání o studiu na amerických univerzitách, výuce matematiky na Yale, studentech, kteří ji (ne)studují, o školení vysokoškolských učitelů a dalších věcech...
Místo konání:
seminární místnost Katedry matematické analýzy MFF UK, Sokolovská 83, Praha 8 – Karlín, 2. patro
Konference českých matematiků se uskuteční ve dnech 12. - 13. února 2018 v budově Matematicko-fyzikální fakulty UK v Praze na Malostranském náměstí v místnosti S5.
Zvaní přednášející:
Místo konání:
Matematicko-fyzikální fakulta UK v Praze, Malostranské náměstí, místnost S5.
The first premise of denotational semantics is that programs may be viewed as names for mathematical objects. Because recursion is an essential feature of programming, some care needs to be taken in defining the structures within which one may find denotations. As an example, it is well-known that ordinary recursion theory deals with partial functions from N to N, rather than total ones. The second premise is that the semantics should be compositional, that is, the denotation of a program should be built from the denotations of its parts. From this one derives the requirements that denotational spaces, the ``domains'' of Dana Scott's mathematical theory of computation, should be amenable to the constructions of programming languages.
In this talk we will first review these requirements in some detail and then focus on one construction in particular, known as the probabilistic powerdomain. Although the object of intense investigation over the last 25 years, it is not known whether the probabilistic powerdomain construction fits within Scott's denotational semantics. As we will explain, the problem can be reduced to the existence of certain functions on weighted finite posets.
Soutěž studentů vysokých škol ve vědecké činnosti (SVOČ) v matematice a informatice je každoročně pořádaná Českou matematickou společností ve spolupráci se Slovenskou matematickou společností Jednoty slovenských matematiků a fyziků.
Předběžný program:
13:00 – 13.20 Stručné představení JČMF (předseda JČMF RNDr. Josef Kubát)
13.20 – 14.00 RNDr. Ondřej Kreml, Ph.D. (Matematický ústav AV ČR): Překvapivé výsledky v matematické analýze mechaniky tekutin
14.10 – 14.45 Mgr. Helena Reichlová, Ph.D. (Fyzikální ústav AV ČR, vítězka letošního kola soutěže vědeckých prací mladých fyziků o cenu Milana Odehnala): Antiferomagnetická spintronika
14.45 – 15.10 občerstvení
15.10 Beseda
No, it's not the theory of random numbers, though that's a part of it. Probabilistic methods have played a role in number theory for close to 90 years, if not longer. This lecture will highlight some of this history from Schoenberg to Turán, and the Erdös collaborations with Wintner and Kac. In the 1950's Erdös helped get the "probabilistic method" off the ground with his study of Sidon sequences. In the modern era, randomness has played an essential part in number-theoretic algorithms and in the way we think of the distribution of prime numbers. We will end our tour with the role of probability in the abc conjecture, the Erdös covering congruences problem, and the Catalan-Dickson conjecture.
Ve dnech 20-23 září 2016 se v Barceloně koná konference CSASC 2016. Jedná se o putovní konferenci pořádanou střídavě Katalánskou matematickou společností, Společností slovinských matematiků, fyziků a astronomů, Rakouskou matematickou společností, Slovenskou matematickou společností a Českou matematickou společností. Letos připadla role organizátora na katalánské.
Podrobnosti o programu a organizaci konference naleznete na stránkách konference.
Matematika a umění, lásky a nelásky, souvislosti a protiklady – v příkladech, v teorii i praxi.
Snaha o postižení latentního a vyslovení nevyslovitelného.
Další v sérii popularizačních přednášek pořádaných Českou matematickou společností pro širokou veřejnost přednese prof. Jaroslav Nešetřil z Matematicko-fyzikální fakulty UK.
Místo konání:
Refektář budovy MFF UK Praha 1, Malostranské nám. 25
Výbor ČMS svolává mimořádné valné shromáždění, aby projednalo a schválilo změnu Organizačního a jednacího řádu ČMS podle požadavků nového občanského zákoníku.
Místo konání:
Matematicko-fyzikální fakulta UK v Praze 8, Sokolovská 83, posluchárna K1 ve 2. patře
Přednáška je věnována numerickému řešení problémů dynamické elasticity a stlačitelného proudění. Uvažujeme lineární pružnost a nelineární St. Venantův-Kirchhoffův model. Prostorová diskretizace je realizována pomocí nespojité Galerkinovy metody. Pro časovou diskretizaci bylo navrženo a testováno několik technik. Jako nejpřesnější se ukazuje časoprostorová nespojitá Galerkinova metoda. Tato metoda byla rovněž aplikována na řešení problému stlačitelného proudění v časově závislých oblastech formulovaného pomocí tzv. ALE (arbitrary Lagrangian-Eulerian) metody.
Místo konání:
Ústav termomechaniky AV ČR, v. v. i. (Posluchárna B), Dolejškova 1402/5, Praha 8
V rámci semináře Ústavu termomechaniky prosloví prof. RNDr. Zdeněk Dostál, DSc. z Fakulty elektrotechniky a informatiky
Vysoké školy báňské — Technické univerzity Ostrava přednášku s názvem "Škálovatelné algoritmy pro kontaktní problémy s miliardami neznámých". Pozvánka s abstraktem přednášky je v příloze tohoto oznámení. Všichni zájemci jsou srdečně zváni.
Místo konání:
Ústav termomechaniky (posluchárna B), Dolejškova 5, 182 00 Praha 8
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
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
