09.30 – 10.15: Dihedral Galois representations and CM forms (Nicolas Billerey (Univ. Clermond-Ferrand)) 11.00 – 11.45: Implementing Algorithms to Compute Elliptic Curves Over Q (A. Gherga (UBC Vancouver)) 12.00 – 12.45: Congruences for sporadic sequences and modular forms for non-congruence subgroups (Matija Kazalicki (Zagreb))

14.45 – 15.30: Diophantine applications of Serre’s modularity conjecture (G. Turcas (Bucharest)) 16.15 – 17.00: Formal theorem proving with a view towards Diophantine equations (S. Dahmen (VU Univ. Amsterdam))