Room A11

West Uiversity of Timisoara, blvd. Vasile Parvan, 4, Floor 1

Session 2 (Sep 14 09:00-09:20) SYNASC Opening
Session 3 (Sep 14 09:20-10:10) SYNASC Invited talk (B. Meyer)
Session 4A (Sep 14 10:30-12:30) SYNASC Logic and Programming track
Session 5 (Sep 14 13:30-14:20) SYNASC Invited talk (M. Roggenbach)
Session 6A (Sep 14 14:20-16:20) SYNASC Theory of Computing + Numerical Computing (1) tracks
Session 7A (Sep 14 16:40-18:00) SYNASC Numerical Computing track (2)
Session 8A (Sep 15 09:00-09:50) SYNASC Invited talk (T. Ida)
Session 9A (Sep 15 09:50-11:10) SYNASC Symbolic Computation track (1)
Session 11A (Sep 15 11:30-12:50) SYNASC Symbolic Computation track (2)
Session 12 (Sep 15 14:00-14:50) SYNASC&FROM Invited talk (G. Rosu)
Session 13A (Sep 15 14:50-16:50) SYNASC Artificial Intelligence track (1)
Session 14A (Sep 15 17:10-19:10) SYNASC Artificial Intelligence track (2)
Session 15 (Sep 16 09:00-09:50) SYNASC&FROM Invited talk (D. Lucanu)
Session 16 (Sep 16 09:50-10:40) SYNASC&FROM Invited talk (T. Kutsia)
Session 17A (Sep 16 11:00-12:30) SYNASC&FROM Tutorial (P.C. Ölveczky)
Session 18A (Sep 16 13:30-15:30) SYNASC Artificial Intelligence track (3)
Session 20A (Sep 17 09:00-09:50) SYNASC invited talk (N. Sebe)
Session 21A (Sep 17 09:50-11:50) SYNASC Artificial Intelligence track (4)
Session 22 (Sep 17 12:10-13:30) SYNASC Artificial Intelligence track (5)
Session 23 (Sep 17 14:30-16:30) SYNASC Artificial Intelligence track (6)