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

Klaus Ambos-Spies
Heidelberg University, Germany
26 Aug - 9 Sep 2017
George Barmpalias
Chinese Academy of Sciences, China
21 Aug - 15 Sep 2017

Compression of binary streams down to their information content

Nikolay Bazhenov
Sobolev Institute of Mathematics, Russia
3 - 15 Sep 2017
David Belanger
National University of Singapore, Singapore
21 Aug - 15 Sep 2017
Kai Hsien Boo
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

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

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

Algorithmic randomness and amenable groups

Rod Downey
Victoria University of Wellington, New Zealand
21 Aug - 15 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)

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

Graph decompositions and algorithms

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

Matthew Harrison-Trainer
The University of California, Berkeley, USA
4 - 15 Sep 2017

Some computability theory of finitely generated structures

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

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

Ross Horne
Nanyang Technological University, Singapore
11 - 15 Sep 2017
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)

Lee Jin
Imperial College London, Singapore
21 Aug - 15 Sep 2017
Iskander Sh. Kalimullin
Kazan Federal University, Russia
28 Aug - 16 Sep 2017

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

Bakhadyr Khoussainov
University of Auckland, New Zealand
26 Aug - 24 Sep 2017
Takayuki Kihara
Nagoya University, Japan
27 Aug - 13 Sep 2017

Wadge-like classifications of real-valued functions

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

Roots of polynomials in fields of generalized power series

Ruslan Kornev
Sobolev Institute of Mathematics, Russia
5 - 16 Sep 2017
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 - 15 Sep 2017
Nadine Losert
Universität Heidelberg, Germany
27 Aug - 9 Sep 2017
Margarita Marchuk
Sobolev Institute of Mathematics, Russia
19 Aug - 17 Sep 2017
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)

Catherine McCartin
Massey University, New Zealand
20 - 30 Aug 2017

Towards a parameterised analogue of Toda's theorem

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

An optimal description of computably categorical torsion abelian groups

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
28 Aug - 8 Sep 2017

Randomness and ITTMs

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

Ludovic Patey
The University of California, Berkeley, USA
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

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

A parameterized approach to the analysis of Otitis media data

(PDF)

Stephen G. Simpson
Pennsylvania State University and Vanderbilt University, USA
3 - 16 Sep 2017
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

Alexandra A. Soskova
Sofia University, Bulgaria
3 - 15 Sep 2017
Frank Stephan
National University of Singapore, Singapore
21 Aug - 15 Sep 2017
Kazuyuki Tanaka
Tohoku University, Japan
11 - 15 Sep 2017
Kai Wang
Charles Darwin University, Australia
20 - 26 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

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
Xing Yang
Nanyang Technological University, singapore
21 Aug - 15 Sep 2017
Yue Yang
National University of Singapore, Singapore
21 Aug - 15 Sep 2017
Keita Yokoyama
Japan Advanced Institute of Science and Technology, Japan
10 - 14 Sep 2017
Liang Yu
National University of Singapore and Nanjing University, China
21 Aug - 15 Sep 2017

On weakly low for K reals

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