Priority Research Centre for Computer-AssistedResearch Mathematics and its Applications
 Member Links: (login required) Members Area CARMA News Manager CARMA Web Logs CARMA Seminar Manager CARMA Wiki Subscribe to our seminar mailing list Subscribe to our events calendar (iCal format)

## Upcoming CARMA Events

 CARMA SPECIAL SEMESTER Special Semester on Mathematical Thinking Location: Dates: Mon, 5th Nov 2018 - Fri, 31st May 2019 The next CARMA special semester programme is on the theme of Mathematical Thinking, examining the conceptual and neurological basis of mathematical thought and creativity, different aspects of which are associated with brain structures evolved for different purposes. It will explore links to machine learning, which plays a critical role as a model for cognition, as well as cognitive psychology, neuroscience, philosophy and pure and applied mathematics, through a series of workshops and other events. Please visit the semester's webpage for details. Events will also be listed on the events page of the CARMA website. [Permanent link] ZERO-DIMENSIONAL SYMMETRY SEMINAR Speaker: Mr Yossi Bokor, Australian National University Title: What doughnuts tell us about data Location: W 243, Behavioural Sciences (Callaghan), The University of Newcastle Dates: 10:00 am - 11:00 am, Wed, 27th Mar 2019 Abstract: The old joke is that a topologist can’t distinguish between a coffee cup and a doughnut. A recent variant of Homology, called Persistent Homology, can be used in data analysis to understand the shape of data. I will give an introduction to persistent Homology and describe two example applications of this tool. [Permanent link] CARMA SPECIAL SEMESTER Special Semester on Mathematical Thinking Speaker: Matt Skerritt, School of Mathematical and Physical Sciences, The University of Newcastle Title: An Introduction to Assisted Theorem Proving with “Coq” Location: SR202, SR Building (Callaghan), The University of Newcastle Time and Date: 4:00 pm, Thu, 28th Mar 2019 Abstract: I introduce and demonstrate the Coq assisted theorem prover. [Permanent link] CARMA COLLOQUIUM Speaker: Professor Yann Bugeaud, Mathématiques , Université de Strasbourg Title: On the decimal expansion of $\log (2019/2018)$ and $e$ Location: SR202, SR Building (Callaghan), The University of Newcastle Time and Date: 4:00 pm, Thu, 4th Apr 2019 Abstract: It is commonly expected that $e$, $\log 2$, $\sqrt{2}$, among other « classical » numbers, behave, in many respects, like almost all real numbers. For instance, their decimal expansion should contain every finite block of digits from $\{0, \ldots , 9\}$. We are very far away from establishing such a strong assertion. However, there has been some small recent progress in that direction. Let $\xi$ be an irrational real number. Its irrationality exponent, denoted by $\mu (\xi)$, is the supremum of the real numbers $\mu$ for which there are infinitely many integer pairs $(p, q)$ such that $|\xi - \frac{p}{q}| < q^{-\mu}$. It measures the quality of approximation to $\xi$ by rationals. We always have $\mu (\xi) \ge 2$, with equality for almost all real numbers and for irrational algebraic numbers (by Roth's theorem). We prove that, if the irrationality exponent of $\xi$ is equal to $2$ or slightly greater than $2$, then the decimal expansion of $\xi$ cannot be `too simple', in a suitable sense. Our result applies, among other classical numbers, to badly approximable numbers, non-zero rational powers of ${{\rm e}}$, and $\log (1 + \frac{1}{a})$, provided that the integer $a$ is sufficiently large. It establishes an unexpected connection between the irrationality exponent of a real number and its decimal expansion. [Permanent link] SYMMETRY IN NEWCASTLE Location: TBAThe University of Newcastle Dates: 12:00 pm - 4:30 pm, Fri, 5th Apr 2019 Schedule: 12-1: Talk 1 1-2: Lunch 2-3: Talk 2 3-3.30: Tea 3.30-4.30: Talk 3 Evening: Dinner Speaker: Dr Arnaud Brothier, University of NSW Title: TBA Speaker: Dr Lawrence Reeves, The University of Melbourne Title: TBA Speaker: Dr Richard Garner, Macquarie University Title: TBA [Permanent link] CARMA WORKSHOP International Workshop on Water Waves and Floating Bodies Location: , Noah's On the Beach Newcastle, NSW Dates: Sun, 7th Apr 2019 - Wed, 10th Apr 2019 The 34th International Workshop on Water Waves and Floating Bodies (IWWWFB) will be held in Newcastle in 2019. Please visit the workshop website for more information. [Permanent link] CARMA COLLOQUIUM Speaker: A/Prof Alessandro Toffoli, The University of Melbourne Title: Sailing through a polar cyclone to witnes the fierceness of the Southern Ocean: there and back again Location: SR202, SR Building (Callaghan), The University of Newcastle Time and Date: 2:00 pm, Thu, 11th Apr 2019 Abstract: Sea ice acts as a refrigerator for the world. Its bright surface reflects solar heat, and the salt it expels during the freezing process drives cold water towards the equator. As a result, sea ice plays a crucial role in our climate system. Antarctic sea-ice extent has shown a large degree of regional variability, in stark contrast with the steady decreasing trend found in the Arctic. This variability is within the ranges of natural fluctuations, and may be ascribed to the high incidence of weather extremes, like intense cyclones, that give rise to large waves, significant wind drag, and ice deformation. The role exerted by waves on sea ice is still particular enigmatic and it has attracted a lot of attention over the past years. Starting from theoretical knowledge, new understanding based on experimental models and computational fluid dynamics is presented. But exploration of waves-in-ice cannot be exhausted without being on the field. And this is why I found myself in the middle of the Southern Ocean during a category five polar cyclone to measure waves… This talk will take place at 2pm, not the standard time. [Permanent link] CARMA COLLOQUIUM Speaker: Dr Scott Lindstrom, Hong Kong Polytechnic University Title: Optimisation models for data science and machine learning Location: SR202, SR Building (Callaghan), The University of Newcastle Time and Date: 4:00 pm, Thu, 18th Apr 2019 Abstract: We discuss various optimisation-based approaches to machine learning. Tasks include regression, clustering, and classification. We discuss frequently used terms like 'unsupervised learning,' 'penalty methods,' and 'dual problem.' We motivate our discussion with simple examples and visualisations. [Permanent link] CARMA COLLOQUIUM Speaker: A/Prof Duangkamon Baowan, Department of Mathematics, Mahidol University Title: Calculus of variations and the bending of carbon nanostructures Location: SR202, SR Building (Callaghan), The University of Newcastle Time and Date: 4:00 pm, Wed, 24th Apr 2019 Abstract: Calculus of variations is utilized to minimize the elastic energy arising from the curvature squared while maximizing the van der Waals energy. Firstly, the shape of folded graphene sheets is investigated, and an arbitrary constant arising by integrating the Euler–Lagrange equation is determined. In this study, the structure is assumed to have a translational symmetry along the fold, so that the problem may be reduced to a two dimensional problem with reflective symmetry across the fold. Secondly, both variational calculus technique and least squared minimization procedure are employed to determine the joining structure involved a C60 fullerene and a carbon nanotube, namely a nanobud. We find that these two methods are in reasonable overall agreement. However, there is no experimental or simulation data to determine which procedure gives the more realistic results. [Permanent link] CARMA WORKSHOP CARMA Workshop on Computer-Aided Proof Location: , NewSpace (City Campus), The University of Newcastle Dates: Wed, 5th Jun 2019 - Fri, 7th Jun 2019 Computers are playing an increasingly important role in the creation and verification of mathematical proofs. This role is expected to become central in the future of mathematics. This workshop will bring together experts in computer proof assistants, formal proof verification systems, formal foundations of mathematics and related topics. The intended audience will be working mathematicians and graduate students, who are not necessarily experts in formal mathematics. Please visit the workshop website for more information. [Permanent link] CARMA WORKSHOP Data Science Down-Under Location: TBAThe University of Newcastle Dates: Sun, 8th Dec 2019 - Thu, 12th Dec 2019 For more information, please visit the workshop webpage. [Permanent link]

This space intentionally left blank.