Institute for Mathematical Sciences Event Archive

 

   
 

Online registration form
   


Enquiries

      General

      Scientific aspects




   

Algorithmic Randomness
(2 - 30 June 2014)


 

Organizing Committee · Visitors and Participants · Overview · Activities · Venue

 

Visitors and Participants

NAME & AFFILIATION

PERIOD OF VISIT

TENTATIVE TITLE OF TALK

OVERSEAS VISITORS

   

Georgios Barmpalias
Chinese Academy of Sciences, China and Victoria University of Wellington, New Zealand
barmpalias(AT)gmail.com

5 - 20 Jun 2014

From randomness to order

(PDF)

Bruno Bauwens
Ghent University, Belgium
brbauwens(AT)gmail.com

8 - 15 Jun 2014

Relating and contrasting plain and prefix Kolmogorov complexity

(PDF)

Verónica Becher
Universidad de Buenos Aires, Argentina
vbecher(AT)dc.uba.ar

25 May - 19 Jun 2014

A computable absolutely normal Liouville number

(PDF)


Normality, computability and diophantine approximation

Yann Bugeaud
Université de Strasbourg, France
yann.bugeaud(AT)math.unistra.fr

28 May - 5 Jun 2014

On normal and simply normal numbers

Mingzhong Cai
University of Wisconsin-Madison, USA
mcai(AT)math.wisc.edu

7 - 14 Jun 2014

An introduction to provability degrees

(PDF)

Cristian Sorin Calude
The University of Auckland, New Zealand
cristian(AT)cs.auckland.ac.nz

6 - 15 Jun 2014

Finite state incompressible infinite sequences

(PDF)

Yijia Chen
Shanghai Jiao Tong University, China
c.yijia.chen(AT)googlemail.com

8 - 14 Jun 2014

On limitations of the Ehrenfeucht-Fraisse-method in descriptive complexity

(PDF)

Peter Cholak
University of Notre Dame, USA
cholak(AT)nd.edu

8 - 18 Jun 2014

Mathias forcing

Marina Dorzhieva
Novosibirsk State University, Russia
dm-3004(AT)inbox.ru

7 - 30 Jun 2014

On Rogers semilattices of analytical hierarchy

(PDF)

Rodney G. Downey
Victoria University of Wellington, New Zealand
rod.downey(AT)vuw.ac.nz

2 - 30 Jun 2014

Samuel Epstein
Boston University, USA
samepst(AT)bu.edu

15 - 30 Jun 2014

Sets have simple members

(PDF)

Yun Fan
Southeast Univerisity, China
fanyun(AT)seu.edu.cn

1 - 15 Jun 2014

The uniformly non-low2 c.e. degrees and the cl-reducibility

(PDF)

Nan Fang
Peking University, China
purewooder(AT)gmail.com

5 Jun - 4 Jul 2014

Johanna Franklin
University of Connecticut, USA
johanna.franklin(AT)uconn.edu

8 - 22 Jun 2014

Aleksander Galicki
The University of Auckland, New Zealand
alex.galicki(AT)gmail.com

2 - 25 Jun 2014

An effective form of Rademacher's theorem

(PDF)

Jun Le Goh
Cornell University, USA
junlesg(AT)gmail.com

2 - 30 Jun 2014

Noam Greenberg
Victoria University of Wellington, New Zealand
greenberg(AT)msor.vuw.ac.nz

8 - 19 Jun 2014

The complexity of n11 randomness

(PDF)

Kojiro Higuchi
Chiba University, Japan
khiguchi(AT)g.math.s.chiba-u.ac.jp

7 - 30 Jun 2014

Gregory Igusa
University of Notre Dame, USA
gigusa(AT)nd.edu

8 - 18 Jun 2014

Computations with incomplete or imperfect information

(PDF)

Bakhadyr Khoussainov
The University of Auckland, New Zealand
bmk(AT)cs.auckland.ac.nz

12 - 15 Jun 2014

Algorithmically random algebraic structures

(PDF)

Takayuki Kihara
Japan Advanced Institute of Science and Technology, Japan
kihara.takayuki.logic(AT)gmail.com

1 - 27 Jun 2014

Triviality within and beyond hyperarithmetic

(PDF)

Bjoern Kjos-Hanssen
University of Hawaii, USA
bjoernkh(AT)hawaii.edu

2 - 30 Jun 2014

Nondeterministic automatic complexity of almost square-free and strongly cube-free words

Antonin Kucera
Charles University, Czech Republic
kucera(AT)mbox.ms.mff.cuni.cz

7 - 20 Jun 2014

Masahiro Kumabe
The Open University of Japan, Japan
kumabe(AT)ouj.ac.jp

2 - 17 Jun 2014

Rutger Kuyper
Radboud University Nijmegen, Netherlands
r.kuyper(AT)math.ru.nl

16 - 30 Jun 2014

Jiamou Liu
Auckland University of Technology, New Zealand
jiamou.liu(AT)aut.ac.nz

8 - 16 Jun 2014

Michael McInerney
Victoria University of Wellington, New Zealand
spiketacular(AT)gmail.com

8 - 30 Jun 2014

Integer-valued randomness and degrees

(PDF)

Wolfgang Merkle
University of Heidelberg, Germany
merkle(AT)math.uni-heidelberg.de

8 - 20 Jun 2014

Joseph Miller
University of Wisconsin, USA
jmiller(AT)math.wisc.edu

