Events
Tuesday February 01, 2011
Start: 1 Feb 2011 23:59
CADE is the major forum for the presentation of research in all aspects of automated deduction.
Wednesday February 09, 2011
To enter your talk or your demo for the MOLTO Open Day, please create a new biblio item, with title and abstract. If you choose slide presentation, you can later attach your slides to the node. I will then proceed to update our program accordingly.
Deadline: 9 February 2011
Thank you!
Wednesday February 16, 2011
We have blocked a number of rooms until February 16 2011 for participants to the MOLTO 2nd Project meeting. To receive the reservation code you will need to signup for the meeting.
Friday February 18, 2011
