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
19 - 31 Aug 2017

Mini course:

New progress on the (Parameterized?) circuit size problem

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

Klaus Ambos-Spies
Heidelberg University, Germany
26 Aug - 9 Sep 2017

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

(PDF)

George Barmpalias
Chinese Academy of Sciences, China
21 Aug - 15 Sep 2017

Compression of binary streams down to their information content

(PDF)

Nikolay Bazhenov
Sobolev Institute of Mathematics, Russia
3 - 15 Sep 2017
David Belanger
National University of Singapore, Singapore
21 Aug - 15 Sep 2017
Joerg Brendle
Kobe University, Japan
3 - 13 Sep 2017
Benjamin Burton
The University of Queensland, Australia
20 Aug - 3 Sep 2017

The parameterised complexity of topological problems

Leizhen Cai
The Chinese University of Hong Kong, Hong Kong
20 - 23 Aug 2017

New and simple FPT algorithms for vertex covers

(PDF)

Douglas Cenzer
University of Florida, USA
3 - 16 Sep 2017

Weakly homogeneous structures

(PDF)

Jianer Chen
Texas A&M University, USA
21 - 27 Aug 2017

Recent progress on maximum agreement forest

(PDF)

Peter Cholak
University of Notre Dame, USA
4 - 17 Sep 2017

Lowness notions in the C.E. sets

(PDF) (Video)

Adam Day
Victoria University of Wellington, New Zealand
27 Aug - 8 Sep 2017

Algorithmic randomness and amenable groups

(PDF) (Video)

Rod Downey
Victoria University of Wellington, New Zealand
16 Aug - 17 Sep 2017
Nan Fang
Universität Heidelberg, Germany
27 Aug - 16 Sep 2017
Henning Fernau
Universität Trier, Germany
20 - 27 Aug 2017

Mini course:

FPT-inspired approximation algorithms

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

Fedor V. Fomin
University of Bergen, Norway
21 - 26 Aug 2017

Graph decompositions and algorithms

(PDF)

Ziyuan Gao
National University Of Singapore, Singapore
21 Aug - 15 Sep 2017
Young Hee Geum
Dankook University, Korea
21 - 26 Aug 2017
Noam Greenberg
Victoria University of Wellington, New Zealand
20 Aug - 17 Sep 2017
Valentina Harizanov
The George Washington University, USA
3 - 16 Sep 2017

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

(PDF)

Matthew Harrison-Trainer
University of Waterloo, Canada
2 - 17 Sep 2017

Some computability theory of finitely generated structures

(PDF) (Video)

Denis Hirschfeldt
The University of Chicago, USA
28 Aug - 16 Sep 2017

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
21 Aug - 15 Sep 2017
Rupert Hölzl
Universität der Bundeswehr München, Germany
27 Aug - 9 Sep 2017

Rank and randomness

(PDF Link)

Sukmoon Huh
Sungkyunkwan University, South Korea
3 - 9 Sep 2017
Sanjay Jain
National University of Singapore, Singapore
21 Aug - 15 Sep 2017

Quasi polynomial and FPT algorithms for parity games

(PDF)

Iskander Sh. Kalimullin
Kazan Federal University, Russia
28 Aug - 16 Sep 2017

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

(PDF) (Video)

Bakhadyr Khoussainov
University of Auckland, New Zealand
26 Aug - 24 Sep 2017

Algorithmically random structures

(PDF) (Video)

Takayuki Kihara
Nagoya University, Japan
27 Aug - 13 Sep 2017

Wadge-like classifications of real-valued functions

(PDF) (Video)

Julia Knight
University of Notre Dame, USA
3 - 16 Sep 2017

Roots of polynomials in fields of generalized power series

(PDF) (Video)

Ruslan Kornev
Sobolev Institute of Mathematics, Russia
5 - 16 Sep 2017

Reducibility of metrics on the real line

(PDF) (Video)

Ying Sheng Lam
Singapore University of Technology and Design, Singapore
21 Aug - 15 Sep 2017
Fermat Lim
Defense Science and Technology Agency, Singapore
21 Aug - 15 Sep 2017
Lu Liu
Central South University, China
4 - 16 Sep 2017
YiQun Liu
National University of Singapore, Singapore
29 Aug 2017
Nadine Losert
Universität Heidelberg, Germany
27 Aug - 9 Sep 2017

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

