About Us
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 ethics
- automated theorem proving
- interactive theorem proving
- automated planning
- logic based artificial intelligence
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 oswalj@rpi.edu.
We generally hold our talks weekly on Wednesdays at 2PM.
Speakers
John Slowik
Armin Karic
Jitka Kadlecikova
Elisangela Ramirez-Camara
Pietro Vigiani