2 - 21 Jun 2014

Defining totality in the enumeration degrees

(PDF)

Kenshi Miyabe
Meiji University, Japan
research(AT)kenshi.miyabe.name

7 - 15 Jun 2014

Schnorr-randomness versions of K, C, LR, vL-reducibilities

(PDF)

Satyadev Nandakumar
Indian Institute of Technology, India
satyadev(AT)cse.iitk.ac.in

2 - 15 Jun 2014

Ornstein isomorphism and algorithmic randomness

(PDF)

Andre Nies
The University of Auckland, New Zealand
andre(AT)cs.auckland.ac.nz

9 - 29 Jun 2014

An analogy between cardinal characteristics and highness properties of oracles

(PDF)

Jake Pardo
Penn State University, USA
j.pardo(AT)math.psu.edu

9 - 13 Jun 2014

Jan Severin Reimann
Pennsylvania State University, USA
reimann(AT)math.psu.edu

7 - 16 Jun 2014

Effective multifractal analysis

Jason Rute
Pennsylvania State University, USA
jmr71(AT)math.psu.edu

4 - 30 Jun 2014

Randomness for capacities with applications to random closed sets

(PDF)

Philipp Schlicht
University of Bonn, Germany
schlicht(AT)math.uni-bonn.de

3 - 28 Jun 2014

Infinite time computations and randomness

(PDF)

Alexander Shen
LIRMM CNRS, France
alexander.shen(AT)lirmm.fr

3 - 28 Jun 2014

Layerwise computable mappings and computable Lovasz local lemma

(PDF)

Stephen Simpson
Pennsylvania State University, USA
t20(AT)psu.edu

8 - 15 Jun 2014

Cone avoidance and randomness preservation

(PDF)

Theodore A. Slaman
University of California at Berkeley, USA
slaman(AT)math.berkeley.edu

2 - 30 Jun 2014

Mariya Ivanova Soskova
University of California, Berkeley, USA
msoskova(AT)fmi.uni-sofia.bg

2 - 21 Jun 2014

Finite automorphism bases for degree structures

(PDF)

Kohtaro Tadaki
Chuo University, Japan
tadaki(AT)kc.chuo-u.ac.jp

1 - 25 Jun 2014

Reformulating quantum mechanics by algorithmic randomness

Sebastiaan Terwijn
Radboud University Nijmegen, Netherlands
terwijn(AT)math.ru.nl

3 - 16 Jun 2014

Jason Teutsch
The University of Chicago, USA
teutsch(AT)cs.uchicago.edu

1 - 30 Jun 2014

On approximate decidability of minimal programs

(PDF)

Daniel Turetsky
Kurt Gödel Research Center for Mathematical Logic, Austria
dturets(AT)gmail.com

7 - 22 Jun 2014

Nikolay Vereshchagin
Moscow State University, Russia
nikolay.vereshchagin(AT)gmail.com

16 - 30 Jun 2014

On algorithmic strong sufficient statistics

Keita Yokoyama
Japan Advanced Institute of Science and Technology, Japan
y-keita(AT)jaist.ac.jp

7 - 13 Jun 2014

Liang Yu
Nanjing University, China
yuliang.nju(AT)gmail.com

2 - 30 Jun 2014

Some applications of higher Demuth's theorem

(PDF)

Hector Zenil
Karolinska Institutet, Sweden
hector.zenil(AT)ki.se

7 - 23 Jun 2014

Applications of algorithmic complexity to network science and synthetic biology

(PDF)

LOCAL VISITORS

   

Ling Chen Fu
Temasek Polytechnic
flingche(AT)tp.edu.sg

9 - 13 Jun 2014

Ian Herbert
National University of Singapore
mathir(AT)nus.edu.sg

2 - 30 Jun 2014

Weak lowness notions and weak reducibilities

(PDF)

Rupert Hölzl
National University of Singapore
r(AT)hoelzl.fr

1 Jun - 1 Jul 2014

Sanjay Jain
National University of Singapore
sanjay(AT)comp.nus.edu.sg

2 - 8 Jun 2014

Alexander Philipp Sim Kreuzer
National University of Singapore
matkaps(AT)nus.edu.sg

2 - 30 Jun 2014

Keng Meng Ng
Nanyang Technological University
KMNG(AT)ntu.edu.sg

9 - 13 Jun 2014

Ningning Peng
National University of Singapore
matpn(AT)nus.edu.sg

2 - 30 Jun 2014

Reverse mathematics on Quasi-Riesz spaces

(PDF)

Frank Stephan
National University of Singapore
matsfc(AT)nus.edu.sg

2 - 30 Jun 2014

Guohua Wu
Nanyang Technological University
guohua(AT)ntu.edu.sg

2 - 30 Jun 2014

Degrees of members of thin classes

(PDF)

Yue Yang
National University of Singapore
matyangy(AT)nus.edu.sg

2 - 30 Jun 2014

REGISTERED LOCAL PARTICIPANTS

   

Birzhan Moldagaliyev
Nanyang Technological University
birzhanimo(AT)gmail.com

2 - 30 Jun 2014

Manat Mustafa
Nanyang Technological University
manat.mustafa(AT)gmail.com

2 - 30 Jun 2014

Jing Zhang
National University of Singapore
tomzj13(AT)gmail.com

2 - 30 Jun 2014

 

 

Organizing Committee · Visitors and Participants · Overview · Activities · Venue

top
Best viewed with IE 7 and above