Timetable

9:30 – 10:00	Alan Cain	Automatic presentations for groups and semigroups
10:00 – 10:15	Fábio Silva	Cyclic Shift Graph: The Patience Sorting Case
10:15 – 10:30	Yves Robert	Extending Prover9
10:30 – 10:45	Jorge Raminhos	Finding bases for the varieties generated by given semigroups
10:45 – 11:00	Carlos Sousa	Prover 9 input file Translator
11:00 – 11:30	Coffee-Break
11:30 – 11:45	João Ramires	A Library of Models and Axioms
11:45 – 12:00	José Duarte	XPlain2 – A code odissey
12:00 – 12:15	Edgar Vigário	Three Packages for Automated Reasoning
12:15 – 12:30	Alexandre Trocado	Quadrics Intersection with GeoGebra
12:30 – 12:45	José Manuel dos Santos	Spherical Tilings and GeoGebra