Skip to content

Latest commit

 

History

History
59 lines (50 loc) · 3.71 KB

index.md

File metadata and controls

59 lines (50 loc) · 3.71 KB
title
RAIR Lab Logic Group

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

List of Prior Talks

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].

We generally hold our talks weekly on Wednesdays at 2PM.

Speakers

<style> .speakers { display: flex; flex-wrap: wrap; } .speaker { margin: 10px; text-align: center; } .speaker img { clip-path: circle(); } .speaker a { display: block; } </style>