International Joint Conference on Automated Reasoning

Social Programme

 The social programme will be:

  • Visit to the University of Coimbra (The Palace of Schools, Baroque Library, etc.)
  • Visit to the Science Museum of the University of Coimbra
  • Walk from the top of the hill to downtown, the "Quebra-costas" route.
  • Galla Dinner in Hotel D. Inês, at 20h00, with the "Trova Nova", group of "fado" de Coimbra, at 22h00.