Changes between Version 56 and Version 57 of Conferences


Ignore:
Timestamp:
11/23/18 11:49:29 (7 years ago)
Author:
ziqing
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v56 v57  
    2929|| GandALF || [https://www.react.uni-saarland.de/gandalf2018/cfp.html Games, Automata, Logics, and Formal Verification] || || **06/13** || [https://www.react.uni-saarland.de/gandalf2018/cfp.html 09/26–18] || || || ||
    3030|| RP || [https://rp2018.lis-lab.fr/index.html Reachablity Problems] || || **05/31** || [https://rp2018.lis-lab.fr/index.html 09/24–18] || || || ||
     31|| ATVA || [http://atva-conference.org/call-for-papers/] || || **05/11** || [http://atva-conference.org/important-dates/ 10/7-10] || || || ||
    3132
    3233A = abstract deadline,