Room SYNASC - main
Virtual Room for:
- SYNASC Invited Talks
- SYNASC Tutorials
- SYNASC main tracks
Sessions
- Session 1 (Dec 07 09:40-10:00) Opening
- Session 2 (Dec 07 10:00-10:50) SYNASC Invited Talk (1)
- Session 3 (Dec 07 11:10-11:50) Theory of Computing Session
- Session 4 (Dec 07 11:50-12:30) Symbolic Computation Session (1)
- Session 5 (Dec 07 14:00-14:50) SYNASC Invited Talk (2)
- Session 6 (Dec 07 15:10-16:00) SYNASC Invited Talk (3)
- Session 7A (Dec 07 16:20-18:00) Symbolic Computation Session (2)
- Session 8 (Dec 08 10:00-10:50) SYNASC Invited Talk (4)
- Session 10 (Dec 08 11:10-12:30) Numerical Computing Session
- Session 12 (Dec 08 14:00-14:50) SYNASC and FROM Invited Talk (5)
- Session 13A (Dec 08 15:10-16:40) SYNASC Tutorial (1)
- Session 15A (Dec 08 17:00-18:00) Logic and Programming Session
- Session 16 (Dec 09 10:00-10:50) SYNASC Invited Talk (6)
- Session 17A (Dec 09 11:10-12:50) Artificial Intelligence Session (1)
- Session 18A (Dec 09 14:00-15:30) SYNASC Tutorial (2)
- Session 20A (Dec 09 15:50-16:50) Artificial Intelligence Session (2)
- Session 22A (Dec 09 17:10-18:10) Artificial Intelligence Session (3)
- Session 23 (Dec 10 10:00-10:50) SYNASC Invited Talk (7)
- Session 25 (Dec 10 11:30-13:00) SYNASC Tutorial (3)
- Session 26 (Dec 10 14:00-14:50) SYNASC Invited Talk (8)
- Session 27A (Dec 10 15:10-16:10) Artificial IntelligenceSession (4)
- Session 28B (Dec 10 16:20-17:00) Distributed Computing Session
- Session 29 (Dec 10 17:00-17:10) Closing