-
Automata-Theoretical Decision Procedures For Path Feasibility of String Manipulating Programs
Speaker: Zhilin Wu(Chinese Academy of Sciences) Time: 9:00 (Time in Beijing) 13:00 (Time in Auckland) June 17, 2021 (Thursday) Venue: Baixue Tang,UESTC Library Abstract: The design and implementation of decision procedures for checking path feasibility in string-manipulating programs is an important problem, with such applications as symbolic execution of programs manipulating strings and automated detection […]
-
Zero Knowledge Proofs: From Crypto to Fintech
Speaker: Yi Deng(Chinese Academy of Sciences) Time: 10:00 (Time in Beijing) 14:00 (Time in Auckland) June 17, 2021 (Thursday) Venue: Baixue Tang, UESTC Library Abstract: 这一报告里我们将综述零知识证明的发展历史，从原始的理论研究到目前飞速发展金融科技中的重要应用。这一发展历史充分体现了密码学和计算机科学之间的相互促进，我们将着重解释其背后的一些主要思想。 Speaker Bio: 邓燚，中国科学院信息工程研究所研究员。2008年获中国科学院软件所信息安全国家重点实验室博士学位。曾先后在英国伦敦大学学院和新加坡南洋理工大学从事博士后研究工作。主要从事密码学研究，特别是有关零知识证明和密码协议的通信与计算复杂性的问题。曾在一些密码学和计算机科学领域旗舰会议–如 FOCS， Eurocrypt, Asiacrypt，PKC上发表多篇论文。2011年获中国密码学会首届优秀青年奖，2014年获中国密码学会首届创新奖一等奖，2019年获中国电子学会自然科学奖一等奖。 Download poster
-
New Algorithms for Constrained Clustering Problems
Speaker: Qilong Feng(Central South University) Time: 11:00 (Time in Beijing) 15:00 (Time in Auckland) June 17, 2021 (Thursday) Venue: Baixue Tang, UESTC Library Abstract: Designing approximation algorithms for the clustering problem remains an active area of research. However, these algorithms can significantly deteriorate their performance in real-world applications. The major reason is that real-world applications […]
-
PPSZ on unique-kSAT
Speaker: Jian Ma (University of Electronic and Science Technology of China) Time: 10:00-12:00 (Time in Beijing) 14:00-16:00 (Time in Auckland) June 11, 2021 (Friday) VooVmeeting: Link: https://meeting.tencent.com/s/jSsMAf9XBBZ7 ID: 166 684 100 Venue: Main Building Abstract: The CNF satisfiability problem is defined as follows: given a CNF formula , decide if there exists truth-value assignment to […]
-
A Fast Algorithm for SAT in Terms of Formula Length
Speaker: Junqiang Peng (University of Electronic and Science Technology of China) Time: 10:00-12:00 (Time in Beijing) 14:00-16:00 (Time in Auckland) June 4, 2021 (Friday) VooVmeeting: Link: https://meeting.tencent.com/s/2p05iZpS1RvT ID: 973 577 922 Password: 1949 Venue: Main Building Abstract: The CNF satisfiability problem is defined as follows: given a CNF formula , decide if there exists a […]
-
Score aggregation in social choice
Speaker: Mingyu Xiao (University of Electronic and Science Technology of China) Time: 9:00-12:00 May 29, 2021 (Saturday) VooVmeeting: ZOOM Conference ID: 748 677 4340 Venue: Lotus Room, Orient Hotel Xi’an Abstract: In a score aggregation system, several agents give scores to a set of candidates independently, and we are going to combine the individual scores […]
-
Random Sampling of Important Separators: New Bounds and New Applications
Speaker: Huairui Chu (University of Electronic and Science Technology of China) Time: 10:00-12:00 (Time in Beijing) 14:00-16:00 (Time in Auckland) May 28, 2021 (Friday) VooVmeeting: Link: https://meeting.tencent.com/s/xtCxnutcKyYJ ID: 447 185 012 Password: 1949 Venue: Main Building Abstract: Important separator is a well-known concept for solving problems about graphs in parameterized algorithm sense. Marx and Razgon […]
-
Kernelization for Feedback Vertex Set based on linear programming
Speaker: Tian Bai (University of Electronic and Science Technology of China) Time: 10:00-12:00 (Time in Beijing) 14:00-16:00 (Time in Auckland) May 21, 2021 (Friday) VooVmeeting: Link: https://meeting.tencent.com/s/QfT7QuGrXPBQ ID: 582 848 199 Password: 1949 Venue: Main Building Abstract: Feedback Vertex Set (FVS) is a problem to determine whether a given undirected graph has a vertex set […]
-
Some efficient algorithms for the k-vertex cover problem
Speaker: Yijia Chen(Shanghai Jiao Tong University) Time: 11:00-12:00 (Time in Beijing) 15:00-16:00 (Time in Auckland) May 20, 2021 (Thursday) Venue: B1-501, Main Building Abstract: Let be a fixed constant. The -vertex cover problem asks, for an input graph , whether contains vertices which intersect every edge in . The problem has been studied extensively both […]
-
Kernels for Planar Vertex-Disjoint Triangle Packing
Speaker: Zimo Sheng (University of Electronic and Science Technology of China) Time: 10:00-12:00 (Time in Beijing) 14:00-16:00 (Time in Auckland) May 14, 2021 (Friday) VooVmeeting: Link: https://meeting.tencent.com/s/oLdo3h9nEQlW ID: 655 461 488 Venue: Main Building Abstract: Triangle Packing is an important class of NP-hard problem. In this paper, we study Parameterized Planar Vertex-Disjoint Triangle Packing problem, […]