[emacs-berlin] [OT] Intro to logic, online-cource

[Andreas Röhler]

Hi guys,

lately the language datalog was mentioned, let me point at a related 
online-course just beginning theses days:

https://www.coursera.org/course/intrologic

It's hold by Stanford Prof. Michael Genesereth

Was a pleasure listening to him this summer at FU, link here:

http://www.meetup.com/The-Berlin-Semantic-Web-Meetup-Group/events/220797669/

There is a meetup in Berlin:

http://www.meetup.com/Coursera-study-group-Intro-to-Logic

;;;;;;

Kind of interesting also:

CADE ATP System Competition

http://www.cs.miami.edu/~tptp/CASC/

Cheers,

Andreas