< Terug naar evenementen
FOAM-seminars
Het FOAM Seminar, georganiseerd door computerwetenschappers van het ILLC, biedt onderzoek naar vragen van fundamentele aard in de informatica en AI, op onderzoeksgebieden als algoritmen, optimalisatie, datamanagement, planning, kennisrepresentatie en multi-agent systemen. De lezingen zijn breed toegankelijk en worden gepitcht op het niveau dat je aantreft tijdens een plenaire lezing van een relevante conferentie (zoals IJCAI, AAAI, KR, ICAPS, AAMAS, EC, PODS, LICS, STOC, FOCS en SODA).
8
Maart
2024
Maart
2024
LAB42 lezing: Effectiviteit van Mission-time Linear Temporal Logic (MLTL) in AI-toepassingen
Temporele logica is een essentieel hulpmiddel geworden voor veel AI-toepassingen, van verificatie tot planning en synthese. Mission-time Linear Temporal Logic (MLTL) voegt gehele grenzen met gesloten intervallen toe aan de temporele operatoren van LTL, waardoor eenheid-agnostische specificatie over eindige sporen mogelijk wordt. Het is misschien wel de meest gebruikte variant van MTL en de meest gebruikte subset van STL in industriële en AI-toepassingen. MLTL optimaliseert de afweging tussen de uitdrukbaarheid van een breed scala aan realistische vereisten en de mogelijkheid om generieke, eenvoudig te valideren formules te schrijven. We benadrukken succesvolle AI-toepassingen rond MLTL-vereisten, waaronder Robonaut2 en de NASA Lunar Gateway Vehicle System Manager. We bieden een overzicht van de vooruitgang bij het analyseren van MLTL, leggen de motivatie achter deze ontwikkelingen uit en benadrukken hiaten in de stand van de techniek waar toekomstig werk nodig is.
FOAM-seminars
Het FOAM Seminar, georganiseerd door computerwetenschappers van het ILLC, biedt onderzoek naar vragen van fundamentele aard in de informatica en AI, op onderzoeksgebieden als algoritmen, optimalisatie, datamanagement, planning, kennisrepresentatie en multi-agent systemen. De lezingen zijn breed toegankelijk en worden gepitcht op het niveau dat je aantreft tijdens een plenaire lezing van een relevante conferentie (zoals IJCAI, AAAI, KR, ICAPS, AAMAS, EC, PODS, LICS, STOC, FOCS en SODA).
Aankomend >
Aankomende evenementen
13 februari
Kickstart AI Meetup: AI in Interactive Worlds, all about spatial computing
Kickstart AI organiseert op donderdag 13 februari 2025 een inspirerende meetup in Amsterdam. Ontdek hoe AI de creatieve industrieën transformeert, van 3D-ontwerp tot game-animaties. Mis deze kans niet om te leren van experts en mee te discussiëren over de toekomst van AI in ruimtelijk computergebruik.
Lees meer >
17 - 21 Maart 2025
Controletheorie en versterkend leren: verbindingen en uitdagingen
Dit voorjaarsprogramma 2025 bij CWI brengt experts uit de regeltheorie en reinforcement learning samen om gedeelde uitdagingen en kansen te verkennen.
Lees meer >
27 Maart 2025
Responsible AI bij het RAAIT Congress 2025
Hoe kun je kunstmatige intelligentie (AI) inzetten om mens, maatschappij en de planeet te ondersteunen? Dit is de centrale vraag van het programma Responsible Applied Artificial Intelligence (RAAIT). In samenwerking met drie universiteiten Amsterdam, Rotterdam en Utrecht en diverse praktijkpartners, werkt RAAIT aan oplossingen die de verantwoorde toepassing van AI bevorderen. Deze innovatieve benaderingen worden gepresenteerd tijdens het Responsible AI Congres & Experience op donderdag 27 maart 2025.
Lees meer >