- 9:20-9:30
- Opening
- 9:30-9:50
- Izumi Miyamoto (Yamanashi Univ.)

"Performance of the GAP-function Normalizer and an attempt of its improvement

- 9:50-10:20
- Ryo Narasaki (Osaka Univ.)

"Character values and Dade's conjecture"

- 10:30-11:20
- Gerhard Hiss (RWTH Aachen Univ.)

"The Modular Atlas Project"

- 11:30-12:00
- Eiichi Bannai, Koji Kojima, Tsuyoshi Miezaki (Kyushu Univ.)

"Locations of the zeros of Hecke polynomials associated with the Thompson series of the elements of the Monster"

- 12:00-12:30
- Ahmad Erfanian (Ferdowsi Univ. Mashhad)

"Probability of generating simple groups PSL(m,q)"

- (Lunch Time)
- 14:00-14:30
- Axel Kohnert (Univ. Bayreuth)

"Construction of two-weight codes"

- 14:30-14:50
- Naoyuki Horiguchi (Chiba Univ.)

"Classification of the ternary extremal self-dual codes of length 44 obtained from the quadratic residue code"

- 15:00-15:50
- Makoto Tagami (Kyushu Univ.)

"Introduction of Musin's work about the kissing number in 4 dimensions"

- 16:00-16:30
- Mathieu DUTOUR(Institut Rudjer Boskovic), Yoshiaki ITOH (Inst. Statistical Mathematics), Alexei POYARKOV(Moscow State Univ.)

"Cube packings, second moment and holes"

- 16:30-17:00
- Tatsuya Fujisaki (Tsukuba Univ.), Jack Koolen (Postech)

"On the local structure of the twisted Grassmann graph"

- 10:00-10:20
- Ryozo Morikawa (Tokyo Metropolitan Univ.)

"Search of mathematical structures by aid of a computer"

- 10:20-10:40
- Susumu Kawamoto(Tohoku Bunka Gakuin Univ.), Toru Watanabe, Hideo Wada(Sophia University)

"42553 is a congruent number"

- 10:40-11:00
- Masaya Wagatsuma, Takahiro Hayata (Yamagata Univ.)

"On ternary addition chains"

- 11:10-11:40
- Yohji Akama, Yutaka Akazawa, Shinji Iizuka (Tohoku Univ.)

"Asymmetries on cut-and-project sets and related tilings"

- 11:40-12:00
- Yohji Akama (Tohoku Univ.)

"Computational Learning Theory for Lambda-calculus and its Applications"

- (Lunch Time)
- 13:50-14:40
- Aneesh Karve (Univ. Wisconsin-Madison)

"Graphical interfaces for computer algebra systems"

- 14:50-15:10
- Tetsusi Matsui (Tokyo Metropolitan Univ.)

"NZMATH - past and future of the development"

- 15:10-15:40
- Christine Abegail M. Antonio, Kentaro Saito, Satoru Tanaka, Janice S. Asuncion, Ken Nakamula (Tokyo Metropolitan Univ.)

"Implementation of imaginary quadratic Fields and elliptic or hyperelliptic curves over Finite prime Fields on the system NZMATH for number theory"

- 15:40-16:00
- Julius Basilla (Univ. Philippines)

"Computing the 2-part of the ideal class groups of a quadratic fields"

- 16:10-17:00
- Claus Fieker (Univ. Sydney)

"Galois groups - a challenge for computer algebra"

- 10:00-10:40
- Koh-ichi Nagao (Kanto-Gakuin Univ.)

"On the Index Calculus for the Jacobian Group of Hyperelliptic Curves"

- 10:50-11:30
- Katsuyuki Takashima (Mitsubishi Electric Corporation)

"An efficient algorithm for some real multiplications on Jacobians with application to hyperelliptic curve cryptography"

- 11:30-12:00
- Keiichiro Nishimoto, Ken Nakamula (Tokyo Metropolitan Univ.)

"Computer experiment on key generation for the quantum public key cryptosystem over quadratic fields"

- (Lunch Time)
- 13:50-14:40
- Martijn Stam (Univ. Bristol)

"Black-box secret sharing from primitive sets in algebraic number fields"

- 14:50-15:20
- Takeshi Goto (Tokyo University of Science)

"Odd graphs and Selmer groups of certain elliptic curves"

- 15:20-15:50
- Naoyuki Shinohara (Kyushu Univ.)

"The bad conditions of Frobenius test"

- 16:00-16:30
- Hiroyuki Okazaki (Shinshu Univ.)

"Notes on Linkability of Signature Schemes"

- 16:30-17:00
- Makoto Matsumoto (Hiroshima Univ.), Takuji Nishimura (Yamagata Univ.), Mutsuo Saito (Hiroshima Univ.), Mariko Hagita (Ochanomizu University)

"A Stream Cipher CryptMT"

- 18:00-
- Banquet

- 10:00-10:30
- Takao Komatsu (Hirosaki Univ.)

"Continued fractions with long period"

- 10:30-11:00
- Akira Suzuki (Kobe Univ.)

"A new algorithm to compute comprehensieve Grobner bases"

- 11:10-11:40
- Hiroshi Haramoto, Makoto Matsumoto (Hiroshima Univ.), Takuji Nishimura (Yamagata Univ.)

"A coin-tossing gambling test of pseudorandom number generators: an application of coding theory"

- 11:40-12:10
- Toshio Suzuki, Akio Kawanishi (Osaka Prefecture Univ.)

"Random extraction from freehand drawings and its semantics based on forcing complexity"

- (Lunch Time)
- 13:50-14:20
- ChenGuang Liu, Kazuyuki Tanaka (Tohoku Univ.)

"Distributional Complexity of Game Trees"

- 14:20-14:50
- Makoto Hamana (Gunma Univ.)

"Explicit Substitutions and Higher-Order Syntax"

- 15:00-15:50
- Masahiko Sato (Kyoto University)

"A Natural Framework for realizing Mathematics on a Computer"

- 15:50-16:00
- Closing

`$Date: 2005/10/31 06:37:10 $+ 9:00:00 (JST)`