LogoISIPTA23-long-white

Program

An overview

Short Program

Below you will find the program for the ISIPTA 2023 conference. The program was designed to include numerous sessions that encourage lively discussions among participants, while also allowing ample time for social events where attendees can indulge in the beauty and gastronomy of Asturias.

The schedule hours refer to the local time in Spain (Central European Time).

Last update: June 12.

Paper allocation

Detailed Program

Below you will find the daily program for the ISIPTA 2023 conference. By clicking in each session you will see the configuration of each session. Moreover, by clicking in the plenary sessions you will find the information about the invited speakers.

Tuesday 11
8:30 - 9:00
Registration
Foyer
9:00 - 9:15
Opening
Conference Room
9:15 - 10:30
Conference Room
10:30 - 11:00
Coffee Break
AC Hotel Terrace
11:00 - 12:00
Conference Room
12:00 - 13:00
Conference Room
13:00 - 14:30
Lunch (Included)
AC Hotel Restaurant
14:30 - 16:00
16:00 - 16:30
Coffee Break
Foyer
16:30 - 18:00
Conference Room
18:00 - 18:30
18:30 - 20:00
Oviedo Guided Tour
AC Hotel Entrance
20:00 - 21:30
Barceló Hotel
Wednesday 12
8:30 - 9:00
Registration
Foyer
9:00 - 10:30
Conference Room
10:30 - 11:00
Coffee Break
AC Hotel Terrace
11:00 - 12:00
Conference Room
12:00 - 13:00
Conference Room
13:00 - 15:00
Lunch
15:00 - 22:00
Thursday 13
8:30 - 9:00
Registration
Foyer
9:00 - 10:30
Conference Room
10:30 - 11:00
Coffee Break
AC Hotel Terrace
11:00 - 12:00
Conference Room
12:00 - 13:00
Conference Room
13:00 - 14:30
Lunch
14:30 - 16:00
Conference Room
16:00 - 16:30
Coffee Break
Foyer
16:30 - 18:00
18:00 - 21:00
21:00 - 23:00
Reconquista Hotel
Friday 14
8:30 - 9:00
Registration
Foyer
9:00 - 10:30
Conference Room
10:30 - 11:00
Coffee Break
AC Hotel Terrace
11:00 - 12:30
Conference Room
12:30 - 13:30
Conference Room
13:30 - 15:00
Lunch
15:00 - 16:00
SIPTA meeting
Conference Room
16:00 - 16:15
Short break
16:15 - 17:00
Award ceremony and closing
Conference Room

Session 1: Tuesday 11, 9:15 – 10:30

Chair: Alessandro Antonucci

Ryan Martin

Fiducial inference viewed through a possibility-theoretic inferential model lens

Michele Caprio and Ruobin Gong

Dynamic Precise and Imprecise Probability Kinematics

Ignacio Montes

Neighbourhood models induced by the Euclidean distance and the Kullback-Leibler divergence

Denis Mauá and Fabio Cozman

Specifying Credal Sets With Probabilistic Answer Set Programming

Antonio Di Nola, Serafina Lapenta and Giacomo Lenzi

A point-free approach to measurability and statistical models

Keano De Vos, Gert de Cooman and Jasper De Bock

Indistinguishability through Exchangeability in Quantum Mechanics?

Rafał Łochowski

A new outer measure on the space of model-free generalized processes

Cassandra Armstrong, Duc P. Truong, Erik Skau and Kari Sentz

Accelerated Dempster-Shafer using Tensor Train Decomposition

Zhenhua Li

Modelling Higher Order Evidence with Second Order Imprecise Probability

Marco de Angelis and Ander Gray

Verified bounds on the imprecise failure probability with the SIVIA algorithm

Plenary Session 1: Tuesday 11, 12:00 – 13:00

Speaker: Marta Kwiatkowska

Title: Provable guarantees on robustness of Bayesian networks to causal interventions

Chair: Matthias Troffaes

Session 2: Tuesday 11, 14:30 – 16:00

Chair: Serafín Moral

Jason Konek

Evaluating Imprecise Forecasts

Hannah Blocher, Georg Schollmeyer, Christoph Jansen and Malte Nalenz

Depth Functions for Partial Orders with a Descriptive Analysis of Machine Learning Algorithms

Alessio Benavoli, Alessandro Facchini and Marco Zaffalon

Closure operators, classifiers and desirability

Vitor Martin Bordini, Sébastien Destercke and Benjamin Quost

Learning Calibrated Belief Functions from Conformal Predictions

Erik Quaeghebeur

“Uncertainty Representations and Reasoning”: A Course on Uncertainty Modeling Beyond Probability Theory

Julian Rodemann, Thomas Augustin and Rianne de Heide

