5-th Algebra and Computation Meeting (AC2003) Program
        =======================================================

             6 - 10 October 2003     Tokyo Metropolitan University

             Organizer: Ken Nakamula     (Tokyo Metropolitan Univ.)
                        Toshihiko Kurata (Tokyo Metropolitan Univ.)
                        Hirofumi Tsumura (Tokyo Metropolitan Coll.)
                        Michio Ozeki     (Yamagata Univ.)


  Lectures marked by ** are definitely given in English.
  Others are mostly given in Japanese.

  Lectures marked by * are introductory or survey ones.

  ------------------------------------------------------------------
Monday 6 Oct.

10:30--10:45 Opening

10:45--11:30 Kazuhiro Yokoyama (Kyushu Univ.)
             On Systems of Polynomial Equations with Indeterminate
             Exponents

11:30--12:00 Tetsushi Matsui (Tokyo Metropolitan Univ.)
             Development of the system of computational number
             theory with script language

   (Lunch time)

14:00--15:00 Akimichi Takemura (Tokyo Univ.)
             Algebraic calculation which appears in statistics *

   (Break time)

15:30--16:20 Miho Aoki (Tokyo Metropolitan Univ.)
             Takashi Fukuda (Nihon Univ.)
             A new algorithm for computing ideal class groups of
             abelian number fields

16:20--17:05 Shin-ichi Yasutomi (Suzuka Coll.Tech.)
             On the algorithm of non-homogeneous rational
             approximation

  ------------------------------------------------------------------
Tuesday 7 Oct.

10:30--12:00 Noriyuki Suwa (Chuo Univ.)
             Ken Nakamula (Tokyo Metropolitan Univ.)
             On primality tests *
              (1) Some Remarks on pseudoprimes, Euler pseudoprimes,
                  and strong pseudoprimes
              (2) Development of the expanded Fermat test and
                  the cyclotomic ring test

   (Lunch time)

14:00--15:00 Noriko Ishikawa (Tokyo Woman's Christian Univ.)
             Takeshi Kondo
             On the Miller-Rabin primality test


   (Break time)

15:10--15:50 Attila Pethoe (Univ. of Debrecen)
             Computation of integral and S-integral points on curves
             of genus one, especially of elliptic curves I * **


   (Break time)

16:00--16:30 Yasuichi Saito (NTT), Bungaku Hoshino (NTT)
             Shigenori Uchiyama (NTT), Tetsutaro Kobayashi (NTT)
             Non-Supersingular Elliptic Curves for Pairing-based
             Cryptosystems

16:30--17:00 Hiroyuki Okazaki (Kyoto Inst. Tech.)
             Ryuichi Sakai (Osaka Elect. Comm. Univ.)
             Kiyoshi Shibahara (Kyoto Inst. Tech.)
             Masao Kasahara (Osaka Gakuin Univ.)
             The group signature of using the Weil pairing

  ------------------------------------------------------------------
Wednesday 8 Oct.

10:00--10:50 Kim Hyun Kwang (Pohang Univ. Sci. Tech.)
             On Optimal Superimposed Codes **


   (Break time)

11:10--11:50 Attila Pethoe (Univ. of Debrecen)
             Computation of integral and S-integral points on curves
             of genus one, especially of elliptic curves II * **

   (Lunch time)

13:50--14:50 John H. Coates (Univ. of Cambridge)
             Elliptic curves
             --- the cross-roads of theory and computation **

   (Break time)

15:10--15:40 Kim Shunde (Tohoku Univ.)
             Yasuo Morita (Tohoku Univ.)
             Computing in the Jacobian of a $C_{34}$ curve

15:40--16:00 Naoya Nakazawa (Osaka Prefecture Univ.)
             On parametric construction of the elliptic curve
             with cyclic group of F_p-rational points

   (Break time)

16:10--16:40 Yuichi Fuda (Matsushita Elect. Indust.)
             Motoshi Omori (Matsushita Elect. Indust.)
             On efficient scalar multiplication operation on
             the Montgomery-type elliptic curve

### (Banquet) ###

  ------------------------------------------------------------------
Thursday 9 Oct.

10:00--10:40 Etsuko Bannai (Kyushu Univ.)
             On tight 4-designs in Euclidean spaces

10:40--11:10 Tetuo Fukui (Mukogawa Women's Univ)
             Jiro Sekiguchi (Tokyo Univ. Agri. Tech.)
             An experiment of generating 8 lines arrangement on
             the real projective plane

   (Break time)

11:40--12:20 Michio Ozeki (Yamagata Univ.)
             Complete coset weight distributions of non-self
             dual binary code

   (Lunch time)

14:00--15:00 Masami Hagiya (Tokyo Univ.)
             Formal verification technology
             : Logical Framework and Modal Logic *

   (Break time)

15:30--16:10 Ichiro Hasuo (Tokyo Inst. Tech.)
             Modal Logics for Coalgebras -- A Survey

16:10--16:40 Toshihiko Kurata
             A preliminary study on domains excluding
             weak-extensionality

16:40--17:10 Ken-etsu Fujita (Shimane Univ.)
             A bijective CPS-translation between classical and
             intuitionistic proofs

  ------------------------------------------------------------------
Friday 10 Oct.

10:00--10:30 Shigehiro Tagami (Hiroshima Univ.)
             Mariko Hagita (Nagoya Inst. Tech)
             Makoto Matsumoto (Hiroshima Univ.)
             Takuji Nishimura (Yamagata Univ.)
             Strengthening of block ciphers by addition
             of sequences

   (Break time)

10:40--11:40 Stephane Louboutin (Institut Math. Luminy)
             Explicit upper bounds for |L(1,\chi)| for primitive
             characters \chi * **


   (Lunch time)

13:30--14:20 Takao Komatsu (Hirosaki Univ.)
             Infinite sum representation algorithm of the
             continued fraction expansions II


14:20--14:45 Claude Levesque (Univ. Laval)
             Fundamental systems of units for some families
             of number fields **

14:45--15:00 Closing

LINK

AC2003

AC2003 Report

Symposium on Algebra and Computation