[Hol-info] RAMiCS CFSC

2020-01-19 Thread Michael Winter
CALL FOR SHORT CONTRIBUTIONS / POSTERS 18th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2020 08 to 11 April 2020, Palaiseau, France http://ramics18.gforge.i

[Hol-info] TTCS 2020 - deadline extended to the 16th of February

2020-01-19 Thread Renato Neves
The Third IFIP International Conference on Topics in Theoretical Computer Science (TTCS 2020) http://cs.ipm.ac.ir/ttcs/2020 Institute for Research in Fundamental Sciences (IPM) Tehran, Iran, July 1-3, 2020 *** Deadline Extension: February 16, 2020 *** *** NEW - Invited Speakers *** Mohammad