Universidad de La RiojaCampus Iberus    
Principal Correo-web Directorio Mapa web Contacto

Matemáticas y Computación



EACA 2016: Logroño (Spain) 22-24th June 2016

Plenary speakers

  • Carlos D'Andrea, Universitat de Barcelona, Spain.
    Title: Elimination Theory in positive characteristic.

  • Enrique Artal, Universidad de Zaragoza, Spain.
    Title: Computational methods in the topology of algebraic varieties.

  • Mohamed Barakat, University of Siegen, Germany.
    Title: How to implement a category on the computer and why?

  • Lawrence C Paulson, University of Cambridge, England.
    Title: The Future of Formalised Mathematics.

  • Andrea Solotar, Universidad de Buenos Aires, Argentina.
    Title: Rewriting processes, projective resolutions and ambiguities.

Sobre este web | © Universidad de La Rioja