Automatheo: Program ++++++++++++++++++++++++ Monday, June 29 ++++++++++++++++++++++++ 9:00 Registration 9:15 - 10:15 Session #1 --------------------------------- Bruno Buchberger - Welcome Bruno Buchberger - An Introduction to Lazy Thinking --------------------------------- 10:15-10:30 Coffee Break 10:30-12:00 Session #2 ------------------------------- 10:30 Wolfgang Windsteiger - An Introduction to Theorema 11:00 Zsuzanna Sinka, Florina Piroi - Teaching Predicate Logic with TEOREMA 11:30 Fiona McNeill - Facilitating Virtual Interaction Through Flexible Ontological Representation ------------------------------ 12:00-14:00 Lunch 14:00-15:00 Session #3 ------------------------------ Alan Smaill, Markus Guhe, Alison Pease - Exploring Mathematical Theories: Cognitive and Metaphorical Aspects ------------------------------ 15:00 - 15:15 Coffee Break 15:15 - 16:15 Session #4 ----------------- 15:15 Lilia Georgieva - Groebner Bases for Program Analysis 15:45 Nikolaj Popov, Tudor Jebelean - A Complete Method for Algorithm Validation ----------------- 16:15 - 16:30 Coffee Break 16:30 - 17:30 Session #5 ------------------------ Systems Hands-on 18:00 Dinner (Schloss Restaurant Hagenberg) ++++++++++++++++++++++++ Tuesday, June 30 ++++++++++++++++++++++++ 9:00 - 10:45 Session#1 ------------------------- 9:00 Adrian Craciun - Computer Supported Theory Exploration: Status, Prospects and Challenges 9:30 Omar Montano, Roy McCasland, Lucas Dixon, Alan Bundy - Scheme-based Theorem Discovery and Concept Invention 10:00 Arnold Neumaier, Peter Schodl, Kevin Kofler - FMathL - Formal Mathematical Language ------------------------ 10:45 - 11:00 Coffee Break 11:00 - 12:00 Session #2 ------------------------- 11:00 Roy McCasland, Alan Bundy, Patrick Smith - Automated Theorem Discovery 11:30 Moa Johansson, Lucas Dixon, Alan Bundy - IsaCoSy: Synthesis of Inductive Theorems ------------------------ 12:00-14:00 Lunch 14:00 - 15:00 Session #3 ----------------------- Panel discussion / Business Meeting 15:00 - open ended ----------------- Coffee and Systems Hands-on