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.
    Abstract.

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

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

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

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


Sobre este web | © Universidad de La Rioja