A federation of societies and groups active in computational logic.
Add your website to our directory for free.