会議情報

MFPS 2015: International Conference on the Mathematical Foundations of Programming Semantics

会議のウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
締切カウントダウンバッジを埋め込む
MFPS
このデータを API で取得
検索とランキング一覧は資格情報なしで利用できます。このページの詳細データには無料の API キーが必要です。詳しくは開発者向けガイドをご覧ください。
投稿締切日:
2015-04-03
通知日:
2015-05-15
開催日:
2015-06-22
開催地:
Nijmegen, Netherlands
開催回数:
31
ICORE: B   QUALIS: B4   閲覧: 29274   フォロー: 0   参加: 0

会伴インデックス (CP-I)

58.4 / 100
全 5,683 件中 第 657 位 · 上位 12%
学術的評価 (35%)
72
投稿の選択性 (20%) データなし — 中立の基準値 50 点として算入
開催回数 (20%)
93
コミュニティの注目度 (10%)
8
公開情報の充実度 (15%)
25

使用した入力: 収録ランク:ICORE B, QUALIS B4 · 確認できる開催回数:31 · 過去 24 か月にこのページを開いた研究者:2 人

公開情報で不足しているもの: 過去の採択率 (+4.5) · 過去の開催回 (+3.0) · 最優秀論文の記録 (+2.3)
主催者は会議を認証申請したうえで、このページから直接追加できます。スコアは毎晩再計算されます。このスコアを上げるには

信頼度 80% — スコアのうち、中立の基準値ではなく実際に観測されたデータに基づく割合。 このスコアの算出方法 · ランキングを見る · アルゴリズム版 1.1 · 算出日 2026-09-22

論文募集

MFPS 2015 (International Conference on the Mathematical Foundations of Programming Semantics) is a ICORE B / QUALIS B4 conference held in Nijmegen, Netherlands on 2015-06-22. The paper submission deadline is 2015-04-03. Acceptance notifications are sent on 2015-05-15.

The 31st MFPS will take place on the campus of the Radboud University, Nijmegen, between 22 and 25 June 2015. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. MFPS is organised in cooperation with ACM SIGLOG and observes its anti-harassment policy. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example.
最終更新:Dou Sun

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
Mathematical Programming2.5Springer0025-5610
Mathematical Programming Computation3.6Springer1867-2949
Journal on Data SemanticsSpringer1861-2032
Journal of Biomedical Semantics2.0Springer2041-1480
Foundations of Computational Mathematics2.7Springer1615-3375
Journal of Semantics1.1Oxford University Press0167-5133
Journal of Mathematical Imaging and Vision1.5Springer0924-9907
International Journal of Parallel Programming0.9Springer0885-7458
Programming and Computer Software0.5Springer0361-7688
Applied Mathematical Modelling5.5Elsevier0307-904X

コメント 0

まだコメントはありません。

コメントするにはログインしてください