Tutorials
  
    - Giovanni Sambin (University of Padova)
 
    - Hideki Tsuiki (Kyoto University)
 
    - Stanley Wainer (University of Leeds)
 
  
 
  Invited Talks
  
    - Ulrich Berger (Swansea University)
 
    - Takayuki Kihara (JAIST)
 
    - Graham Leigh (Vienna University of Technology)
 
    - Michael Rathjen (University of Leeds)
 
    - Masahiko Sato (Kyoto University)
 
    - Makoto Tatsuta (National Institute of Informatics)
 
  
 
  Contributed Talks
  
  - Mahmudul Faisal Al Ameen (Department of Informatics, Sokendai)
 
- Sankha Basu (Pennsylvania State University)
 
- Josef Berger (Ludwig-Maximilians-Universität München)
 
- Matthew de Brecht (CiNet, NICT)
 
- Walter Dean (University of Warwick)
 
- Hannes Diener (University of Canterbury)
 
- Jacques Duparc (University of Lausanne)
 
- Makoto Fujiwara (Tohoku University)
 
- Mirjana Ilic (Faculty of Economics University of Belgrade)
 
- Tatsuji Kawai (Japan Advanced Institute of Science and Technology)
 
- Akitoshi Kawamura (University of Tokyo)
 
- Angeliki Koutsoukou-Argyraki (Department of Mathematics, Techniche Universität Darmstadt)
 
- Hidenori Kurokawa (University of Helsinki)
 
- Peter Lefanu Lumsdaine (Stockholm University)
 
- Maria Emilia Maietti (Dipartimento di Matematica pura ed applicata, Università di Padova)
 
- Samuele Maschio (Università di Padova)
 
- Satoshi Matsuoka (National Institute of Advanced Industrial Science and Technology)
 
- Takako Nemoto (Japan Advanced Institute of Science and Technology)
 
- Ningning Peng (National University of Singapore)
 
- Sam Sanders (Ghent University / LMU Munich)
 
- Takashi Sato (Mathematical Institute, Tohoku University)
 
- Stephen Simpson (Pennsylvania State University)
 
- Florian Steinberg (Technische Universit&amul;t Darmstadt)
 
- Nobu-Yuki Suzuki (Shizuoka University)
 
- Gregor,Svindland (Ludwig-Maximilians-Universität München)
 
- Andrew Swan (University of Leeds)
 
- Yamazaki Takeshi (Mathematical Institute, Tohoku University)
 
- Makoto Tatsuta (National Institute of Informatics)
 
- Peng Weiguang (Mathematical Institute, Tohoku University)
 
- Keita Yokoyama (Japan Advanced Institute of Science and Technology)
 
- Martin Ziegler (Technische Universität Darmstadt)