Cookies Policy

The website of the University of Cádiz uses its own and third-party cookies to carry out analysis of use and measurement of traffic, as well as to allow the correct functioning in social networks, and in this way to improve your browsing experience.

If you want to configure cookies, press the button Customize Cookies. You can also access the cookie settings at any time from the corresponding link in the footer.

For more information about cookies you can consult the Cookies policy from the website of the University of Cádiz.

Cookies customization

The website of the University of Cádiz uses its own and third-party cookies to carry out analysis of use and measurement of traffic, as well as to allow the correct functioning in social networks, and in this way to improve your browsing experience.

For more information about cookies you can consult the Cookies policy from the website of the University of Cádiz. You can also access the cookie settings at any time from the corresponding link in the footer.

You can configure the website cookies according to their purpose:

  • Statistical analysis

    Third-party cookies (Google Analytics) are used on this site that allow the number of users to be quantified anonymously (personal data will never be obtained to identify the user) and thus be able to analyze the use made by users of our service, in order to improve the browsing experience and offer our content optimally.

  • Social networks

    Third-party cookies are used on this website that allow the proper functioning of some social networks (mainly YouTube and Twitter) without using any personal data of the user.

UniversidaddeCádiz
M·CIS Mathematics for Computational Intelligence Systems

UniversidaddeCádiz

M·CIS Mathematics for Computational Intelligence Systems
  1. home
  2. WoFTU 2025

WoFTU 2025

Updated 13 de March de 2025
Posted 12 de September de 2024

 

The Workshop on Formal Treatment of Uncertainty in Knowledge-Based Systems (WoFTU 2025), will be held in Madrid, Spain, from March 21st to 23th 2025.

This workshop is focused on creating synergies between academia, industry and third party partners to promote new challenges and projects in the framework of  uncertainty in Artificial Intelligence.

 

Madrid was designated as the seat of the Court by King Felipe II in 1561, becoming the first permanent capital of the Spanish monarchy, and has held the capital of the country ever since, except for brief intervals of time. Madrid preserves impressive architectural beauties and a wide range of museums and activities that have made it one of the most interesting capitals in the world.

 

 

 

 

PROGRAM & ORGANIZING COMMITTEE

Laszlo Koczy

L’ubomir Antoni

Jesús Medina

Brais Muñiz

 

Programme

Friday, March 21st

10:00 -10:30 Welcome and introduction
Session I: presentations
10:30 – 11:30 José Antonio Torné Zambrano: An overview of multi-adjoint logic programming
11:30 – 12:00 Break
12:00 – 12:30 Gilberto Pérez: Minimisation of Decision Trees
12:30 – 13:00 Concepción Vidal: Recent results in Answer Set Programming with fork operators
13:00 – 13:30 José Santos: Evolutionary Computing applied to Satisfiability Checking
13:30 – 14:00 Piotr Kowalski: Adaptive neuro-fuzzy inference systems
14:00 – 15:30 Lunch Break
Session II: group work
15:30 – 17:00 Braim storm session (local groups)
17:00 – 17:30 Break
17:30 – 18:00 Laszlo Koczy: round of summaries of brain storm session
21:00 Workshop dinner
Restaurant: TBA

Saturday, March 22nd

Session III: presentations
10:00 – 11:00 Manuel Ojeda-Aciego: Formal Concept Analysis: recent results and applications
11:00 – 12:00 Brais Muñiz: Generation of Explanations in Answer Set Programming
12:00 – 12:30 Break
Session IV: panel
12:30 – 13:30 Panel: Logical Reasoning in the new AI era. Chair: David Pearce
13:30 – 15:30 Lunch Break
Session V: project meetings
15:30 – 16:40 Project Moonrise: Work meeting. Chair: Jesús Medina
16:40 – 17:00 Break
17:00 – 18:00 Project Valid: Work meeting. Chair: Manuel Ojeda-Aciego

Sunday, March 23th

Session VI: ARLEKIN project closure
10:00 – 11:30 Project ARLEKIN: Work meeting. Summary of results / Preparation of the final justification report. Chair: Pedro Cabalar
11:30 – 12:00 Break
11:30 -13:00 Round table: grant calls, applications and future project proposals
13:00 Wrap up. 

 

 

Venue

WoFTU2025 is programmed as a hybrid meeting.
The in person participants will meet at:

Hotel Monte Real, Madrid
https://maps.app.goo.gl/REWzdPxXrEbcbYgE9

Registration

Regular registration: 650 € (+ VAT 136,5€)

Registration fee includes a free voucher for DigForASP
workshop inside the ESCIM 2025 conference.

The payment of the registration fee should be made by Bank Transfer (It is essential to send us by email the bank transfer and Swift copy).

Name: TRAVEL CROM

  • Within Spain IBAN: ES13 0049 1302 2425 1013 8183
  • International transfer IBAN: ES13 0049 1302 2425 1013 8183
  • SWIFT: BSCHESMMXXX

For more information send a message to
travelcrom(at)yahoo.com.

 

 

Print