SYNASC 2015: 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
PROGRAM FOR TUESDAY, SEPTEMBER 22ND: SESSION VIEW
Days:
previous day
next day
all days

View: with abstractstalk overview

Workshops
Conference
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
20:30
21:00
09:00-10:30
Session 8
Tutorial: Interpolation and Verification - Arie Gurfinkel
10:50-12:10
Session 9A
Logic & Programming (II)
10:50-12:10
Session 9B
IAFP Workshop (I)
10:50-12:10
Session 9C
MICAS Workshop (IV)
13:10-14:00
Session 10
Invited talk: Getting Personal with Differential Privacy: David Sands
14:20-15:50
Session 11A
Tutorial: Web app security using JSFlow - Daniel Hedin
14:20-15:50
Session 11B
IAFP Workshop (II)
16:10-17:10
Session 12A
Artificial Intelligence (I)
16:10-17:10
Session 12B
IAFP Workshop (III)
17:30-21:00
Session
Trip and conference dinner
10:30-10:50 Coffee Break
12:10-13:10 Lunch Break
14:00-14:20 Coffee Break
15:50-16:10 Coffee Break