Bases and
generating sets in computable algebra. Mal'cev Meeting
2015, Novosibirsk.

Computable metric
space theory is a generalization of effective algebra.
CCA 2014, Darmstadt.

Iterated
embeddings of computable pgroups. ASL 2014 North
American Meeting.

Completely
decomposable groups are arithmetically categorical.
Computable structures and deﬁnability 2012, Sobolev Institute
of Mathematics, Novosibirsk, Russia.

Computably
categorical spaces. Computability and Complexity in
Analysis 2012, Cambridge.

Hyperarithmetical
categoricity and abelian groups. Semantics and Syntax: A
Legacy of Alan Turing. Isaac Newton Institute for Mathematical
Sciences, Cambridge, 2012.

Coding undecidable
sets into computable abelian groups. Number Theory,
Discrete Mathematics, and Their Applications.
Tsighua University, China, 2012.

Interactions
of computability and abelian group theory. Asian Logic
Colloquium 2011 in Wellington.

Categoricity in
computable metric spaces. Analysis and Randomness in
Auckland, 2011.

Effective
properties of abelian groups. Mal’tsev Meeting 2011 in
Novosibirsk.
