Final Program

Click to download the program

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