BEGIN:VCALENDAR
VERSION:2.0
PRODID:PHP
METHOD:REQUEST
TZID:Australia/Sydney
BEGIN:VTIMEZONE
TZID:Australia/Sydney
X-LIC-LOCATION:Australia/Sydney
BEGIN:DAYLIGHT
TZOFFSETFROM:+1000
TZOFFSETTO:+1100
TZNAME:AEDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+1100
TZOFFSETTO:+1000
TZNAME:AEST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=4;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190327T100000
DTEND;TZID=Australia/Sydney:20190327T110000
SUMMARY:Zero-Dimensional Symmetry Seminar\n "What doughnuts tell us about data"\n Mr Yossi Bokor
LOCATION:W 243, Behavioural Sciences
DESCRIPTION:Zero-Dimensional Symmetry Seminar\nW 243, Behavioural Sciences\n"What doughnuts tell us about data"\nMr Yossi Bokor\n\nAbstract:\nThe 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.
UID:1110
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190323T142327
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190328T160000
DTEND;TZID=Australia/Sydney:20190328T170000
SUMMARY:CARMA Special Semester\n "An Introduction to Assisted Theorem Proving with “Coq”"\n Matt Skerritt
LOCATION:SR202, SR Building
DESCRIPTION:CARMA Special Semester\nSR202, SR Building\nSpecial Semester on Mathematical Thinking\n\n"An Introduction to Assisted Theorem Proving with “Coq”"\nMatt Skerritt\n\nAbstract:\nI introduce and demonstrate the Coq assisted theorem prover.
UID:1107
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190321T084227
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190404T160000
DTEND;TZID=Australia/Sydney:20190404T170000
SUMMARY:CARMA Colloquium\n "On the decimal expansion of $\log (2019/2018)$ and $e$"\n Professor Yann Bugeaud
LOCATION:LSTH, Life Sciences Lecture Theatre
DESCRIPTION:CARMA Colloquium\nLSTH, Life Sciences Lecture Theatre\nNote that this talk is not in the standard room. It will be in the Life Sciences Lecture Theatre (LSTH).\n\n"On the decimal expansion of $\log (2019/2018)$ and $e$"\nProfessor Yann Bugeaud\n\nAbstract:\nIt 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.
UID:1114
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190401T092426
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190405T120000
DTEND;TZID=Australia/Sydney:20190405T163000
SUMMARY:Symmetry in Newcastle
LOCATION:W 238, Behavioural Sciences
DESCRIPTION:Symmetry in Newcastle\nW 238, Behavioural Sciences\n
Schedule:
12-1: Talk 1
1-2: Lunch
2-3: Talk 2
3-3.30: Tea
3.30-4.30: Talk 3
\n\n"Jones' actions of the Thompson's groups: applications to group theory and mathematical physics"\nDr Arnaud Brothier\n\nAbstract:\nMotivating in constructing conformal field theories Jones recently discovered a very general process that produces actions of the Thompson groups $F$,$T$ and $V$ such as unitary representations or actions on $C^{\ast}$-algebras. I will give a general panorama of this construction along with many examples and present various applications regarding analytical properties of groups and, if time permits, in lattice theory (e.g. quantum field theory).\n"An irrational-slope Thompson's group"\nDr Lawrence Reeves\n\nAbstract:\nLet $t$ be the the multiplicative inverse of the golden mean. In 1995 Sean Cleary introduced the irrational-slope Thompson's group $F_t$, which is the group of piecewise-linear maps of the interval $[0,1]$ with breaks in $Z[t]$ and slopes powers of $t$. In this talk we describe this group using tree-pair diagrams, and then demonstrate a ﬁnite presentation, a normal form, and prove that its commutator subgroup is simple. This group is the first example of a group of piecewise-linear maps of the interval whose abelianisation has torsion, and it is an open problem whether this group is a subgroup of Thompson's group $F$.\n"Topos-theoretic aspects of self-similarity"\nDr Richard Garner\n\nAbstract:\nA Jonsson-Tarski algebra is a set X endowed with an\nisomorphism $X\to XxX$. As observed by Freyd, the category of\nJonsson-Tarski algebras is a Grothendieck topos - a highly structured\nmathematical object which is at once a generalised topological space,\nand a generalised universe of sets.\n\n\nIn particular, one can do algebra, topology and functional analysis\ninside the Jonsson-Tarski topos, and on doing so, the following objects\nsimply pop out: Cantor space; Thompson's group V; the Leavitt algebra\nL2; the Cuntz semigroup S2; and the reduced $C^{\ast}-algebra of S2. The first\nobjective of this talk is to explain how this happens.\n\n\nThe second objective is to describe other "self-similar toposes"\nassociated to, for example, self-similar group actions, directed graphs\nand higher-rank graphs; and again, each such topos contains within it a\nfamiliar menagerie of algebraic-analytic objects. If time permits, I\nwill also explain a further intriguing example which gives rise to\nThompson's group F and, I suspect, the Farey AF algebra.\n\n\nNo expertise in topos theory is required; such background as is\nnecessary will be developed in the talk.
UID:1086
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190213T182530
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190407T090000
DTEND;TZID=Australia/Sydney:20190410T170000
SUMMARY:CARMA Workshop "International Workshop on Water Waves and Floating Bodies"
LOCATION:Noah's On the Beach
DESCRIPTION:CARMA Workshop\nNoah's On the Beach \nInternational Workshop on Water Waves and Floating Bodies\n\nThe 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.
UID:1032
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20180122T120700
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190411T140000
DTEND;TZID=Australia/Sydney:20190411T150000
SUMMARY:CARMA Colloquium\n "Sailing through a polar cyclone to witnes the fierceness of the Southern Ocean: there and back again"\n A/Prof Alessandro Toffoli
LOCATION:SR202, SR Building
DESCRIPTION:CARMA Colloquium\nSR202, SR Building\nThis talk will take place at 2pm, not the standard time.\n\n"Sailing through a polar cyclone to witnes the fierceness of the Southern Ocean: there and back again"\nA/Prof Alessandro Toffoli\n\nAbstract:\nSea 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…
UID:1109
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190322T092519
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190411T160000
DTEND;TZID=Australia/Sydney:20190411T170000
SUMMARY:CARMA Colloquium\n "Decision-making in interconnected multiagent networks: roles of frustration and social commitment"\n Professor Claudio Altafini
LOCATION:LSTH, Life Sciences Lecture Theatre
DESCRIPTION:CARMA Colloquium\nLSTH, Life Sciences Lecture Theatre\n"Decision-making in interconnected multiagent networks: roles of frustration and social commitment"\nProfessor Claudio Altafini\n\nAbstract:\nThe models of collective decision-making considered in this presentation are nonlinear interconnected systems with saturating interactions, similar to Hopfield newtorks. These systems encode the possible outcomes of a decision process into different steady states of the dynamics. When the model is cooperative, i.e., when the underlying adjacency graph is Metzler, then the system is characterized by the presence of two main attractors, one positive and the other negative, representing two choices of agreement among the agents, associated to the Perron-Frobenius eigenvector of the system. Such equilibria are achieved when there is a sufficiently high 'social commitment' among the agent (here interpreted as a bifurcation parameter). When instead cooperation and antagonism coexist, the resulting signed graph is in general not structurally balanced, meaning that Perron-Frobenius theorem does not apply directly. It is shown that the decision-making process is affected by the distance to structural balance, in the sense that the higher the frustration of the graph, the higher the commitment strength at which the system bifurcates. In both cases, it is possible to give conditions on the commitment strength beyond which other equilibria start to appear. These extra bifurcations are related to the algebraic connectivity of the graph.
UID:1117
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190407T174227
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190415T140000
DTEND;TZID=Australia/Sydney:20190415T150000
SUMMARY:PhD Confirmation Seminar\n "Clifford analysis and the construction of multidimensional prolate spheroidal wavefunctions"\n Hamed Ghaffari
LOCATION:SR202, SR Building
DESCRIPTION:PhD Confirmation Seminar\nSR202, SR Building\n"Clifford analysis and the construction of multidimensional prolate spheroidal wavefunctions"\nHamed Ghaffari\n\nAbstract:\nWe investigate the construction of multidimensional prolate spheroidal wave functions using techniques from Clifford analysis. The prolates are eigenfunctions of a time-frequency limiting operator, but we show that they are also eigenfunctions of a differential operator. In an effort to compute solutions of this operator, we prove a Bonnet formula for a class of Clifford-Gegenbauer polynomials.
UID:1119
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190412T135853
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190418T160000
DTEND;TZID=Australia/Sydney:20190418T170000
SUMMARY:CARMA Colloquium\n "Optimisation models for data science and machine learning"\n Dr Scott Lindstrom
LOCATION:SR202, SR Building
DESCRIPTION:CARMA Colloquium\nSR202, SR Building\n"Optimisation models for data science and machine learning"\nDr Scott Lindstrom\n\nAbstract:\nWe 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.
UID:1100
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190311T132856
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190424T160000
DTEND;TZID=Australia/Sydney:20190424T170000
SUMMARY:CARMA Colloquium\n "Calculus of variations and the bending of carbon nanostructures"\n A/Prof Duangkamon Baowan
LOCATION:SR202, SR Building
DESCRIPTION:CARMA Colloquium\nSR202, SR Building\n"Calculus of variations and the bending of carbon nanostructures"\nA/Prof Duangkamon Baowan\n\nAbstract:\nCalculus 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.\n\nSecondly, 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.\n
UID:1108
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190321T092111
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190502T160000
DTEND;TZID=Australia/Sydney:20190502T170000
SUMMARY:CARMA Seminar\n "Stabilizing controllers with avoidance properties (for underactuated linear systems)"\n Dr Philipp Braun
LOCATION:SR202, SR Building
DESCRIPTION:CARMA Seminar\nSR202, SR Building\n"Stabilizing controllers with avoidance properties (for underactuated linear systems)"\nDr Philipp Braun\n\nAbstract:\nFor linear and nonlinear dynamical systems, control problems such as feedback stabilization of target sets and feedback laws guaranteeing obstacle avoidance are topics of interest throughout the control literature. While the isolated problems (i.e., guaranteeing only stability or avoidance) are well understood, the combined control problem guaranteeing stability and avoidance simultaneously is leading to significant challenges even in the case of linear systems. In this talk we highlight difficulties in the controller design with conflicting objectives in terms of guaranteed avoidance of bounded sets and asymptotic stability of the origin. In addition, using the framework of hybrid systems, we propose a partial solution to the combined control problem for underactuated linear systems.
UID:1118
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190410T190723
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190503T120000
DTEND;TZID=Australia/Sydney:20190303T163000
SUMMARY:Symmetry in Newcastle
LOCATION:TBA ( Campus, The University of Newcastle)
DESCRIPTION:Symmetry in Newcastle\nTBA( Campus, The University of Newcastle)\n\n
Schedule:
12-1: Talk 1
1-2: Lunch
2-3: Talk 2
3-3.30: Tea
3.30-4.30: Talk 3
\n\n"Quotient algorithms (a.k.a. how to compute with finitely presented groups)"\nDr Heiko Dietrich\n\nAbstract:\nIn this talk, I will survey some of the famous quotient algorithms that can be used to compute efficiently with finitely presented groups. The last part of the talk will be about joint work with Alexander Hulpke (Colorado State University): we have looked at quotient algorithms for non-solvable groups, and I will report on the findings so far.\n"TBA"\nDr Youming Qiao\n\nAbstract:\nTBA\n"Computations of Galois groups and splitting fields"\nDr Nicole Sutherland\n\nAbstract:\nThe Galois group of a polynomial is the automorphism group of its \nsplitting field. These automorphisms act by permuting the roots of the \npolynomial so that a Galois group will be a subgroup of a symmetric group. \nUsing the Galois group the splitting field of a polynomial can be computed \nmore efficiently than otherwise, using the knowledge of the symmetries of \nthe roots. I will present an algorithm developed by Fieker and Klueners, \nwhich I have extended, for computing Galois groups of polynomials over \narithmetic fields as well as approaches to computing splitting fields \nusing the symmetries of the roots.
UID:1121
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190425T203913
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190509T090000
DTEND;TZID=Australia/Sydney:20190509T100000
SUMMARY:CARMA Workshop "Lie Symmetry Techniques for PDEs"
LOCATION:SR202, SR Building
DESCRIPTION:CARMA Workshop\nSR202, SR Building\nLie Symmetry Techniques for PDEs\n\nLie symmetry methods can be useful for constructing exact solutions to differential equations, and this workshop will show you how to determine the symmetry properties of linear and nonlinear PDEs, and how to exploit these properties to reduce the order of the governing equation. For more information, please visit the workshop web page.
UID:1115
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190401T161951
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190604T160000
DTEND;TZID=Australia/Sydney:20190604T170000
SUMMARY:CARMA Seminar\n "Yang-Baxter integrable dimers and Fused Restricted-Solid-On-Solid Models"\n Alessandra Vittorini Orgeas
LOCATION:SR202, SR Building
DESCRIPTION:CARMA Seminar\nSR202, SR Building\n"Yang-Baxter integrable dimers and Fused Restricted-Solid-On-Solid Models"\nAlessandra Vittorini Orgeas\n\nAbstract:\nTo be announced...
UID:1111
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190325T115639
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20190605T090000
DTEND;TZID=Australia/Sydney:20190607T170000
SUMMARY:CARMA Workshop "CARMA Workshop on Computer-Aided Proof"
LOCATION:NewSpace
DESCRIPTION:CARMA Workshop\nNewSpace\nCARMA Workshop on Computer-Aided Proof\n\nComputers 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.
UID:1097
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190311T104538
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20191208T090000
DTEND;TZID=Australia/Sydney:20191212T170000
SUMMARY:CARMA Workshop "Data Science Down-Under"
LOCATION:TBA ( Campus, The University of Newcastle)
DESCRIPTION:CARMA Workshop\nTBA( Campus, The University of Newcastle)\n\nData Science Down-Under\n\nFor more information, please visit the workshop webpage.
UID:1098
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190311T112220
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20200128T090000
DTEND;TZID=Australia/Sydney:20200201T170000
SUMMARY:CARMA Workshop "Mathematics in Industry Study Group 2020"
LOCATION:NewSpace
DESCRIPTION:CARMA Workshop\nNewSpace\nMathematics in Industry Study Group 2020\n\nVisit the MISG website for more information.
UID:1112
SEQUENCE:0
DTSTAMP;TZID=Australia/Sydney:20190325T160820
END:VEVENT
END:VCALENDAR