[Hol-info] LPAR-23 - Extended deadlines

** LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning Abstract submission: 18 February, 2020 Paper submission: 22 February, 2020 Author notification: 8

[Hol-info] RAMiCS 2020 - CFP

CALL FOR PARTICIPATION 18th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2020 08 to 11 April 2020, Palaiseau, France http://ramics18.gforge.inria.fr/ Since