This repository hosts the website of the New York Capital Region Logic (Reading) Group.
The NY Capital Region Logic group is a weekly gathering at RPI of people in the NY Capital Region interested in the field of logic and related areas such as
- computational logic
- philosophical logic
- logic based artificial intelligence
- automated theorem proving
- interactive theorem proving
- logic based ethics
- automated planning
We hold weekly seminars in which either academic papers or original talks on the above topics are presented to the group. If interested in joining or listening in, please contact us at [email protected].
