Related events: ISR takes place just after the 4th International Conference on Formal Structures for Computation and Deduction (FSCD’19), 24-30 June, Dortmund, Germany, and there is a direct Thalys train from Dortmund to Paris taking about 5 hours. ISR takes also place just before the 12th Conference on Intelligent Computer Mathematics (CICM’12), 8-12 July, Prague, Czech Republic, and there are cheap direct flights from Paris to Prague taking about 1h40 only.
