About

このページは現在は個人用のリンク集として使用しています．記載内容に関して一切の責任を持ちません．

リンク集にあるScimago Journal and Country Rank，CORE Rankingsに基づいてランクで分けています．CORE RankingはCORE2021を使用しています．各コンファレンス名の下に書かれている日付は過去の開催時期であり，research.comを参照しています．また，各ジャーナルの下に書かれているPeriodicityはresearch.comを，QuartilesはScimago Journal and Country Rankを参照しています．

Journals

Q1

• Journal of the ACM (JACM)
  • Periodicity: Bimonthly
  • Quartiles: Artificial Intelligence (Q1), Control and Systems Engineering (Q1), Hardware and Architecture (Q1), Information Systems (Q1), Software (Q1)
• Software Testing, Verification and Reliability (STVR)
  • Periodicity: Bimonthly
  • Quartiles: Media Technology (Q1), Safety Risk, Reliability and Quality (Q2), Software (Q2)

Q2

• Logical Methods in Computer Science (LMCS)
  • Periodicity: Irregular
  • Quartiles: Computer Science (miscellaneous) (Q2), Theoretical Computer Science (Q2)
• International Journal on Software Tools for Technology Transfer (STTT)
  • Periodicity: -
  • Quartiles: Information Systems (Q2), Software (Q3)
• Software - Practice and Experience (SPE)
  • Periodicity: Monthly
  • Quartiles: Software (Q2)

Q3

• Formal Methods in System Design (FMSD)
  • Periodicity: Bimonthly
  • Quartiles: Hardware and Architecture (Q3), Software (Q3), Theoretical Computer Science (Q3)
• Formal Aspects of Computing (FAC)
  • Periodicity: Quarterly
  • Quartiles: Software (Q3), Theoretical Computer Science (Q3)
• Innovations in Systems and Software Engineering (ISSE)
  • Periodicity: -
  • Quartiles: Software (Q3)
• IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  • Periodicity: Bimonthly
  • Quartiles: Applied Mathematics (Q4), Computer Graphics and Computer-Aided Design (Q3), Electrical and Electronic Engineering (Q4), Signal Processing (Q4)

Conferences

Rank: A*

• Logic in Computer Science (LICS)
  • Submission Deadline: Wednesday 18 Jan 2023
  • Conference Dates: Jun 26, 2023 - Jun 29, 2023
• International Conference on Computer Aided Verification (CAV)
  • Submission Deadline: Friday 21 Jan 2022
  • Conference Dates: Aug 07, 2022 - Aug 10, 2022
• International Conference on Automated Software Engineering (ASE)
  • Submission Deadline: Friday 28 Apr 2023
  • Conference Dates: Sep 11, 2023 - Sep 15, 2023
• ACM SIGOPS Symposium on Operating Systems Principles (SOSP)
  • Submission Deadline: Friday 30 Apr 2021
  • Conference Dates: Oct 25, 2021 - Oct 25, 2021
• USENIX Network and Distributed System Security Symposium (NDSS)
  • Submission Deadline: Friday 13 May 2022
  • Conference Dates: Feb 27, 2023 - May 03, 2023
• ACM-SIGACT Symposium on Principles of Programming Languages (POPL)
  • Submission Deadline: Thursday 07 Jul 2022
  • Conference Dates: Jan 15, 2023 - Mar 21, 2023
• USENIX Security Symposium (USENIX-Security/USS)
  • Submission Deadline: Tuesday 11 Oct 2022
  • Conference Dates: Aug 09, 2023 - Aug 11, 2023
• International Conference on Software Engineering (ICSE)
  • Submission Deadline: Thursday 01 Sep 2022
  • Conference Dates: May 14, 2023 - May 20, 2022
• ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
  • Submission Deadline: Friday 20 Nov 2020
  • Conference Dates: Jun 20, 2021 - Jun 25, 2021
• USENIX Symposium on Operating Systems Design and Implementation (OSDI)
  • Submission Deadline: Thursday 07 Dec 2021
  • Conference Dates: Jul 11, 2022 - Jul 13, 2022

Rank: A

• USENIX Annual Technical Conference (USENIX)
  • Submission Deadline: Thursday 13 Jan 2022
  • Conference Dates: Jul 11, 2022 - Jul 13, 2022
• International Symposium on Software Testing and Analysis (ISSTA)
  • Submission Deadline: Friday 29 Jan 2021
  • Conference Dates: Jul 12, 2021 - Jul 12, 2021
• International Joint Conference on Automated Reasoning (IJCAR)
  • Submission Deadline: Friday 18 Feb 2022
  • Conference Dates: Jul 07, 2022 - Jul 12, 2022
