Registration open at https://sefm-conference.github.io/2022/registration.html.

To access the pre-proceedings papers, click on the "Paper (PDF)" link for each paper.

9:00 - OPENING

09:30-12:00 - SESSION 1 (Chair: Mirko Tagliaferri)

• 09:30-10:00 - Robot-nudgers. What About Transparency?
  Stefano Calboli
  Paper (PDF) | Slides (PDF) | Video
• 10:00-10:30 - Robot as embodied agent? A phenomenological critique
  Laura Corti
  Paper (PDF) | Slides (PDF) | Video
• 10:30-11:00 - The relationship between Social robotics and unsustainability: thinking about the future of human-robot interaction (BRDL)
  Antonio Fleres
  Paper (PDF) | Slides (PDF) | Video
• 11:00-11:30 - Ethical implications of persuasive social robots for promoting environmental sustainability
  Ilaria Alfieri
  Paper (PDF) | Slides (PDF) | Video
• 11:30-12:00 - Markov blankets for sustainability
  Maria Raffa
  Paper (PDF) | Slides (PDF) | Video

12:00-14:00 - LUNCH BREAK

14:00-15:30 - SESSION 2 (Chair: Alessandro Aldini)

• 14:00-14:30 - Languages Network Models: from Wittgenstein to Deep-learning Systems
  Giovanni Galli
  Paper (PDF) | Slides (PDF) | Video
• 14:30-15:00 - Executive Function and Intelligent Goal-directed Behavior: Perspectives from Psychology, Neurology, and Computer Science
  Graham Pluck, Antonio Cerone and David Villagomez-Pacheco
  Paper (PDF) | Slides (PDF) | Video
• 15:00-15:30 - A BRDL-based Framework for Motivators and Emotions
  Antonio Cerone
  Paper (PDF) | Slides (PDF) | Video

15:30-16:30 - SESSION 3 (Chair: Pierluigi Graziani)

Keynote Speaker: ULRICH KOHLENBACH

• Information flow in proofs by contradiction and effective learnability
  Abstract and Speaker's Biography | Slides (PDF) | Video

16:30-17:00 - COFFEE BREAK

17:00-18:30 - SESSION 4 (Chair: Antonio Cerone)

• 17:00-17:30 - A Depth-Bounded Semantics for Becoming Informed
  Marco Larotonda and Giuseppe Primiero
  Paper (PDF) | Slides (PDF) | Video
• 17:30-18:00 - Knowledge-of-own-factivity, the definition of surprise, and a new solution to the surprise examination paradox
  Alessandro Aldini, Samuel Alexander and Pierluigi Graziani
  Paper (PDF) | Slides (PDF) | Video
• 18:00-18:30 - Using Justified True Beliefs to Explore Formal Ignorance
  Mirko Tagliaferri
  Paper (PDF) | Slides (PDF) | Video

18:30 - CLOSING

All inquiries concerning CIFMA 2022 submissions and scientific programme should be sent to cifma20220@easychair.org