《Acta Informatica》中文名稱(chēng)：《信息法》，創(chuàng)刊于1971年，由Springer Berlin Heidelberg出版商出版，出版周期Monthly。

Acta Informatica 提供關(guān)于程序、計(jì)算系統(tǒng)和信息結(jié)構(gòu)的設(shè)計(jì)與分析的形式化方法文章的國(guó)際傳播，以及理論計(jì)算機(jī)科學(xué)的相關(guān)領(lǐng)域，如自動(dòng)機(jī)理論、計(jì)算機(jī)科學(xué)中的邏輯和算法。

感興趣的主題包括：

? 編程語(yǔ)言的語(yǔ)義

? 并發(fā)、分布式、反應(yīng)式和移動(dòng)系統(tǒng)的模型和建模語(yǔ)言

? 定時(shí)、混合和概率系統(tǒng)的模型和建模語(yǔ)言

? 規(guī)范、程序分析和驗(yàn)證

? 模型檢查和定理證明

? 模態(tài)、時(shí)間、一階和高階邏輯及其變體

? 約束邏輯、SAT/SMT 求解技術(shù)

? 數(shù)據(jù)庫(kù)、半結(jié)構(gòu)化數(shù)據(jù)和有限模型理論的理論方面

? 人工智能的理論方面，知識(shí)表示、描述邏輯

? 自動(dòng)機(jī)理論、形式語(yǔ)言、術(shù)語(yǔ)和圖形重寫(xiě)

? 基于游戲的模型、綜合

? 類(lèi)型理論、類(lèi)型演算

? 代數(shù)、余代數(shù)和分類(lèi)方法

? 性能、可靠性和可靠性分析的形式化方面

? 信息和網(wǎng)絡(luò)安全基礎(chǔ)

? 并行、分布式和隨機(jī)算法

? 算法的設(shè)計(jì)和分析

? 網(wǎng)絡(luò)和通信協(xié)議基礎(chǔ)。

投稿《Acta Informatica》需要準(zhǔn)備的文件可詳細(xì)閱讀以下要求：

文章要求：

1、建議稿件控制10頁(yè)以上，文章撰寫(xiě)語(yǔ)言為英語(yǔ)；（單欄格式，單倍行距，內(nèi)容10號(hào)字體，文稿類(lèi)型包含：原創(chuàng)研究(Original Research)、案例報(bào)告(Case Report)、文獻(xiàn)綜述(Literature Review)等；文件格式包含word、PDF、LaTeX等。

2、稿件重復(fù)率控制10%以?xún)?nèi)，論文務(wù)必保證原創(chuàng)性、圖標(biāo)、公式、引文等要素齊備，保證附屬資料的完整。已發(fā)表或引用過(guò)度的文章將不會(huì)被出版和檢索，禁止一稿多投，拒絕抄襲、機(jī)械性的稿件。

3、稿件必須有較好的英語(yǔ)表達(dá)水平，有圖，有表，有公式，有數(shù)據(jù)或設(shè)計(jì)，有算法（方案，模型），實(shí)驗(yàn)，仿真等；參考文獻(xiàn)控制25條以上，參考文獻(xiàn)引用一半以上控制在近5年以?xún)?nèi)。

圖片和圖表要求：

1、建議使用TIFF、EPS、JPEG格式 ，TIFF格式 使用LZW壓縮。

2、文件大小最大不超過(guò)20MB，不要以單個(gè)文件的形式上傳數(shù)據(jù)。

3、彩色圖片的分辨率≥300dpi；黑白圖片的分辨率在≥500dpi；line art圖片類(lèi)型的分辨率≥1000dpi；色彩模式建議采用RGB，除非期刊注明要CMYK。

4、線(xiàn)條不要細(xì)于0.25pt,也不能太粗，超過(guò)1.5pt,過(guò)細(xì)或過(guò)粗都影響美觀。

5、表格一般和manuscrript放置在一個(gè)word文檔里部分期刊 需要單獨(dú)上傳表格。

作者信息：

1、包括作者姓名、最高學(xué)位，作者單位（精確到部門(mén)），郵箱，地址，郵編，關(guān)鍵詞，內(nèi)容，總結(jié)，項(xiàng)目基金，參考文獻(xiàn)，作者相片+簡(jiǎn)介（一定要確保作者信息準(zhǔn)確無(wú)誤，提交稿件之后這部分不能再作改動(dòng)）。

更多征稿細(xì)則請(qǐng)查閱雜志社征稿要求。本站專(zhuān)注期刊咨詢(xún)服務(wù)十年，確保SCI檢索，稿件信息安全保密，合乎學(xué)術(shù)規(guī)范不成功不收費(fèi)，詳情請(qǐng)咨詢(xún)客服。

聲明：該作品系作者結(jié)合互聯(lián)網(wǎng)公開(kāi)知識(shí)整合。如有錯(cuò)漏請(qǐng)聯(lián)系我們，我們將及時(shí)更正。