VSL 2014: VIENNA SUMMER OF LOGIC 2014
Automatheo Home Page

Automated Mathematical Theory Exploration (Automatheo 2014)

Unfortunately the workshop has been canceled!