31-Jul

1-Aug

2-Aug

3-Aug

Room 1

Room 2

Room 3

Room 4

Room 5

Room 2

Room 3

Room 4

Room 5

University Hall

8:30-9:00

Pen-1

PNC-6

9:00- 9:20

Opening

9:00-9:30

GEN-2

COD-1

BIO-1

Pen-2

PNC-7

9:00-9:30

HPC-1

YRS-4

QIC-1

CAS-1

(President, Nara W.U)

9:30-10:00

GEN-3

COD-2

BIO-2

Pen-3

PNC-8

9:30-10:00

HPC-2

YRS-5

QIC-2

CAS-2

9:20-10:20

Invited Talk(Gerdt)

10:00-10:30

GEN-4

COD-3

Pen-4

PNC-9

10:00-10:30

HPC-3

YRS-6

QIC-3

CAS-3

10:45-11:15

EDU-1

HLE-1

AAC-1

10:30-11:00

GEN-5

COD-4

YRS-1

Pen-5

PNC-10

10:30-11:00

HPC-4

YRS-7

QIC-4

CAS-4

11:15-11:45

EDU-2

HLE-2

AAC-2

11:00-11:30

GEN-6

YRS-2

Pen-6

PNC-11

11:00-11:30

HPC-5

YRS-8

QIC-5

CAS-5

11:30-12:00

GEN-7

YRS-3

Pen-7

PNC-12

lunch(11:45-13:00)

lunch(12:00-13:00)

Bus Tour to Kyoto

Room 1

Room 2

Room 3

Room 4

Room 5

Room1

12:00 West Gate, Nara W.U.

Registration

13:00-13:30

EDU-3

HLE-3

CTG-1

NHT-1

AAC-3

13:00-14:00

Invited Talk(Kaltofen : GEN-1)

(take lunch in Bus)

at Hotel Nikko, Nara

13:30-14:00

EDU-4

HLE-4

CTG-2

NHT-2

AAC-4

13:30 seightseeing temples in Kyoto

13:00-17:00

14:00-14:30

EDU-5

HLE-5

CTG-3

NHT-3

AAC-5

Bus Tour to Horyuji temple

14:30-15:00

EDU-6

HLE-6

CTG-4

NHT-4

AAC-6

14:15 West Gate, Nara W.U.

Kinkaku-ji temple

Walking Tour, Nara Park

coffee break

sightseeing tour of Horyuji

Emperor's palace(15:00-15:35)

15:00 Hotel Nikko Nara

15:30-16:00

EDU-7

HLE-7

CTG-5

NHT-5

AAC-7

Another 1 or 2 temples/shrine

16:00-16:30

EDU-8

HLE-8

CTG-6

NHT-6

PNC-1

18:00-19:30 We will take small dinner at Daianji temple

16:30-17:00

EDU-9

HLE-9

CTG-7

NHT-7

PNC-2

18:00 Banquet at 'Ganko'

17:00-17:30

EDU-10

HLE-10

CTG-8

NHT-8

PNC-3

20:00 start Ganko to Nara

17:30-18:00

EDU-11

HLE-11

PNC-4

18:00-18:30

EDU-12

PNC-5

18:30-19:30

Business meeting at meeting room

20:00 Arrive Hotel Nikko, Nara

21:30 Arrive Hotel Nikko, Nara

Parallel session : 4 rooms, 100 talks

Session Name

No. Talks

Organizers

General Session

GEN

Akritas, George, Sasaki, Noda

Young Researchers Session

YRS

Steinberg, Sasaki

Approximate Algebraic Computation

AAC

Corless, Sasaki, Noda, Shirayanagi

Computational Algebraic Structures and Engineerring Applications

CAS

Bretto, Laget, Gillibert

Computer Algebra and Coding Theory

COD

Martinez-Moro, Kotsireas, Trenard, Quintana

Computer Algebra in Quantum Information and Computation

QIC

Kawano, Shirayanagi

Computer Algebra in the Biological Sciences

BIO

Steinberg, Wester

Computational Topology and Geometry

CTG

Chibisov, Ganzha, Mayr

Computer Algebra in Education

EDU

Akritas, Beaudin, Vigklas, Wester

Handling Large Expressions in Symbolic Computation

HLE

Jeffrey, Zhou

High-Performance Computer Algebra

HPC

Johnson, Krandick

Newton and Hensel techniques in scientific computing

NHT

Maza, Schost

Parametric and Nonconvex Constraint Solving

PNC

Sturm, Anai

Pen-Based Mathematical Computing

Pen

Watt

100

Room1

G201

200

Room2

G202

Room3

G203

Room4

G204

Room5

G302