Interpreting Generalized Bayesian Inference By Generalized Bayesian Inference

Session 3: Tuesday 11, 16:30 – 18:00

Chair: Fabio Cozman

Prakash P. Shenoy

On Distinct Belief Functions in the Dempster-Shafer Theory

Enrique Miranda, Renato Pelessoni and Paolo Vicig

Vertical Barrier Models as Unified Distortions

Leonardo Cella

Finite sample valid probabilistic inference on quantile regression

Alexander Erreygers

Sublinear Expectations for Countable-State Uncertain Processes

Serafín Moral García and Joaquín Abellán Mulero

A Bagging method for Cost-sensitive Imprecise Classification

Miriam Bowen

Indeterminacy and Imprecise Credences

Session 4: Wednesday 12, 9:00 – 10:30

Chair: Ryan Martin

Floris Persiau and Gert de Cooman

Imprecision in Martingale-Theoretic Prequential Randomness

Esther Anna Corsi, Tommaso Flaminio, Lluís Godo and Hykel Hosni

A modal logic for uncertainty: a completeness theorem

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko,Ondrej Majer and Krishna Balajirao Manoorkar

Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory

Roman Malinowski, Sébastien Destercke, Emmanuel Dubois, Loïc Dumas and Emmanuelle Sarrazin

Uncertainty Propagation using Copulas in a 3D Stereo-matching Pipeline

Julian Rodemann, Christoph Jansen, Georg Schollmeyer and Thomas Augustin

In All Likelihoods: Robust Selection of Pseudo-Labeled Data

Fabio Cozman

Markov Conditions and Factorization in Logical Credal Networks

Hadeer A. Ghonem, Tahani Coolen-Maturi and Frank P. A. Coolen

Performance Evaluation of NPI Methods with Copula for Bivariate Data

Tuan-Anh Vu, Sohaib Afifi, Éric Lefèvre and Frédéric Pichon

Optimization Problems with Evidential Linear Objective

Pieter-Jan Vandaele and Jasper De Bock

Policy Iteration for Sum-Product Inferences

Matthias Troffaes

A constructive theory for conditional lower previsions only using rational valued probability mass functions with finite support

Ander Gray, Vignesh Gopakumar, William Hornsby, James Buchanan and Stanislas Pamela

Evaluating imprecise probabilities in fusion plasma surrogates using conformal prediction

Marco Zaffalon, Alessandro Antonucci and Oleg Szehr

Solving the Allais Paradox by Counterfactual Harm

Plenary Session 2: Wednesday 12, 12:00 – 13:00

Speaker: Michel Grabisch

Title: Balanced games

Chair: Barbara Vantaggi

Session 5: Thursday 13, 9:00 – 10:30

Chair: Paolo Vicig

Enrique Miranda and Arthur Van Camp

A study of Jeffrey’s Rule with imprecise probability models

Marc Fischer

A Comparison Between a Frequentist, Bayesian and Imprecise Bayesian Approach to Delay Time Maintenance

Erik Skau, Cassandra Armstrong, Duc P. Truong, David Gerts and Kari Sentz

Open World Dempster-Shafer using Complementary Sets

Lydia Castronovo and Giuseppe Sanfilippo

A Generalized Notion of Conjunction for Conditional Events

Christian Fröhlich, Rabanus Derr and Robert C. Williamson

Towards A Strictly Frequentist Theory of Imprecise Probability

Yema Paul, Alexander Erreygers and Jasper De Bock

Expected Time Averages in Markovian Imprecise Jump Processes: A Graph-Theoretic Characterisation of Weak Ergodicity

Serafín Moral

Desirable Gambles Based on Pairwise Comparisons

Max Nendel and Alessandro Sgarabottolo

A parametric approach to the estimation of convex risk functionals based on Wasserstein distance

Hana Kalpak

Imprecise Decision Theories for Lockeans

Loïc Adam and Sébastien Destercke

Handling Inconsistent Preferences using Possibilities and Information Fusion

Plenary Session 3: Thursday 13, 12:00 – 13:00

Speaker: Gert de Cooman

Title: Indifference, symmetry and conditioning

Chair: Erik Quaeghebeur

Session 6: Thursday 13, 14:30 – 16:00

Chair: Thomas Augustin

Jasper De Bock

A Theory of Desirable Things

Didier Dubois, Romain Guillaume and Agnes Rico

Eliciting hybrid probability-possibility functions and their decision evaluation models

Radim Jiroušek, Václav Kratochvíl and Prakash P. Shenoy

On the Relationship between Graphical and Compositional Models for the Dempster-Shafer Belief Function Theory

Michele Caprio and Teddy Seidenfeld

Constriction for sets of probabilities

Ignacio Montes

Comonotone (natural) extension of coherent lower probabilities

