The emphasis should still be on "knot theory",
while we like to consider "computational" in the
loosest possible sense. Our goal is also to promote the
topic with talks accessible to (and whet interest of)
computer science students (who have not heard much
about knot theory). *To students:* for a *very* basic introduction,
you may consult notes and links to my
previous talks at the dept,
"Introduction
to Computational Knot Theory",
"Knotscape
and knot tables" (see the bottom of
my talk page).

Our agreement is that we
use **zoom**, that I would like you to install
(zoom.us),
ID **875 1903 7390**, password "**knotty**".

I am planning a week in late May-early June,
**May 26-June 2, 2021**.
Talk time should be **25-50 minutes** (+ possible questions).

Schedule and abstracts will be completed below. **Times are KST**
(= GMT +0900). There are reasons like time(/time zone) difference
why I cant attain a uniform talk schedule every day.

Looking forward to seeing you -at least virtually.

Please forward this page to whoever you think may be interested. You're welcome to write me (address at the bottom of the page) if you have questions. Thank you.

report on the workshop on the dept webpage (also in Korean)

follow-up event (planned)

David Cimasoni and Vincent Florens computed the multivariable signatures via the signatures of a generalized Seifert form on the 1-st homologies of a C-complex of a colored link. In my talk I discuss the computational problems appearing in this context.

Universal invariants include the Jones polynomial and many of its generalizations and behave well under many topological operations on knots. We will illustrate these ideas with a computer implementation of a particular universal invariant that is distinguishes all knots in the Rolfsen table yet is computationally effective. Unlike all other known powerful knot invariants it runs in polynomial time in the complexity of the knot diagrams. This is joint work with Dror Bar-Natan and parts of our work appeared in arXiv:2007.09828 and arXiv:1708.04853.

Strategies for constructing them and test cases for comparing them will be described. I will look particularly at the case of satellites and symmetric mutants.

The general guidance when looking at an invariant is to suggest and subsequently identify geometric features which it can show up. Equally, for more geometrically defined invariants the aim is to target their computation.

* = please allow for a possible 3-4 min delay for greeting/because of overlapping lecture time at the dept

Alexander Stoimenow,

Co-organizer: Hyunwoo Lee