Events

Filters
Export this event to calendar
iCal
RSS
RSS
Close X

Filter by:

Limit to events where the first date of the event:
Date range
Limit to events where the first date of the event:
Limit to events where the title matches:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Tuesday, June 30, 2020 1:00 pm - 1:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Formal Methods — A Comprehensive Study of Declarative Modelling Languages

Please note: This master’s thesis presentation will be given online.

Amin Bandali, Master’s candidate
David R. Cheriton School of Computer Science

Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system functionality abstractly and formally. An abstract model is a concise and compact representation of key characteristics of a system, and enables the stakeholders to reason about the correctness of the system in the early stages of development.

Wednesday, July 8, 2020 3:00 pm - 3:00 pm EDT (GMT -04:00)

PhD Seminar • Symbolic Computation — Fast Computation of the Smith Form of a Nonsingular Integer Matrix

Please note: This PhD seminar will be given online.

Stavros Birmpilis, PhD candidate
David R. Cheriton School of Computer Science

Any nonsingular matrix $A \in \mathbb{Z}^{n\times n}$ is unimodularly equivalent to a unique diagonal matrix $S = diag(s_1, s_2, \ldots, s_n)$ in Smith form. The diagonal entries, the invariant factors of $A$, are positive with $s_1 \mid s_2 \mid \cdots \mid s_n$, and unimodularly equivalent means that there exist unimodular (with determinant ±1) matrices $U, V \in \mathbb{Z}^{n\times n}$ such that $UAV = S$.