国内软件工程相关的会议主要有以下几种：

1.  CCF中国软件大会（CCF ChinaSoft）：

由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办。

2024年11月15日至17日在陕西省西安高新国际会议中心召开。

2.  中国软件大会（NASAC）：

由CCF主办，CCF软件工程专业委员会与CCF系统软件专业委员会共同承办。

是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。

3.  全国形式化方法与应用会议（FMAC）：

由CCF主办，CCF形式化方法专业委员会承办。

聚焦形式化方法理论前沿和最新研究进展。

4.  软件与系统工程标准化大会：

由全国信标委软件与系统工程分技术委员会和中国系统工程学会教育与普及工作委员会联合主办，中国电子技术标准化研究院、计算机学会软件工程专委会承办。

5.  PLDI（ACM SIGPLAN Conference on Programming Language Design and Implementation）：

由ACM SIGPLAN主办，是编程语言领域的顶级会议。

6.  POPL（ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages）：

由ACM SIGPLAN和ACM SIGACT主办，是软件工程领域的顶级会议。

这些会议都是国内软件工程领域的重要会议，涵盖了软件工程的各个方面，包括理论研究、技术应用、标准化等。建议您根据具体的研究方向和兴趣选择合适的会议参加。