[Hol-info] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France

2019-05-16 Thread Frédéric Blanqui
Deadline for early registration: May 17 ! -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- 11th International School on Rewriting (ISR'19) 1-6 July 2019, MINES ParisTech, France    https://isr2019.mines-paristech.fr/

[Hol-info] ETAPS 2020: Call for Satellite Events

2019-05-16 Thread Hoefner, Peter (Data61, Kensington NSW)
*** 23rd European Joint Conferences on Theory and Practice of Software (ETAPS 2020) http://www.etaps.org/ *** Call for Satellite Events

[Hol-info] RAMiCS2020 - CFP

2019-05-16 Thread Michael Winter
CALL FOR PAPERS 18th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2020 08. April to 11. April 2020, Palaiseau, France URL: http://ramics18.gforge.inria.fr/