WPCCS25 - Timetable
| Room A (MB 0.07) Graph data, Machine Learning, and Scientific Applications |
Room B (MB 0.08) Theory, Security, and AI Systems |
|
| Room Open / Chair Setup 09:50-10:00 |
||
|
Session 1
10:00-10:56 |
Theme: Graph Data Mining and Large-Scale Data Systems Chair: Rafid Ameer Mahmud |
Theme: Graph Algorithms and Computational Complexity Chair: Danial Ataee |
| Min Zhang — UPPR+: Scaling Uncertain Personalised PageRank Computation on Billion-Sized Graphs with Mutually Exclusive Edges (10:00-10:15) |
Christopher Brown - Local Graph Algorithms (10:00-10:11) |
|
| Qiman Zhang — GSim: A Scalable Model for Billion-Node Cross-Graph Similarity with Accuracy Guarantees (10:15-10:30) |
Yasmine Vazirinejad — Hybrid Password-Authenticated Key Exchange (10:11-10:26) |
|
| Shufan Yang — SimRank and Its Variants: Properties, Limitations, and Random Walk Approaches (10:30-10:41) |
Jedrzej Olkowski — On Important Cuts with Additional Structural Properties in Eulerian Digraphs (10:26-10:41) |
|
| Kitaek Lee — Vector Databases: Foundations, Design Trade-offs, and Open Research Challenges (10:41-10:52) |
Jinqiao Hu — Failure of Symmetry of Information for Randomized Computations (10:41-10:56) |
|
| Coffee Break 10:56-11:25 (29 min) |
||
|
Session 2A
11:25-12:20 |
Theme: Machine Learning Systems and Applications Chair: Ki-taek Lee |
Theme: Algorithms and Formal Models Chair: Danial Ataee |
| Xuefeng Xu — Federated Computation of ROC and PR Curves (11:25-11:40) |
Nikhil Bansal — Cloning is as Hard as Learning for Stabilizer States (11:25-11:40) |
|
| Aakash Rao — HistoForge (11:40-11:55) |
Neha Rino — New Product Constructions for Intersecting Dense Automata (11:40-11:55) |
|
| Prakanth Thilakaraj — Multi Stage Sequential Reinforcement Environment for MLIR Optimization (11:55-12:10) |
Ermiya Farokhnejad — Additive One Approximation for Minimum Degree Spanning Tree: Breaking the O(mn) Time Barrier (11:55–12:10) |
|
| Short Break (12:10-12:20) |
||
|
Session 2B
(12:20-13:00) |
Theme: Graph Learning and Neural Network Theory Chair: Ki-taek Lee |
Theme: Cryptography and Verifiable Computing Chair: Danial Ataee |
| James Town — Saddle-to-Saddle Dynamics and Implicit Bias Without Large Overparametrisation (12:20-12:35) |
Jack Nolan — Cryptographically Verifiable Election Audits (12:20-12:35) |
|
| Haili Yuan — Heterophily-Robust Graph Learning via Diffusion: Random Walks, Convection Diffusion, and Graph-Agnostic Clustering (12:35-12:46) |
Yihan Cai — From Zero-Knowledge Proofs to Well-Formedness Proofs (12:35-12:50) |
|
| Barath Ashok — Survey of GNNs and Their Explainability (12:46-12:57) |
Buffer / Discussion (12:50-13:00) |
|
| Lunch 13:00-14:30 (Dessert will be from 14:00 ~) |
||
|
Session 3
14:30-15:30 |
Theme: Computer Vision and Scientific Machine Learning Chair: Ki-taek Lee |
Theme: AI Methods and Language Technologies Chair: Danial Ataee |
| Ben Lewis — Text to Stealthy Adversarial Face Masks (14:30-14:45) |
Anton Baychkov — Beyond Lower Quota: Avoiding Overrepresentation in Multi-Winner Voting (14:30-14:45) |
|
| Yundi Hong — PartMatch: Part-Aware Pseudo-Labeling for Fine-Grained Semi-Supervised Learning (14:45-15:00) |
João Lobo Pevidor — Learning Steps in Neural Networks (14:45–14:56) |
|
| Jiaqi Li — Towards Mitigating Modality Bias in Vision-Language Models for Temporal Action Localization (15:00-15:15) |
Phong Do — Prompt-as-Graph: A Structured Framework for Prompt Sensitivity Analysis (14:56–15:11) |
|
| Paraskevi Mylona — Modelling the Impact of Synaptic Heterogeneity on Information Processing in Neurons (15:15-15:30) |
Danial Ataee — Machine Unlearning for LLMs (15:11-15:22) |
|
| Short Break (15:30-15:40) | ||
|
Session 4
15:40-16:55 |
Theme: Scientific AI and Computational Modelling Chair: Ki-taek Lee |
Theme: Language Models and AI Systems Chair: Danial Ataee |
| Jack Bacon — Orientation Invariant Latent Space Clustering for Synthetic Cell Images (15:40-15:55) |
Yijie Yang — Speculative Decoding for Efficient LLM Inference (15:40–15:51) |
|
| Delong Huang — Error-Bounded Extrapolation PINNs (15:55-16:10) |
Jakub Czarlinski — Towards User-Aligned Speech Synthesis using Reinforcement Learning (15:51–16:02) |
|
| Rafid Ameer Mahmud — A Game-Theoretic Formulation of Opinion Diversity in Social Networks (16:10–16:25) |
Yuanzhen Shuai — Block-Level Personalized Model Construction for Heterogeneous Federated Learning (16:02-16:13) |
|
| Tuan Nguyen — Safety Game: Balancing Safe and Informative Conversations with Blackbox Agentic AI using LP Solvers (16:25-16:40) |
Dimitrios Tsintsilidas — The Complexity of Student–Teacher Games: How Many Counterexamples to Find the Right Answer? (16:13-16:28) |
|
|
Luisa Estrada Plata - On the Limits of PAC Learning of Networks from Opinion Dynamics (16:40-16:55) |
Daniela Valdes (Online) — Identifying Commitment and Accountability in Executive Boards (16:28-16:43) |
|
| Closing 16:55 |
||