Upcoming Talk
Possibility Theory x Automated Planning
Speaker: Brandon Rozek
Date: Wednesday, October 16 at 2PM
Location: RAIR Lab, Winslow (Text Brandon or James for access)
The Art of Infallibility, Found
Speaker: Selmer Bringsjord
Date: Tuesday, October 22 at 2PM
Location: RAIR Lab, Winslow (Text Brandon or James for access)
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