Program
Times mentioned below are in Florida local time (that is, GMT-5).
All session talks will be 20 minutes plus 5 for questions and set up.
Current time in Florida: Please see here.
Monday, January 3, 2022
8:20 Opening Remarks, Greetings (Zoom Track 1)
Martin Golumbic and Fred Hoffman
Morning Sessions (8:30 — 10:10)
Sequencing, Sequential Decision Making and Scheduling 1
| Time | Zoom Track 1 |
|---|---|
| 8:30 | Replication and sequencing of unreliable jobs on parallel machines |
| Alessandro Agnetis, Mario Benini, Paolo Detti, Marco Pranzo, and Ben Hermans | |
| 8:55 | A flow-based formulation for parallel machine scheduling problems using decision diagrams |
| Daniel Kowalczyk, Roel Leus, Christopher Hojny, and Stefan Røpke | |
| 9:20 | A general framework for approximating min sum ordering problems |
| Felix Happach, Lisa Hellerstein, and Thomas Lidbetter | |
| 9:45 | Optimally handling commitment issues in online throughput maximization |
| Franziska Eberle |
Combinatorial and Geometric Problems in Imaging Sciences 1
| Time | Zoom Track 2 |
|---|---|
| 8:30 | Pasting Systems with Picture Tiles Yielding Interesting Patterns |
| S. Annadurai, T.T. Raman, T. Kalyani, D.G. Thomas, and P. Ravichandran | |
| 8:55 | Circular Partial Words and Arrays |
| R. Krishna Kumari, R. Arulprakasam, Meenakshi Paramasivan, and V. R. Dare | |
| 9:20 | P Systems on Hexagonal Picture Languages and Applications |
| S. James Immanuel, S. Jayasankar, and D.G.Thomas | |
| 9:45 | Tetrahedral Picture Languages and their Applications in Imaging |
| T. Kalyani, F. Sweety, D.G. Thomas, and K. Bhuvaneswari |
Small Break (10:10 — 10:30)
Keynote Speaker 1 (10:30 — 11:25)
| Time | Zoom Track 1 |
|---|---|
| 10:30 | Individual Probabilities: The Defining Problem of AI |
| Cynthia Dwork |
Keynote Speaker 2 (11:30 — 12:25)
| Time | Zoom Track 1 |
|---|---|
| 11:30 | Modifying and Synthesizing Biometric Data |
| Arun Ross |
Small Break (12:25 — 12:40)
Noon Sessions (12:40 — 2.20)
Sequencing, Sequential Decision Making and Scheduling 2
| Time | Zoom Track 1 |
|---|---|
| 12:40 | A competitive search game with a moving object |
| János Flesch, Benoit Duvocelle, Hui Min Shi, Mathias Staudigl, and Dries Vermeulen | |
| 1:05 | Opening Pandora's Box: the Correlated Case |
| Evangelia Gergatsouli | |
| 1:30 | Non-clairvoyant Scheduling with Predictions |
| Sungjin Im, Ravi Kumar, Mahshid Montazer Qaem, and Manish Purohit | |
| 1:55 | Optimizing Decision Making via Submodular Surrogates |
| Yuxin Chen |
Combinatorial and Geometric Problems in Imaging Sciences 2
| Time | Zoom Track 2 |
|---|---|
| 12:40 | Analysis of the Structure of the Road Networks: A Network Science Perspective |
| Selim Reza, J.J.M. Machado, and João Manuel R.S. Tavares | |
| 1:05 | A Comparison of 2D Regular Grids based on Digital Continuity of Rotations |
| Aydın Avkan, Benedek Nagy, and Müge Saadetoğlu | |
| 1:30 | A representation of the topological complexity of a 2D binary digital image using Homological Spanning Forests |
| Pablo Sánchez-Cuevas, Fernando Díaz-del-Río, Pedro Real, and Helena Molina-Abril | |
| 1:55 | Parallel Setup for computing the Homological Region Adjacency Tree of a 3D binary image |
| P. Sánchez-Cuevas, F. Díaz-del-Río, P. Real, H. Molina-Abril, D. Onchis, and S. Blanco-Trejo |
Small Break (2:20 — 2:30)
Afternoon Session (2:30 — 3:20)
Sequencing, Sequential Decision Making and Scheduling 3
| Time | Zoom Track 1 |
|---|---|
| 2:30 | A Local Search Algorithm for the Min-Sum Submodular Cover Problem |
| R. Teal Witter | |
| 2:55 | Properly learning decision trees in almost polynomial time |
| Guy Blanc and Jane Lange |
Tuesday, January 4, 2022
Morning Sessions (8:30 — 10:10)
Boolean and pseudo-Boolean Functions 1
| Time | Zoom Track 1 |
|---|---|
| 8:30 | Parameterization of Boolean functions by vectorial functions and associated constructions |
| Claude Carlet | |
| 8:55 | Analogical proportions: from Boolean to nominal and beyond... |
| Miguel Couceiro | |
| 9:20 | On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits |
| Alexis de Colnet and Pierre Marquis | |
| 9:45 | A Direct Equivalence-Testing Algorithm for SLRs |
| Ondřej Čepek and James Weigle |
Combinatorial and Geometric Problems in Imaging Sciences 3
| Time | Zoom Track 2 |
|---|---|
| 8:30 | On Construction of a Digital Plane using GCD Algorithm |
| Somrita Saha and Arindam Biswas | |
| 8:55 | Approximate Convex Decomposition of 3D Digital Object Surface Using Scalar Triple Product of Vectors |
| Somrita Saha and Arindam Biswas | |
| 9:20 | Two-dimensional Oxide Picture Languages |
| P. Helen Vijitha, T. Robinson, and Meenakshi Paramasivan | |
| 9:45 | Detection of Knee Osteoarthritis using Light-weight CNN |
| Sabyasachi Mukherjee, Oishila Bandyopadhyay, and Arindam Biswas |
Small Break (10:10 — 10:30)
Keynote Speaker 3 (10:30 — 11:25)
| Time | Zoom Track 1 |
|---|---|
| 10:30 | From portioning to apportioning under ordinal preferences |
| Jérôme Lang |
Keynote Speaker 4 (11:30 — 12:25)
| Time | Zoom Track 1 |
|---|---|
| 11:30 | Adversarial Robotics: from Teamwork to Swarms |
| Noa Agmon |
Small Break (12:25 — 12:40)
Noon Sessions (12:40 — 2.20)
Boolean and pseudo-Boolean Functions 2
| Time | Zoom Track 1 |
|---|---|
| 12:40 | Quadratic reformulations for the optimization of pseudo-boolean functions |
| Yves Crama, Sourour Elloumi, Amélie Lambert, and Elisabeth Rodríguez-Heck | |
| 1:05 | Stochastic Binary Decision Diagrams |
| John N. Hooker | |
| 1:30 | Boole's probability bounding problem, linear programming aggregations, and nonnegative quadratic pseudo-Boolean functions |
| Endre Boros and Joonhee Lee | |
| 1:55 | Time series data identification and optimization with the measurements of potential bias and discrimination issues based on pseudo-Boolean functions |
| Jinwook Lee, Lanqing Du, Jade Zhang, and Matthew Schneider |
Formalization in Mathematics 1
| Time | Zoom Track 2 |
|---|---|
| 12:40 | Formalizing Alexander duality through BDDs |
| Jesús Aransay, Laureano Lambán, Julius Michaelis, and Julio Rubio | |
| 1:05 | A Formal Proof of the Banach-Tarski Theorem in ACL2(r) |
| J. Bapanapally and R. Gamboa | |
| 1:30 | Towards Formalized Matrix Analysis and Algorithms |
| Carl Kwan | |
| 1:55 | Formalization of Concepts |
| Bernhard Ganter |
Small Break (2:20 — 2:30)
Afternoon Session (2:30 — 4:10)
Boolean and pseudo-Boolean Functions 3
| Time | Zoom Track 1 |
|---|---|
| 2:30 | Adaptivity gap of the SBFE problem |
| Lisa Hellerstein, Devorah Kletenik, Naifeng Liu, and R. Teal Witter | |
| 2:55 | Algebraic Approximations of the Probability of Monotone Boolean Functions |
| Wolfgang Gatterbauer | |
| 3:20 | Dissociation-Based Oblivious Bounds for Weighted Model Counting |
| Vibhav Gogate | |
| 3:45 | Logical analysis of data: Estimation of cause-effect relationship under noise with applications in classification of natural water springs |
| Mariya Naumova and András Prékopa |
Formalization in Mathematics 2
| Time | Zoom Track 2 |
|---|---|
| 2:30 | Is Formalizing Semifield Duality Worth it? |
| Francisco J. Valverde-Albacete and Carmen Peláez-Moreno |
Wednesday, January 5, 2022
Morning Sessions (8:30 — 10:10)
Uncertain Reasoning 1
| Time | Zoom Track 1 |
|---|---|
| 8:30 | Learning the structure of Bayesian Networks using constraint programming |
| Fulya Trösser, Simon de Givry, and George Katsirelos | |
| 8:55 | Joint Desirability Foundations of Social Choice and Opinion Pooling |
| Arianna Casanova, Enrique Miranda, and Marco Zaffalon | |
| 9:20 | Uncertainty in P-Values, Monty Hall Problem and, Bayesian and Neural Network Predictions |
| Priyantha Wijayatunga | |
| 9:45 | Coherent lower and upper conditional previsions with respect to inner and outer Hausdorff measures and their insights for modelling human decisions in AI |
| Serena Doria — LECTURE CANCELED |
Coalition Formation Games 1
| Time | Zoom Track 2 |
|---|---|
| 8:30 | Parameterized Analysis for the Group Activity Selection Problem on Graphs |
| Sushmita Gupta, Sanjukta Roy, Saket Saurabh, and Meirav Zehavi — LECTURE CANCELED | |
| 8:55 | Hedonic Expertise Games |
| Buğra Çaşkurlu, Fatih Erdem Kizilkaya, and Berkehan Ozen | |
| 9:20 | Relaxed Core Stability in Fractional Hedonic Games |
| Angelo Fanelli, Gianpiero Monaco, and Luca Moscardelli | |
| 9:45 | Controlling Weighted Voting Games by Deleting or Adding Players with or without Changing the Quota |
| Joanna Kaczmarek and Jörg Rothe |
Small Break (10:10 — 10:30)
In Memory of Naftali Tishby (10:30 — 12:25)
| Time | Zoom Track 1 |
|---|---|
| 10:30 | Elephant in the Room: Non-Smooth Non-Convex Optimization |
| Ohad Shamir Keynote Speaker | |
| 11:30 | The information geometry of human pragmatic reasoning |
| Noga Zaslavsky | |
| 12:00 | Project Debater – an autonomous debating system |
| Noam Slonim |
Small Break (12:25 — 12:40)
Noon Sessions (12:40 — 2.20)
Uncertain Reasoning 2
| Time | Zoom Track 1 |
|---|---|
| 12:40 | Dalal's Revision in Sentential Decision Diagrams |
| Lilith Mattei, Alessandro Antonucci, and Alessandro Facchini | |
| 1:05 | Revisiting Partially Preordered Possibilistic DL-Lite – An Extended Abstract |
| Sihem Belabbes and Salem Benferhat | |
| 1:30 | Probabilistic ‘If-Then’ Rules: On Bayesian Conditionals and Probabilistic Implications |
| Matthias Scheutz, Kamal Premaratne, Lawrence S. Moss, and Avery Caulfield |
Coalition Formation Games 2
| Time | Zoom Track 2 |
|---|---|
| 12:40 | Bottom Coalition Properties |
| Seçkin Özbilen — LECTURE CANCELED | |
| 1:05 | Min-Based Altruism in Coalition Formation Games |
| Simon Cramer, Anna Maria Kerkmann, and Jörg Rothe | |
| 1:30 | The Power of Symmetry for Nash Stable Additively Separable Hedonic Games |
| Christian Addington, Jacob Schlueter, and Judy Goldsmith | |
| 1:55 | Extensions on Tiered Coalition Formation Games |
| Nathan Arnold, Sarah Snider, and Judy Goldsmith |
Small Break (2:20 — 2:30)
Afternoon Session (2:30 — 4:10)
SPECIAL EVENT
Judea Pearl 85th Birthday Celebration
| Time | Zoom Track 1 |
|---|---|
| 2:30 | Interview of Judea Pearl by Stephen Wolfram |