var sms = '<div id="sms_bulletin">  <div id="sms_header">  <div class="do_not_print" id="arrow_left"><a href="?next=-47"><img src="//www2.math.ethz.ch/smsjs/images/arrow_left.png"/></a></div><div class="do_not_print" id="arrow_right"><a href="?next=-45"><img src="//www2.math.ethz.ch/smsjs/images/arrow_right.png"/></a></div>    <div class="sms_title">      <span style="float: left;">SMS</span>      <span>SWISS MATHEMATICAL SOCIETY</span>      <span style="float: right;">SMG</span>    </div>    <div class="sms_info">      <span style="float: left; width: 250px;">Bulletin no. 13</span>      <span style="float: right; text-align:right; width: 250px;">28.8 - 1.9.2023</span>      <span style="text-align: center; display: block; width: 250px; margin: auto; position: relative;">Summer Break 2023</span>    </div>  </div>  <div></div>  <div id="sms_content">    <div class="day">      <div class="day_title">        Monday, August 28      </div>      <div class="day_content">        <div class="day_content_item normal"><div class="event_location uni_zh"><a class="external" href="https://ethz.ch">ETH Z&uuml;rich</a></div><div class="event_type"><a class="external_nolink">Paul Bernays Lectures</a></div><br /><div class="event_speaker"> Kevin Buzzard (Imperial College, London)</div><div class="event_title"><a class="external" href="https://math.ethz.ch/news-and-events/events/lecture-series/paul-bernays-lectures/bernays-2023.html">Lecture 1: Can AI do mathematics?</a> <span class="abstract-button do_not_print">abstract</span></div><div class="abstract-text" style="display: none"><strong>Abstract:</strong><br />Large language models like ChatGPT can do all sorts of things – including writing correct computer code. But how good are they at mathematics? Do mathematicians need to start worrying that they will be soon out of a job? More realistically, will we get to the stage where modern computer tools such as large language models and interactive theorem provers will be able to help working mathematicians to do their research? I\'ll give an overview of where we are and speculate about where we\'re going.</div><div class="event_time">17:00 &bull; ETH Zentrum, R&auml;mistrasse 101, Z&uuml;rich, Building HG, Room F 30</div>        </div>      </div>    </div>    <div class="day">      <div class="day_title">        Tuesday, August 29      </div>      <div class="day_content">        <div class="day_content_item normal"><div class="event_location uni_ge"><a class="external" href="https://unige.ch">Université de Genève</a></div><div class="event_type"><a class="external" href="https://www.unige.ch/math/seminaires/lie-sem/">Lie groups and moduli spaces </a></div><br /><div class="event_speaker"> Zsuzsanna Dancso (Sidney)</div><div class="event_title">"Emergent" tangles and Kashiwara-Vergne solutions <span class="abstract-button do_not_print">abstract</span></div><div class="abstract-text" style="display: none"><strong>Abstract:</strong><br />We\'ll introduce a three-dimensional realisation of the Goldman-Turaev Lie bialgebra as "emergent" tangles in handlebodies, with a commutator and a "vertical flip" operation. The name "emergent" refers to a quotient by the second step of a version of the Vassiliev iltration. The Kontsevich integral fortangles induces a homomorphic expansion for emergent tangles inhandlebodies, and thus for the Goldman-Turaev Lie bialgebra. This, in turn, translates to a Kashiwara-Vergne solution via work of Alekseev, Kawazumi, Kuno and Naef. It would be even better to deduce the Kashiwara-Vergne equations directly from the relations that a homomorphic expansion foremergent tangles must respect. If time allows, we\'ll discuss an ongoing attempt in this direction. This in some sense re-casts work of Alekseev-Naef and Massuyeau, and is joint with (subsets of) Dror Bar-Natan, Tamara Hogan, Yusuke Kuno, Jessica Liu, and Nancy Scherich.</div><div class="event_time">15:30 &bull; Université de Genève, Section de mathématiques, 7-9 rue du Conseil-Général, Room 1-07</div>        </div>        <div class="day_content_item normal"><div class="event_location uni_zh"><a class="external" href="https://ethz.ch">ETH Z&uuml;rich</a></div><div class="event_type"><a class="external_nolink">Paul Bernays Lectures</a></div><br /><div class="event_speaker"> Kevin Buzzard (Imperial College, London)</div><div class="event_title"><a class="external" href="https://math.ethz.ch/news-and-events/events/lecture-series/paul-bernays-lectures/bernays-2023.html">Lecture 2: What is an interactive theorem prover?</a> <span class="abstract-button do_not_print">abstract</span></div><div class="abstract-text" style="display: none"><strong>Abstract:</strong><br />I will give a live demo of how to use the Lean interactive theorem prover, and discuss uses, and potential future uses, of such tools in teaching, research, and communication of mathematics.</div><div class="event_time">17:00 &bull; ETH Zentrum, R&auml;mistrasse 101, Z&uuml;rich, Building HG, Room E 7</div>        </div>      </div>    </div>    <div class="day">      <div class="day_title">        Wednesday, August 30      </div>      <div class="day_content">        <div class="day_content_item normal"><div class="event_location uni_ge"><a class="external" href="https://unige.ch">Université de Genève</a></div><div class="event_type"><a class="external" href="https://www.unige.ch/math/annonces/seminaire-danalyse-numerique">Séminaire d\'Analyse Numérique </a></div><br /><div class="event_speaker"> Alex Anikin</div><div class="event_title">Machine Learning and Science: It\'s All Fun and Games Until CUDA Crashes (Constructor Technology) <span class="abstract-button do_not_print">abstract</span></div><div class="abstract-text" style="display: none"><strong>Abstract:</strong><br />Recently we published a paper where we developed a machine learning algorithm for predicting properties of 2D materials. The core idea of the paper was invented and tested in about a week. All the remaining 1.5 years went into writing the code to generate the data, writing the code to process it, writing the code to implement baselines, writing the code to do hyperparameter search (which didn’t change the conclusions in the slightest, we still won by a large margin). And then running, debugging and re-running on several different HPC platforms.We\'ll discuss the technical challenges of conducting computational research labour-efficiently, and the ways to address them, followed by the demonstration of our project on the Constructor Research Platform.</div><div class="event_time">10:00 &bull; Université de Genève, Conseil Général 7-9, Room 1-155</div>        </div>        <div class="day_content_item normal"><div class="event_location uni_zh"><a class="external" href="https://ethz.ch">ETH Z&uuml;rich</a></div><div class="event_type"><a class="external" href="https://math.ethz.ch/s/algebraic-geometry-and-moduli-seminar">Algebraic Geometry and Moduli Seminar</a></div><br /><div class="event_speaker">Prof. Dr. Yongbin Ruan (Zhejiang University)</div><div class="event_title">Logarithmic R-map <span class="abstract-button do_not_print">abstract</span></div><div class="abstract-text" style="display: none"><strong>Abstract:</strong><br />Over last decade, various variant of  stable maps modular space has been studied in connection to gauged linear sigma model. In this talk, we first propose the notion R-map toconceptualize these new modular space. The bulk of talk is tocompactify these (open) moduli space by logarithmic R-map whichcarry two virtual fundamental cycles. Applications will be discussed. This is joint work with Qile Chen and Felix Janda.</div><div class="event_time">13:30 &bull; ETH Zentrum, Building ITS, Room  </div>        </div>        <div class="day_content_item normal"><div class="event_location uni_zh"><a class="external" href="https://ethz.ch">ETH Z&uuml;rich</a></div><div class="event_type"><a class="external_nolink">Paul Bernays Lectures</a></div><br /><div class="event_speaker"> Kevin Buzzard (Imperial College, London)</div><div class="event_title"><a class="external" href="https://math.ethz.ch/news-and-events/events/lecture-series/paul-bernays-lectures/bernays-2023.html">Lecture 3: The Liquid Tensor Experiment.</a> <span class="abstract-button do_not_print">abstract</span></div><div class="abstract-text" style="display: none"><strong>Abstract:</strong><br />In December 2020 Peter Scholze raised the question of whether a certain technical result in the Clausen-&#8203;Scholze theory of condensed mathematics could be formally verified in an interactive theorem prover. Nineteen months later a team led by Johan Commelin and Adam Topaz showed that the answer was "yes". I\'ll give a background to the theory of condensed mathematics and will then explain what the question was, what it reduced to, and how it was solved by a diverse team of people collaborating effectively online in what is essentially a new way. I will also explain the doors which have been opened because of this work.</div><div class="event_time">17:00 &bull; ETH Zentrum, R&auml;mistrasse 101, Z&uuml;rich, Building HG, Room E 7</div>        </div>      </div>    </div>    <div class="day">      <div class="day_title">        Thursday, August 31      </div>      <div class="day_content">        <div class="day_content_item no_event">        No events scheduled today!        </div>      </div>    </div>    <div class="day">      <div class="day_title">        Friday, September 1      </div>      <div class="day_content">        <div class="day_content_item no_event">        No events scheduled today!        </div>      </div>    </div>  </div>  <div id="sms_footer">    address: Alessandra Naldi Windler, Departement Mathematik, HG G 51.4, ETH Zurich, Raemistrasse 101, CH-8092 Zurich<br />    email: <a href="mailto:bulletin@math.ch">bulletin@math.ch</a> | phone: +41 44 632 3684 | url: <a href="https://math.ch">https://math.ch</a>    <br /><br /><img src="//www2.math.ethz.ch/smsjs/sms_logo.gif" width="150" alt="SMS/SMG Logo" title="SMS/SMG Logo" />  </div></div>';