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))
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))