☘️Báo cáo viên: TS. Bùi Duy Đăng
- Thời gian tổ chức: 15:30 - 17:00, ngày 11/12/2023 (Thứ Hai)
- Địa điểm tổ chức: Phòng I.81 - Cơ sở 227 Nguyễn Văn Cừ, P4, Q5
- Chủ đề:
a. Better state pictures facilitating state machine characteristic conjecture
Lemma conjecture is a tough task in theorem proving. One approach is to use visualization to help Formal Methods experts to conjecture lemma candidates. To be able to do it, a tool called State Machine Graphical Animations (SMGA) is developed to assist the purpose. There are two main tasks in SMGA: (1) designing a state picture template and (2) conjecturing characteristics via observing graphical animations. This talk will focus on the first task and state the reason why it is an important task in SMGA.
b. Applying the visualization approach to the lemma conjecture problem in theorem proving
Lemma conjecture is a tough task in theorem proving. One approach is to use visualization to help Formal Methods experts to conjecture lemma candidates. To be able to do it, a tool called State Machine Graphical Animations (SMGA) is developed to assist the purpose. There are two main tasks in SMGA: (1) designing a state picture template and (2) conjecturing characteristics via observing graphical animations. The talk will focus on the second task and show how such characteristics can be used as lemma candidates in theorem proving.
Các bạn sinh viên quan tâm có thể đăng ký qua link: https://forms.gle/uraZvT5nV7Z8x8J69
- Số lượng: 15 sinh viên
- Thời hạn đăng kí: Từ nay đến 15h00 Chủ Nhật, ngày 10/12/2023
Lưu ý: Link đăng ký sẽ đóng sớm hơn khi đã đủ số lượng người tham dự
Thông tin người phụ trách: Nguyễn Trần Thục Uyên (Email: nttuyen@fit.hcmus.edu.vn)
