| Monday, 23 September | |||
| 8:00-9:10 | Registration (West University of Timisoara, ground floor, room 045C | ||
| 9:10-9:30 | Opening. Room A11 | ||
| 9:30-10:20 | Invited talk. Room A11. Chair: Nikolaj Bjorner Leonardo de Moura: Model-Driven Decision Procedures for Arithmetic |
||
| 10:20-10:40 | Coffee break | ||
| 10:40-12:00 | Symbolic Computation. Room A11 Chair: Leonardo de Moura |
MICAS Workshop. Room 045C Chair: Massimilano Rak |
IAFP Workshop. Room 032 Chair: Stefan Maruster |
| 12:00-13:10 | Lunch break | ||
| 13:10-14:00 | Invited talk. Room A11. Chair: James Davenport Tetsuo Ida: Knot fold of regular polygons: computer assisted construction and verification |
||
| 14:00-14:20 | Coffee break | ||
| 14:20-16:00 | Symbolic Computation. Room A11 Chair: Leonardo de Moura |
MICAS Workshop. Room 045C Chair:Elisabetta Di Nitto |
IAFP Workshop. Room 032 Chair: Ioan A. Rus |
| 16:00-16:20 | Coffee break | ||
| 16:20-18:20 | Numerical Computing. Room A11 Chair: Vasile Berinde |
MICAS Workshop. Room 045C Chair:Danilo Ardagna |
|
| 18:30-20:00 | Welcome reception | ||
| Tuesday, 24 September | |||
| 9:00-9:50 | Invited talk. Room A11. Chair: Dana Petcu Ivona Brandic: Autonomic and SLA aware Cloud management |
||
| 9:50-10:10 | Coffee break | ||
| 10:10-12:10 | Advances in the Theory of Computing. Room A11 Chair: Gabriel Istrate |
MICAS Workshop. Room 045C Chair: Andrey Sadovykh (tutorial on Multi-Cloud) |
IAFP Workshop. Room 032 Chair: Vasile Berinde |
| 12:10-13:30 | Lunch break | ||
| 13:30-14:20 | Invited talk. Room A11. Chair: Nikolaj Bjorner Grigore Rosu: Specify and verify your language using K |
||
| 14:20-14:40 | Coffee break | ||
| 14:40-16:00 | Artificial Intelligence. Room A11 Chair: Dan Simovici |
MICAS Workshop. Room 045C Chair: Dana Petcu |
IAFP Workshop. Room 032 Chair: Charles Chidume |
| 16:00-16:20 | Coffee break | ||
| 16:20-17:40 | Artificial Intelligence. Room A11 Chair: Jose Torres Jimenez |
ACSYS Workshop. Room 045C Chair: Viorel Negru and Victor Munteanu |
|
| 17:40-18:00 | Coffee break | ||
| 18:00-19:20 | Distributed Computing Room A11 Chair: Ivona Brandic |
NCA Workshop. Room 045C Chair: Flavia Micota |
|
| Wednesday 25 September | |||
| 9:00-9:50 | Invited talk. Room A11. Chair: Daniela Zaharie Dan Simovici: Compression and data mining |
||
| 9:50-10:10 | Coffee break | ||
| 10:10-12:10 | Tutorial. Chair: Tetsuo Ida Room A11 Ileana Streinu: Origami design with Lang’s Universal Molecule |
HPCSP Workshop Chair: Ralf-Peter Mundani Room 045C Adrian Jackson: HPC tutorial |
|
| 12:10-13:30 | Lunch break | ||
| 13:30-14:20 | Invited talk. Room A11. Chair: Grigore Rosu Gabriel Ciobanu: TiMo in Timisoara |
||
| 14:20-14:40 | Coffee break | ||
| 14:40-16:00 | Tutorial. Room A11. Chair: Ileana Streinu Stephen Watt: An Introduction to Modern Symbolic-Numeric Computation |
HPCSP Workshop Room 045C Chair: Nicolla Spallanzani |
|
| 16:00-16:20 | Coffee break | ||
| 16:20-17:20 | Distributed Computing. Room A11 Chair: Gabriel Ciobanu |
||
| 18:00 | Trip to Recas. Conference dinner | ||
| Thursday 26 September | |||
| 9:00-9:50 | Invited talk. Room A11. Chair: Viorel Negru Jose Torres Jimenez: A Survey of Covering Arrays |
||
| 9:50-10:10 | Coffee break | ||
| 10:10-12:10 | Logic and Programming. Room A11. Chair: Tudor Jebelean |
HPCSP Workshop Room 045C Chair: Emil Slusanschi |
|
| 12:10-12:40 | Lunch break | ||
| 12:40-13:10 | Industrial session. Room 045C. Chair: Viorel Negru Florin Manaila, IBM Hyperscale Computing Solutions – NeXtSCALE |
||
| 13:10-15:30 | Logic and Programming / Artificial Intelligence. Room A11. Chair: Laura Kovacs/ Daniela Zaharie |
HPCSP Workshop Room 045C Chair: Dana Petcu |
|
| 15:40-16:00 | Closing | ||