Scientific Program

______________
__________________________________________

July 17th (Wednesday)
08:15-08:30	Conference Opening
08:30-12:00	Morning Parallel Sessions Automated Theorem Proving I (session A) Formal Analysis of PDEs (session B)
14:00-17:30	Afternoon Parallel Sessions Automated Theorem Proving II (session A) Coding Theory and Cryptology (session B)
July 18th (Thursday)
08:30-12:00	Morning Parallel Sessions Geometric Modelling and CAD (session A) Computational Physics (session B)
14:00-17:30	Afternoon Parallel Sessions Computational Category Theory (session A) Non-Standard Applications (session B)
July 19th (Friday)
08:30-12:00	Morning Parallel Sessions Polynomial Elimination I (session A) Constraint Programming (session B) Analog Circuit Design (session C)
14:00-17:30	Afternoon Parallel Sessions Polynomial Elimination II (session A) Evaluations of Series (session B) Quantifier Elimination (session C)
19:30-22:30	Conference Banquet
July 20th (Saturday)
08:30-12:00	Morning Parallel Sessions New Appplications in Mathematica (session A) Comparative CAS Reviews and Philosophy (session B)
12:00 -12:15	Conference Closing