TSGA2020@online - Mizar研究会による発表会(Call for Papers)


年末会合は以下の日程・場所で予定しております。各位の参加を熱望しております。年末のお忙しい中恐縮ですが、何卒ご参集の程、お願い申し上げます。


日時:2020年12月27日(日)14時00分から(予定)
場所:オンライン開催(Zoom.us)※ZoomミーティングURLは、改めてご案内します。

参加登録,講演論文投稿期限:2020年11月30日(予定)


お問い合わせ: Mizar-Japan事務局 メール: secretariat@mizar-jp.org(幹事: 信州大 和﨑)
Email address *
お名前と所属をご記入ください。記入例: 若里 太郎(信州大) *
研究会に参加されますか? *
講演論文投稿要領
MMA-WiP投稿の手引き は以下からご参照ください.
http://mizar-jp.org/journal/MMA-WiP/

[step-1] 以下URLから論文テンプレート(LaTeX, Word)をダウンロードし、仕上がり 最小8ページ から 最大16ページで作成してください.組版工程の関係上,可能なかぎりLaTeXで制作していただくことをおすすめします.

論文テンプレート (LaTeX, Word) ZIP圧縮ファイル
http://bit.do/MMA-WiP_template_ver-20200731

[step-2] 制作した投稿論文は,指定されたソースファイルを同梱・ZIP圧縮した上,以下の投稿窓口まで電子メール添付にて送信してください.

投稿論文送信先 メール: submission@mizar-jp.org

メール送信時には,以下の内容を subject, メール本文へ記入をお願いします.

subject : 【Mizar-Japan】研究会投稿論文(お名前,所属)
本文: 論文題目
   共著者一覧
   所属一覧
   形式化内容の概要
   仮MML-ID (8文字)
   責任著者連絡先(お名前,所属,連絡先,メールアドレス)

   12月27日 研究会参加の有無  参加する  参加しない
   

MMA-WiP論文誌への同時投稿 希望する  希望しない

   論文分類 (該当するもの一つに ◯ を記入してください)
   (  ) 一般論文
   (  ) システム開発論文
   (  ) レター


[step-3] MMA-WiP論文誌への同時投稿を「希望」された場合,別途,論文編集委員会から原稿受理等連絡がメールで送信されますので,ご対応を宜しくお願いします.

このイベントのことを、どのようにしてお知りになりましたか。
Clear selection
コメントまたはご質問
A copy of your responses will be emailed to the address you provided.
Submit
Never submit passwords through Google Forms.
reCAPTCHA
This content is neither created nor endorsed by Google. Report Abuse - Terms of Service - Privacy Policy