• USENIX Workshop on Hot Topics on Operating Systems (HotOS)
  • Submission Deadline: WednesDay 03 Feb 2021
  • Conference Dates: May 31, 2021 - May 31, 2021
• ACM Conference on Embedded Software (EMSOFT)
  • Submission Deadline: Thursday 16 Mar 2023
  • Conference Dates: Sep 17, 2023 - Sep 22, 2023
• International Requirements Engineering Conference (RE)
  • Submission Deadline: Friday 10 Mar 2023
  • Conference Dates: Sep 04, 2023 - Sep 08, 2023
• ACM SIGPLAN International Conference on Functional Programming (ICFP)
  • Submission Deadline: Wednesday 02 Mar 2022
  • Conference Dates: Sep 11, 2022 - Sep 16, 2022
• Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)
  • Submission Deadline: Friday 13 Aug 2021
  • Conference Dates: Oct 17, 2021 - Oct 17, 2021
• International Symposium on Formal Methods (FM)
  • Submission Deadline: Sunday 04 Sep 2022
  • Conference Dates: Mar 06, 2023 - Mar 10, 2023
• International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)
  • Submission Deadline: Thursday 13 Oct 2022
  • Conference Dates: Apr 22, 2023 - Jan 27, 2023
• IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
  • Submission Deadline: Thursday 01 Dec 2022
  • Conference Dates: Jun 27, 2023 - Jun 30, 2023
• International Conference on Software Testing, Verification, and Validation (ICST)
  • Submission Deadline: Friday 10 Dec 2021
  • Conference Dates: Apr 04, 2022 - Apr 13, 2022
• Logic Programming and Automated Reasoning (LPAR)
  • Submission Deadline: -
  • Conference Dates: -

Rank: B

• International Conference on Computer Safety, Reliability, and Security (SAFECOMP)
  • Submission Deadline: Feb. 13, 2023
  • Conference Dates: Sep. 20-22, 2023
  • Venue: Toulouse, France
• IEEE Intelligent Vehicles Symposium (IV)
  • Submission Deadline: Feb. 01, 2024
  • Conference Dates: Jun. 2-5, 2024
  • Venue: Jejui Shinhwa World, Jeju Island, Korea
• International Conference on Integrated Formal Methods (iFM)
  • Submission Deadline: Jun. 10, 2023
  • Conference Dates: Nov. 13-15, 2023
  • Venue: Leiden, the Netherlands
• Evaluation of Novel Approaches to Software Engineering (ENASE)
  • Submission Deadline: Dec. 13, 2023
  • Conference Dates: Apr. 28-29, 2024
  • Venue: Angers, France
• International Computer Software and Applications Conference (COMPSAC)
  • Submission Deadline: Jan. 31, 2024
  • Conference Dates: Jul. 2-4, 2024
  • Venue: Osaka, Japan
• IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
  • Submission Deadline: Apr. 21, 2023
  • Conference Dates: Aug. 30 - Sep. 01, 2023
  • Venue: TOKI MESSE, Niigata, Japan
• IEEE International Conference on Formal Engineering Methods (ICFEM)
  • Submission Deadline: May. 21, 2023
  • Conference Dates: Nov. 21-24, 2023
  • Venue: Brisbane, Australia
• Pacific Rim International Symposium on Dependable Computing (PRDC)
  • Submission Deadline: Apr. 27, 2023
  • Conference Dates: Oct. 24-27, 2023
  • Venue: Singapore
• Static Analysis Symposium (SAS)
  • Submission Deadline: Sep. 22, 2023
  • Conference Dates: Oct. 24, 2023
  • Venue: Cascais, Portugal
• Automated Technology for Verification and Analysis (ATVA)
  • Submission Deadline: May. 11, 2023
  • Conference Dates: Oct. 24-27, 2023
  • Venue: Singapore
• Formal Methods in Computer-Aided Design (FMCAD)
  • Submission Deadline: May. 8, 2023
  • Conference Dates: Oct. 23-27, 2023
  • Venue: Ames, Iowa, USA
• IEEE International Conference on Software Engineering and Formal Methods (SEFM)
  • Submission Deadline: Jun. 18, 2023
  • Conference Dates: Nov. 6-10, 2023
  • Venue: Eindhoven University of Technology, The Netherlands
• Asia-Pacific Software Engineering Conference (APSEC)
  • Submission Deadline: Mar. 31, 2023
  • Conference Dates: Dec. 4-7, 2023
  • Venue: Seoul, Korea
• Annual Conference for Computer Science Logic (CSL)
  • Submission Deadline: Jul. 24, 2023
  • Confernce Dates: Feb. 19-23, 2024
  • Venue: Naples, Italy
