Sales Ended

Dependent Typing with Idris

Follow this organiser to stay informed on future events

By Paul Brabban

Agile Yorkshire Meetup 03 September 2025
Wed, Sep 3, 18:00
Platform • Leeds
Free
Chesterfield Technology Meet-up
Wed, Sep 3, 17:00
The Pig & Pump • Chesterfield
Free
Agile Yorkshire Meetup 08 October 2025
Wed, Oct 8, 18:00
Platform • Leeds
Free
Medilink Midlands Winter Networking Event
Thu, Nov 13, 11:00
Chatsworth House • Bakewell
£50
Cyber WhoDunIt
Thu, Oct 2, 18:00
Apsley House • Leeds
Free
Leeds Big Tech Debate
Wed, Oct 1, 17:30
Avenue HQ Leeds • Leeds
Free
Leeds Digital Festival 2025
Thu, Oct 2, 12:45
Flutter Entertainment • Leeds
Free
The Future of Work and Insight: Human Ingenuity Meets Technology
Thu, Oct 2, 18:00
Sedulo • Leeds
Free
App event test 2
Wed, Sep 10, 10:00
Force24 • Leeds
Free