Từ ngày 21 – 23/10, Khoa Công nghệ thông tin (Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội) đã tổ chức Hội nghị chuyên đề quốc tế về các phương pháp tự động kiểm chứng và phân tích hệ thống – Symposium on Automated Technology for Verification and Analysis (ATVA) 2020.

   Tham dự hội nghị về phía ĐHQGHN có PGS.TS. Phạm Bảo Sơn – Phó Giám đốc ĐHQGHN. Về phía Trường ĐHCN có GS.TS. Chử Đức Trình – Phó Hiệu trưởng Nhà trường, PGS.TS. Trần Xuân Tú – Trưởng phòng KHCN&HTPT, PGS. TS Lê Sỹ Vinh – Chủ nhiệm khoa Công nghệ thông tin, PGS.TS. Phạm Ngọc Hùng – Phó Chủ nhiệm khoa, TS. Võ Đình Hiếu – Chủ nhiệm Bộ môn Công nghệ phần mềm cùng các cán bộ và nghiên cứu sinh khoa Công nghệ thông tin và gần 100 nhà khoa học trong nước và các diễn giả quốc tế. Hội nghị dưới sự chủ trì của PGS.TS. Phạm Ngọc Hùng – Phó Chủ nhiệm khoa CNTT và TS. Võ Đình Hiếu – Chủ nhiệm Bộ môn Công nghệ phần mềm.

   Đây là hội nghị quốc tế thường niên có uy tín cao (rank A) thuộc lĩnh vực Công nghệ Thông tin (CNTT) được tổ chức luân phiên tại một số nước trên thế giới. Hội nghị ATVA nhằm thúc đẩy nghiên cứu về các khía cạnh lý thuyết và thực tiễn của lĩnh vực tự động phân tích và kiểm chứng hệ thống ở châu Á bằng cách cung cấp một diễn đàn cho sự tương tác giữa các cộng đồng nghiên cứu khu vực và quốc tế và ngành trong lĩnh vực này. 17 sự kiện trước đây của hội nghị này đã được tổ chức tại Đài Loan (2003-2005-2011-2019), Bắc Kinh (2006), Tokyo (2007), Seoul (2008), Macao (2009), Singapore (2010), Thiruvananthapuram (2012), Hà Nội (2013), Sydney (2014), Thượng Hải (2015), Chiba (2016), Pune (2017) và Los Angeles (2018) và thu hút nhiều nhà khoa học hàng đầu trên thế giới về lĩnh vực này. Do tình hình dịch bệnh, hội nghị ATVA 2020 sẽ diễn ra theo hình thức trực tuyến.

PGS.TS Phạm Bảo Sơn phát biểu tại lễ khai mạc

    Phát biểu tại lễ khai mạc, PGS.TS Phạm Bảo Sơn đã bày tỏ sự vui mừng và gửi lời cảm ơn đến các diễn giả quốc tế tham gia hội nghị ATVA 2020. Với lịch sử hơn 100 năm, ĐHQGHN luôn hướng đến nghiên cứu, đào tạo chất lượng cao và phấn đấu vì sự nghiệp giáo dục của Việt Nam. Ý thức được xu hướng phát triển mô hình đại học 4.0, nên ĐHQGHN đánh giá rất cao tầm quan trọng của công nghệ tự động kiểm chứng và phân tích hệ thống.

   Phó Giám đốc khẳng định, ATVA là một trong những hội nghị chuyên đề hàng đầu về công nghệ tự động kiểm chứng và phân tích hệ thống. Trường ĐHCN nói riêng và ĐHQGHN nói chung rất tự hào khi là một trong những đơn vị được tổ chức hội nghị quốc tế ATVA 2020. Hội nghị lần này sẽ cung cấp một bức tranh toàn cảnh về những nghiên cứu mới nhất trong lĩnh vực nghiên cứu về phương pháp tự động kiểm chứng và phân tích hệ thống, thông qua các giáo sư và chuyên gia nổi tiếng đến từ các tổ chức nghiên cứu chất lượng cao bao gồm Đại học Kỹ thuật Munich, Stanford và NASA.

   Các chủ đề được quan tâm tại hội nghị lần này gồm: Hình thức hóa cho mô hình phần cứng, phần mềm và các hệ thống nhúng; đặc tả và kiểm chứng các hệ thống hữu hạn/vô hạn trạng thái và các hệ thống có tham số; phân tích và kiểm chứng các mạch phần cứng, hệ thống trên chip và hệ thống nhúng; phân tích các hệ thống thời gian thực, các hệ thống lai, các hệ thống có trọng số và các hệ thống có yếu tố xác suất; các kỹ thuật suy diễn, thuật toán, ghép nối và trừu tượng hóa/làm mịn cho phân tích và kiểm chứng; các kỹ thuật phân tích đảm bảo tính an toàn, bảo mật và tin cậy; Kiểm thử và phân tích động dựa trên các kỹ thuật kiểm chứng; phân tích và kiểm chứng các hệ thống song song và tương tranh; Kiểm chứng trong công nghiệp; đảm bảo chất lượng cho các hệ thống phần cứng và phần mềm; các ứng dụng và ví dụ áp dụng; các công cụ tự động hóa quá trình phân tích và kiểm chứng.

   Hội nghị vinh dự được nghe ba báo cáo mời từ các nhà khoa học hàng đầu thế giới về các lĩnh vực của hội nghị (GS. Tobias Nipkow, Đại học kỹ thuật Munich – Đức; GS. David Dill, Đại học Stanford – Mỹ; và GS. Klaus Havelund, Viện Công nghệ California – Mỹ).

   Dựa trên những nội dung được trình bày, phần thảo luận của hội nghị diễn ra sôi nổi và được nhiều sự quan tâm từ các chuyên gia, cán bộ trong và ngoài nước.

Tuyết Nga – Đăng Hoàng (UET-News)