***ATTENTION Indico Users***

Notice: LaTeX services are temporarily disabled and will be reintroduced in 3.3.12 which is currently being planned

Please see the News section for more information.

Choose timezone

Your profile timezone:

Use timezone based on:

Event/category Custom

Select a custom timezone

Login

July 2026 Joint ePIC/EICUG Meeting

11–17 Jul 2026

Glasgow

Europe/London timezone

Digitalizing DIS in Lean 4: A machine-provable basis for AI research at the EIC

Collaborator Contributions

17 Jul 2026, 15:30

Dr Wouter Deconinck (University of Manitoba)

There are no materials yet.

Powered by Indico v3.3.8