Institute for Mathematical Sciences

Aspects of Computation

in celebration of the research work of Professor Rod Downey

(21 Aug - 15 Sep 2017)

Visitor List

Eric Allender
Rutgers, The State University of New Jersey, USA

Mini course:

New progress on the (Parameterized?) circuit size problem

(PDF) ( Video 1, Video 2, Video 3)

Klaus Ambos-Spies
Heidelberg University, Germany

Array noncomputability for left-c.e. reals and not totally ω-c.e. degrees

(PDF)

George Barmpalias
Chinese Academy of Sciences, China

Compression of binary streams down to their information content

(PDF)

Nikolay Bazhenov
Sobolev Institute of Mathematics, Russia
David Belanger
National University of Singapore, Singapore
Joerg Brendle
Kobe University, Japan
Benjamin Burton
The University of Queensland, Australia

The parameterised complexity of topological problems

Leizhen Cai
The Chinese University of Hong Kong, Hong Kong

New and simple FPT algorithms for vertex covers

(PDF)

Douglas Cenzer
University of Florida, USA

Weakly homogeneous structures

(PDF)

Jianer Chen
Texas A&M University, USA

Recent progress on maximum agreement forest

(PDF)

Peter Cholak
University of Notre Dame, USA

Lowness notions in the C.E. sets

(PDF) (Video)

Adam Day
Victoria University of Wellington, New Zealand

Algorithmic randomness and amenable groups

(PDF) (Video)

Rod Downey
Victoria University of Wellington, New Zealand
Nan Fang
Universität Heidelberg, Germany
Henning Fernau
Universität Trier, Germany

Mini course:

FPT-inspired approximation algorithms

(PDF) ( Video 1, Video 2, Video 3)

Fedor V. Fomin
University of Bergen, Norway

Graph decompositions and algorithms

(PDF)

Ziyuan Gao
National University Of Singapore, Singapore
Young Hee Geum
Dankook University, Korea
Noam Greenberg
Victoria University of Wellington, New Zealand
Valentina Harizanov
The George Washington University, USA

The automorphisms of the lattice of x-computably enumerable vector spaces

(PDF)

Matthew Harrison-Trainer
University of Waterloo, Canada

Some computability theory of finitely generated structures

(PDF) (Video)

Denis Hirschfeldt
The University of Chicago, USA

Public lecture:

Waking Up from Leibniz' Dream: On the Unmechanizability of Truth


The reverse mathematics of model theory and first-order principles

(PDF)

Yi Hang Ho
National University of Singapore, Singapore
Rupert Hölzl
Universität der Bundeswehr München, Germany

Rank and randomness

(PDF Link)

Sukmoon Huh
Sungkyunkwan University, Korea
Sanjay Jain
National University of Singapore, Singapore

Quasi polynomial and FPT algorithms for parity games

(PDF)

Iskander Sh. Kalimullin
Kazan Federal University, Russia

Computability and model-theoretic aspects of families of sets and its generalizations

(PDF) (Video)

Bakhadyr Khoussainov
University of Auckland, New Zealand

Algorithmically random structures

(PDF) (Video)

Takayuki Kihara
Nagoya University, Japan

Wadge-like classifications of real-valued functions

(PDF) (Video)

Julia Knight
University of Notre Dame, USA

Roots of polynomials in fields of generalized power series

(PDF) (Video)

Ruslan Kornev
Sobolev Institute of Mathematics, Russia

Reducibility of metrics on the real line

(PDF) (Video)

Ying Sheng Lam
Singapore University of Technology and Design, Singapore
Fermat Lim
Defense Science and Technology Agency, Singapore
Lu Liu
Central South University, China
YiQun Liu
National University of Singapore, Singapore
Nadine Losert
Universität Heidelberg, Germany

Array noncomputability for left-c.e. reals and not totally ω-c.e. degrees

(PDF)

Margarita Marchuk
Sobolev Institute of Mathematics, Russia

Degrees of autostability relative to strong constructivizations of structures of finite signature

(PDF) (Video)

Elvira Mayordomo
Universidad de Zaragoza , Spain

Mini course:

Effective fractal dimension theory: exploring the extreme cases

(PDF 1, PDF 2, PDF 3) (Video 2, Video 3)

Catherine McCartin
Massey University, New Zealand

Towards a parameterised analogue of Toda's theorem

(PDF)

Alexander Melnikov
Massey University, New Zealand

An optimal description of computably categorical torsion abelian groups

(PDF)

Wolfgang Merkle
Universität Heidelberg, Germany
Neeldhara Misra
Indian Institute of Technology, Gandhinagar, India

Efficient algorithms for hard problems on structured electorates

(PDF)

Kenshi Miyabe
Meiji University, Japan

TBA

Mina Mohammadian
University of Tabriz, Iran
Benoit Monin
Université Paris-Est Créteil Val de Marne, France

Randomness and ITTMs

(PDF)

Satyadev Nandakumar
IIT Kanpur, India
Keng Meng (Selwyn) Ng
Nanyang Technological University, Singapore
Andre Nies
University of Auckland, New Zealand

Closure of resource bounded randomness notions under polynomial time permutations

(PDF) (Video)

Ludovic Patey
Centre National De La Recherche Scientifique, Institut Camille Jordan, France
Ningning Peng
Wuhan University of Technology, China
Jan Reimann
Penn State University, USA
Alan Selman
University at Buffalo, The State University of New York, USA

Disjoint NP pairs and propositional proof systems

(PDF)

Peter Shaw
Charles Darwin University, Australia

A parameterized approach to the analysis of Otitis media data

(PDF)

Theodore A. Slaman
The University of California, Berkeley, USA
Reed Solomon
University of Connecticut, USA

Ordered abelian groups, generalized series and integer parts

(PDF) (Video)

Alexandra A. Soskova
Sofia University, Bulgaria

Cototal enumeration degrees and the skip operator

(PDF) (Video)

Frank Stephan
National University of Singapore, Singapore
Kai Wang
Charles Darwin University, Australia
Wei Wang
Sun Yat-Sen University, China
Zhang Wei
Nanyang Technological University, Singapore
Linda Westrick
University of Connecticut, USA

Increasing dimension s to dimension t with few changes

(PDF) (Video)

Guohua Wu
Nanyang Technological University, Singapore
Yue Wu
Technical University Berlin , UK
Takeshi Yamazaki
Tohoku University, Japan
Yue Yang
National University of Singapore, Singapore
Keita Yokoyama
Japan Advanced Institute of Science and Technology, Japan
Liang Yu
National University of Singapore and Nanjing University, China

Analysis aspect of Ω operators

(Video)

Louxin Zhang
National University of Singapore, Singapore
Ruixi Zhang
National University of Singapore, Singapore