[CARMA logo]

CARMA Special Semester

Special Semester on Mathematical Thinking

Monday, 5th Nov 2018 — Friday, 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]

[CARMA logo]

CARMA Seminar

4:00 pm

Thursday, 2nd May 2019

SR202, SR Building


Dr Philipp Braun

(School of Electrical Engineering and Computer Science, The University of Newcastle)

Stabilizing controllers with avoidance properties (for underactuated linear systems)

For 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.

[CARMA logo]

Symmetry in Newcastle

Friday, 3rd May 2019 — Sunday, 3rd Mar 2019

(Location to be decided)

Schedule:

12-1: Talk 1
1-2: Lunch
2-3: Talk 2
3-3.30: Tea
3.30-4.30: Talk 3


Dr Heiko Dietrich

(Monash University)

Quotient algorithms (a.k.a. how to compute with finitely presented groups)

In 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.


Dr Heiko Dietrich

(Monash University)

Quotient algorithms (a.k.a. how to compute with finitely presented groups)

In 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.


Dr Heiko Dietrich

(Monash University)

Quotient algorithms (a.k.a. how to compute with finitely presented groups)

In 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.

[CARMA logo]

CARMA Workshop

Lie Symmetry Techniques for PDEs

9:00 am

Thursday, 9th May 2019

SR202, SR Building

Lie 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.

[Permanent link]

[CARMA logo]

CARMA Seminar

4:00 pm

Tuesday, 4th Jun 2019

SR202, SR Building


Alessandra Vittorini Orgeas

(The University of Melbourne)

Yang-Baxter integrable dimers and Fused Restricted-Solid-On-Solid Models

To be announced...

[CARMA logo]

CARMA Workshop

CARMA Workshop on Computer-Aided Proof

Wednesday, 5th Jun 2019 — Friday, 7th Jun 2019

NewSpace (City Campus)

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 logo]

CARMA Workshop

Data Science Down-Under

Sunday, 8th Dec 2019 — Thursday, 12th Dec 2019

(Location to be decided)

For more information, please visit the workshop webpage.

[Permanent link]

[CARMA logo]

CARMA Workshop

Mathematics in Industry Study Group 2020

Tuesday, 28th Jan 2020 — Saturday, 1st Feb 2020

NewSpace (City Campus)

Visit the MISG website for more information.

[Permanent link]