Rick Reubsaet, Erik Quaeghebeur and Thomas Krak

Expected Hitting Times for Continuous-Time Imprecise Markov Chains

Session 7: Thursday 13, 16:30 – 18:00

Chair: Sébastien Destercke

Kevin Blackwell

Representing Suppositional Decision Theories with Sets of Desirable Gambles

Miriam Alonso de la Fuente and Pedro Terán

Sets of probability measures and convex combination spaces

Serafina Lapenta, Sebastiano Napolitano and Luca Spada

The logic FP(L,L) and two-sorted equational states

James Bailie and Ruobin Gong

Differential Privacy: General Inferential Limits via Intervals of Measures

Daira Pinto Prieto, Ronald de Haan and Aybüke Özgün

A Belief Model for Conflicting and Uncertain Evidence: Connecting Dempster-Shafer Theory and the Topology of Evidence

Matthias Troffaes, Behzad Kazemtabrizi, Andrew Smallbone, Henna Bains, Andrew Jenkins and Paul McKeever

Using probability bounding to improve decision making for offshore wind planning in industry

Session 8: Friday 14, 9:00 – 10:30

Chair: Ignacio Montes

Matthias Troffaes

A Nonstandard Approach To Stochastic Processes Under Probability Bounding

Giacomo Molinari

Trust the Evidence: Two Deference Principles for Imprecise Probabilities

Hénoïk Willot, Sébastien Destercke and Khaled Belahcene

Prime implicants as a versatile tool to explain robust classification

Gert de Cooman, Arthur Van Camp and Jasper De Bock

Desirable Sets of Things and Their Logic

Alexander Marquard, Julian Rodemann and Thomas Augustin

An Empirical Study of Prior-Data Conflicts in Bayesian Neural Networks

Juan Baz, Ander Gray and Raúl Pérez-Fernández

Measuring Deviation from Stochastic Dominance under Imprecision

Session 9: Friday 14, 11:00 – 12:30

Chair: Arthur Van Camp

Martin Jann

Testing the Coherence of Data and External Intervals via an Imprecise Sargan-Hansen Test

Rabanus Derr and Robert Williamson

The Set Structure of Precision

Romain Guillaume

Robust possibilistic production planning under temporal demand uncertainty with knowledge on dependencies

Davide Petturiti and Barbara Vantaggi

No-Arbitrage Pricing with \alpha-DS Mixtures in a Market with Bid-Ask Spreads

Arne Decadt

Removing Redundancies for Faster Inference

Jorge Álvarez Reyero and Enrique Miranda

The World Cup Football revisited

Enjoying the beauty and gastronomy of Asturias

Social Program

The ISIPTA 2023 conference program offers an array of social events designed to showcase the beauty and gastronomy of Asturias. These are a welcome cocktail, a cultural visit and a gala dinner. More detailed information is given below.

Guided Tour

On Tuesday afternoon, we will have the pleasure of embarking on a guided tour of the city of Oviedo. We will explore the city center, admire its statues and monuments and view the magnificent cathedral, which servers as the starting point of St. James Way.

Welcome cocktail

In the evening of the first day of the conference, attendees will have the opportunity to socialize and relax at the welcome cocktail. The cocktail reception will be held at the five-star Barceló Hotel in Oviedo, providing a pleasant and inviting atmosphere for networking and informal discussions.

Excursion: Laboral Ciudad de la Cultura and Botanic Garden of Gijón

On the second day of the conference, we will embark on a cultural visit to two of the main tourist attractions in the city of Gijón, located approximately 30km away from Oviedo. These are Laboral Ciudad de la Cultura and the Botanic Garden.

Laboral Ciudad de la Cultura is one of the most iconic places in Asturias, known not only for its architecture but also for its historical significance. Originally established in the 1950s, it served as an orphanage specifically catering to the children of miners. Over time, it evolved into a hub that now hosts a wide range of cultural activities, including the University of Oviedo.

Adjacent to Laboral Ciudad de la Cultura is the Botanic Garden of Gijón, encompassing approximately 25 hectares. Established in 2003, this garden is dedicated to the research, conservation, and promotion of the flora and vegetation found in the northern region of Spain.

Espicha

Is there something more representative of our regional gastronomy than cider? Our excursion will conclude at Llagar de Quelo, a traditional cider production facility. There, we will partake in an “Espicha,” a traditional and informal dinner where the highlight is the camaraderie and company of others, with cider being a central element.

Gala dinner

Thursday 13 will be a long day with one plenary and 3 regular sessions. At the end of the day, participants will have the opportunity to unwind and relax at the Gala dinner. The dinner will be held at the prestigious Reconquista Hotel, a renowned five-star hotel known for hosting various events associated with the Princess of Asturias Awards.