School of Technology and Computer Science
Academics
Graduate Studies
Academic Calendar
Courses
Course timetable
Forms
Research areas
Events & News
News
Upcoming events
Past events
Calendar
People
Faculty
Adjunct faculty
Visiting fellows
Students
Staff
Visitors
Former members
Resources
ZoomCal
Course Registration System
YouTube channel
Old YouTube channel
Wireless service
Admissions
Join Us
Vigyan Vidushi
VV 2021
VV 2022
VV 2024
Contact
Contact us
Reaching here
🔍
Home
Events & News
Past events
#
Termination of Linear Loop Programs
Speaker:
Prabhat Kumar Jha
Organiser:
Arghya Chakraborty
Date:
Friday, 1 Mar 2019, 17:15 to 18:15
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar
event.ics
Print
Abstract
Abstract: Linear loop programs are while programs with a linear loop condition and linear assignments as loop body. In this talk we will discuss proof of decidability of a class of linear loop programs (due to A. Tiwari).
