Member-only story

Second International Workshop FETLT 2024: Seville, Spain, November 30 – Notes and Reflections

Howard Blair

·4.8k Followers· Follow

Published in Future And Emerging Trends In Language Technology Machine Learning And Big Data: Second International Workshop FETLT 2024 Seville Spain November 30 Notes In Computer Science 10341)

5 min read

1.3k View Claps

80 Respond

Save

Listen

The Second International Workshop on Formal Engineering for Trustworthy Learning Technologies (FETLT 2024) was held in Seville, Spain, on November 30, 2024. The workshop brought together researchers and practitioners from academia and industry to discuss the latest advances in formal methods for the development of trustworthy learning technologies.

Formal methods are mathematical techniques that can be used to specify, verify, and validate software systems. They have been used successfully in a variety of domains, including aerospace, automotive, and medical devices. However, the use of formal methods in the development of learning technologies is still relatively new.

The FETLT workshop provides a forum for researchers and practitioners to share their experiences and ideas on the use of formal methods in the development of learning technologies. The workshop also aims to promote the adoption of formal methods in the learning technology community.

Future and Emerging Trends in Language Technology. Machine Learning and Big Data: Second International Workshop, FETLT 2024, Seville, Spain, November 30 ... Notes in Computer Science Book 10341)

by Charles Bukowski

5 out of 5

Language	:	English
File size	:	3350 KB
Text-to-Speech	:	Enabled
Screen Reader	:	Supported
Enhanced typesetting	:	Enabled
Print length	:	214 pages

The FETLT 2024 workshop was organized into three sessions:

Session 1: Foundations of Formal Engineering for Learning Technologies
Session 2: Applications of Formal Engineering in Learning Technologies
Session 3: Tools and Techniques for Formal Engineering in Learning Technologies

The first session provided an overview of the foundations of formal engineering for learning technologies. The session included presentations on the following topics:

Formal methods for specifying learning technologies
Formal methods for verifying and validating learning technologies
Formal methods for testing learning technologies

The second session focused on applications of formal engineering in learning technologies. The session included presentations on the following topics:

Formal methods for developing adaptive learning systems
Formal methods for developing intelligent tutoring systems
Formal methods for developing educational games

The third session focused on tools and techniques for formal engineering in learning technologies. The session included presentations on the following topics:

Tools for specifying learning technologies
Tools for verifying and validating learning technologies
Tools for testing learning technologies

The FETLT 2024 workshop featured a number of highlights, including:

Keynote address by Professor Barbara Liskov of the Massachusetts Institute of Technology. Professor Liskov spoke about the importance of formal methods for the development of trustworthy learning technologies.
Presentations by leading researchers and practitioners in the field of formal engineering for learning technologies. The presentations covered a wide range of topics, including the foundations of formal engineering, applications of formal engineering in learning technologies, and tools and techniques for formal engineering in learning technologies.
Panel discussion on the future of formal engineering for learning technologies. The panel discussion brought together experts from academia and industry to discuss the challenges and opportunities facing the field of formal engineering for learning technologies.

The FETLT 2024 workshop was a successful event that brought together researchers and practitioners from academia and industry to discuss the latest advances in formal methods for the development of trustworthy learning technologies. The workshop also helped to promote the adoption of formal methods in the learning technology community.

The workshop outcomes include:

A better understanding of the foundations of formal engineering for learning technologies.
A better understanding of the applications of formal engineering in learning technologies.
A better understanding of the tools and techniques for formal engineering in learning technologies.
A roadmap for the future of formal engineering for learning technologies.

The FETLT 2024 workshop was a valuable event for researchers and practitioners in the field of formal engineering for learning technologies. The workshop provided a forum for sharing ideas and experiences, and it helped to promote the adoption of formal methods in the learning technology community.

The workshop outcomes will help to advance the field of formal engineering for learning technologies and will contribute to the development of more trustworthy learning technologies.

Future and Emerging Trends in Language Technology. Machine Learning and Big Data: Second International Workshop, FETLT 2024, Seville, Spain, November 30 ... Notes in Computer Science Book 10341)

by Charles Bukowski

5 out of 5