• International Conference on Software Quality, Reliability and Security (QRS)
  • Submission Deadline: Jul. 31, 2023
  • Conference Dates: Oct. 22-26, 2023
  • Venue: Chiang Mai, Thailand
• Verification, Model Checking and Abstract Interpretation (VMCAI)
  • Submission Deadline: Sep. 7, 2023
  • Conference Dates: Jan. 15-16, 2023
  • Venue: London, United Kingdom
• ACM Symposium on Applied Computing (SAC)
  • Submission Deadline: May. 15, 2023?
  • Conference Dates: Apr. 8-12, 2024
  • Venue: Avila, Spain
• Fundamental Approaches to Software Engineering (FASE)
  • Submission Deadline: Oct. 12, 2023?
  • Conference Dates: Apr. 8-11, 2024
  • Venue: Luxembourg City, Luxembourg
• International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ)
  • Submission Deadline: Jan. 19, 2024
  • Conference Dates: Jun. 24-28, 2024
  • Venue: Reykjavik, Iceland

Rank: C

• IEEE International Symposium on Real-Time Distributed Computing (ISORC)
  • Submission Deadline: Saturday 12 Feb 2022
  • Conference Dates: May 17, 2022 - May 17, 2022
• Runtime Verification (RV)
  • Submission Deadline: Thursday 05 May 2022
  • Conferece Dates: Sep 28, 2022 - Sep 30, 2022
• International Workshop on Automation of Software Test (AST)
  • Submission Deadline: Saturday 06 May 2023
  • Conference Dates: Sep 27, 2023 - Sep 29, 2023
• International Conference on Testing Software and Systems (ICTSS)
  • Submission Deadline: Saturday 06 May 2023
  • Conference Dates: Sep 27, 2023 - Sep 29, 2023
• International Workshop on Formal Methods for Industrial Critical Systems (FMICS)
  • Submission Deadline: Friday 15 May 2020
  • Conference Dates: Sep 02, 2020 - Sep 03, 2020
• International Conference of Tests and Proofs (TAP)
  • Submission Deadline: Friday 18 Mar 2022
  • Conference Dates: Jul 05, 2022 - Jul 05, 2022
• Asia and South Pacific Design Automation Conference (ASP-DAC)
  • Submission Deadline: Sunday 24 Jul 2022
  • Conference Dates: Jan 16, 2023 - Jan 19, 2023
• International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
  • Submission Deadline: Thursday 17 Nov 2022
  • Conference Dates: Feb 19, 2023 - Feb 21, 2023

Rank: ?

• NASA Formal Methods Symposium (NFM)
  • Submission Deadline: Monday 10 Jan 2022
  • Conference Dates: May 24, 2022 - May 27, 2022
• FME Workshop on Formal Methods in Software Engineering (FormaliSE)
  • Submission Deadline: Thursday 16 Jan 2020
  • Conference Dates: May 25, 2020 - May 26, 2020
• IFIP WG 6.1 International Conference on Formal Techniques for (Networked and) Distributed Systems (FORTE)
  • Submission Deadline: Friday 11 Feb 2022
  • Conference Dates: Jun 13, 2022 - Jun 17, 2022
• SPIN Workshop
  • Submission Deadline: Tuesday 20 Apr 2021
  • Conference Dates: Jul 12, 2021 - Jul 12, 2021
• International Conference on Grammatical Inference (ICGI)
  • Submission Deadline: Friday 01 May 2020
  • Conference Dates: Aug 26, 2020 - Aug 28, 2020
• Reachability Problems (RP)
  • Submission Deadline: Friday 07 Jun 2019
  • Conference Dates: Sep 11, 2019 - Sep 13, 2019
• Theoretical Aspects of Software Engineering (TASE)
  • Submission Deadline: Sunday 25 Sep 2022
  • Conference Dates: Mar 07, 2023 - Mar 10, 2023
• Design Automation Conference (DAC)
  • Submission Deadline: Monday 01 Nov 2021
  • Conference Dates: Dec 05, 2021 - Dec 09, 2021
• International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS)
  • Submission Deadline: Wednesday 06 Nov 2019
  • Conference Dates: Feb 05, 2020 - Feb 07, 2020

リンク集

• dblp
• CORE Rankings Portal
• Microsoft Academic
• Google Scholar
• Guide2Research
• Research.com
• Scimago Journal and Country Rank

各月のSubmission Deadlineの個数（未更新）

• 1月 : 6個
• 2月 : 9個
• 3月 : 4個
• 4月 : 6個
• 5月 : 9個
• 6月 : 1個
• 7月 : 5個
• 8月 : 1個
• 9月 : 5個
• 10月: 4個
• 11月: 5個
• 12月: 3個