< Back to events




8 March 2024
LAB42 talk: Effectiveness of Mission-time Linear Temporal Logic (MLTL) in AI Applications
Temporal logic has become an essential tool of many AI applications, from verification to planning to synthesis. Mission-time Linear Temporal Logic (MLTL) adds closed-interval integer bounds on the temporal operators of LTL, enabling unit-agnostic specification over finite traces. It is arguably the most-used variation of MTL, and the most-used subset of STL in industrial and AI applications. MLTL optimizes the trade-off between expressibility of a wide range of realistic requirements and the ability to author generic, easy-to-validate formulas. We highlight successful AI applications centered around MLTL requirements, including Robonaut2 and the NASA Lunar Gateway Vehicle System Manager. We overview advances in analyzing MLTL, explain the motivation driving these developments, and point out the gaps in the state of the art where there are needs for future work.
FOAM seminars
The FOAM Seminar, organised by computer scientists at the ILLC, features research on questions of a fundamental nature in computer science and AI, in research areas such as algorithms, optimisation, data management, planning, knowledge representation, and multiagent systems. Talks are intended to be broadly accessible and pitched at the level you might find at a plenary talk of a relevant conference (such as IJCAI, AAAI, KR, ICAPS, AAMAS, EC, PODS, LICS, STOC, FOCS, and SODA).
The FOAM Seminar, organised by computer scientists at the ILLC, features research on questions of a fundamental nature in computer science and AI, in research areas such as algorithms, optimisation, data management, planning, knowledge representation, and multiagent systems. Talks are intended to be broadly accessible and pitched at the level you might find at a plenary talk of a relevant conference (such as IJCAI, AAAI, KR, ICAPS, AAMAS, EC, PODS, LICS, STOC, FOCS, and SODA).
Aankomend >
Upcoming events

tba
Postponed! ELSA Event 2025: Exploring AI’s Ethical, Legal & Societal Impact
Amsterdam AI invites you to the 2025 ELSA event, bringing together a diverse group of stakeholders to explore the ethical, legal, and societal aspects of artificial intelligence. This exclusive, invite-only event offers a unique opportunity to connect, collaborate, and gain insights into the latest ELSA research and funding opportunities.
read more >

April 10
Masterclass AI Foundation Models
Discover the latest advancements in AI foundation models during this one-day masterclass on April 10, 2025, at Amsterdam Science Park. Led by AI expert Prof. Dr. Cees Snoek, this session will provide insights into the capabilities and societal impact of these groundbreaking AI models.
read more >

15 & 16 April
ICT. OPEN 2025 – Call for Abstracts!
Share your latest research with leading minds in the field of ICT? The annual NWO ICT.OPEN2025 conference is inviting researchers to submit abstracts for demo, oral, and poster presentations. This is a opportunity to showcase your work to peers, industry leaders, and academics from across the Netherlands.
read more >