ÌÇÐÄTV

 

Several papers from the Theory and Foundations (FoCS) Research Group and the Centre for Discrete Mathematics and its Applications (DIMAP) have been accepted to the (STOC 2023), the ACM flagship conference in theoretical computer science that will be held on June 20-23, 2023 in Orlando, Florida, USA:

• "" by Arturo Merino, , and Namrata.
• "A duality between one-way functions and average-case symmetry of information" by , Rahul Ilango, Zhenjian Lu, Mikito Nanashima, and .
• "Unprovability of strong complexity lower bounds in bounded arithmetic" by Jiatu Li and .
• "" by , , and Thatchaphol Saranurak.
• "" by Matija Bucic and .

Further, there are two more accepted papers autored by , who was affiliated with the department and the FoCS group during the submission time, in Autumn 2022:

• "Capturing one-way functions via NP-hardness of meta-complexity" by .
• "Hardness self-amplification: Simplified, optimized, and unified" by and Nobutaka Shimizu.