(PDF)

Margarita Marchuk
Sobolev Institute of Mathematics, Russia
19 Aug - 17 Sep 2017

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

(PDF) (Video)

Elvira Mayordomo
Universidad de Zaragoza , Spain
20 Aug - 2 Sep 2017

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
20 - 30 Aug 2017

Towards a parameterised analogue of Toda's theorem

(PDF)

Alexander Melnikov
Massey University, New Zealand
22 Aug - 16 Sep 2017

An optimal description of computably categorical torsion abelian groups

(PDF)

Wolfgang Merkle
Universität Heidelberg, Germany
27 Aug - 8 Sep 2017
Neeldhara Misra
Indian Institute of Technology, Gandhinagar, India
21 - 25 Aug 2017

Efficient algorithms for hard problems on structured electorates

(PDF)

Kenshi Miyabe
Meiji University, Japan
27 Aug - 13 Sep 2017

TBA

Mina Mohammadian
University of Tabriz, Iran
21 Aug - 10 Sep 2017
Benoit Monin
Université Paris-Est Créteil Val de Marne, France
27 Aug - 8 Sep 2017

Randomness and ITTMs

(PDF)

Satyadev Nandakumar
IIT Kanpur, India
22 - 27 Aug 2017
Keng Meng (Selwyn) Ng
Nanyang Technological University, Singapore
21 Aug - 15 Sep 2017
Andre Nies
University of Auckland, New Zealand
28 Aug - 8 Sep 2017

Closure of resource bounded randomness notions under polynomial time permutations

(PDF) (Video)

Ludovic Patey
Centre National De La Recherche Scientifique, Institut Camille Jordan, France
27 Aug - 16 Sep 2017
Ningning Peng
Wuhan University of Technology, China
8 - 16 Sep 2017
Jan Reimann
Penn State University, USA
9 - 16 Sep 2017
Alan Selman
University at Buffalo, The State University of New York, USA
19 - 30 Aug 2017

Disjoint NP pairs and propositional proof systems

(PDF)

Peter Shaw
Charles Darwin University, Australia
21 - 25 Aug 2017

A parameterized approach to the analysis of Otitis media data

(PDF)

Theodore A. Slaman
The University of California, Berkeley, USA
9 - 17 Sep 2017
Reed Solomon
University of Connecticut, USA
10 - 15 Sep 2017

Ordered abelian groups, generalized series and integer parts

(PDF) (Video)

Alexandra A. Soskova
Sofia University, Bulgaria
3 - 16 Sep 2017

Cototal enumeration degrees and the skip operator

(PDF) (Video)

Frank Stephan
National University of Singapore, Singapore
21 Aug - 15 Sep 2017
Kai Wang
Charles Darwin University, Australia
21 - 25 Aug 2017
Wei Wang
Sun Yat-Sen University, China
10 - 16 Sep 2017
Zhang Wei
Nanyang Technological University, Singapore
21 Aug - 15 Sep 2017
Linda Westrick
University of Connecticut, USA
27 Aug - 2 Sep 2017

Increasing dimension s to dimension t with few changes

(PDF) (Video)

Guohua Wu
Nanyang Technological University, Singapore
21 Aug - 15 Sep 2017
Yue Wu
Technical University Berlin , UK
4 Aug - 8 Sep 2017
Takeshi Yamazaki
Tohoku University, Japan
10 - 16 Sep 2017
Yue Yang
National University of Singapore, Singapore
21 Aug - 15 Sep 2017
Keita Yokoyama
Japan Advanced Institute of Science and Technology, Japan
11 - 13 Sep 2017
Liang Yu
National University of Singapore and Nanjing University, China
21 Aug - 15 Sep 2017

Analysis aspect of Ω operators

(Video)

Louxin Zhang
National University of Singapore, Singapore
21 - 24 Aug 2017
Ruixi Zhang
National University of Singapore, Singapore
21 Aug - 15 Sep 2017