|DIM RFSI of the Paris Ile-de-France Region|
|Laboratory on Specification and Verification|
|Working Group 1.6 on Rewriting of the International Federation for Information Processing|
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.