Institute for Mathematical Sciences                                        Programs & Activities

 

   
 

Online registration form
   

 

Enquiries

      General

      Scientific aspects


   

IMS-JSPS Joint Workshop on Mathematical Logic and the Foundations of Mathematics
(15 - 16 January 2016)



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

 

Visitors and Participants

NAME & AFFILIATION

PERIOD OF VISIT

TENTATIVE TITLE OF TALK

OVERSEAS VISITORS

   

Lorenzo Carlucci
Sapienza University of Rome, Italy
carlucci(AT)di.uniroma1.it

15 - 16 Jan 2016

Emanuele Frittaion
Tohoku University, Japan
emanuelefrittaion(AT)gmail.com

15 - 17 Jan 2016

Makoto Fujiwara
Japan Advanced Institute of Science and Technology, Japan
makoto.fujiwara.119(AT)gmail.com

14 - 17 Jan 2016

Characterizing uniform provability by intuitionistic provability

(PDF)

Marcia Groszek
Dartmouth College, USA
marcia.groszek(AT)dartmouth.edu

15 - 17 Jan 2016

Daisuke Ikegami
Tokyo Denki University, Japan
daiske.ikegami(AT)gmail.com

14 - 16 Jan 2016

Boolean valued second order logic

(PDF)

Takayuki Kihara
The University of California, Berkeley, USA
kihara(AT)math.berkeley.edu

15 - 16 Jan 2016

Weak choice principles in the Weihrauch degrees

(PDF)

Ulrich Kohlenbach
Technische Universitaet Darmstadt, Germany
kohlenbach(AT)mathematik.tu-darmstadt.de

15 - 16 Jan 2016

Wei Li
Kurt Gödel Research Center for Mathematical Logic, Austria
wei.li(AT)univie.ac.at

5 - 15 Jan 2016

Lu Liu
Central South University, China
g.jiayi.liu(AT)gmail.com

15 - 16 Jan 2016

Antonio Montalban
The University of California, Berkeley, USA
antonio(AT)math.berkeley.edu

15 - 16 Jan 2016

Sam Sanders
Ludwig-Maximilians-Universität München, Germany
sasander(AT)me.com

15 - 17 Jan 2016

Paul Shafer
Ghent University, Belgium
Paul.Shafer(AT)UGent.be

15 - 17 Jan 2016

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

15 - 16 Jan 2016

Kazuyuki Tanaka
Tohoku University, Japan
tanaka(AT)math.tohoku.ac.jp

12 Jan 2015 - 19 Jan 2016

Determinacy strength of infinite games in omega-languages recognized by variations of automata

(PDF)

Toshimichi Usuba
Kobe University, Japan
usuba(AT)people.kobe-u.ac.jp

14 - 17 Jan 2016

The downward directed grounds hypothesis

(PDF)

Takeshi Yamazaki
Tohoku University, Japan
yamazaki(AT)math.tohoku.ac.jp

10 - 17 Jan 2016

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

3 - 19 Jan 2016

Thoughts on indicators and density notions

(PDF)


The proof-theoretic strength of Ramsey's theorem for pairs

(PDF)

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

15 - 16 Jan 2016

Yuliya Zelenyuk
University of Witwatersrand, South Africa
yuliya.zelenyuk(AT)wits.ac.za

15 - 17 Jan 2016

LOCAL VISITORS

   

David Belanger
National University of Singapore
imsdrb(AT)nus.edu.sg

15 - 16 Jan 2016

Chi Tat Chong
National University of Singapore
matcct(AT)nus.edu.sg

15 - 16 Jan 2016

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

15 - 16 Jan 2016

Reflection and the fine-structure theorem

(PDF)

Borisa Kuzeljevic
National University of Singapore
matkubo(AT)nus.edu.sg

15 - 16 Jan 2016

Forcing with matrices of countable elementary submodels

(PDF)

Yiqun Liu
National University of Singapore
dabainiu(AT)gmail.com

15 - 16 Jan 2016

Another algebraic decomposition of R

(PDF)

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

15 - 16 Jan 2016

Ning Ning Peng
National University of Singapore

15 - 16 Jan 2016

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

15 - 16 Jan 2016

An overview on recent results on semiautomatic groups and semigroups

(PDF)

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

15 - 16 Jan 2016

A survey on Q-degrees

(PDF)

Huishan Wu
Nanyang Technological University

15 - 16 Jan 2016

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

15 - 16 Jan 2016

Makisim Zubkov
Nanyang Technological University
mzubkov(AT)ntu.edu.sg

15 - 14 Jan 2016

GRADUATE STUDENTS

   

Jun Le Goh
Cornell University, USA
jg878(AT)cornell.edu

15 - 16 Jan 2016

Yong Liu
National University of Singapore
liuyong0112(AT)hotmail.com

15 - 16 Jan 2016

Shohei Okisaka
Tohoku University, Japan
shohei.okisaka(AT)gmail.com

14 - 17 Jan 2016

The uniqueness of Eigen-distribution for multi-branching trees

(PDF)

Ludovic Patey
Université Paris Diderot Paris 7, France
ludovic.patey(AT)computability.fr

15 - 16 Jan 2016

Cheng Peng
National University of Singapore
a0110097(AT)u.nus.edu

15 - 16 Jan 2016

Noah Schweber
The University of California, Berkeley, USA
schweber(AT)berkeley.edu

15 - 16 Jan 2016

 

 

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

top
Best viewed with IE 7 and above