Nikhil Pimpalkhare will present his General Exam "Procedure Summarization via Vector Addition Systems and Inductive Linear Bounds" on Thursday, October 5, 2023 at 12pm in CS 301 and Zoom. Zoom link: [ https://princeton.zoom.us/j/3307689819?pwd=SUxlMGtlV2E2bG8wY3lUTC8wbVN3UT09 | https://princeton.zoom.us/j/3307689819?pwd=SUxlMGtlV2E2bG8wY3lUTC8wbVN3UT09 ] The members of his committee are as follows: Zachary Kincaid (adviser), Aarti Gupta, David Walker Abstract and Reading List can be found here: [ https://docs.google.com/document/d/1BjD8cjgEYaMkU6dHA5MIH8PhX_olTwKpbzjTQY33... | https://docs.google.com/document/d/1BjD8cjgEYaMkU6dHA5MIH8PhX_olTwKpbzjTQY33... ]