Don't miss the Call-for-Papers deadlines again. Ditto for milestone deadlines for research contests.
"Finish your Ph.D.! Finish your [term deleted] Ph.D.!!!"
- Mr. Erik King, during the last conversation that we had at Sbisa dining hall on December 10, 2018. He graduates with his Masters later that week.
Fix mathematical proof for paper and implement processor subsystems.
- AAAI-21 (or AAAI 2021), AAAI Conference on Artificial Intelligence
- http://www.aaai.org/Conferences/conferences.php
- https://aaai.org/Conferences/AAAI-21/
- Virtual conference
New York, NY.- Submission deadline: September 1 and September 9, 2019.
- For special track on "AI for Social Impact":
- Submission deadline: September 1 and September 9, 2019.
- For special track on "AI for Social Impact":
- IAAI-21 (or IAAI 2021), Innovative Applications of Artificial Intelligence Conference
- https://aaai.org/Conferences/AAAI-21/iaai-21-call/
- Same venue as AAAI 2021.
- Virtual conference
New York, NY.- Submission deadline: September 16, 2019
- EAAI-21, Symposium on Educational Advances in Artificial Intelligence
- https://aaai.org/Conferences/AAAI-21/eaai-21-call/
- Same venue as AAAI 2021.
- Virtual conference
New York, NY.- Submission deadline: September 1 and September 9, 2019.
- AAMAS, International Conference on Autonomous Agents and Multiagent Systems
- Or, International Conference on Autonomous Agents and Multi-Agent Systems.
- https://www.aamas2024-conference.auckland.ac.nz/calls/call-for-papers/
- "IFAAMAS sponsors the annual International Conference on Autonomous Agents and Multiagent Systems (AAMAS)."
- International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).
- "The AAMAS conference series was initiated in 2002 as a merger of three highly respected individual conferences: AGENTS (International Conference on Autonomous Agents), ICMAS (International Conference on Multi-Agent Systems), and ATAL (International Workshop on Agent Theories, Architectures, and Languages). The aim of the joint conference is to provide a single, high-profile, internationally renowned forum for research in the theory and practice of autonomous agents and multiagent systems."
- "International Joint Conference on Autonomous Agents and Multiagent Systems (previously the International Conference on Multiagent Systems, ICMAS, changed in 2000)"
- May 6-10, 2024
- Auckland, New Zealand.
- Submission deadline: October 2 and October 9, 2020 (AoE).
- ACL, Annual Meeting of the Association for Computational Linguistics
- Annual Meeting of the Association for Computational Linguistics
- The Joint Conference of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (ACL-IJCNLP 2021)
- https://2021.aclweb.org/
- https://2021.aclweb.org/calls/papers/
- https://www.aclweb.org/portal/acl
- https://www.aclweb.org/portal/acl_sponsored_events
- Virtual conference
Seattle, WA- August 1-6, 2021.
July 5-10, 2020- Submission deadline: February 2, 2021.
- ACL 2020 -- Call for System Demonstrations
- https://2021.aclweb.org/downloads/ACL2021DemoCFP.pdf
- Submission deadline: March 25, 2021.
- AIES, AAAI/ACM Conference on AI, Ethics, and Society
- http://www.aies-conference.com/
- http://www.aies-conference.com/call-for-papers/
- May 19-21, 2021.
February 7-8- Virtual conference.
Honolulu, Hawaii, USA- Submission deadline:
Nov 4 Anywhere on Earth (full paper), 2019.January 31, 2021.
- AISTATS, International Conference on Artificial Intelligence and Statistics
- https://aistats.org/aistats2024/call-for-papers.html
- May 2-4, 2024.
- Valencia, Spain
- Abstract deadline: October 6, 2023 (AoE)
- Paper deadline: October 13, 2023 (AoE)
- CIBCB 2021, IEEE International Conference on Computational Intelligence in Bioinformatics and Computational Biology
- https://cibcb2020.uai.cl/#callforpapers
October 27-29, 2020July 9-11, 2019–Certosa di Pontignano, Siena - Tuscany, Italy- Submission deadline:
February 15, 2019March 1, 2019May 1, 2020May 15, 2020June 3, 2020.
- CICLing, International Conference on Computational Linguistics and Intelligent Text Processing
- formerly, International Conference on Intelligent Text Processing and Computational Linguistics
- https://www.cicling.org/2019/
- https://www.cicling.org/
- April 7-13, 2019
- La Rochelle, France
- Submission deadline: April 7-13, 2019
- CHI, ACM CHI Conference on Human Factors in Computing Systems
- https://chi2021.acm.org/
- Virtual conference.
Honolulu, on the island of Oahu, Hawaiʻi, USA.- Submission deadline: September 10/17, 2020.
- COLING’2020, International Conference on Computational Linguistics
- https://www.aclweb.org/portal/content/28th-international-conference-computational-linguistics
- https://coling2020.org/
- Virtual conference.
Barcelona, Spain- December 8-13, 2020.
September 13-18, 2020- Submission deadline:
April 8, 2020July 1, 2020.
- CPAIOR 2021, International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
- https://cpaior2021.dbai.tuwien.ac.at/
- https://cpaior.org/
- Vienna, Austria.
- June 5-8, 2020
- Submission deadlines:
November 18 and 27, 2019November 18 and 29, 2019January 21 and 28, 2021.
- CVPR, Conference on Computer Vision and Pattern Recognition
- http://cvpr2021.thecvf.com/node/36
- http://cvpr2021.thecvf.com/
- June 19-25, 2021.
- CVPR 2021: Virtual conference.
CVPR 2021: Nashville, TN.- CVPR 2022: New Orleans, LA.
- https://www.thecvf.com/?page_id=100
- Submission deadlines: November 9 and 16, 2020, 23:59 PST.
- DSAA, IEEE/ACM/ASA DSAA, IEEE International Conference on Data Science and Advanced Analytics
- https://dsaa2021.dcc.fc.up.pt/
- https://dsaa2021.dcc.fc.up.pt/calls/research-applications-tracks
- http://www.dsaa.co/
- October 6–9, 2021.
- Porto, Portugal.
Sydney, Australia- Submission deadline: May 23, 2021.
- EACL, meeting of the European Chapter of the Association for Computational Linguistics
- https://2021.eacl.org/
- http://eacl.org/conferences/
- April 19-23, 2021.
- Virtual conference.
Valencia, Spain- Submission deadline:
September 30, 2016October 7, 2020.
- ECAI, European Conference on Artificial Intelligence
- biennial conference
- IJCAI-ECAI in 2022 will be held in Bologna, Italy
- ECAI-2020, Santiago de Compostela, Spain.
- https://www.eurai.org/activities/ECAI_conferences
- https://eurai.org/activities/ECAI_conferences
- http://ecai2020.eu/call-for-papers/mainconference/
- http://ecai2020.eu/
- Submission deadlines: November 15 and 19, 2019.
- ECCV, European Conference on Computer Vision
- https://eccv2020.eu/important-dates/
- August 24-27, 2020.
- SEC, Glasgow, U.K..
- "biennial research conference"
- Organized/Held in even-numbered years only
- Submission deadline: March 5, 2020.
- ECML PKDD, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
- https://2021.ecmlpkdd.org/
- September 13-17, 2021.
- Virtual conference.
Ghent, Belgium.- Submission deadlines for journal track:
- 1st round:
September 6, 2019September 13, 2019September 20, 2020. - 2nd round:
November 8, 2019November 22, 2020. - 3rd round:
January 10, 2020January 31, 2021. - 4th round (can't present at ECML PKDD 2020): ~May 15, 2020~~ May 2, 2021.
- 1st round:
- Submission deadlines for conference track:
March 19 and 26, 2020March 26 and April 2, 2021.
- EMNLP, Conference on Empirical Methods in Natural Language Processing
- EMNLP-IJCNLP, Conference on Empirical Methods in Natural Language Processing and International Joint Conference on Natural Language Processing
- https://2021.emnlp.org/call-for-papers
- Dominican Republic.
- November 7-11, 2021.
- Submission deadlines: May 10 and 17, 2021, 23:59 hrs AoE.
- ETRA, ACM Symposium on Eye Tracking Research and Applications
- http://etra.acm.org/2021/
- http://etra.acm.org/
- Virtual conference.
- May 25-27, 2021.
- Submission deadlines: November 25 and December 2, 2020, AoE.
- ACM FAccT, ACM Conference on Fairness, Accountability, and
Transparency
- https://facctconference.org/2021/cfp.html
- https://fatconference.org/2020/callforpapers.html
- https://fatconference.org/2019/cfp.html
- https://fatconference.org/links.html
- Virtual conference.
Barcelona, Spain.- March 3-10, 2021.
- Submission deadlines:
August 15 and 22, 2019September 30 and October 7, 2020. - "ACM FAT* is an international and interdisciplinary peer-reviewed conference that seeks to publish and present work examining the fairness, accountability, and transparency of algorithmic systems."
- Fairness, Accountability, and Transparency in Machine Learning:
- ACM FAT* Network
- Has information about:
- Upcoming Opportunities
- Upcoming Events and Publications
- Has information about:
- ICALP, International Colloquium on Automata, Languages and Programming
- http://easyconferences.eu/icalp2021/
- http://easyconferences.eu/icalp2021/cfp/
- http://eatcs.org/index.php/conferences
- https://eatcs.org/index.php/international-colloquium
- http://eatcs.org/index.php/future-icalps
- July 12-16, 2021.
- Glasgow, Scotland.
- Submission deadline:
February 12, 2020, AoEFebruary 18, 2020, 6am GMTFebruary 12, 2021, 23:59 AoE.
- ICCV, International Conference on Computer Vision
- http://iccv2021.thecvf.com/home
- Montreal, Canada.
- October 11 - 17, 2021.
October 27 - November 3, 2018.- "biennial research conference": 2021, 2023, 2025.
-
- Organized/Held in odd-numbered years only.
- Submission deadline: March 10 and 17, 2020.
- ICDM, IEEE International Conference on Data Mining
- https://icdm2021.auckland.ac.nz/
- https://icdm2021.auckland.ac.nz/cfp/
- Triple-blind submission guidelines
- Since 2011, ICDM has imposed a triple-blind submission and review policy for all submissions. Authors must hence not use identifying information in the text of the paper and bibliographies must be referenced to preserve anonymity. Any papers available on the Web (including arXiv) no longer qualify for ICDM submissions, as their author information is already public.
- What is triple-blind reviewing? +The traditional blind paper submission hides the referee names from the authors, and the double-blind paper submission also hides the author names from the referees. The triple-blind reviewing further hides the referee names among referees during paper discussions before their acceptance decisions. The names of authors and referees remain known only to the PC Co-Chairs, and the author names are disclosed only after the ranking and acceptance of submissions are finalized. It is imperative that all authors of ICDM submissions conceal their identity and affiliation information in their paper submissions. It does not suffice to simply remove the author names and affiliations from the first page, but also in the content of each paper submission.
- How to prepare your submissions
- The authors shall omit their names from the submission. For formatting templates with author and institution information, simply replace all these information items in the template by “Anonymous”.
- In the submission, the authors should refer to their own prior work like the prior work of any other author, and include all relevant citations. This can be done either by referring to their prior work in the third person or referencing papers generically. For example, if your name is Smith and you have worked on clustering, instead of saying “We extend our earlier work on distance-based clustering (Smith 2005),” you might say “We extend Smith’s earlier work (Smith 2005) on distance-based clustering.” The authors shall exclude citations to their own work which is not fundamental to understanding the paper, including prior versions (e.g., technical reports, unpublished internal documents) of the submitted paper. Hence, do not write: “In our previous work [3]” as it reveals that citation 3 is written by the current authors. The authors shall remove mention of funding sources, personal acknowledgments, and other such auxiliary information that could be related to their identities. These can be reinstituted in the camera-ready copy once the paper is accepted for publication. The authors shall make statements on well-known or unique systems that identify an author, as vague in respect to identifying the authors as possible. The submitted files should be named with care to ensure that author anonymity is not compromised by the file names. For example, do not name your submission “Smith.pdf”, instead give it a name that is descriptive of the title of your paper, such as “ANewApproachtoClustering.pdf” (or a shorter version of the same).
- Algorithms and resources used in a paper should be described as completely as possible to allow reproducibility. This includes experimental methodology, empirical evaluations, and results. Authors are strongly encouraged to make their code and data publicly available whenever possible. In addition, authors are strongly encouraged to also report, whenever possible, results for their methods on publicly available datasets.
- Accepted papers will be published in the conference proceedings by the IEEE Computer Society Press. All manuscripts are submitted as full papers and are reviewed based on their scientific merit. There is no separate abstract submission step. There are no separate industrial, application, short paper or poster tracks during submission. Manuscripts must be submitted electronically in the online submission system (https://www.wi-lab.com/cyberchair/2021/icdm21/scripts/submit.php?subarea=DM). We do not accept email submissions.
- Triple-blind submission guidelines
- http://icdm.bigke.org/
- Auckland, New Zealand.
- December 7-10, 2021.
November 17-20, 2020.- Submission deadline: June 11, 2021.
- ICDM 2020 contest requirement specification and sample data availability:
June 12, 2020. - ICDM 2020 contest deadline for team registration:
June 26, 2020. - ICDM 2020 contest deadline for final submission:
July 31, 2020, 23:59 hrs, U.S. PDT.
- ICDM 2020 contest requirement specification and sample data availability:
- ICLR, International Conference on Learning Representations
- https://iclr.cc
- https://iclr.cc/Conferences/2024/CallForPapers
- May 7-11, 2024.
- Vienna, Austria
- Submission deadline: September 21 and September 28, 2020 (AoE).
- ICML, International Conference on Machine Learning
- https://icml.cc/Conferences/2021/CallForPapers
- Virtual conference.
Long Beach, CA.- Submission deadline: January 28 and February 4, 2021, AoE.
- ICPR, International Conference on Pattern Recognition
- http://www.icpr2022.com/
- https://www.micc.unifi.it/icpr2020/
- Virtual conference.
- Venue for 2022: Montréal, Québec (QC), Canada.
Venue: Milan, Italy.- Dates:
September 13-18, 2020January 10-15, 2021August 21-25, 2022. - Submission deadline:
March 2, 2020.March 18April 15 and July 10, 2020.
- ICPRAM, International Conference on Pattern Recognition Applications and Methods
- http://icpram.org/CallForPapers.aspx
- February 4-6, 2021.
- Submission deadline: October 6, 2020.
- IEEE Transactions on Information Theory
- IJCAI, International Joint Conference on Artificial Intelligence
- https://ijcai-21.org/
- https://ijcai.org
- [Find updated URL for IJCAI-PRICAI-20]
- IJCAI-PRICAI-24 will be held in Shanghai, P.R. China.
- IJCAI-23 will be held in Cape Town, South Africa.
- IJCAI-ECAI-22: Bologna, Italy.
- IJCAI-21: Montreal, Canada
- IJCAI-PRICAI-20 venue: Yokohama, Japan
- August 21-26, 2021.
August 10-16, 2019- Submission deadline:
February 19 and 25, 2019.January 13, 16, and 20, 2021
- IJCB 2021, International Joint Conference on Biometrics
- http://ijcb2021.iapr-tc4.org/
- August 4-7, 2021.
- Shenzhen, China & virtual conference, mixed mode (in person + virtual).
- Submission deadline: March 24, 2021.
- IJCNN, International Joint Conference on Neural Networks
- https://www.ijcnn.org/callforpapers
- July 18-22, 2021.
- Virtual conference.
- ??? Venue for 2020 ???
- Submission deadline:
???December 15, 2018.???~~January 15, 2021~ February 10, 2021.- All deadlines are 23:59 hrs U.S. PST.
- IJCV, International Journal of Computer Vision
- ISWC, International Semantic Web Conference
- https://iswc2021.semanticweb.org/
- Virtual conference.
Athens, Greece- October 24-28, 2021.
November 1-6, 2020- Submission deadline:
- April 12 and 19, 2021.
April 3 and 10, 2019April 3, 2020May 22, 2020.- "All deadlines are 23:59 AoE."
- ITP, International conference on Interactive Theorem Proving
- http://easyconferences.eu/itp2021/
- June 29 - July 1, 2021.
- Virtual conference. Or, Rome, Italy.
- Submission deadline: January 25 - February 1, 2021.
- Journal of Automated Reasoning
- KDD, SIGKDD Conference on Knowledge Discovery and Data Mining
- https://www.kdd.org/kdd2021/
- http://www.kdd.org/conferences
- Singapore.
San Diego, CA- August 14-18, 2021.
August 22-27, 2020.August 3 - 7, 2019- Submission deadline:
- February 8, 2021.
February 3, 2019.- All deadlines are 11.59 pm UTC -12h ("Anywhere on Earth").
- KR, International Conference on Principles of Knowledge Representation and Reasoning
- https://kr2021.kbsg.rwth-aachen.de/.
- http://www.kr.org
- Hanoi, Vietnam.
- November 6-12, 2021.
- Submission deadline(s):
- March 24 and 31, 2021.
Early/Mid- May, 2019.
- LDAV 2021, IEEE Symposium on Large Data Analysis and Visualization
https://ldav.org/2020/- https://ldav.org/
- https://github.com/LDAV-Symposium
- Held in conjunction with IEEE VIS 2021.
- Salt Lake City, Utah.
Vancouver, BC, Canada- October 25, 2020.
October 21, 2019- Submission deadline:
June 24, 2019July 7 and 12, 2020.
- LICS, ACM/IEEE Symposium on Logic in Computer Science
- http://easyconferences.eu/lics2021/
- http://easyconferences.eu/lics2021/cfp/
- http://lics.siglog.org/
- Virtual conference.
Beijing, China.- Venue and dates changed to: Saarbrücken, Germany, July 8-11.
- This is because of the spread of the coronavirus/COVID-19 virus infections.
- Venue and dates changed to: Saarbrücken, Germany, July 8-11.
- June 29 - July 2, 2021.
July 8-11, 2020.- Submission deadline:
January 6 and 10, 2020.January 20 and 25, 2021.
- LPAR-24 & LPAR-23 (merged), International Conference on Logic for Programming, Artificial Intelligence and Reasoning
- http://lpar.net/
- https://easychair.org/smart-program/LPAR23/
- https://dblp.uni-trier.de/db/conf/lpar/index.html
- http://www.vcla.at/events/par-23-23rd-international-conference-on-logic-for-programming-artificial-intelligence-and-reasoning/
- Poor conference.
- Virtual conference.
- January 12-13, 2021.
- Submission deadline: February 18-22, 2020.
- MLSys, Conference on Machine Learning and Systems
- https://mlsys.org/
- https://mlsys.org/Conferences/2024/CallForPapers
- May 13-16, 2024.
- Santa Clara, CA.
- Submission deadline: October 27, 2024, 16:00 U.S. EDT.
- Formerly known as SysML Conference, Systems and Machine Learning Conference.
- MVA2021, 17th International Conference on Machine Vision Applications
- http://www.mva-org.jp/mva2021/.
- July 25-27, 2021.
- Hybrid or Online.
- Submission deadline: March 31, 2021, 23:59 (U.S.???) PST.
- NAACL, North American Chapter of the Association for Computational Linguistics
- 2021 Annual Conference of the North American Chapter of the Association for Computational Linguistics
- https://2021.naacl.org/calls/papers/
- https://2021.naacl.org/
- Mexico City, Mexico.
Minneapolis, MN- June 6–11, 2021
June 2-7, 2019- Submission deadline: November 23, 2020.
- "All deadlines are 11.59 pm UTC -12h."
Submission deadlines: December 3-10, 2018.
- NeurIPS (formerly NIPS), Annual Conference on Neural Information Processing Systems (NeurIPS 2021)
- https://nips.cc/Conferences/2020
- https://nips.cc/
- https://nips.cc/Conferences/FutureMeetings
- Virtual conference.
Vancouver, Canada.- November 27 - December 5, 2021.
- November 26 - December 4, 2022.
- November 25 – December 10, 2023.
- November 30 - December 15, 2024.
- November 29 - December 6, 2025.
December 6 and 12, 2020.- Submission deadline:
May 16 and 23, 2May 27 and June 5, 2020.
- PAMI ???
- Basically, this refers to PAMITC Sponsored Conferences, such as CVPR and ICCV.
- URL
- VENUE
- DATE
- RecSys, ACM Conference on Recommender Systems
- https://recsys.acm.org/recsys21/call/
- https://recsys.acm.org/recsys21/dates/
- https://recsys.acm.org/recsys21/
- https://recsys.acm.org/
- Amsterdam, Netherlands.
- September 27 - October 1, 2021.
September 16-20, 2019.- Submission deadline:
April 15 and 23, 2019April 27 and May 4, 2021.- "Deadlines refer to 23:59 (11:59pm) in the AoE (Anywhere on Earth) time zone."
- RSA Conference 2020
- https://www.rsaconference.com/usa
- Virtual conference.
San Francisco- May 17-20, 2021.
February 24-28, 2020
- SIGGRAPH, ACM special interest group on Computer GRAPHics and Interactive Techniques
- International Conference on Computer Graphics and Interactive Techniques
- https://s2021.siggraph.org/
- https://s2021.siggraph.org/about-the-conference/
- August 1-5, 2021.
July 19-23, 2020.- Virtual conference.
- Originally to be held in: Los Angeles, CA.
Washington, D.C..- Submission deadlines:
- Technical papers: January 27, 28, and 29, 2021
Technical papers: January 22, 23, and 24, 2020- Emerging Technologies: February 23, 2021.
- Art Papers:
- Long Papers: January 15, 2021, 22:00 UTC
- Short Papers January 15, 2021, 22:00 UTC
- "The SIGGRAPH Art Papers program brings together communities of researchers and practitioners working at the intersections of art, design, humanities, science, and technology."
- SIGIR, ACM International Conference on Research and Development in Information Retrieval
- ACM SIGIR Conference on Research and Development in Information Retrieval
- https://sigir.org/sigir2021/
- July 11-15, 2021.
- Virtual conference.
- Submission deadline:
January 15 and 22, 2019February 2 and 9, 2021.
- SIGMOD, ACM Symposium on Principles of Database Systems (PODS)
- SIGMOD/PODS International Conference on Management of Data
- http://2021.sigmod.org/
- http://2021.sigmod.org/calls_papers_pods_research.shtml
- https://sigmod.org/pods-home/
- Xi'an, Shaanxi, China.
Portland, OR- Conference dates:
June 14 - 19, 2020June 20-25, 2021. - Submission deadline:
- July 2 and 7, 2020 (submission cycle #1).
July 9 and 16, 2019 (submission cycle #1).- December 13 and 20, 2020 (submission cycle #2).
October 15 and 22, 2019 (submission cycle #2).
- SSIAI, IEEE Southwest Symposium on Image Analysis and Interpretation
- http://ivpcl.unm.edu/SSIAI2020/index.html
- http://ivpcl.unm.edu/SSIAI2020/SSIAI_2020_CFP_onePage.pdf
- http://www.ssiai.org/
- IEEE biennial conference on image analysis, computer vision and pattern recognition
- March 28 - April 1, 2020
- Santa Fe, New Mexico
- Submission deadline: December 1, 2019.
- TACL, Transactions of the Association for Computational Linguistics
- TPAMI, IEEE Transactions on Pattern Analysis and Machine Intelligence
- TSD, 23rd International Conference on Text, Speech and Dialogue
- https://www.kiv.zcu.cz/tsd2021/index.php
- https://www.kiv.zcu.cz/tsd2021/index.php?page=topics
- https://www.kiv.zcu.cz/tsd2021/index.php?page=submission
- https://www.kiv.zcu.cz/tsd2021/index.php?page=dates
https://www.tsdconference.org/tsd2020/conf_dates.html- Olomouc, Moravia, Czech Republic.
Brno, Czech Republic- September 6–9, 2021.
- Submission deadline:
March 15 and 29, 2020April 18, 2021.
- UAI, Conference on Uncertainty in Artificial Intelligence
- https://www.auai.org/uai2021/
- https://www.auai.org/
- July 27-29, 2021, with workshops on July 30, 2021.
- Virtual conference.
July 22-25, 2019.- Submission deadlines:
- February 19, 2021 (23:59 UTC).
March 4 and 8, 2019.
- UIST, ACM Symposium on User Interface Software and Technology
- https://uist.acm.org/uist2021/
- Virtual conference.
- October 10-13, 2021.
- Submission deadline:
April 5, 2019.March 31 and April 7, 2021, 5 p.m. U.S. PT.
- VIS, IEEE Visualization Conference
- IEEE Conference on Visual Analytics Science & Technology (VAST)
- IEEE Conference on Information Visualization (InfoVis)
- IEEE Conference on Scientific Visualization (SciVis)
- http://ieeevis.org/year/2020/info/call-participation/scivis-paper-types
- Includes computer hardware for scientific visualization.
- http://ieeevis.org/year/2020/info/call-participation/scivis-paper-types
- http://ieeevis.org/year/2021/welcome
- "In 2021, IEEE VIS transitions from the three sub-conferences (VAST, InfoVis, and SciVis) to one unified conference. IEEE VIS 2021 is now soliciting novel research contributions and innovative applications in all areas of visualization."
- http://ieeevis.org/year/2019/info/open-practices/open-practices
- October 24-29, 2021.
- New Orleans, LA.
- Submission deadlines: March 21 and 31, 2021.
- WCCI, IEEE World Congress on Computational Intelligence (IEEE WCCI)
- https://wcci2022.org/call-for-papers/
- "bi-annual IEEE World Congress on Computational Intelligence (IEEE WCCI), which is the largest technical event in the field of computational intelligence"
- Conference dates: July 18-23, 2022.
- Padua, Italy.
Glasgow, U.K..- Submission deadline:
- January 31, 2022.
January 15, 2020.January 30, 2020 (extended)
- Includes:
- International Joint Conference on Neural Networks (IJCNN)
- IEEE Congress on Evolutionary Computation (IEEE CEC)
- IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)
- https://wcci2022.org/call-for-papers/
- WSDM, ACM International Conference on Web Search and Data Mining
- http://www.wsdm-conference.org
- https://www2021.thewebconf.org/
- https://www2021.thewebconf.org/authors/call-for-papers/
- March 8-12, 2021.
- Jerusalem, Israel.
- Submission deadline:
August 8 and 15, 2018August 16, 2020.
- WWW, The Web Conference
- https://www2020.thewebconf.org
- https://www2020.thewebconf.org/call-for-contributions#papers
- Formerly known as the International World Wide Web Conference.
- Ljubljana, Slovenia.
- April 19-23, 2021.
- Submission deadlines:
- October 12 and 19, 2020.
Oct 7 and 14, 2019.
List of AI/ML -related conferences:
- AAAI, ECAI, ICML, NeurIPS, ACL, KDD, KR, CP, UAI, CVPR, ICCV, ACMLPKDD, NACL, EMNLP, COLT, ICLR, AAMAS
- AISTATS, ALT, COLT, ICLR, ICML, NeurIPS, UAI, ECML, CIKM, ICDM, KDD, SIGIR, WSDM, WWW, AAAI, IJCAI, CVPR, ECCV, ICCV, SIGGRAPH, BMVC, ACL, EMNLP, ICASSP, INTERSPEECH, NAACL, ICRA, IROS, RSS, CORL, AAMAS, HRI, ICAPS, EC, HCOMP, ICWSM, IUI, KR, SAT, WSDM, CPAIOR, ECAI
- AISTATS, ALT, COLT, ICLR, ICML, NeurIPS, or UAI
- AAAI, IJCAI, NeurIPS, ACL, SIGIR, WWW, RSS, NAACL, KDD, IROS, ICRA, ICML, ICCV, EMNLP, EC, CVPR, AAMAS, HCOMP, HRI, ICAPS, ICDM, ICLR, ICWSM, IUI, KR, SAT, WSDM, UAI, AISTATS, COLT, CORL, CP, CPAIOR, ECAI, OR ECML
- ICML, ICLR, NEURIPS, AAAI IJCAI, AISTATS, UAI, COLT, CVPR, ICCV, ECCV, ICASSP, InterSpeech, EMNLP, ACL, NAACL
- IJCAI, AAAI, NeurIPS, ACL, SIGIR, WWW, RSS, NAACL, KDD, IROS, ICRA, ICML, ICCV, EMNLP, EC, CVPR, AAMAS, HCOMP, HRI, ICAPS, ICDM, ICLR, ICWSM, IUI, KR, SAT, WSDM, UAI, AISTATS, COLT, CORL, CP, CPAIOR, ECAI, or ECML
- NeurIPS, ICLR, ICML, AAAI, IJCAI, CVPR, AAMAS, UAI, AISTATS, KDD, CoRL, ICCV, IROS, ACL
- NIPS, ICML, ICLR, CVPR, ICCV, ECCV, ICASSP
-
http://cic.tju.edu.cn/faculty/zhileiliu/doc/COREComputerScienceConferenceRankings.html
-
WADS, Algorithms and Data Structures Symposium
- http://www.wads.org/
- https://projects.cs.dal.ca/wads2021/
- biennial conference
- was Workshop on Algorithms and Data Structures.
- August 9-11, 2021.
August 5-7, 2019- Halifax, Nova Scotia, Canada.
- Submission deadline: February 20, 2021, 23:59 anywhere on earth (UTC -12).
- NDSS
- PODC
- HPDC
- ICDCS
- IPDPS
- OPODIS
- ICPP
- PPSN
- SPAA
- NLP courses in universities around the world: https://aclweb.org/aclwiki/List_of_NLP/CL_courses
- computational geometry:
MTFD: Meet The Final Deadline; and, apply for research internships.
- Meet the Facebook Deadline!!!
Upcoming Submission deadlines: +
ACM Student Research Competition (SRC):
- Cyber-Physical Systems and Internet of Things Week, CPS-IoT Week: Friday, Feb 19, 2021, 11:59pm GMT-12
- PLDI 2021, June 20 -25, 2021: March 22, 2021, AoE.
- SIGGRAPH: 20 April 2021, 22:00 UTC/GMT.
- ICFP: Fri 25 Jun 2021, AoE.
Important information about time zones:
- AoE – Anywhere on Earth (Standard Time)
- "Anywhere on Earth (AoE) is 12 hours behind Coordinated Universal Time (UTC)."
- UTC -12
- U.S. Eastern time zones
- EST: UTC -5
- EDT: UTC -4
- U.S. Central time zones, from the Midwest (West North Central states, and some East North Central states) to the West South Central States.
- CST: UTC -6.
- CDT: UTC -5.
- See List of regions of the United States.
- U.S. Mountain Time Zone, MT
- MST – Mountain Standard Time / Mountain Time (Standard Time): UTC -7
- MDT – Mountain Daylight Time (Daylight Saving Time): UTC -6
- Pacific Time Zone (PT), for the (West) Pacific States
- PST: UTC -8.
- PDT: UTC -7.
- See List of regions of the United States.
- Central Europe
- CET – Central European Time / European Central Time (Standard Time): UTC +1
- CEST – Central European Summer Time (Daylight Saving Time): UTC +2
For 2023, daylight savings in the U.S. ends on November 5, 2023 at 2:00 a.m..
NOTE: Keep my attack plan updated.
- "Call for Paper" deadlines for journals
- https://www.computer.org/digital-library/magazines/co/call-for-papers-smart-autonomous-systems-cfp
- https://www.computer.org/digital-library/magazines/co/call-for-papers-artificial-intelligence-in-government-cfp
- https://www.computer.org/digital-library/magazines/co/call-for-papers-cfp-hybrid-human-artificial-intelligence
- https://www.computer.org/digital-library/magazines/mi/call-for-papers-ieee-micro-special-issue-on-monolithic-3d-architectures
- https://www.computer.org/digital-library/magazines/co/call-for-papers-cybersecurity-for-the-smart-grid-cfp
- https://www.computer.org/digital-library/magazines/co/call-for-papers-blockchain-from-technology-to-marketplaces-cfp
- https://www.computer.org/digital-library/journals/tp/call-for-papers-special-issue-on-non-euclidean-deep-learning
- https://www.computer.org/digital-library/journals/ec/call-for-papers-special-section-on-emerging-trends-and-computing-paradigms-for-testing-reliability-and-security-in-future-vlsi-systems
- https://www.computer.org/digital-library/journals/tq/call-for-papers-special-issue-on-ai-ml-for-secure-computing
- https://www.computer.org/digital-library/magazines/ic/special-track-on-drone-delivered-computing-and-services
- https://www.computer.org/digital-library/magazines/cg/call-for-papers-special-issue-on-art-and-cultural-heritage
- https://www.computer.org/digital-library/magazines/so/design-thinking-cfp-call-for-papers
- https://www.computer.org/digital-library/journals/ec/technical-tracks
- https://www.computer.org/digital-library/magazines/cs/track-calls-for-papers
- https://ieee-ceda.org/publication/tcad-publication/tcad-call-papers
- https://ieee-ceda.org/pages/special-issue-call-papers-design-and-management-mobile-platforms
- https://ieee-ceda.org/pages/special-issue-call-papers-special-issue-autonomous-systems-design
- https://ieee-ceda.org/pages/special-issue-cawll-papers-robust-resource-constrained-ml
List of conference "Call for Papers" deadlines:
- Takahiro Komamizu's Conference List
- ML+CompBio Conference Deadlines
- AI Conference Deadlines Tweet
- 2019-2020 International Conferences in Artificial Intelligence, Machine Learning, Computer Vision, Data Mining, Natural Language Processing and Robotics; Jackie Tseng, TCVIL Lab
- Calendar of Computer Image Analysis, Computer Vision Conferences
- Formal Methods and Software Technology
- Computer Architecture and Systems CS, from Chinese Computing Federation or CCF
- Computer Architecture and Systems CS, from KAIST
- IEEE TCCA list
- Computer Architecture conferences, from TU/e
- Machine learning conferences
- Computer Architecture conferences
- Computer Networking conferences
- SIGARCH-shared CFP deadlines
- Compiler Design Conferences
ACM Student Research Competition, ACM SRC
- Selected major ACM conferences, or co-sponsored conferences (e.g., run by ACM and IEEE), have ACM Student Research Competitions associated with them.
- Winners of each ACM SRC would compete in the final round.
Operation Go-to-DATE in progress.
- https://www.baylor.edu/lib/librarystaff/index.php?id=62713
- genn./gennaio
- febbr./febbraio
- mar./marzo
- apr./aprile
- magg./maggio
- giugno
- luglio
- ag./agosto
- sett./settembre
- ott./ottobre
- nov./novembre
- dic./dicembre
- lunedì, martedì, mercoledì, giovedì, venerdì, sabato, domenica, fine settimana, ... in passato, il prossima
- https://en.wikibooks.org/wiki/Italian/Vocabulary/Day_and_Month
- sottocartelle:
- primavera -> tavaszi
- estate -> nyár
- autunno -> ősz
- time zones:
- https://www.timeanddate.com/time/zones/
- AoE: Anywhere on Earth = UTC - 12 hours.
- UTC:
- Coordinated Universal Time
- Universal Time Coordinated
- Universal Coordinated Time
- GMT: Greenwich Mean Time
- U.S. PST = UTC - 8 hours
- U.S. PDT = UTC - 7 hours
- U.S. CST = UTC - 6 hours
- U.S. CDT = UTC - 5 hours
- U.S. EST = UTC - 5 hours
- U.S. EDT = UTC - 4 hours
- U.S. MST = UTC - 7 hours
- U.S. MDT = UTC - 6 hours
- CEST = UTC + 2 hours
- CET = UTC + 1 hours
- ACDT, Australian Central Daylight Time = UTC + 10:30 hours
- ACST, Australian Central Standard Time = UTC + 9:30 hours
- AEDT, Australian Eastern Daylight Time = UTC + 11 hours
- AEST, Australian Eastern Standard Time = UTC + 10 hours
- CST, China Standard Time = UTC + 8 hours
- IST, India Standard Time = UTC + 5:30 hours
-
ICRC, IEEE International Conference on Rebooting Computing
- http://icrc.ieee.org/cfp/
- San Francisco Bay Area, California.
November 6-8, 2019.- December 1-3, 2020.
- ~~Submission deadline: May 12 and 20, 2019.~~~
- Submission deadline: August 14 and 28, 2020.
-
ICSR 2020, 19th International Conference on Software and Systems Reuse
- https://waset.org/software-reuse-conference-in-july-2021-in-istanbul
https://www.uc.edu/eventservices/ICSR2019.html- July 29-30, 2021.
June 26-28, 2019November 2-4, 2020- Istanbul, Turkey.
Cincinnati, OHHammamet, Tunisia- Submission deadline:
- August 15 and 18, 2020, 23:59:59, AoE.
- Not so good conference.
-
UbiComp, ACM International Joint Conference on Pervasive and Ubiquitous Computing
- https://ubicomp.hosting.acm.org/ubicomp2021/
http://ubicomp.org/ubicomp2020/- Virtual conference.
Cancún, México.- September 12-17, 2020.
- Submission deadlines:
- 1st round: August 15, 2019
- 2nd round: November 15, 2019
- 3rd round: February 15, 2020
- 4th round: May 15, 2020
-
CCS, ACM CCS, ACM Conference on Computer and Communications Security
- https://www.sigsac.org/ccs/CCS2021/
- https://www.sigsac.org/ccs/CCS2021/call-for-papers.html
- http://www.sigsac.org/ccs.html
- Seoul, South Korea.
- November 14-19, 2021.
November 9-13, 2020.November 11-15, 2019.- Submission deadlines:
- 1st deadline: January 20, 2021.
- 2nd deadline: May 6, 2021
- "All submissions must be received by 11:59 PM AoE (UTC-12) on the day of the corresponding deadline."
-
IFIP Performance 2021, or IFIP WG Performance 2021, 38th International Symposium on Computer Performance, Modeling, Measurements and Evaluation
- https://www.performance2021.deib.polimi.it/
https://performance2018.sciencesconf.org/- November 8-12, 2021.
- Milan, Italy.
November 2-6, 2020.- Submission deadlines:
May 17 and 24, 2020.
-
MIDDLEWARE, ACM/IFIP/USENIX International Middleware Conference
- ACM/IFIP International Middleware Conference
- ACM/IFIP Middleware 2021
- https://middleware-conf.github.io/2021/
- http://middleware-conference.org/
- December 6-10, 2021.
- Québec City, Québec, Canada.
Virtual/Onine. Originally to be held in Delft, The Netherlands.- Submission deadlines:
- 1st cycle: November 20 - December 1, 2020.
- 2nd cycle: May 15 and 22, 2021.
-
VECoS, International Conference on Verification and Evaluation of Computer and Communication Systems
- Part of the 3rd World Congress on Formal Methods
- http://vecos-world.org/2020/
http://vecos.ensta-paristech.fr/2019/index.html- October 26-27, 2020
October 9, 2019- Xi'an, China.
Submission deadline: May 19, 2019- Submission deadline: July 26, 2020.
-
EuroSys, European Conference on Computer Systems
- https://2024.eurosys.org/cfp.html
- https://www.eurosys.org/news/eurosys-2024
- April 22-25, 2024
- Athens, Greece
- Spring Paper Submission Deadline: May 24, 2023
- Fall Paper Submission Deadline: October 24, 2023
-
ACM MSWiM, ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems
- http://mswimconf.com/2020/
- November 16-20, 2020.
- Alicante, Spain.
- Submission deadline:
June 15, 2020July 5, 2020. - Submission deadline:
May 20, 2019June 5, 2019 (Old, for 2019).
-
RV, International Conference on Runtime Verification
- https://rv20.ait.ac.at/
- https://runtime-verification.github.io/
- https://www.runtime-verification.org/
- October 6-9, 2020.
- Los Angeles, California.
- Submission deadline:
May 18 and 25, 2020June 8 and 15, 2020June 12 and 19, 2020
-
SYNTCOMP, Reactive Synthesis Competition
- http://www.syntcomp.org/schedule/
- http://www.syntcomp.org/
- http://www.syntcomp.org/news/
- Deadlines: Late May or June till mid-July.
- Submission deadline for 2021 is: June 1, 2021.
- "Your solver will be included in SYNTCOMP 2021 if it is correctly uploaded (i.e. passes a test run) into StarExec by June 1, 2021."
- "New benchmarks can be included in SYNTCOMP 2021 if they are correctly uploaded (as an issue) to the SYNTCOMP benchmark repository into StarExec by June 1, 2021."
- Submission deadline for 2020 is: June 1, 2020.
-
HPEC, IEEE High Performance Extreme Computing Conference
- http://ieee-hpec.org
- http://www.ieee-hpec.org/cfp.htm
- Virtual conference.
Waltham, MA- September 21-23, 2021.
- Submission deadline:
- July 9, 2021.
May 22, 2020.
-
ICCAD, International Conference On Computer Aided Design
- https://iccad.com/
- CFP
- Munich, Germany.
San Diego, CA.- November 1-4, 2021.
- Submission deadline:
- May 21 and 28, 2021.
- Usually in early April, prior to 2020.
-
IISWC, IEEE International Symposium on Workload Characterization
- http://www.iiswc.org/
- http://www.iiswc.org/iiswc2020/index.html
- Virtual/Online.
November 3-5, 2019- October 27-29, 2020.
- Submission deadline:
July 27, 2020August 10, 2020.May 24 and 31, 2019???
-
RuleML+RR, International Joint Conference on Rules and Reasoning
- https://2020.declarativeai.net/events/ruleml-rr
http://2019.ruleml-rr.org- Focus: Explainable algorithmic decision-making.
Bolzano Rules and Artificial INtelligence Summit (BRAIN 2019): https://brain2019.inf.unibz.it/September 16-19, 2019- June 29 - July 1, 2020.
- Virtual/Online.
- The annual International Web Rule Symposium (RuleML) is an international academic conferences on research, applications, languages and standards for rule technologies. Since 2017 it is organised as International Joint Conference on Rules and Reasoning (RuleML+RR).
Submission deadline: May 24 and 31, 2019- Submission deadline: May 1, 2020.
-
MASCOTS, IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
- http://mascots.iitis.pl/
- https://easychair.org/cfp/MASCOTS2020
- http://mascots.iitis.pl/?page_id=251
- Rennes, France.
- November 17-19, 2020.
- Submission deadline: June 1, 2020.
-
TCC, Theory of Cryptography Conference
- https://tcc.iacr.org/2020/
- https://www.iacr.org/workshops/tcc/
- Nuremberg, Germany
December 1-5, 2019November 16-19, 2020.- Submission deadline: May 26, 2020.
-
RTSS, IEEE Real-Time Systems Symposium
- http://2021.rtss.org/
- Taipei, Taiwan.
Virtual/Online, originally to be held in Houston, TX.Hong Kong, China- December 7-10, 2021.
December 1-4, 2020.- Submission deadline:
- May 27, 2021, AoE.
May 28, 2020July 2, 2020 (for RTSS 2020).
-
MEMOCODE, ACM-IEEE International Conference on Formal Methods and Models for System Design
- https://iitjammu.ac.in/conferences/memocode2020/
- https://iitjammu.ac.in/conferences/memocode2020/callforpapers.html
https://memocode.github.io/2019/- Jaipur, India.
- December 2-4, 2020.
October 9-11, 2019.- Submission deadline:
May 31 and June 7, 2019July 3 and 10, 2020.July 17 and 24, 2020.- July 31 and August 7, 2020.
-
PETS 2021, or PoPETS, annual/21st Privacy Enhancing Technologies Symposium (PETS)
- https://petsymposium.org/
- July 12–16, 2021.
- Virtual/Online.
- Submission deadline:
- 1st round: May 31, 2020.
- 2nd round: August 31, 2020.
- 3rd round: November 30, 2020.
- 4th round: February 28, 2021.
-
HiPEAC 2021, International Conference on High-Performance and Embedded Architectures and Compilers
- https://www.hipeac.net/2021/spring-virtual/#/
- Budapest, Hungary.
- January 18-20, 2021.
- Submission deadline: June 1, 2020.
-
FSE, Conference on Fast Software Encryption
- 27th Fast Software Encryption Conference
- Virtual/Online
Athens, Greece - November 9-13, 2020.
March 22-26, 2020- https://fse.iacr.org/2020/papersubmission.html
- https://fse.iacr.org/2020/callforpapers.html
- https://fse.iacr.org/2020/index.html
- https://www.iacr.org/meetings/fse/
- Timeline for FSE 2020 / IACR Transactions on Symmetric Cryptology 2019/2020: Submission deadlines
- 1st round: March 1, 2019
- 2nd round: June 1, 2019
- 3rd round: September 1, 2019
- 4th round: November 23, 2019
-
S&P, IEEE Symposium on Security and Privacy
- http://www.ieee-security.org/TC/SP2021/
- http://www.ieee-security.org/TC/SP2021/cfpapers.html
- May 23-27, 2021.
May 18-20, 2020.- Virtual conference.
San Francisco, CA.- "A rolling deadline occurs on the 1st of each month, at 3:00 PM (UTC-7, i.e., PDT). This deadline is strict and no extensions will be granted."
- "All papers accepted by February 1st, 2020, or that are submitted as a revision by February 1st, 2020 and the revision is then accepted, will be included in the proceedings of the symposium in May, 2020 and invited to present their work. Other papers will be included in the 2021 proceedings."
- Submission deadlines:
- Spring Quarter Deadline: March 5, 2020.
- Summer Quarter Deadline: June 4, 2020.
- Fall Quarter Deadline: September 3, 2020.
- Winter Quarter Deadline: December 3, 2020.
- "All deadlines are 23:59:59 AoE (UTC-12)."
Rolling (Final deadline: Submit by December 1, 2019).
-
ACSAC 2019, Annual Computer Security Applications Conference
- https://www.acsac.org/
- https://www.acsac.org/2020/submissions/
- San Juan, Puerto Rico
- December 7-11, 2020
- Submission deadline:
June 8, 2019June 16, 2020- Paper artifacts:
August 26 and 30, 2019August 24 and September 1, 2020.
-
ICDE, IEEE International Conference on Data Engineering
- https://www.utdallas.edu/icde/call.html
- https://icde2021.gr/important-dates/
- April 20-24, 2019
- Dallas, TX
- Submission deadlines:
- Round 1: June 10 and 17, 2020.
Round 1: June 8 and 15, 2019.- Round 2: October 7 and 14, 2020.
Round 2: October 8 and 15, 2019.
-
BioCAS, IEEE Biomedical Circuits and Systems Conference
- https://2021.ieee-biocas.org/
- Berlin, Germany.
- October 7-9, 2021.
October 15-17, 2020.- Submission deadline:
- May 31, 2021.
June 8, 2020.
-
HiPC 2020, 27th IEEE International Conference on High Performance Computing, Data, and Analytics.
- https://hipc.org/
- December 16-19, 2020.
- Pune, India.
- Submission deadline: June 9 and 16, 2020.
-
RSP, International Workshop on Rapid System Prototyping
- http://conferences.telecom-bretagne.eu/rsp-symposium/cfp/
- https://www.esweek.org/rsp-about
- Hamburg, Germany.
- Formerly, International Symposium on Rapid System Prototyping
- Submission deadline:
- July 3, 2020
June 11 and 18, 2019.???
-
Research in Adaptive and Convergent Systems, RACS 2019
- https://oslab.ssu.ac.kr/CFP/RACS2019/
- Chongqing, China.
- September 24-27, 2019.
- Submission deadline: June 14, 2019.
-
BuildSys, ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation
- http://buildsys.acm.org/2020/
- http://buildsys.acm.org/
- https://energy.acm.org/buildsys-conference/
- November 19-20, 2020.
November 13-14, 2019.- Yokohama, Japan.
- Submission deadline:
- July 17 and 24, 2020 AoE.
June 15 and 22, 2019June 15 and 29, 2019 (for 2019)
-
NDSS, Network and Distributed System Security Symposium (2 deadlines)
- http://www.ndss-symposium.org
- https://www.ndss-symposium.org/ndss2020/call-for-papers/
- San Diego, CA.
- February 23-26, 2020
- Submission deadline: June 14 and September 13, 2019.
-
SLE, International Conference on Software Language Engineering
- https://conf.researchr.org/home/sle-2020#Call-for-Papers
- http://www.sleconf.org/
- November 15-20, 2020.
- Chicago, IL.
- Submission deadline: June 14 and June 21, 2019.???
-
IEEE Sensors, IEEE Conference on Sensors
- https://2021.ieee-sensorsconference.org/
- Sydney, Australia.
- October 31 - November 3, 2021.
October 25-28, 2020.- Submission deadline:
- June 18, 2021.
-
ICTAI 2019, IEEE International Conference on Tools with Artificial Intelligence
- https://ictai2019.org/
- https://ictai2019.org/dates.html
- November 4-6, 2019
- Portland, Oregon
- Submission deadline:
June 20, 2019July 15, 2019
-
ICCD, IEEE International Conference on Computer Design
- https://www.iccd-conf.com/Home.html
- Hartford, Connecticut.
- October 18 - 21, 2020.
- Submission deadline:
May 29 and June 5, 2020June 12, 2020, 23:59 AoE.June 21 and 28, 2019???.
-
DataMod, International Symposium on "From Data to Models and Back"
- https://datamod2020.github.io/
Part of the 3rd World Congress on Formal Methodshttp://pages.di.unipi.it/datamod/edition-2019/- October 20, 2020.
October 7-8, 2019- Virtual conference.
Porto, Portugal- Submission deadline:
August 14 and 21, 2020August 14 and 28, 2020.June 24 and 30, 2019 (extended)
-
LOPSTR, International Symposium on Logic-Based Program Synthesis and Transformation
- https://nms.kcl.ac.uk/maribel.fernandez/LOPSTR2020/
http://www.cs.unibo.it/projects/lopstr19/- Bologna, Italy.
Porto, Portugal- September 7-9, 2020.
October 8-10, 2019- Submission deadline:
- June 19, 2020.
June 25 and 30, 2019.
-
SC, International Conference for High Performance Computing, Networking, Storage, and Analysis
- https://sc21.supercomputing.org/
- https://sc21.supercomputing.org/all-dates-deadlines/
- https://sc21.supercomputing.org/submit/submission-deadlines/
- https://sc21.supercomputing.org/submit/
- St. Louis, MO.
- Submission deadline:
- student volunteers, or SCinet volunteer applications: March 1 - June 28, 2021.
- Papers: April 2 and 9, 2021.
- student cluster competition, SCC: February 8 - April 23, 2021.
- ACM Student Research Competition (SRC): August 6, 2021.
-
2nd DaLí Workshop on Dynamic Logic: New Trends and Applications
- Part of the 3rd World Congress on Formal Methods
- https://workshop.dali.di.uminho.pt/
- October 9, 2019
- Porto, Portugal
- Submission deadline: June 28, 2019 (extended)
- Dynamic logic, foundations and applications
- Logics with regular modalities
- Modal/temporal/epistemic logics
- Kleene and action algebras and their variants
- Quantum dynamic logic
- Coalgebraic modal/dynamic logics
- Graded and fuzzy dynamic logics
- Dynamic logics for cyber-physical systems
- Dynamic epistemic logic
- Complexity and decidability of variants of dynamic logics and temporal logics
- Model checking, model generation and theorem proving for dynamic logics
- Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.
- On Free ω-Continuous and Regular Ordered Algebras
- Ordered algebras abound in program logics and programming language semantics: ω-continuous semirings, star-continuous Kleene algebras and Kleene algebras with tests, context-free languages, OI-macro languages, iteration theories, recursion schemes, and Scott domains, among many others. These structures are all examples of varieties of ordered Σ-algebras with restricted completeness and continuity properties. In this talk I will give a general characterization of the free algebras of such varieties in terms of submonads of the monad of Σ-coterms. Varieties of this form are called quasi-regular. For example, the free star-continuous Kleene algebra is the subalgebra of the corresponding free ω-continuous semiring determined by those elements denoted by the regular Σ-coterms, where Σ is the signature of Kleene algebra. This is a special case of a more general construction that applies to any quasi-regular family, including all the examples mentioned above. The talk report on joint work with Zoltán Ésik.
-
ISAAC, International Symposium on Algorithms and Computation
- https://algo2020.comp.polyu.edu.hk/isaac-cfp.html
- Hong Kong.
- December 14-18, 2020.
December 9-11, 2019- Submission deadline: June 29, 2020, AoE.
-
PDCAT, International Conference on Parallel and Distributed Computing, Applications and Technologies
- https://www.pdcat.org/
- Surfers Paradise, QLD, Australia (i.e., Gold Coast, Australia)
- Submission deadline:
July 1, 2019July 29, 2019 (extended)
-
ASP-DAC, Asia and South Pacific Design Automation Conference
- http://www.aspdac.com/aspdac2021/cfp/
- http://www.aspdac.com/aspdac2021/
- Tokyo Odaiba Waterfront, Japan.
- Jan 18-21, 2021.
- Submission deadline:
- July 26, 2020, 17:00 hrs AoE.
July 5, 2019.
-
SODA, ACM-SIAM Symposium on Discrete Algorithms
- https://www.siam.org/conferences/cm/conference/soda21
- January 10-13, 2021.
January 5-8, 2020- Alexandria, VA.
- Submission deadlines:
- July 13 and 15, 2020.
July 5 and 9, 2019.
-
POPL, ACM SIGPLAN Symposium on Principles of Programming Languages
- https://popl21.sigplan.org/
- https://popl21.sigplan.org/track/POPL-2021-research-papers#POPL-2021-Call-for-Papers
- http://www.sigplan.org/Conferences/POPL/
- Virtual conference.
- January 17-22, 2021.
- Submission deadline: July 9, 2020.
-
ICDCN, International Conference on Distributed Computing and Networking
- http://www.icdcn2021.net/cfp.html.
- http://www.icdcn2021.net/.
- January 5-8, 2021.
- Virtual conference.
- Submission deadline:
- July 24 and 31, 2020 (extended).
July 10 and 17, 2020 (extended).June 26 and July 3, 2020.July 12 and 26, 2019.
-
HI'19, 30th Anniversary "Heron Island" Conference Workshop on Computational and Cognitive Models of Creative Design
- http://dccconferences.org/hi19/
- December 15-18, 2019
- Heron Island, Queensland, Australia
- Submission deadline: July 14 and August 21, 2019
- DCC 2018, 8th International Conference on Design Computing and Cognition
- http://dccconferences.org/dcc18/
- biennial conference
- July 2-4, 2018
- Lake Como (near Milan), Italy
- Submission deadline: December 1 and 15, 2017.
-
ICPADS, International Conference on Parallel and Distributed Systems
- https://icpads2020.comp.polyu.edu.hk/.
- Hong Kong.
- December 2-4, 2020.
- Submission deadline:
- July 31, 2020.
July 15, 2020.
-
CHES, Conference on Cryptographic Hardware and Embedded Systems
- https://ches.iacr.org/
- https://ches.iacr.org/2021/callforpapers.php
- Beijing, China
- Possible venue change due to the spread of the coronavirus/COVID-19 virus infections.
- September 12-15, 2021.
- IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES)
- Submission deadlines:
- 1st round: July 15, 2020
- 2nd round: October 15, 2020
- 3rd round: January 15, 2020
- 4th round: April 15, 2021
-
ASPLOS, ACM International Conference on Architectural Support for Programming Languages and Operating Systems
- https://www.asplos-conference.org/asplos2024/cfp/
- https://www.asplos-conference.org/asplos2024/
- https://asplos-conference.org
- https://asplos-conference.org/calls/
- San Diego, CA.
- April 27 - May 1, 2024.
- Spring Abstract Submission deadline: April 13, 2023.
- Spring Paper Submission deadline: April 20, 2023.
- Summer Abstract Submission deadline: August 3, 2023.
- Summer Paper Submission deadline: August 10, 2023.
- Fall Abstract Submission deadline: November 23, 2023.
- Fall Paper Submission deadline: November 30, 2023.
- ASPLOS is co-sponsored by SIGPLAN, SIGARCH, and SIGOPS
-
FPT, International Conference on Field-Programmable Technology
- https://parallel.auckland.ac.nz/fpt21/
- http://www.icfpt.org/
- December 6-10, 2021.
- Auckland, New Zealand.
- FPT is the premier conference in the Asia-Pacific region on field-programmable technologies, reconfigurable computing devices and systems.
- Submission deadline: July 12 and 19, 2019, 23:59, AoE.
-
IEEE INFOCOM, IEEE International Conference on Computer Communications
- https://infocom2021.ieee-infocom.org/
- https://infocom2021.ieee-infocom.org/authors/call-papers-main-conference
- https://infocom2021.ieee-infocom.org/authors/paper-submission-instructions-main-conference
- May 10-13, 2021.
- Virtual conference.
April 27-30, 2020.Beijing, China.- Submission deadlines:
- August 8 and 15, 2020.
July 24-31, 2019.
-
HPCA, IEEE International Symposium on High-Performance Computer Architecture
- https://hpca-conf.org/2021/
- https://hpca-conf.org/2021/call-for-papers/
- Seoul, South Korea.
San Diego, CA.- February 27 - March 3, 2021.
- Submission deadline: July 24 and 31, 2020.
-
NoCArc, International Workshop on Network on Chip Architectures
- https://www.nocarc.org/
- https://drive.google.com/file/d/17O9XaapnJ9HmvIzDE0VTArFhhwasJunW/view?pli=1
- October 28, 2023.
- Toronto, Canada.
- Submission deadline: July 31, 2023.
-
PEMWN, IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks
- https://sites.google.com/view/pemwn2020/home
- https://sites.google.com/view/pemwn2020/call-for-papers?authuser=0
- https://sites.google.com/view/pemwn2020/important-dates?authuser=0
- December 1-3, 2020.
November 26-28, 2019- Virtual conference.
Berlin, Germany.- Submission deadline:
- October 18, 2020.
July 30, 2019.
-
PPoPP, Symposium on Principles and Practice of Parallel Programming
- https://ppopp21.sigplan.org/
- Virtual conferences.
San Diego, CA.- February 27 - March 3, 2021.
February 22-26, 2020- Submission deadline:
- August 6 and 13, 2020.
July 31 and Aug 6, 2019.
-
SIGMETRICS, ACM SIGMETRICS
- https://www.sigmetrics.org/sigmetrics2021/
- https://www.sigmetrics.org/sigmetrics2021/call_for_papers.html
- Virtual conference.
Beijing, China.Boston, MA.- June 14-18, 2021.
June 8-12, 2020.- http://portal.core.edu.au/conf-ranks/39/
- Submission deadline (For Summer submissions):
- July 31 and August 7, 2020.
- Submission deadline (For Fall submissions):
- October 16 and 23, 2020.
October 14 and 21, 2019.
- Submission deadline (For Winter submissions):
- January 29 and February 5, 2021.
January 27 and February 3, 2020.
-
SC, International Conference for High Performance Computing, Networking, Storage, and Analysis
- https://sc21.supercomputing.org/
- https://sc21.supercomputing.org/all-dates-deadlines/
- https://sc21.supercomputing.org/submit/submission-deadlines/
- https://sc21.supercomputing.org/submit/
- St. Louis, MO.
- Submission deadline:
- student volunteers, or SCinet volunteer applications: March 1 - June 28, 2021.
- Papers: April 2 and 9, 2021.
- student cluster competition, SCC: February 8 - April 23, 2021.
- ACM Student Research Competition (SRC): August 6, 2021.
-
ALENEX, SIAM Symposium on Algorithm Engineering and Experiments
- https://www.siam.org/conferences/cm/conference/alenex21
- https://www.siam.org/conferences/cm/submissions-and-deadlines/alenex21-submissions-deadlines
- January 10-11, 2021.
January 5-6, 2020.- Virtual conference.
Alexandria, VA.- Submission deadline:
- August 12 and 19, 2019.
August 9 and 16, 2019.
-
SOSA, SIAM Symposium on Simplicity in Algorithms
- https://www.siam.org/conferences/cm/conference/sosa21
- https://www.siam.org/conferences/cm/submissions-and-deadlines/sosa21-submissions-deadlines
- January 10-11, 2021.
January 6-7, 2020.- Virtual conference.
Alexandria, VA.- Submission deadline:
- August 12 and 19, 2020.
August 9 and 16, 2019.
-
APOCS, SIAM Symposium on Algorithmic Principles of Computer Systems
- https://www.siam.org/conferences/cm/conference/apocs21
- https://www.siam.org/conferences/cm/submissions-and-deadlines/apocs21-submissions-deadlines
- January 13, 2021.
January 8, 2020.- Virtual conference.
Alexandria, VA.- Submission deadline:
- August 12 and 19, 2020.
August 9 and 16, 2019.
-
MobiCom, Annual International Conference on Mobile Computing and Networking
- Also, described in the 2021 Web page on February 12, 2021 as: ACM/IEEE Conference on Information Processing in Sensor Networks.
- https://www.sigmobile.org/mobicom/2021/
- https://www.sigmobile.org/mobicom/2021/cfp.html
- October 25-29, 2021.
September 21-25, 2019.- New Orleans, LA.
- Submission deadlines:
- Summer: August 14 and 21, 2020.
- Winter: March 19 and 26, 2021.
August 14 and 18, 2019.
-
UbiComp, ACM International Joint Conference on Pervasive and Ubiquitous Computing
- https://ubicomp.hosting.acm.org/ubicomp2021/
http://ubicomp.org/ubicomp2020/- Virtual conference.
Cancún, México.- September 12-17, 2020.
- Submission deadlines:
- 1st round: August 15, 2019
- 2nd round: November 15, 2019
- 3rd round: February 15, 2020
- 4th round: May 15, 2020
-
IEEE Big Data, IEEE International Conference on Big Data
- http://cci.drexel.edu/bigdata/bigdata2019/CallPapers.html
- Los Angeles, CA.
- Conference dates: December 9-12, 2019.
- Submission deadline: August 19, 2019.
-
ICSE, ACM/IEEE International Conference on Software Engineering
- https://conf.researchr.org/home/icse-2020
- May 23-29, 2020.
- Seoul, South Korea.
- Submission deadline: August 23, 2019.
-
USENIX Security '20, USENIX Security Symposium
- https://www.usenix.org/conference/usenixsecurity20/call-for-papers
- https://www.usenix.org/conference/usenixsecurity20/publication-model-change
- https://www.usenix.org/conference/usenixsecurity20/
- Boston, MA
- August 12–14, 2020
- Submission deadlines:
- Spring Quarter Deadline: May 15, 2019, 8:00 pm EDT
- Summer Quarter Deadline: August 23, 2019, 8:00 pm EDT
- Fall Quarter Deadline: November 15, 2019, 8:00 pm EDT
- Winter Quarter Deadline: February 15, 2020, 8:00 pm EDT
-
SIGCSE 2020, 51st ACM Technical Symposium on Computer Science Education
- https://sigcse2020.sigcse.org/authors/cfp.html
- Or, SIGCSE Technical Symposium
- March 11-14, 2020
- Portland, OR
- Submission deadline: August 23 and 30, 2019.
-
CIDR, Conference on Innovative Data Systems Research
- http://cidrdb.org/cidr2020/cfp.html
- http://cidrdb.org/cidr2020/index.html
- http://cidrdb.org/
- January 12-15, 2020
- Amsterdam, Netherlands
- Submission deadline: August 25, 2019
-
Enigma 2021, Enigma - A USENIX conference.
- https://www.usenix.org/conference/enigma2021
- February 1-3, 2021.
- Oakland, CA.
- Submission deadline: August 26, 2020.
-
CGO, International Symposium on Code Generation and Optimization
- https://conf.researchr.org/track/cgo-2024/cgo-2024-main-conference
- https://conf.researchr.org/home/cgo-2024
- https://conf.researchr.org/dates/cgo-2024
- Edinburgh, United Kingdom.
- March 2-6, 2024.
- Round #1 Submission deadline: May 19, 2023.
- Round #2 Submission deadline: September 1, 2023.
-
OPODIS, International Conference on Principles of Distributed Systems
- https://opodis2019.unine.ch/
- Neuchâtel, Switzerland
- December 17-19, 2019.
- Submission deadline:
August 31 and September 5, 2019.September 3 and 9, 2019.
-
PETS 2021, or PoPETS, annual/21st Privacy Enhancing Technologies Symposium (PETS)
- https://petsymposium.org/
- July 12–16, 2021.
- Virtual/Online.
- Submission deadline:
- 1st round: May 31, 2020.
- 2nd round: August 31, 2020.
- 3rd round: November 30, 2020.
- 4th round: February 28, 2021.
-
FSE, Conference on Fast Software Encryption
- 27th Fast Software Encryption Conference
- Virtual/Online
Athens, Greece - November 9-13, 2020.
March 22-26, 2020- https://fse.iacr.org/2020/papersubmission.html
- https://fse.iacr.org/2020/callforpapers.html
- https://fse.iacr.org/2020/index.html
- https://www.iacr.org/meetings/fse/
- Timeline for FSE 2020 / IACR Transactions on Symmetric Cryptology 2019/2020: Submission deadlines
- 1st round: March 1, 2019
- 2nd round: June 1, 2019
- 3rd round: September 1, 2019
- 4th round: November 23, 2019
-
PP20, SIAM Conference on Parallel Processing for Scientific Computing
- https://www.siam.org/conferences/cm/conference/pp20
- February 12-15, 2020
- Seattle, WA.
- Submission deadlines:
- August 13, 2019
- September 1, 2019
- September 10, 2019
-
CODASPY, ACM Conference on Data and Application Security and Privacy
- http://www.codaspy.org/cfp.html
- VENUE
- DATE
- Submission deadline: Early September, 2019.
-
S&P, IEEE Symposium on Security and Privacy
- http://www.ieee-security.org/TC/SP2021/
- http://www.ieee-security.org/TC/SP2021/cfpapers.html
- May 23-27, 2021.
May 18-20, 2020.- Virtual conference.
San Francisco, CA.- "A rolling deadline occurs on the 1st of each month, at 3:00 PM (UTC-7, i.e., PDT). This deadline is strict and no extensions will be granted."
- "All papers accepted by February 1st, 2020, or that are submitted as a revision by February 1st, 2020 and the revision is then accepted, will be included in the proceedings of the symposium in May, 2020 and invited to present their work. Other papers will be included in the 2021 proceedings."
- Submission deadlines:
- Spring Quarter Deadline: March 5, 2020.
- Summer Quarter Deadline: June 4, 2020.
- Fall Quarter Deadline: September 3, 2020.
- Winter Quarter Deadline: December 3, 2020.
- "All deadlines are 23:59:59 AoE (UTC-12)."
Rolling (Final deadline: Submit by December 1, 2019).
-
ITCS, Innovations in Theoretical Computer Science conference
- http://itcs-conf.org
- http://itcs-conf.org/itcs19/itcs19-cfp.html
- San Diego, CA.
- Conference dates: January 10-12, 2019
- Submission deadline: September 7, 2018???
-
ISSCC 2020, International Solid-State Circuits Conference
- http://isscc.org/isscc-call-for-papers/
- http://isscc.org/isscc-call-for-papers/abstract-submission-2/
- http://isscc.org/wp-content/uploads/sites/15/2018/07/ISSCC2019_WritingGoodISSCCPaper.pdf
- http://isscc.org/isscc-call-for-papers/topics-of-interest-2/
- http://isscc.org/about-isscc/technical-committees/
- http://isscc.org/contact/
- San Francisco, CA.
- Submission deadline: Sep 9, 2019 (3 p.m., EDT).
- Student Research Preview
-
ACNS 2020, 18th International Conference on Applied Cryptography and Network Security
- Rome, Italy
- June 22-25, 2020
- https://sites.google.com/di.uniroma1.it/ACNS2020
- http://jianying.space/acns/
- Submission deadlines:
- 1st round: September 9 and 18, 2019
- 2nd round: January 20, 2020.
-
FPGA 2020, ACM/SIGDA International Symposium on Field-Programmable Gate Arrays
- http://isfpga.org
- February 23-25, 2020
- Seaside, California.
- Submission deadline: September 9, 2019.
-
DATE, Design, Automation and Test in Europe Conference
- Design, Automation & Test in Europe Conference & Exhibition
- https://www.date-conference.com/call-for-papers
- https://www.date-conference.com/call-for-papers#Submission-Instructions
- Valencia, Spain
- March 25-27, 2024.
- Abstract Submission deadline: September 10, 2023.
- Paper Submission deadline: September 17, 2023.
-
NSDI '21, 18th USENIX Symposium on Networked Systems Design and Implementation
- https://www.usenix.org/conference/nsdi21/call-for-papers
- https://www.usenix.org/conference/nsdi21
- April 12–14, 2021.
- Boston, MA.
- Submission deadlines:
- Spring deadline: April 10 and 17, 2020, 11:59 p.m. U.S. EDT.
- Fall deadline: September 10 and 17, 2020, 11:59 p.m. U.S. EDT.
-
ICRA 2020, International Conference on Robotics and Automation
- https://www.icra2020.org/call-for-papers
- https://www.icra2020.org/
- Paris, France
- May 31 and June 4, 2020
- Submission deadline: September 10 and 15, 2019
-
EDBT/ICDT 2020 Joint Conference
- ICDT, 23rd International Conference on Database Theory
- March 30 - April 2, 2020
- Copenhagen, Denmark
- https://diku-dk.github.io/edbticdt2020/?contents=important_dates.html
- ICDT Submission deadlines:
- 1st submission cycle: March 27 and April 3, 2019
- 2nd submission cycle: September 15 and 23, 2019
-
MTV19, International Workshop on Microprocessor/SoC Test, Security & Verification
- http://mtvcon.org/paper-submission/
- http://mtvcon.org/call-for-papers/MTV2019_CFP.pdf
- Austin, TX.
- Submission deadline:
September 15, 2019.September 29, 2019.
-
24th International Conference on Financial Cryptography and Data Security 2020
- http://ifca.ai/fc20/cfp.html
- International Financial Cryptography Association
- February 10–14, 2020
- Kota Kinabalu, Sabah, Malaysia
- Submission deadline: September 17, 2019.
-
ALT 2020, 31st International Conference on Algorithmic Learning Theory
- http://alt2020.algorithmiclearningtheory.org/call-for-papers/
- February 8-11, 2020
- San Diego, CA
- Submission deadline: September 20, 2019, 4:59 p.m., U.S. EST.
-
ISPA 2019, 17th IEEE International Symposium on Parallel and Distributed Processing with Applications
- https://ispa2019.com/call4paper.php
- Xiamen, China
- December 16-18, 2019
- Submission deadline: September 23, 2019.
-
HWMCC'20, Hardware Model Checking Contest
- http://fmv.jku.at/hwmcc20/
- September 21-24, 2020.
-
FAST '21, 19th USENIX Conference on File and Storage Technologies
- https://www.usenix.org/conference/fast21
- https://www.usenix.org/conference/fast21/call-for-papers
- February 23–25, 2021.
- Santa Clara, CA.
- Submission deadline: September 24, 2020, 11:59 p.m. U.S. PDT.
-
SV-COMP, Competition on Software Verification
- https://sv-comp.sosy-lab.org/2019/dates.php
- https://sv-comp.sosy-lab.org/2019/
- Contest deadlines: Beginning in late September.
-
SAC, ACM/SIGAPP Symposium On Applied Computing
- https://www.sigapp.org/sac/sac2024/
- Avila, Spain
- April 8-12, 2024
- Submission deadline:
September 29, 2019.September 29, 2019. - https://conference.cs.cityu.edu.hk/saccps/
- Cyber-Physical Systems Track
Workshop on ML for Systems at NeurIPS 2023 - Machine Learning for Systems workshop - http://mlforsystems.org/call_for_papers.html - http://mlforsystems.org/ - New Orleans, LA. - December 15-16, 2023. - Paper submission deadline: September 29, 2023 (AoE) * https://neurips.cc/Conferences/2023/PaperInformation/StyleFiles
-
STACS 2020, 37th International Symposium on Theoretical Aspects of Computer Science
- https://stacs2020.sciencesconf.org/
- http://www.stacs-conf.org/
- Montpellier, France
- March 10—13, 2020
- Submission deadline: September 30, 2019.
-
VMCAI, International Conference on Verification, Model Checking, and Abstract Interpretation
- https://popl20.sigplan.org/home/VMCAI-2020#Call-for-Papers
- January 19-25, 2020.
- New Orleans, Louisiana, United States
- Submission deadlines: October 1 and 6, 2019.
-
ISPASS, IEEE International Symposium on Performance Analysis of Systems and Software
- https://www.ispass.org/ispass2020/
- Boston, MA.
- April 5-7, 2020.
- Submission deadline: October 3 and 10, 2019.
-
ISPD 2019, International Symposium on Physical Design
- http://www.ispd.cc
- March 29 - April 1, 2020.
- Taipei, Taiwan.
- Submission deadline: October 3 and
711 (extended deadline), 2019.
-
VTS 2019, IEEE VLSI Test Symposium
- http://tttc-vts.org/public_html/new/2020/
- San Diego, CA.
- April 5-8, 2020.
- Submission deadline: Oct 4 and 11, 2019.
-
CSF, IEEE Computer Security Foundations Symposium
- http://www.ieee-security.org/TC/CSF2021/
- http://www.ieee-security.org/CSFWweb/
- June 21-25, 2021.
- Virtual Conference.
Boston, MA- Submission deadlines:
- Spring cycle: May 8, 2020.
- Fall cycle: October 2, 2020.
- Winter cycle: February 8, 2020.
- Spring cycle (for CSF 2022): early May, 2021.
- AoE (UTC-12h).
-
CODASPY 2021, 11th ACM Conference on Data and Application Security and Privacy
- http://www.codaspy.org/2021/
- http://www.codaspy.org/2021/cfp.html
- April 26 - 28, 2021
- Virtually/Online.
- Submission deadlines: October 4 and 11, 2020.
-
IPDPS, IEEE International Parallel and Distributed Processing Symposium
- http://www.ipdps.org/ipdps2019/2019-call-for-papers.html
- May 18-22, 2020.
- New Orleans, Louisiana.
- Submission deadline: October 7 and 14, 2019.
-
EDBT/ICDT 2020 Joint Conference
- EDBT, 23rd International Conference on Extending Database Technology
- ICDT, 23rd International Conference on Database Theory
- March 30 - April 2, 2020
- Copenhagen, Denmark
- https://diku-dk.github.io/edbticdt2020/?contents=important_dates.html
- EDBT Submission deadlines: October 7 and 11, 2019.
- Submission deadlines for short papers: November 29, 2019.
- ICDT Submission deadlines:
- 1st submission cycle: March 27 and April 3, 2019
- 2nd submission cycle: September 15 and 23, 2019
-
SIN 2020, 13th International Conference on Security of Information and Networks
- https://sinconf.org/
- Online. Originally at: Istanbul, Turkey.
- November 4-6, 2020.
- Submission deadline: October 10, 2020.
-
ISQED 2020, International Symposium on Quality Electronic Design
- https://www.isqed.org/English/Conference/Call_for_Papers.html
- Santa Clara, CA.
- March 25-26, 2020
- Submission deadline: October 11, 2019.
-
SIGMETRICS, ACM SIGMETRICS
- https://www.sigmetrics.org/sigmetrics2021/
- https://www.sigmetrics.org/sigmetrics2021/call_for_papers.html
- Virtual conference.
Beijing, China.Boston, MA.- June 14-18, 2021.
June 8-12, 2020.- http://portal.core.edu.au/conf-ranks/39/
- Submission deadline (For Summer submissions):
- July 31 and August 7, 2020.
- Submission deadline (For Fall submissions):
- October 16 and 23, 2020.
October 14 and 21, 2019.
- Submission deadline (For Winter submissions):
- January 29 and February 5, 2021.
January 27 and February 3, 2020.
-
ICC, 54th IEEE International Conference on Communications
- https://icc2020.ieee-icc.org/
- https://icc2020.ieee-icc.org/call-symposium-papers
- June 7-11, 2020
- Dublin, Ireland
- Submission deadline:
October 14, 2019October 28, 2019
-
CHES, Conference on Cryptographic Hardware and Embedded Systems
- https://ches.iacr.org/2021/callforpapers.php
- Beijing, China
- Possible venue change due to the spread of the coronavirus/COVID-19 virus infections.
- September 12-15, 2021.
- IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES)
- Submission deadlines:
- 1st round: July 15, 2020
- 2nd round: October 15, 2020
- 3rd round: January 15, 2020
- 4th round: April 15, 2020
-
USENIX Security '21, 30th USENIX Security Symposium
- https://www.usenix.org/conference/usenixsecurity21
- August 11-13, 2021.
- Vancouver, B.C., Canada.
- Submission deadlines:
- Summer Quarter Deadline: June 18, 2020 11:59 p.m. AoE (4:59 a.m. PDT).
- Fall Quarter Deadline: October 15, 2020 11:59 p.m. AoE (4:59 a.m. PDT).
- Winter Quarter Deadline: February 4, 2020 11:59 p.m. AoE (4:59??? a.m. PST).
-
EuroSys, European Conference on Computer Systems
- https://2024.eurosys.org/cfp.html
- https://www.eurosys.org/news/eurosys-2024
- April 22-25, 2024
- Athens, Greece
- Spring Paper Submission Deadline: May 24, 2023
- Fall Paper Submission Deadline: October 24, 2023
-
ISCAS, International Symposium on Circuits and Systems
- https://iscas2020.org/
- Seville, Spain.
- Submission deadline: October 20, 2019.
-
CPS-IoT Week, Cyber-Physical Systems and Internet-of-Things Week
- http://cpsweek.org
- Sydney, Australia.
- April 21-24, 2020.
- HSCC, ACM International Conference on Hybrid Systems: Computation and Control
- https://berkeleylearnverify.github.io/HSCC_2020/
- Submission deadline: October 23 (and 28), 2019.
- ICCPS, ACM/IEEE International Conference on Cyber-Physical Systems
- http://iccps.acm.org and http://iccps.acm.org/2020/
- Submission deadline: October 23, 2019.
- ISPN, International Conference on Information Processing in Sensor Networks
- http://ipsn.acm.org/2020/index.html
- http://ipsn.acm.org
- Submission deadline: October 16 and 23, 2019.
- RTAS, IEEE Real-Time and Embedded Technology and Applications Symposium
- http://2020.rtas.org/
- Submission deadline: October 23, 2019.
- IoTDI, ACM/IEEE Conference on Internet of Things Design and Implementation
- https://conferences.computer.org/iotDI/2020/
- Submission deadline: October 16 and 23, 2019.
- ICFC, IEEE International Conference on Fog Computing
- https://sites.google.com/view/icfc2020/
- Submission deadline: October 16 and 23, 2019.
- IC2E, IEEE International Conference on Cloud Engineering
- https://conferences.computer.org/IC2E/2020/
- Submission deadline: November 15 and 22, 2019.
-
FCRC, Federated Computing Research Conference
- https://fcrc.acm.org
- Phoenix, AZ
- Conference dates: June 22-28, 2019.
- Associated conferences:
- COLT 2019: Conference on Learning Theory
- Submission deadline: February 1, 2019.
- E-energy: 2019 ACM e-Energy Conference
- Submission deadline: January 21 and 28, 2019.
- EC 2019: The 20th ACM Conference on Economics and Computation
- Submission deadline: February 15, 2019.
- HPDC 2019: The 28th International Symposium on High-Performance Parallel and Distributed Computing
- HPDC, ACM International Symposium on High-Performance Parallel and Distributed Computing
- ICS 2019: The 33rd ACM International Conference on Supercomputing
- ICS, International Conference on Supercomputing
- ISCA 2019: The 46th International Symposium on Computer Architecture
- IWQoS 2019: IEEE/ACM International Symposium on Quality of Service
- PLDI 2019: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
- SIGMETRICS 2019: International Conference on Measurement and Modeling of Computer Systems
- SPAA 2019: ACM Symposium on Parallelism in Algorithms and Architectures
- STOC 2019: 51st ACM Symposium on Theory of Computing
- COLT 2019: Conference on Learning Theory
-
CC, International Conference on Compiler Construction
- https://cc-conference.github.io/20/
- https://conf.researchr.org/home/CC-2020
- February 22-26, 2020.
- San Diego, CA.
- Submission deadline: October 23 and 30, 2019.
-
ETAPS, European Joint Conferences on Theory and Practice of Software
- https://www.etaps.org/
- https://www.etaps.org/2020/call-for-papers
- April 25-30, 2020.
- Dublin, Ireland.
- Submission deadline: October 24, 2019 23:59 AoE (=GMT-12).
- TACAS, International Conference on Tools and Algorithms for the Construction and Analysis of Systems
- ESOP, European Symposium on Programming
- FASE, International Conference on Fundamental Approaches to Software Engineering
- FoSSaCS, International Conference on Foundations of Software Science and Computation Structures
- POST, International Conference on Principles of Security and Trust
- URL???
- ALGOSENSORS, International Symposium on Algorithms and Experiments for Wireless Sensor Networks
-
IEEE INERTIAL, IEEE International Symposium on Inertial Sensors and Systems
- https://2021.ieee-inertial.org/.
- Virtual Conference.
- March 22-25, 2021.
- Submission deadline:
- October 25, 2020.
-
IRPS, IEEE International Reliability Physics Symposium
- https://irps.org/irps-call-for-papers/download-call-for-papers/
- Grapevine, TX, in the DFW area.
- March 29 – April 2, 2020
- Submission deadlines:
- Abstract (Paper/Poster): October 25, 2019.
- Late paper submission: January 24, 2010.
-
ICPE, ACM/SPEC International Conference on Performance Engineering
- https://icpe.spec.org/
- https://icpe2024.spec.org/
- https://icpe2024.spec.org/call-for-contributions/
- https://icpe2024.spec.org/important-dates/
- South Kensington, London, U.K..
- May 7-11, 2024.
- Abstract submission: Oct 27, 2023 (AoE)
- Paper submission: Nov 03, 2023 (AoE)
-
TAU Contest 2020
- https://sites.google.com/view/taucontest2020/home
- Contest Registration Deadline October 31st, 2019
- Team Name: FastTime
- Name of executable: fast-time
-
DCC, Data Compression Conference
- https://www.cs.brandeis.edu/~dcc/Call.html
- https://www.cs.brandeis.edu/~dcc/index.html
- March 24-27, 2020
- Snowbird, Utah
- Submission deadline:
November 1, 2019November 8, 2019
-
PKC, IACR International Conference on Practice and Theory of Public-Key Cryptography
- https://pkc.iacr.org/2020/
- https://www.iacr.org/meetings/pkc/
- Edinburgh, Scotland
- May 4-7, 2020
- November 2, 2019
-
CICC 2018, IEEE Custom Integrated Circuits Conference
- http://ieee-cicc.org
- Boston, MA.
- Conference dates: March 22-25, 2020.
- Submission deadline: November 3, 2019 (11:59 pm PT).
-
STOC, Annual ACM Symposium on the Theory of Computing
- http://acm-stoc.org/stoc2020/
- http://acm-stoc.org
- Chicago, IL.
- Conference dates: June 22–26, 2020.
- Submission deadline: November 4, 2019.
-
USENIX Security '20, USENIX Security Symposium
- https://www.usenix.org/conference/usenixsecurity20/call-for-papers
- https://www.usenix.org/conference/usenixsecurity20/publication-model-change
- https://www.usenix.org/conference/usenixsecurity20/
- Boston, MA
- August 12–14, 2020
- Submission deadlines:
- Spring Quarter Deadline: May 15, 2019, 8:00 pm EDT
- Summer Quarter Deadline: August 23, 2019, 8:00 pm EDT
- Fall Quarter Deadline: November 15, 2019, 8:00 pm EDT
- Winter Quarter Deadline: February 15, 2020, 8:00 pm EDT
-
ICAPS 2020, 30th International Conference on Automated Planning and Scheduling
- https://icaps20.icaps-conference.org/calls/call-for-papers/
- https://icaps20.icaps-conference.org/calls/call-for-papers/#:~:targetText=Call%20for%20Papers,June%2014%2D19%2C%202020.
- Nancy, France
- June 14-19, 2020
- Submission deadlines: November 15 and 20, 2019.
-
IC2E, IEEE International Conference on Cloud Engineering
- https://conferences.computer.org/IC2E/2020/
- Submission deadline: November 15 and 22, 2019.
-
UbiComp, ACM International Joint Conference on Pervasive and Ubiquitous Computing
- https://ubicomp.hosting.acm.org/ubicomp2021/
http://ubicomp.org/ubicomp2020/- Virtual conference.
Cancún, México.- September 12-17, 2020.
- Submission deadlines:
- 1st round: August 15, 2019
- 2nd round: November 15, 2019
- 3rd round: February 15, 2020
- 4th round: May 15, 2020
-
ESANN, 28th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning
- https://www.esann.org/
- Bruges, Belgium
- April 22-24, 2020
- Submission deadline:
November 18, 2019November 25, 2019
-
ISCA, International Symposium on Computer Architecture
- https://iscaconf.org/isca2020/
- May 30 – June 3, 2020.
- Valencia, Spain.
- Submission deadline: November 19 and 26, 2018.
-
EuroS&P, IEEE European Symposium on Security and Privacy
- http://www.ieee-security.org/TC/EuroSP2021/
- http://www.ieee-security.org/TC/EuroSP2021/cfp.html
- September 7-11, 2021.
June 16-18, 2020- Vienna, Austria.
- Submission deadline:
- November 5, 2020.
November 20, 2019- "All deadlines are Anywhere on Earth (AoE = UTC-12h)."
-
ISPD Contest 2020
-
DAC 2019, Design Automation Conference
- https://dac.com
- San Francisco, CA
- July 19-23, 2020.
- Submission deadline: November 21 and 27, 2019 (5:00 PM MST, -7:00 GMT).
-
PLDI, Programming Language Design and Implementation
- https://pldi21.sigplan.org/track/pldi-2021-papers#Call-for-Papers
- http://www.sigplan.org/Conferences/PLDI/
- June 20-25, 2021.
- Virtual conference.
- Submission deadline: November 20, 2020.
-
IEEE AICAS, IEEE International Conference on Artificial Intelligence Circuits and Systems
- https://aicas2024.org/
- Abu Dhabi, UAE
- April 22-25, 2024
- Paper Submission Deadline: November 23, 2023.
-
ASPLOS, ACM International Conference on Architectural Support for Programming Languages and Operating Systems
- https://www.asplos-conference.org/asplos2024/cfp/
- https://www.asplos-conference.org/asplos2024/
- https://asplos-conference.org
- https://asplos-conference.org/calls/
- San Diego, CA.
- April 27 - May 1, 2024.
- Spring Abstract Submission deadline: April 13, 2023.
- Spring Paper Submission deadline: April 20, 2023.
- Summer Abstract Submission deadline: August 3, 2023.
- Summer Paper Submission deadline: August 10, 2023.
- Fall Abstract Submission deadline: November 23, 2023.
- Fall Paper Submission deadline: November 30, 2023.
- ASPLOS is co-sponsored by SIGPLAN, SIGARCH, and SIGOPS
-
FSE, Conference on Fast Software Encryption
- 27th Fast Software Encryption Conference
- Virtual/Online
Athens, Greece - November 9-13, 2020.
March 22-26, 2020- https://fse.iacr.org/2020/papersubmission.html
- https://fse.iacr.org/2020/callforpapers.html
- https://fse.iacr.org/2020/index.html
- https://www.iacr.org/meetings/fse/
- Timeline for FSE 2020 / IACR Transactions on Symmetric Cryptology 2019/2020: Submission deadlines
- 1st round: March 1, 2019
- 2nd round: June 1, 2019
- 3rd round: September 1, 2019
- 4th round: November 23, 2019
-
GCAI 2020, 6th Global Conference on Artificial Intelligence
https://gcai2019.inf.unibz.it/?p=call_for_papershttp://www.gcai-2020.info- Submission deadlines:
June 14 and 21, 2019June 28 and July 5, 2019November 23 and 30, 2019. - Hangzhou, China.
- April 6-9, 2020.
-
MobiHoc 2020, International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing
- 21st International Symposium on Mobile Ad Hoc Networking and Computing
- https://www.sigmobile.org/mobihoc/2020/
- https://www.sigmobile.org/mobihoc/2020/cfp.html
- https://sigmobile.org/mobihoc/
- Shanghai, China
- June 30 - July 3, 2020
- Submission deadlines: November 30 and December 6, 2019.
-
VEE, ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
- https://conf.researchr.org/home/vee-2020
- March 18-20, 2020.
- Lausanne, Switzerland.
- Submission deadline: November 30 and December 6, 2019.
-
PETS 2021, or PoPETS, annual/21st Privacy Enhancing Technologies Symposium (PETS)
- https://petsymposium.org/
- July 12–16, 2021.
- Virtual/Online.
- Submission deadline:
- 1st round: May 31, 2020.
- 2nd round: August 31, 2020.
- 3rd round: November 30, 2020.
- 4th round: February 28, 2021.
-
S&P, IEEE Symposium on Security and Privacy
- http://www.ieee-security.org/TC/SP2021/
- http://www.ieee-security.org/TC/SP2021/cfpapers.html
- May 23-27, 2021.
May 18-20, 2020.- Virtual conference.
San Francisco, CA.- "A rolling deadline occurs on the 1st of each month, at 3:00 PM (UTC-7, i.e., PDT). This deadline is strict and no extensions will be granted."
- "All papers accepted by February 1st, 2020, or that are submitted as a revision by February 1st, 2020 and the revision is then accepted, will be included in the proceedings of the symposium in May, 2020 and invited to present their work. Other papers will be included in the 2021 proceedings."
- Submission deadlines:
- Spring Quarter Deadline: March 5, 2020.
- Summer Quarter Deadline: June 4, 2020.
- Fall Quarter Deadline: September 3, 2020.
- Winter Quarter Deadline: December 3, 2020.
- "All deadlines are 23:59:59 AoE (UTC-12)."
Rolling (Final deadline: Submit by December 1, 2019).
-
DSN, 50th IEEE/IFIP International Conference on Dependable Systems and Networks
- Annual IEEE/IFIP International Conference on Dependable Systems and Networks
- https://dsn2020.webs.upv.es/callforcontributions/cfp-research/
- https://dsn2020.webs.upv.es/
- València, Spain
- June 29 - July 2, 2020
- Submission deadline: December 3 and 13, 2019.
-
SoCG 2019, Symposium on Computational Geometry
- http://eecs.oregonstate.edu/socg19/index.html
- http://www.computational-geometry.org/
- Portland, OR
- June 18-21, 2019
- Submission deadline: December 5, 2018.
-
ACM Student Research Competition (SRC), for the 24rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
- https://www.sigarch.org/call-contributions/asplos-2019-student-research-competition/
- Providence, RI, USA
- April 13-17, 2019
- Abstract submission: Friday, December 8, 2018 (11:59pm PST)
- Acceptance notification: Friday, Feb 2, 2019
-
ARCS, International Conference on Architecture of Computing Systems
- http://arcs2019.itec.kit.edu
- May 20-23, 2019.
- Copenhagen, Denmark.
- Submission deadline: December 10, 2018.
-
GLSVLSI, Great Lakes Symposium on VLSI
- http://www.glsvlsi.org
- Beijing, China
- May 27-29, 2020
- Submission deadline: December 17, 2019.
-
MSR, International Conference on Mining Software Repositories
- https://2020.msrconf.org/
- https://2020.msrconf.org/track/msr-2020-papers
- May 25-26, 2020.
- Yongsan-gu, Seoul, South Korea.
- Submission deadlines: January 9 and 16, 2020.
- Mining Challenge
- https://2020.msrconf.org/track/msr-2020-mining-challenge
- Submission deadlines: January 20 and February, 2020.
-
ASYNC, IEEE International Symposium on Asynchronous Circuits and Systems
- http://asyncsymposium.org/async/Welcome.html
- https://asyncsymposium.org/async2020/
- Snowbird, Utah, USA.
- Conference dates: May 17-20, 2020.
- Submission deadline: January 6 and 15, 2018.
-
LICS, ACM/IEEE Symposium on Logic in Computer Science
- http://lics.siglog.org/lics20/
- http://lics.siglog.org/lics20/cfp.php
- Saarbrücken, Germany.
- July 8-11, 2020.
- Submission deadline: January 6 and 10, 2020.
-
FCCM, IEEE Symposium on Field-Programmable Custom Computing Machines
- https://www.fccm.org/
- Fayetteville, Arkansas.
- May 3 – 6, 2020.
- Submission deadline: January 6 and 13, 2020.
-
ICDCS 2020, 40th IEEE International Conference on Distributed Computing Systems
- https://icdcs2020.sg/
- July 8-10, 2020
- Singapore
- Submission deadline: January 6 and 13, 2020.
-
BigData 2019, 2019 International Congress on Big Data
- http://www.bigdatacongress.org/2019/
- http://www.bigdatacongress.org/2019/cfp.html
- June 25-30, 2019
- San Diego, CA
- Submission deadlines:
- January 6, 2020.
- March 22, 2020.
-
CLOUD 2019, 2019 International Conference on Cloud Computing
- http://www.thecloudcomputing.org/2019/cfp.html
- http://www.thecloudcomputing.org/2019/index.html
- June 25-30, 2019
- San Diego, CA
- Submission deadlines:
- January 6, 2020.
- March 22, 2020.
-
ICCC 2019, 2019 International Conference on Cognitive Computing
- http://www.thecognitivecomputing.org/2019/cfp.html
- June 25-30, 2019
- San Diego, CA
- Submission deadlines:
- January 6, 2020.
- March 22, 2020.
-
ISOEN, IEEE International Symposium on Olfaction and Electronic Nose
- https://isoen2019.org/.
- ACROS Fukuoka.
- May 26-29, 2019.
- Submission deadline:
- January 10, 2019.
-
SPAA, ACM Symposium on Parallelism in Algorithms and Architectures
- http://spaa.acm.org
- https://spaa.acm.org/2021/call_for_papers.html
- Virtual conference.
- Philadelphia, PA.
- July 6-8, 2021.
- Submission deadline: February 8 and 11, 2021, 23:59 hrs, AoE.
-
SEAMS, International Symposium on Software Engineering for Adaptive and Self-Managing Systems
- https://2019.icse-conferences.org/track/seams-2019-papers
- Montreal, QC, Canada.
- May 25-26, 2019.
- Submission deadline: January 11 and 18, 2019.
-
DCOSS 2020, IEEE International Conference on Distributed Computing in Sensor Systems
- https://www.dcoss.org/cfp.html
- Marina Del Rey, Los Angeles, CA
- May 25-27, 2020
- Submission deadlines: January 11 and 18, 2020.
-
ISR 2020, International Symposium on Robotics
- https://www.isr-robotics.org/en/for-authors
- Munich, Germany
- June 17–18, 2020.
- Submission deadline: January 13, 2020.
-
- Modeling, Planning and Control (mechanisms and kinematics, calibration and identification, theoretical foundations)
-
- Components & Technologies (mision / tactile / auditory sensors, visual serving and tracking, actuators and controllers, virtual commissioning, robot end-effectors / robot infrastructure)
-
- Robotics in Production / Industrial Robots (assembly, handling, painting, machining, processing, logistics etc., robot programming and languages, intelligent manufacturing systems, new applications, matrix production, digital twin, open source software, OPC UA)
-
- Robotics in Service / Mobile Robotics (home and office robotics, service robotics for professional services, rescue / surveillance / security / defence robotics, assistance / rehabilitation / medical robotics, educational and entertainment robotics, exploration / space / aerial / underwater robotics)
-
- Robotics in New Markets & Applications (food / pharmaceutical / biology robotics, micro / nano robotics, cognitive robotics / learning and adaptive systems / network and ubiquitous robotics, Biologically inspired robotics: humanoids / biomimetics / legged robots)
-
- Human-robot-collaboration / Future of work (standards / safety / profitability / ergonomics / socio-economics / industrial engineering, industrial papers related to applications and case studies are welcome, safe human-robot-collaboration)
-
- AI in Robotics – Robotic Applications that use AI (autonomous robots, machine vision, mobile robotics, probabilistic reasoning, estimation, decision)
-
-
CF 2019, ACM International Conference on Computing Frontiers
- http://www.computingfrontiers.org/2019/
- Alghero, Sardinia, Italy
- May 1-3, 2019
- Submission deadline: Jan 14, 2019.
-
TechDebt, International Conference on Technical Debt
- https://2019.icse-conferences.org/track/TechDebt-2019#About
- Montreal, QC, Canada.
- Submission deadline: January 14 and 21 2019.
-
USENIX ATC '21, 2021 USENIX Annual Technical Conference
- https://www.usenix.org/conference/atc21
- https://www.usenix.org/conference/atc21/call-for-papers
- July 14–16, 2021.
- Santa Clara, CA.
- Submission deadline: January 12, 2021, 11:59 p.m. UTC.
- The scope of USENIX ATC covers all practical aspects related to systems software, including but not limited to: operating systems; runtime sys-tems; parallel and distributed systems; storage; networking; security and privacy; virtualization; software-hardware interac-tions; performance evaluation and workload characterization; reliability, availability, and scalability; energy/power manage-ment; bug-finding, tracing, analyzing, and troubleshooting.
-
PETRI NETS 2020, 41th International Conference on Application and Theory of Petri Nets and Concurrency
- http://conf-2020.petrinet.net/
- Petri Nets World: http://www.informatik.uni-hamburg.de/TGI/PetriNets/index.php
- Paris, France
- June 22-26, 2020
- Submission deadlines: Jan 15 and 21, 2019.
-
CHES, Conference on Cryptographic Hardware and Embedded Systems
- https://ches.iacr.org/2021/callforpapers.php
- Beijing, China
- Possible venue change due to the spread of the coronavirus/COVID-19 virus infections.
- September 12-15, 2021.
- IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES)
- Submission deadlines:
- 1st round: July 15, 2020
- 2nd round: October 15, 2020
- 3rd round: January 15, 2020
- 4th round: April 15, 2020
-
HPDC 2020 (or HPDC'20), 29th International Symposium on High-Performance Parallel and Distributed Computing
- http://www.hpdc.org/2020/
- http://www.hpdc.org/2020/papers/call-for-papers/
- Stockholm, Sweden.
- June 23-26, 2020.
- Submission deadline: January 16 and 23, 2020.
-
IJCAR, International Joint Conference on Automated Reasoning
- https://ijcar2020.org/
- http://www.ijcar.org/conferences
- http://ijcar.org/
- https://ijcar2020.org/wp-content/uploads/2019/11/IJCAR2020-CFP.txt
- June 29 - July 2, 2020.
- Paris, France.
- Organized/Held in even-numbered years only
- Submission deadline: January 16 and 23, 2020.
-
ACNS 2020, 18th International Conference on Applied Cryptography and Network Security
- Rome, Italy
- June 22-25, 2020
- https://sites.google.com/di.uniroma1.it/ACNS2020
- http://jianying.space/acns/
- Submission deadlines:
- 1st round: September 9 and 18, 2019
- 2nd round: January 20, 2020.
-
FCRC, Federated Computing Research Conference
- https://fcrc.acm.org
- Phoenix, AZ
- Conference dates: June 22-28, 2019.
- Associated conference:
- E-energy: 2019 ACM e-Energy Conference
- Submission deadline: January 21 and 28, 2019.
- E-energy: 2019 ACM e-Energy Conference
-
CAV, International Conference on Computer-Aided Verification
- http://i-cav.org/2020/
- http://i-cav.org/2020/call-for-papers/
- Los Angeles, CA.
- July 19-24, 2019.
- Submission deadline:
January 23, 2020January 28, 2020.
-
42nd Annual International Conferences of the IEEE Engineering in Medicine and Biology Society
- in conjunction with the 43rd Annual Conference of the Canadian Medical and Biological Engineering Society
- https://embc.embs.org/2020/
- July 20-24, 2020
- Montréal, Québec, Canada
- Submission deadline: January 23, 2020.
-
ICS, ACM International Conference on Supercomputing
- Barcelona, Spain
- June 29 - July 2, 2020.
- https://ics2020.bsc.es/
- https://www.ics-conference.org/
- Submission deadlines: January 24 and 31, 2020.
-
ACM SIGCOMM 2019
- http://conferences.sigcomm.org/sigcomm/2019/fireglass_rsn%3Dtrue
- https://sigcomm.org/events/sigcomm-conference
- https://conferences.sigcomm.org/sigcomm/2019/
- https://conferences.sigcomm.org/sigcomm/2019/cfp.html
- Beijing, China
- August 19-24, 2019.
- Submission deadlines: January 24 and 31, 2019.
-
ICS 2019, International Conference on Supercomputing
- https://www.ics-conference.org
- https://ics19.eecis.udel.edu/index.html
- Phoenix, AZ.
- June 26-28, 2019.
- Submission deadline: January 25 and February 1, 2019.
-
ICGSE, IEEE/ACM International Conference on Global Software Engineering
- https://conf.researchr.org/track/icgse-2019/icgse-2019-papers
- Montreal, QC, Canada
- May 24-26, 2019.
- Submission deadline: January 25 and February 4, 2019.
-
SIGMETRICS, ACM SIGMETRICS
- https://www.sigmetrics.org/sigmetrics2021/
- https://www.sigmetrics.org/sigmetrics2021/call_for_papers.html
SIGMETRICS 2020, ACM SIGMETRICS / IFIP Performance conference- Virtual conference.
Beijing, China.Boston, MA.- June 14-18, 2021.
June 8-12, 2020.- http://portal.core.edu.au/conf-ranks/39/
- Submission deadline (For Summer submissions):
- July 31 and August 7, 2020.
- Submission deadline (For Fall submissions):
- October 16 and 23, 2020.
October 14 and 21, 2019.
- Submission deadline (For Winter submissions):
- January 29 and February 5, 2021.
January 27 and February 3, 2020.
-
ACM WiSec 2019, 12th ACM Conference on Security and Privacy in Wireless and Mobile Networks
- https://wisec19.fiu.edu/call-for-papers
- https://wisec19.fiu.edu/
- http://www.sigsac.org/wisec/
- May 15-17, 2019
- Miami, FL
- Submission deadline:
January 25, 2019January 29, 2019
-
ICPC, International Conference on Program Comprehension
- https://conf.researchr.org/home/icpc-2019
- https://conf.researchr.org/track/icpc-2019/icpc-2019-Technical-Research
- https://www.program-comprehension.org
- Montreal, QC, Canada.
- Submission deadline: January 30 and February 7, 2019.
-
EMBS, International Engineering in Medicine and Biology Conference
- https://embc.embs.org/2020/
- July 20-24, 2020.
- Montréal, Québec, Canada.
- Submission deadline:
January 23, 2020January 31, 2020
-
ISSAC, International Symposium on Symbolic and Algebraic Computation
- http://www.issac-conference.org/2021/
- http://issac-conference.org/
- July 18-22, 2021.
- Saint Petersburg, Russia.
- Submission deadline: January 29 and February 5, 2021.
-
COLT 2020, 33rd Annual Conference on Learning Theory
- http://learningtheory.org/colt2020/cfp.html
- Graz, Austria
- July 9-12, 2020
- Submission deadline: January 31, 2020.
-
FCRC, Federated Computing Research Conference
- https://fcrc.acm.org
- Phoenix, AZ
- Conference dates: June 22-28, 2019.
- Associated conferences:
- COLT 2019: Conference on Learning Theory
- Submission deadline: February 1, 2019.
- COLT 2019: Conference on Learning Theory
-
DisCoTec 2020, 15th International Federated Conference on Distributed Computing Techniques
- http://www.discotec.org/2020/
- Valletta, Malta
- June 15-19, 2020.
- Submission deadlines: February 3 and 14, 2019.
- FORTE 2020 - 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
- DAIS 2020, 19th International Conference on Distributed Applications and Interoperable Systems
- COORDINATION 2020, 22nd International Conference on Coordination Models and Languages
-
30th USENIX Security Symposium
- https://www.usenix.org/conference/usenixsecurity21
- August 11-13, 2021.
- Vancouver, B.C., Canada.
- Submission deadlines:
- Summer Quarter Deadline: June 18, 2020 11:59 p.m. AoE (4:59 a.m. PDT).
- Fall Quarter Deadline: October 15, 2020 11:59 p.m. AoE (4:59 a.m. PDT).
- Winter Quarter Deadline: February 4, 2020 11:59 p.m. AoE (4:59??? a.m. PST).
-
ACM CCS 2019, 26th ACM Conference on Computer and Communications Security
- http://www.sigsac.org/ccs/CCS2019/
- London, U.K.
- November 11-15, 2019
- Submission deadlines:
- 1st deadline:
January 31, 2019February 5, 2019 - 2nd deadline: May 15, 2019
- 1st deadline:
-
Creativity & Cognition 2019, 12th Conference on Creativity & Cognition
- http://cc.acm.org/2019/submit/papers.php
- http://cc.acm.org/2019/submit/
- San Diego, CA
- June 23-26, 2019
- Submission deadlines: February 5 and 12, 2019.
-
BigData 2020, International Conference on Big Data
- http://www.bigdatacongress.org/2020/cfp.html
- June 22-26, 2020.
- Honolulu, Hawaii, U.S.A..
- Submission deadline: February 5, 2020.
-
AIMS 2020, 2020 International Conference on AI and Mobile Services
- http://www.ai1000.org/2020/cfp.html
- June 22-26, 2020.
- Honolulu, Hawaii, U.S.A..
- Submission deadline: February 5, 2020.
-
ICIOT 2020, 2020 International Conference on Internet of Things
- http://www.iciot.org/2020/index.html
- June 22-26, 2020.
- Honolulu, Hawaii, U.S.A..
- Submission deadline: February 5, 2020.
-
EDGE 2020, 2020 International Conference on Edge Computing
- http://theedgecomputing.org/2020/index.html
- June 22-26, 2020.
- Honolulu, Hawaii, U.S.A..
- Submission deadline: February 5, 2020.
-
ICCC 2020, 2020 International Conference on Cognitive Computing
- http://www.thecognitivecomputing.org/2020/cfp.html
- June 22-26, 2020.
- Honolulu, Hawaii, U.S.A..
- Submission deadline: February 5, 2020.
-
ICBC 2020, 2020 International Conference on Blockchain
- http://blockchain1000.org/2020/index.html
- June 22-26, 2020.
- Honolulu, Hawaii, U.S.A..
- Submission deadline: February 5, 2020.
-
FSCD, International Conference on Formal Structures for Computation and Deduction
- https://fscd2020.org/#about
- https://fscd2020.org/call-for-papers
- Submission deadlines: February 6 and 9, 2020.
- Paris, France.
- June 29 - July 5, 2020.
-
COOL Chips 2?, IEEE Symposium on Low-Power and High-Speed Chips and Systems
- https://www.coolchips.org/2020/
- https://www.coolchips.org/2020/call-for-contributions/
- Hitachi Central Research Laboratory, Kokubunji, Tokyo, Japan.
- April 15-17, 2020.
- Submission deadline: February 7, 2020.
-
SECRISC-V, International Workshop on Secure RISC-V (SECRISC-V) Architecture Design Exploration
- https://ascslab.org/conferences/secriscv/index.html
- April 5-7, 2020.
- Boston, Massachusetts.
- Submission deadline: February 7, 2020.
-
CSF, IEEE Computer Security Foundations Symposium
- http://www.ieee-security.org/TC/CSF2021/
- http://www.ieee-security.org/CSFWweb/
- June 21-25, 2021.
- Virtual Conference.
Boston, MA- Submission deadlines:
- Spring cycle: May 8, 2020.
- Fall cycle: October 2, 2020.
- Winter cycle: February 8, 2020.
- Spring cycle (for CSF 2022): early May, 2021.
- AoE (UTC-12h).
-
RAW, Reconfigurable Architectures Workshop
- http://raw.necst.it/
- May 18-19, 2020.
- New Orleans, Louisiana.
- Submission deadline: February 8, 2020.
-
Symposia on VLSI Technology and Circuits
- http://vlsisymposium.org
- https://vlsisymposium.org/wp-content/uploads/2019/12/2020-VLSI-Call-for-Papers.pdf
- June 14-19, 2020.
- Hilton Hawaiian Village, Honolulu, HI.
- Submission deadline: February 10, 2019.
-
NEWCAS, IEEE Northeast Workshop on Circuits and Systems
- NEW Circuits and Systems Conference
- https://www.newcas2019.org
- Munich, Germany.
- June 23-26, 2019.
- Submission deadline: February 10, 2019.
-
Crypto 2020, International Cryptology Conference
- Advances in Cryptology
- https://crypto.iacr.org/2020/
- Santa Barbara, CA
- August 16-20, 2020.
- Submission deadline: February 11, 2019.
- PQC Standardization Conference
- NIST Post-Quantum Cryptography Standardization Process
- https://csrc.nist.gov/Events/2019/Second-PQC-Standardization-Conference
-
FCRC, Federated Computing Research Conference
- https://fcrc.acm.org
- Phoenix, AZ
- Conference dates: June 22-28, 2019.
- Associated conferences:
- EC 2019: The 20th ACM Conference on Economics and Computation
- Submission deadline: February 15, 2018.
- EC 2019: The 20th ACM Conference on Economics and Computation
-
CADE 2019, International Conference on Automated Deduction
- http://www.cadeinc.org/conferences
- http://www.cade-27.info/
- Natal, Brasil
- August 25-30, 2019.
- Organized/Held in odd-numbered years only
- Submission deadline: February 15 and 22, 2019.
-
USENIX Security '20, USENIX Security Symposium
- https://www.usenix.org/conference/usenixsecurity20/call-for-papers
- https://www.usenix.org/conference/usenixsecurity20/publication-model-change
- https://www.usenix.org/conference/usenixsecurity20/
- Boston, MA
- August 12–14, 2020
- Submission deadlines:
- Spring Quarter Deadline: May 15, 2019, 8:00 pm EDT
- Summer Quarter Deadline: August 23, 2019, 8:00 pm EDT
- Fall Quarter Deadline: November 15, 2019, 8:00 pm EDT
- Winter Quarter Deadline: February 15, 2020, 8:00 pm EDT
-
UbiComp, ACM International Joint Conference on Pervasive and Ubiquitous Computing
- https://ubicomp.hosting.acm.org/ubicomp2021/
http://ubicomp.org/ubicomp2020/- Virtual conference.
Cancún, México.- September 12-17, 2020.
- Submission deadlines:
- 1st round: August 15, 2019
- 2nd round: November 15, 2019
- 3rd round: February 15, 2020
- 4th round: May 15, 2020
-
XLDB 2019, 12th Extremely Large Databases Conference
- https://conf.slac.stanford.edu/xldb2019/
- http://www.xldb.org/events/
- https://conf.slac.stanford.edu/xldb2018/
- April 3-4, 2019
- Stanford, CA
- Submission deadline: February 15, 2019
-
SAT, International Conferences on Theory and Applications of Satisfiability Testing
- https://sat2020.idea-researchlab.org/cfp/
- http://www.satisfiability.org
- Alghero, Italy.
- July 7-12, 2019.
- Submission deadlines: February 15 and 22, 2020.
-
ParCo202?, International Conference on Parallel Computing
- https://www.parco.org/
- VENUE
- DATES
- Submission deadline: Mid-/Late February, 2020.
-
PODC, ACM Symposium on Principles of Distributed Computing
- https://www.podc.org/
- https://www.podc.org/podc2021/call-for-papers/
- Virtual conference.
- July 26-31, 2021.
August 3-7, 2020.- Submission deadlines: February 11 and 15, 2021.
-
SACMAT, ACM Symposium on Access Control Models and Technologies
- http://www.sigsac.org/sacmat.html
- http://www.sacmat.org/2020/index.php
- http://www.sacmat.org/2020/papers.php
- Barcelona, Spain.
- June 10-12, 2020.
- Submission deadline: February 17, 2020.
-
DEBS, ACM International Conference on Distributed and Event‐based Systems
- https://2020.debs.org/
- July 13-17, 2020.
- Montreal, Quebec, Canada.
- Submission deadline: February 18 and 25, 2020.
- See https://debs.org/awards/ for DEBS Grand Challenge.
-
CCC, Computational Complexity Conference
- CONFERENCE-SPECIFIC URL.
- http://www.computationalcomplexity.org/conferences.php
- http://computationalcomplexity.org
- https://www.computationalcomplexity.org/Archive/2019/cfp.php
- New Jersey, NJ in 2019. Saarbruecken, Germany in 2020.
- Conference dates: July 18-20, 2019.
- Conference dates: July 28-31, 2020.
- Submission deadline: February 19 2019.
-
ISVLSI, IEEE Computer Society Annual Symposium on VLSI
- http://www.isvlsi.org
- http://www.eng.ucy.ac.cy/theocharides/isvlsi19/
- Limassol, Cyprus.
- Submission deadline:
February 20, 2020.March 13, 2020.
-
SOUPS 2021, 17th Symposium on Usable Privacy and Security
- URL???
- August 8–10, 2021.
- Vancouver, B.C., Canada.
- Submission deadline: February 20, 2021???, 23:59 AoE.
-
PEPR '20, 2020 USENIX Conference on Privacy Engineering Practice and Respect
- https://www.usenix.org/conference/pepr20/call-for-participation
- https://www.usenix.org/conference/pepr20
- October 15–16, 2020.
- Online.
- Submission deadline: February 21, 2020.
-
ISMM, ACM SIGPLAN International Symposium on Memory Management
- https://conf.researchr.org/series/ismm
- https://www.sigplan.org/Conferences/ISMM/
- London, U.K..
- June 16, 2020.
- Submission deadline:
February 28March 6, 2020.
-
ANTS, ANTS-XIV, 14th Algorithmic Number Theory Symposium
- https://www.math.auckland.ac.nz/~sgal018/ANTS/callforpapers.html
- https://www.math.auckland.ac.nz/~sgal018/ANTS/
- Auckland, New Zealand
- June 30 - July 4, 2020
- Submission deadline: February 25, 2020.
-
LCTES, ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems
- https://conf.researchr.org/home/LCTES-2020
- https://conf.researchr.org/series/LCTES
- https://www.sigarch.org/call-contributions/lctes-2020/
- London, United Kingdom.
- June 15-20, 2019.
- Submission deadline: February 28, 2020.
-
ISLPED, ACM/IEEE International Symposium on Low Power Electronics and Design
- http://www.islped.org/
- http://www.islped.org/2020/
- Boston, MA.
- August 10-12, 2020.
- Submission deadline:
March 2 and 9, 2020March 16 and 23, 2020, 23:59 hrs, U.S. PST.
-
DSW 2020, IEEE Data Science Workshop
- https://2019.ieeedatascience.org/call-for-papers.php
- Minneapolis, MN.
- June 2-5, 2019.
- Submission deadline:
February 8, 2019February 28, 2019 - Topics:
- Computational models and representation for data science
- Tensor factorizations. Compressive sampling. Randomized linear algebra. Graph simplifications and multiresolution representations. Transformations and spectral representations. Distributed algorithms.
- Learning, modeling, and inference with data
- High-dimensional spatio-temporal modeling. Graph signal processing. Theoretical limits. Anomaly detection. Graph learning. Statistical modeling of heterogeneous data types. Post-selection inference. Analysis of deep learning algorithms. Crowdsourcing. Stream mining. Statistical uncertainty quantification.
- Acquisition, storage, and retrieval for large-scale data science
- Hardware and architectures. Software and Cyberinfrastructure. Protocols for networked storage. Compression for data storage. Sketching and streaming. Scaling up algorithms.
- Visualization, summarization, and analytics
- Data presentation architectures and dashboards. Data visualization and human perception / cognition. Business intelligence. Data wrangling.
- Data science education
- Innovative approaches to teaching data science. Data-informed learning theory. Learning analytics.
- Data science process and principles
- Reproducible research. Open source data science. Workflow. Meta-analysis. Data science ethics. Algorithmic fairness. Bias in science.
- Applications
- Social media, recommendation systems and collaborative filtering. Defense, intelligence and security. Biology and medicine. Astronomy and other physical sciences. Audio, image, video analytics and computer vision. Urban informatics. Social sciences. Business analytics, forensics and finance. Applications leveraging domain knowledge for data science.
- Computational models and representation for data science
-
SEA^2, Special Event on Analysis of Experimental Algorithms
- http://www.caopt.com/SEA2019/
- June 24-29, 2019.
- Kalamata, Greece.
- Submission deadlines: February 28, 2019 (extended)
-
PETS 2021, or PoPETS, annual/21st Privacy Enhancing Technologies Symposium (PETS)
- https://petsymposium.org/
- July 12–16, 2021.
- Virtual/Online.
- Submission deadline:
- 1st round: May 31, 2020.
- 2nd round: August 31, 2020.
- 3rd round: November 30, 2020.
- 4th round: February 28, 2021.
-
IEEE-NANO, IEEE NANO, IEEE International Conference on Nanotechnology
- https://2021.ieeenano.org/general-info/technical-areas/
- https://2021.ieeenano.org/general-info/key-dates/
- https://2021.ieeenano.org/authors/
- https://2021.ieeenano.org/
- Virtual conference.
- July 28-31, 2021.
- Submission deadline:
- February 28, 2021.
-
VLDB2020, 46th International Conference on Very Large Data Bases
- https://vldb2020.org/important-dates.html
- https://vldb2020.org/
- https://vldb2020.org/research-track.html
- http://www.vldb.org/conference.html
- Tokyo, Japan
- August 31 - September 4, 2020
- Submission deadlines:
- 1st of every month 5 p.m. PST, until March 2020
-
IEEE FLEPS, IEEE International Conference on Flexible, Printable Sensors and Systems
- https://2021.ieee-fleps.org/.
- Virtual Conference.
Manchester, United Kingdom.- June 20-23, 2021.
- Submission deadline:
- March 1, 2021.
-
IROS, IEEE/RSJ International Conference on Intelligent Robots and Systems
- http://www.iros2020.org/
- Las Vegas, NV.
- October 25-29, 2020.
- Submission deadline: March 1, 2020.
-
SAMOS, International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation
- https://samos-conference.com
- Pythagoreio, Samos Island, Greece.
- July 5–9, 2020.
- Submission deadline:
March 1, 2019.March 13, 2020
-
ICDAR 2019, 15th International Conference on Document Analysis and Recognition
- https://icdar2019.org/
- Held during even
- September 20-15, 2019
- Sydney, Australia
- Submission deadlines:
February 13 and 15, 2019March 1 and 8, 2019.
-
FSE, Conference on Fast Software Encryption
- 27th Fast Software Encryption Conference
- Virtual/Online
Athens, Greece - November 9-13, 2020.
March 22-26, 2020- https://fse.iacr.org/2020/papersubmission.html
- https://fse.iacr.org/2020/callforpapers.html
- https://fse.iacr.org/2020/index.html
- https://www.iacr.org/meetings/fse/
- Timeline for FSE 2020 / IACR Transactions on Symmetric Cryptology 2019/2020: Submission deadlines
- 1st round: March 1, 2019
- 2nd round: June 1, 2019
- 3rd round: September 1, 2019
- 4th round: November 23, 2019
-
IEEE CDC, IEEE Conference on Decision and Control
- https://cdc2020.ieeecss.org/
- Jeju Island, Republic of Korea
- December 8-11, 2020.
- Submission deadline:
Previously March 1March 17, 2020
-
ICPP, 49th International Conference on Parallel Processing
- https://jnamaral.github.io/icpp20/
- Edmonton, AB, Canada
- August 17-20, 2020
- Submission deadline: March 2-9, 2020.
-
ICFP, International Conference on Functional Programming
- https://conf.researchr.org/home/icfp-2020
- https://icfp20.sigplan.org/track/icfp-2020-papers#Call-for-Papers
- http://www.icfpconference.org/contest.html
- Jersey City, NJ.
- August 23-28, 2020.
- Submission deadline: March 3, 2020.
-
SYSTOR 2021, 14th ACM International Systems and Storage Conference
- https://www.systor.org/2021/index.html
- https://www.systor.org/2021/cfp.html
- Haifa, Israel.
- June 14-16, 2021.
- Submission deadline: March 2, 2021.
-
S&P, IEEE Symposium on Security and Privacy
- http://www.ieee-security.org/TC/SP2021/
- http://www.ieee-security.org/TC/SP2021/cfpapers.html
- May 23-27, 2021.
May 18-20, 2020.- Virtual conference.
San Francisco, CA.- "A rolling deadline occurs on the 1st of each month, at 3:00 PM (UTC-7, i.e., PDT). This deadline is strict and no extensions will be granted."
- "All papers accepted by February 1st, 2020, or that are submitted as a revision by February 1st, 2020 and the revision is then accepted, will be included in the proceedings of the symposium in May, 2020 and invited to present their work. Other papers will be included in the 2021 proceedings."
- Submission deadlines:
- Spring Quarter Deadline: March 5, 2020.
- Summer Quarter Deadline: June 4, 2020.
- Fall Quarter Deadline: September 3, 2020.
- Winter Quarter Deadline: December 3, 2020.
- "All deadlines are 23:59:59 AoE (UTC-12)."
Rolling (Final deadline: Submit by December 1, 2019).
-
SIROCCO 2020, International Colloquium on Structural Information and Communication Complexity
- https://sirocco2020.cs.uni-paderborn.de/
- http://sirocco.hiit.fi/
- Paderborn, Germany
- June 29 - July 1, 2020.
- Submission deadline: March 6, 2020, 11:59 p.m. (AoE)
-
PAINE, International Conference on Physical Assurance and Inspection of Electronics
- http://paine-conference.org/
- http://paine-conference.org/call-for-papers
- July 28–29, 2020.
- Washington, D.C. area
- Submission deadline:
March 11March 18, 2020.
-
PATMOS 2019, International Symposium on Power and Timing Modeling, Optimization and Simulation
- http://www.patmos-conf.org
- Rhodes Island, Greece
- Submission deadline: Mid and Late March, 2019.
-
VL/HCC, IEEE Symposium on Visual Languages and Human-Centric Computing
- https://conf.researchr.org/home/vlhcc2020
- August 10-14, 2020.
- Dunedin, New Zealand.
- Submission deadline: March 15, 2020.
-
ICANN, International Conference on Artificial Neural Networks
- https://e-nns.org/icann2020/
- https://e-nns.org/icann2020/important-dates/
- https://e-nns.org/icann2020/conference-programme/conference-topics/
- September 15-18, 2020
- Bratislava, Slovakia
- Submission dates:
March 15April 30, 2020.
-
FPL, International Conference on Field-Programmable Logic and Applications
- https://www.fpl2020.org/
- http://www.fpl.org/h/
- August 31 - September 4, 2020.
- Gothenburg, Sweden.
- Submission deadline:
March 16 and 23March 23 and 30March 27 and April 3, 2020.
-
MobiCom, Annual International Conference on Mobile Computing and Networking
- Also, described in the 2021 Web page on February 12, 2021 as: ACM/IEEE Conference on Information Processing in Sensor Networks.
- https://www.sigmobile.org/mobicom/2021/
- https://www.sigmobile.org/mobicom/2021/cfp.html
- October 25-29, 2021.
September 21-25, 2019.- New Orleans, LA.
- Submission deadlines:
- Summer: August 14 and 21, 2020.
- Winter: March 19 and 26, 2021.
August 14 and 18, 2019.
-
ICER, ACM International Computing Education Research Conference
- https://icer.acm.org/icer-2020/research-papers/
- Dunedin, New Zealand.
- August 10-12, 2020.
- Submission deadlines: March 20 and 27, 2020.
-
ACM Multimedia, ACM International Conference on Multimedia
- https://2020.acmmm.org/call-for-paper.html
- https://acmmm.org/
- October 12-16, 2020
- Seattle, WA.
- Submission deadlines:
March 21 and 28April 25, 2020, AoE.
-
Hot Chips 32, Hot Chips: A Symposium on High Performance Chips
- https://www.hotchips.org/
- Stanford University, Palo Alto, CA
- August 16-18, 2020.
- Submission deadlines:
March 23April 6, 2020.
-
MWSCAS, IEEE International Midwest Symposium on Circuits and Systems
- http://mwscas2020.org/
- Springfield, MA, U.S.A..
- August 9-12, 2020.
- Submission deadline:
March 23April 27, 2019.
-
SoCS-19, 12th International Symposium on Combinatorial Search
- http://users.fit.cvut.cz/surynpav/socs2019/main.php?page=cfp
- July 16-17, 2019 (co-located with ICAPS-2019)
- Napa, CA
- Submission deadlines:
March 25 and April, 2019April 5, 2019
-
PDPTA'19, 25th International Conference on Parallel and Distributed Processing Techniques and Applications
- https://americancse.org/events/csce2019/conferences/pdpta19/submission_of_papers
- https://americancse.org/events/csce2019/conferences/pdpta19/dealines
- https://american-cse.org/
- Las Vegas, Nevada
- July 29 - August 1, 2019.
- Submission deadline: March 26, 2019.
-
CSCE'19, 2019 World Congress in Computer Science, Computer Engineering, and Applied Computing
- https://americancse.org/events/csce2019/conferences/
- Las Vegas, Nevada
- July 29 - August 1, 2019.
- Submission deadline: March 26, 2019.
-
RAID, International Symposium on Research in Attacks, Intrusions and Defenses
- http://www.raid-2019.org/callForPapers.html
- http://www.raid-2019.org/
- http://www.raid-symposium.org/
- Beijing, China
- September 23-25, 2019
- Submission deadline:
March 26, 2019April 2, 2019.
-
EDBT/ICDT 2020 Joint Conference
- ICDT, 23rd International Conference on Database Theory
- March 30 - April 2, 2020
- Copenhagen, Denmark
- https://diku-dk.github.io/edbticdt2020/?contents=important_dates.html
- ICDT Submission deadlines:
- 1st submission cycle: March 27 and April 3, 2019
- 2nd submission cycle: September 15 and 23, 2019
-
ASAP, IEEE International Conference on Application-specific Systems, Architectures and Processors
- IEEE International Conference on Application-specific Systems, Architectures and Processors
- https://asap2020.cs.manchester.ac.uk/cfp.html
- https://asap2020.cs.manchester.ac.uk/
- Manchester, U.K..
- July 6-8, 2020.
- Submission deadline:
March 27 and April 3April 10 and 17, 2020.
-
ITC 2020, International Test Conference
- http://www.itctestweek.org/
- http://www.itctestweek.org/wp-content/uploads/2019/11/ITC_2020_Call_for_Papers_final-4.pdf
- November 3-5, 2020.
- Washington, D.C..
- Submission deadline:
March 27 and April 3April 24 and May 1, 2020.
-
SenSys, ACM Conference on Embedded Networked Sensor Systems
- Conference on Embedded Networked Sensor Systems
- https://sensys2021.dei.uc.pt/about/
- http://sensys.acm.org/
- November ???, 2020
- ~November 16-19, 2020~~.
- Coimbra, Portugal.
- Submission deadlines:
- May 28 and June 4, 2021, 23:59 AoE.
March 27 and April 6April 10 and 17, 2020.
-
FM, International Symposium on Formal Methods
- http://formalmethods2019.inesctec.pt/?page_id=565
- FM Week
- Porto, Portugal.
- October 7-11, 2019.
- Submission deadline: March 28 and April 11, 2019.
-
QEST 2020, International Conference on Quantitative Evaluation of SysTems
- http://www.qest.org/qest2020/call-for-papers.html
- http://www.qest.org/qest2020/
- Vienna, Austria
- August 31 - September 3, 2020.
- Submission deadline:
March 27 and April 3April 24 and 30, 2020. - Topics:
- quantitative specification methods
- stochastic and non-deterministic models and metrics for:
- performance
- reliability
- safety
- correctness
- security
- QEST welcomes a diversity of modelling formalisms, programming languages and methodologies that incorporate quantitative aspects such as probabilities, temporal properties and other forms of non-determinism. This includes work on the combination of quantitative evaluation and verification with machine learning techniques. Papers may advance empirical, simulation and analytic methods.
- Systems of interest include computer hardware and software architectures, communication systems, cyber-physical systems, infrastructural systems, security systems and biological systems.
- QEST considers five types of papers:
- Theoretical: advance our understanding, apply to non-trivial problems and be mathematically rigorous.
- Methodological and technical: describe situations that require the development and proposal of new analysis processes and techniques.
- Application: describes a novel application, and compares with previous results.
- Tools: should motivate the development of the new tools and the formalisms they support, with a focus on the software architecture and practical capabilities.
- Tool demonstration: describe a relevant tool, as well as its features, evaluation, or any other information that may demonstrate the merits of the tool.
-
MICRO, IEEE/ACM International Symposium on Microarchitecture
- https://www.microarch.org/micro53/
- https://www.microarch.org
- Athens, Greece.
- October 17-21, 2020.
- Submission deadline:
March 27 and April 3April 10 and 17, 2020.
-
SOCC 2019, IEEE International System-on-Chip Conference
- https://www.ieee-socc.org
- Singapore
- Submission deadline: March 30, 2019.
-
ICCAD, International Conference On Computer Aided Design
- Postponed to Late May for 2020.
-
ISPDC-2019, International Symposium on Parallel and Distributed Computing
- http://www.ispdc.atlarge-research.com/call-for-papers/
- Amsterdam, The Netherlands.
- June 5-7, 2019.
- Submission deadline: April 1, 2019.
-
PPSN XVI, Sixteenth International Conference on Parallel Problem Solving from Nature
- https://ppsn2020.liacs.leidenuniv.nl/calls/
- Leiden, The Netherlands
- September 5-9, 2020
- Submission deadline: April 1 and 8, 2020.
-
ESWEEK, Embedded Systems Week
- https://www.esweek.org
- September 20-25, 2020.
- Hamburg, Germany.
- October 10-15, 2021.
- Shanghai, China.
- Submission deadline:
April 3 and 10April 3 and 17, 2020. - CASES, International Conference on Compilers, Architectures, and Synthesis for Embedded Systems
- CODES+ISSS, International Conference on Hardware/Software Codesign and System Synthesis
- EMSOFT, ACM SIGBED International Conference on Embedded Software
- Internet of Medical Things (IoMT) track
- International Symposium on Networks-on-Chip (NOCS); mentioned later in greater details.
- "RSP, International Symposium on Rapid System Prototyping".
-
IEEE International Conference on Quantum Computing & Engineering @ IEEE Quantum Week
- https://qce.quantum.ieee.org
- https://qce.quantum.ieee.org/callfortechnicalpapers/
- https://qce.quantum.ieee.org/submitdeadlinescontacts/
- October 12-16, 2020.
- Denver ─ Broomfield, Colorado, USA
- Submission deadlines: April 5 and 27, 2020, 23:59 hrs AoE.
-
FOCS, Annual IEEE Symposium on Foundations of Computer Science
- https://focs2020.cs.duke.edu/index.php/cfp/
- http://ieee-focs.org
- Durham, North Carolina.
- Conference dates: November 16-19, 2020.
- Submission deadline: April 9, 2019, 11:59 p.m. U.S. EDT.
-
SISPAD, International Conference on Simulation of Semiconductor Processes and Devices
- https://sites.google.com/view/sispad2020
- http://www.sispad.info/sispadinfo/
- September 23-25, 2020
- Kobe, Japan
- Submission deadline: April 6, 2020.
-
SC, International Conference for High Performance Computing, Networking, Storage, and Analysis
- https://sc21.supercomputing.org/
- https://sc21.supercomputing.org/all-dates-deadlines/
- https://sc21.supercomputing.org/submit/submission-deadlines/
- https://sc21.supercomputing.org/submit/
- St. Louis, MO.
- Submission deadline:
- student volunteers, or SCinet volunteer applications: March 1 - June 28, 2021.
- Papers: April 2 and 9, 2021.
- "All deadlines are as of 11:59 pm anywhere on earth."
- student cluster competition, SCC: February 8 - April 23, 2021.
- ACM Student Research Competition (SRC): August 6, 2021.
-
HPCS 2020, International Conference on High Performance Computing & Simulation
- http://hpcs2020.cisedu.info/
- July 20 – 24, 2020.
- Barcelona, Spain.
- Submission deadline: March 15, 2020.
-
NSDI '21, 18th USENIX Symposium on Networked Systems Design and Implementation
- https://www.usenix.org/conference/nsdi21/call-for-papers
- https://www.usenix.org/conference/nsdi21
- April 12–14, 2021.
- Boston, MA.
- Submission deadlines:
- Spring deadline: April 10 and 17, 2020, 11:59 p.m. U.S. EDT.
- Fall deadline: September 10 and 17, 2020, 11:59 p.m. U.S. EDT.
-
PACT, International Conference on Parallel Architectures and Compilation Techniques
- http://pactconf.org/
- https://pact20.cc.gatech.edu/
- October 3-7, 2020.
- Atlanta, Georgia.
- Submission deadline: April 10 and 17, 2020.
-
TAP 2019, 13th International Conference on Tests and Proofs
- https://tap.sosy-lab.org/2019/dates.php
- Part of the 3rd World Congress on Formal Methods
- October 9-11, 2019
- Porto, Portugal
- Submission deadline: April 11 and 25, 2019
-
IEEE SAS, IEEE Sensors Applications Symposium
- https://2021.sensorapps.org/call-papers
- https://2021.sensorapps.org/
- Sundsvall, Sweden.
- August 2-4, 2021.
- Submission deadline:
- April 12, 2021.
-
NSPW 2019, New Security Paradigms Workshop
- https://www.nspw.org/2019/dates
- https://www.nspw.org/2019/cfp
- San Carlos, Costa Rica
- September 23-26, 2019
- Submission deadline: April 12, 2019
-
ASPLOS, ACM International Conference on Architectural Support for Programming Languages and Operating Systems
- https://www.asplos-conference.org/asplos2024/cfp/
- https://www.asplos-conference.org/asplos2024/
- https://asplos-conference.org
- https://asplos-conference.org/calls/
- San Diego, CA.
- April 27 - May 1, 2024.
- Spring Abstract Submission deadline: April 13, 2023.
- Spring Paper Submission deadline: April 20, 2023.
- Summer Abstract Submission deadline: August 3, 2023.
- Summer Paper Submission deadline: August 10, 2023.
- Fall Abstract Submission deadline: November 23, 2023.
- Fall Paper Submission deadline: November 30, 2023.
- ASPLOS is co-sponsored by SIGPLAN, SIGARCH, and SIGOPS
-
FCT, 22nd International Symposium on Fundamentals of Computation Theory
- https://di.ku.dk/fct2019/call-for-papers/
- https://di.ku.dk/fct2019/
- Held every two years, in odd-numbered years.
- August 11–14, 2019
- Copenhagen, Denmark
- Submission deadline: April 14, 2019
-
SPLASH, ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
- https://2020.splashcon.org/
- Chicago, IL.
- November 15-20, 2020.
- Submission deadline: April 15, 2019 for OOPSLA.
- Onward! Papers submission deadlines:
- Round 1: April 17 and 23, 2020.
- Round 2: July 15, 2020.
- Onward! Essays submission deadlines:
- Round 1: April 23, 2020.
- Round 2: July 15, 2020.
- Onward! Papers submission deadlines:
-
OOPSLA, SPLASH 2019 OOPSLA, Object-oriented Programming, Systems, Languages, and Applications
- https://2020.splashcon.org/track/splash-2020-oopsla
- http://oopsla.org/oopsla-history/
- http://www.sigplan.org/Conferences/OOPSLA/
- Chicago, IL.
- November 15-20, 2020.
- Submission deadline: April 15, 2019.
- OOPSLA artifacts submission deadline: July 8, 2020.
-
GPCE, International Conference on Generative Programming: Concepts & Experiences
- https://conf.researchr.org/home/gpce-2020
- November 15-20, 2020.
- Chicago, IL.
- Submission deadline: April 15, 2020???
-
SecDev, IEEE Secure Development Conference
- https://secdev.ieee.org/2020/Papers/
- https://secdev.ieee.org/2020/Home
- September 28-30, 2020.
- Virtual conference.
Atlanta, GA.- Submission deadlines:
May 25, 2020, 23:59:59 AoEJune 1, 2020, 23:59:59 AoE..April 15-22, 2019.
- "Great SecDev contributions could come from attendees of industrial conferences like AppSec and RSA; from attendees of academic conferences like IEEE S&P, IEEE CSF, USENIX Security, CCS, NDSS, PLDI, ICSE, FSE, ISSTA, SOUPS, HOST, and others; and from newcomers."
-
CHES, Conference on Cryptographic Hardware and Embedded Systems
- https://ches.iacr.org/2021/callforpapers.php
- Beijing, China
- Possible venue change due to the spread of the coronavirus/COVID-19 virus infections.
- September 12-15, 2021.
- IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES)
- Submission deadlines:
- 1st round: July 15, 2020
- 2nd round: October 15, 2020
- 3rd round: January 15, 2020
- 4th round: April 15, 2020
-
Scala 2019 series/track
- https://2019.ecoop.org/home/scala-2019
- https://conf.researchr.org/series/scala
- London, U.K..
- Submission deadline: April 16, 2019.
-
SOSP 2019, 27th ACM Symposium on Operating Systems Principles
- https://sosp19.rcs.uwaterloo.ca/
- http://sosp.org/
- Huntsville, Ontario, Canada
- October 27-30, 2019
- Submission deadline: April 17 and 24, 2019.
-
ASE, IEEE/ACM International Conference on Automated Software Engineering
- https://conf.researchr.org/home/ase-2020
- http://ase-conferences.org/
- Melbourne, Australia.
- September 21-25, 2020.
- Submission deadline: April 17 and 24, 2019.
-
CP 2020, International Conference on Principles and Practice of Constraint Programming
- https://cp2020.a4cp.org/
- Louvain-la-Neuve, Belgium.
- September 7 - 11, 2020.
- Submission deadline: April 17 and 22, 2020.
-
VLSI-SoC, IFIP/IEEE International Conference on Very Large Scale Integration
- https://www.aconf.org/conf_173100.html
- https://sites.google.com/view/vlsi-soc-2020/
- Salt Lake City, UT.
- October 5-7, 2019.
- Submission deadlines: April 20 and 27, 2020.
-
ESEM, International Symposium on Empirical Software Engineering and Measurement
- Empirical Software Engineering International Week
- https://eseiw2020.di.uniba.it/esem_conf/important-dates/
- https://eseiw2020.di.uniba.it/
- http://esem-conferences.org/
- Bari, Italy
- October 5-9, 2020
- Submission deadline: April 20 and 27, 2019.
-
TABLEAUX, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
- https://tableaux2019.org/
- http://www.tableaux-ar.org/next.html
- London, U.K..
- September 3-5, 2019.
- Submission deadline: April 21-24, 2019.
-
FORMATS, International Conference on Formal Modeling and Analysis of Timed Systems
- https://lipn.univ-paris13.fr/formats2019/
- Amsterdam, The Netherlands.
- August 26-31, 2019.
- Submission deadline: April 21 and 24, 2019.
-
PPAM, International Conference on Parallel Processing and Applied Mathematics
- https://ppam.pl/
- Held every two years in odd-numbered years.
- Bialystok, Poland
- September 8-11, 2019
- Submission deadline:
April 21 and May 31, 2019.May 6 and June 17, 2019
-
ER 2019, 38th International Conference on Conceptual Modeling
- Salvador, Bahia, Brazil
- Nov 4–7, 2019
- https://www.inf.ufrgs.br/er2019/?page_id=34
- https://conceptualmodeling.org/
- Submission deadline: April 21, 2019
-
ESORICS 2019, European Symposium on Research in Computer Security
- http://conf.laas.fr/esorics/
- https://esorics2019.uni.lu/
- Luxembourg
- September 23-27, 2019
- Submission deadlines: April 22 and 29, 2019.
-
SAS, Static Analysis Symposium
- https://conf.researchr.org/home/sas-2020/
- http://staticanalysis.org
- November 18-20, 2020.
- Chicago, IL.
- Submission deadline: April 22 and 24, 2020.
-
SC, International Conference for High Performance Computing, Networking, Storage, and Analysis
- https://sc21.supercomputing.org/
- https://sc21.supercomputing.org/all-dates-deadlines/
- https://sc21.supercomputing.org/submit/submission-deadlines/
- https://sc21.supercomputing.org/submit/
- St. Louis, MO.
- Submission deadline:
- student volunteers, or SCinet volunteer applications: March 1 - June 28, 2021.
- Papers: April 2 and 9, 2021.
- "All deadlines are as of 11:59 pm anywhere on earth."
- student cluster competition, SCC: February 8 - April 23, 2021.
- ACM Student Research Competition (SRC): August 6, 2021.
-
NOCS, IEEE/ACM International Symposium on Networks-on-Chip
- http://nocs2020.engr.uky.edu/
- Hamburg, Germany.
- September 24-25, 2020.
- Shanghai, China.
- October 14-15, 2021.
- Submission deadline: April 24 and May 1, 2020.
-
MFCS 2019, 44th International Symposium on Mathematical Foundations of Computer Science
- http://mfcs.mff.cuni.cz/2020/
- August 24-28, 2020.
- Prague, Czech Republic.
- Submission deadline: April 20, 2019.
-
HLPP-202?, International Symposium on High-Level Parallel Programming and Applications
- https://www.ida.liu.se/conferences/hlpp2019/
- July 3-5, 2019
- Linköping, Sweden
- Submission deadline: April 25, 2019.
-
HOST, IEEE International Symposium on Hardware-Oriented Security and Trust
- http://www.hostsymposium.org/call-for-paper.php
- http://www.hostsymposium.org/
- http://www.ieee-security.org/Calendar/cfps/cfp-HOST2021.html
- https://easychair.org/conferences/?conf=host2021/
- Washington D.C..
- December 5-8, 2021.
May 4-8, 2020.- Submission deadlines:
- April 27 and May 4, 2021.
August 15, 2019 (round #1) and November 15, 2019 (round #2).
-
CSF, IEEE Computer Security Foundations Symposium
- http://www.ieee-security.org/TC/CSF2021/
- http://www.ieee-security.org/CSFWweb/
- June 21-25, 2021.
- Virtual Conference.
Boston, MA- Submission deadlines:
- Spring cycle: May 8, 2020.
- Fall cycle: October 2, 2020.
- Winter cycle: February 8, 2020.
- Spring cycle (for CSF 2022): early May, 2021.
- AoE (UTC-12h).
-
ALGO 2021,
- http://algo2021.tecnico.ulisboa.pt/index.html
- September 6-10, 2021.
- Lisbon, Portugal.
- Organized by the European Association for Theoretical Computer Science (EATCS).
- ESA, European Symposium on Algorithms
- http://esa-symposium.org/
- http://algo2021.tecnico.ulisboa.pt/ESA2021/index.html
- Submission deadline:
- May 3, 2021 (23:59 AoE).
April 24, 2020.
- ALGOSENSORS, International Symposium on Algorithms and Experiments for Wireless Sensor Networks
- http://algo2021.tecnico.ulisboa.pt/ALGOSENSORS2021/index.html
- Submission deadline: ???.
- ATMOS, Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems
IPEC, International Symposium on Parameterized and Exact Computation???- https://easychair.org/cfp/ipec2021
- http://algo2021.tecnico.ulisboa.pt/IPEC2021/index.html
- new techniques for the design and analysis of parameterized and exact algorithms;
- fixed-parameter tractability and kernelization results;
- parameterized complexity theory;
- parameterized (in)approximability results;
- relationships between parameterized complexity and traditional complexity classifications;
- applications of parameterized and exact computation; and
- implementation issues of exact, parameterized, and kernelization algorithms.
- Theoretically grounded studies on parameterized and exact computations and kernelization for real-world applications and algorithmic engineering are especially encouraged.
- Submission deadlines:
May 29 and June 1, 2019June 25 and 28, 2021.
- WAOA, Workshop on Approximation and Online Algorithms
- ALGOCLOUD, International Workshop on Algorithmic Aspects of Cloud Computing
- http://algo2021.tecnico.ulisboa.pt/ALGOCLOUD2021/index.html
- Submission deadline: July 8, 2021 ???(final extension)???.
-
ICIS, International Conference on Information Systems
- https://icis2020.aisconferences.org/
- https://icis2020.aisconferences.org/submissions/call-for-papers/
- https://aisnet.org/page/ICISPage
- https://aisnet.org/page/Prevandfutureconf
- Hyderabad, India
- December 13-16, 2020
- Submission deadline: May 3, 2020.
-
DISC, International Symposium on Distributed Computing
- http://www.disc-conference.org/wp/
- http://www.disc-conference.org/wp/disc2020/
- Freiburg, Germany.
- October 12-16, 2020.
- Submission deadline: May 14, 2020.
-
DFT, IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems
- http://www.dfts.org
- ESA-ESRIN, Frascati (Rome) Italy.
- October 19–21, 2020.
- Submission deadline: April 24 and May 8, 2020.
-
ICDSC 2019, 13th International Conference on Distributed Smart Cameras
- https://event.unitn.it/icdsc2019/
- Trento, Italy
- September 9-11, 2019
- Submission deadline: May 3, 2019.
-
CIKM 2021, 30th ACM International Conference on Information and Knowledge Management
- https://cikm2020.org/
- http://www.cikmconference.org/
- Australia
Online, originally meant to be held in Galway, Ireland (in 2020)- October 19-23, 2020.
- Submission deadlines: May 8 and 15, 2020.
-
FMCAD, International Conference on Formal Methods in Computer-Aided Design
- https://fmcad.org/FMCAD21/
- https://fmcad.org/FMCAD21/cfp/
- New Haven, Connecticut.
- October 20-22, 2021, with FMCAD Tutorial Day on October 19, 2021.
September 21-24, 2020.- Submission deadline:
- May 7 and 14, 2021.
Early deadline for 2020.April 9 and 16, 2020.
-
PPDP '19, 21st International Symposium on Principles and Practice of Programming Languages
- http://ppdp2019.macs.hw.ac.uk/ (no longer valid)
- Porto, Portugal
- October 7-9, 2019.
- Submission deadline:
May 4 and 10, 2019May 10, 2019.
-
IEEE Cluster 2020, IEEE Cluster Conference, IEEE International Conference on Cluster Computing (Cluster 202?)
- https://clustercomp.org/2020/
- Kobe, Japan.
- September 14-17, 2020.
- Submission deadline:
May 4 and 10, 2019May 10, 2019
-
OSDI '21, 15th USENIX Symposium on Operating Systems Design and Implementation
- https://www.usenix.org/conference/osdi21
- https://www.usenix.org/conference/osdi21/call-for-papers
- Santa Clara, CA.
November 4-6, 2020.- July 14–16, 2021.
Submission deadlines: May 5 and 12, 2019, 3:00 p.m. U.S. PST.- Submission deadlines: December 3 and 10, 2019, 3:00 p.m. U.S. PST.
- OSDI takes a broad view of the systems area and solicits contribu-tions from many fields of systems practice, including, but not limited to, operating systems, file and storage systems, distributed systems, cloud computing, mobile systems, secure and reliable systems, systems aspects of big data, embedded systems, virtualization, networking as it relates to operating systems, and management and troubleshooting of complex systems.
-
ICACS 2020, 4th International Conference on Algorithms, Computing and Systems
- http://icacs.org/topics.html
- Berlin, Germany
- September 26-28, 2020.
- Submission deadline: May 5, 2020.
-
MPC 2019, 13th International Conference on Mathematics of Program Construction
- http://www.cs.nott.ac.uk/~pszgmh/mpc19.html#submission
- Porto, Portugal
- October 7-9, 2019
- Submission deadline: May 7 and 10, 2019.
-
ICLP, 36th International Conference on Logic Programming
- https://iclp2020.unical.it/home
- September 18-24, 2020.
- Rende (CS), Italy.
- Submission deadline: May 8 and 15, 2020
- The program committee of the 35th International Conference on Logic Programming (ICLP) invites submissions of published journal papers and papers presented at related conferences for the Sister Conferences and Journal Presentation Track.
June 27, 2019.
- The program committee of the 35th International Conference on Logic Programming (ICLP) invites submissions of published journal papers and papers presented at related conferences for the Sister Conferences and Journal Presentation Track.
-
ISOCC, International SoC Design Conference
- URL
- VENUE
- Submission deadline: ????
- IEEE Transactions on Emerging Topics in Computational Intelligence (TETCI)
- "nature-inspired computing topics"
- "A few such illustrative examples are glial cell networks, computational neuroscience, Brain Computer Interface, ambient intelligence, non-fuzzy computing with words, artificial life, cultural learning, artificial endocrine networks, social reasoning, artificial hormone networks, computational intelligence for the IoT and Smart-X technologies."
- https://cis.ieee.org/publications/t-emerging-topics-in-ci
- IEEE Transactions on Multi-Scale Computing Systems (TMSCS)
- "The IEEE Transactions on Multi-Scale Computing Systems (TMSCS) is a peer-reviewed publication devoted to computing systems that exploit multi-scale and multi-functionality. These systems consist of computational modules that utilize diverse implementation scales (from micro down to the nano scale) and heterogeneous hardware and software functionalities; moreover, these modules can be based on operating principles and models that are valid within but not necessarily across their respective scales and computational domains. Contributions to TMSCS must address computation of information and data at higher system-levels for processing by digital and emerging domains. These computing systems can also rely on diverse frameworks based on paradigms at molecular, quantum and other physical, chemical and biological levels. Innovative techniques such as inexact computing, management/optimization of smart infrastructures and neuromorphic modules are also considered within scope."
- " This publication covers pure research and applications within novel topics related to high performance computing, computational sustainability, storage organization and efficient algorithmic information distribution/processing; articles dealing with hardware/software implementations (functional units, architectures and algorithms), multi-scale modeling and simulation, mathematical models and designs across multiple scaling domains and functions are encouraged. Novel solutions based on digital and non-traditional emerging paradigms are sought for improving performance and efficiency in computation. Contributions on related topics would also be considered for publication."
- Topics include, but are not limited to, the following:
- Cross-layer and multi-scale design and optimization
- Efficient algorithms for information distribution/processing
- Nanoelectronics, including biological, quantum, and post-CMOS devices and circuits
- High-performance multicore and cloud computing, memory, and storage systems
- Hardware and software solutions for IoT applications
- Design techniques for reliability, security, and testability at various scales
- Cyber-physical systems and systems of systems
- Smart grid and smart city
- Sustainable and green computing
- New and emerging application areas and computing trend
- https://www.computer.org/web/tmscs/about
- IEEE Transactions on Sustainable Computing (T-SUSC)
- https://www.computer.org/csdl/journal/su
- https://mc.manuscriptcentral.com/tsusc-cs
- The IEEE Transactions on Sustainable Computing (TSUSC) is a peer-reviewed journal devoted to publishing high-quality papers that explore the different aspects of sustainable computing, over a wide range of problem domains and technologies from software and hardware designs to applications. Sustainability includes energy efficiency, natural resources preservation, and use of multiple energy sources as needed in computing devices and infrastructure.
- Solutions for these problems call upon a wide range of algorithmic and computational frameworks, such as optimization, machine learning, decision support systems, meta-heuristics, and game-theory. Contributions to TSUSC must address sustainability problems in computing and information processing environments and technologies, and at different levels of the computational process.
- IEEE Transactions on Circuits and Systems I: Regular Papers (TCAS-I)
- The IEEE Transactions on Circuits and Systems I: Regular Papers (TCAS-I) publishes regular papers in areas of relevance to the IEEE Circuits and Systems Society, namely the theory, analysis, design, and practical implementation of circuits, and the application of circuit techniques to systems and signal processing.
- The topics of interest covered include:
- Analog, Digital and Mixed Signal Circuits and Systems.
- Nonlinear Circuits and Systems.
- Circuits and Systems for Communications.
- Power Electronics and Systems.
- Software for Analog and Digital Circuits and Systems.
- Control aspects of Circuits and Systems.
- The technical content of submitted papers is expected to have a clear connection to the general theme of circuits and systems. For areas which may contain subjects at the borderline with the domain of competence of other IEEE Societies, such as Communications, Control, and Signal Processing it is expected that papers submitted to TCAS-I will focus on the impact that a particular signal processing or communications algorithm or control theoretical result, may have on the design/implementation/performance of the corresponding circuit or system. Similarly, for papers which belong to the category Power Electronics and Systems, TCAS-I should only receive papers which clearly exploit circuit theoretic methodologies in their analysis/design or present significant results in the integrated circuit implementation. Papers not following these recommendations may be immediately returned to the authors.
- https://ieee-cas.org/publications/transactions-circuits-and-systems-i-regular-papers
- https://ieee-cas.org/pubs/tcas1
- https://ieee-cas.org/pubs/tcas1/information-authors
- IEEE Computer Architecture Letters (CAL)
- "IEEE Computer Architecture Letters is a rigorously peer-reviewed forum for publishing early, high-impact results in the areas of uni- and multiprocessor computer systems, computer architecture, microarchitecture, workload characterization, performance evaluation and simulation techniques, and power-aware computing. Submissions are welcomed on any topic in computer architecture, especially but not limited to: microprocessor and multiprocessor systems, microarchitecture and ILP processors, workload characterization, performance evaluation and simulation techniques, compiler-hardware and operating system-hardware interactions, interconnect architectures, memory and cache systems, power and thermal issues at the architecture level, I/O architectures and techniques, independent validation of previously published results, analysis of unsuccessful techniques, domain-specific processor architectures (e.g., embedded, graphics, network, etc.), real-time and high-availability architectures, reconfigurable systems."
- https://www.computer.org/web/cal/about
- IEEE Transactions on Dependable and Secure Computing (TDSC)
- "IEEE Transactions on Dependable and Secure Computing (TDSC) publishes archival research results focusing on research into foundations, methodologies, and mechanisms that support the achievement–through design, modeling, and evaluation–of systems and networks that are dependable and secure to the desired degree without compromising performance. The focus also includes measurement, modeling, and simulation techniques, and foundations for jointly evaluating, verifying, and designing for performance, security, and dependability constraints."
- https://www.computer.org/web/tdsc/about
- IEEE Embedded Systems Letters (ESL)
- The journal is currently published quarterly consisting of new, short and critically refereed technical papers. Submissions are welcome on any topic in the broad area of embedded systems and embedded software, especially but not limited to:
- Architectural and micro-architectural design of embedded systems: microarchitectures, customizable processors, signal processing, multi-processor SOC and NOC architectures;
- Design automation algorithms, methods, and tools for VLSI implementations: specification languages, models and synthesis methods;
- Component modeling and component-based development methodologies; Hardware-software co-design, co-design methodologies, design exploration tools;
- Compilation and managed runtime environments for embedded systems; Profiling, measurement, analysis techniques for embedded applications; OS, middleware and support systems for embedded-system design;
- Programming languages and software engineering for embedded or realtime applications;
- Non-functional aspects of embedded systems including low power, reliability, dependability and availability. Low power design and power management;
- Testing, validation, and verification of embedded software;
- Embedded systems security;
- Applications of embedded systems and software: military, avionics, and automotive: case studies, applications of new methodologies and tools to applications with increased system heterogeneity and scale.
- https://ieee-ceda.org/publication/esl-publication/about
- The journal is currently published quarterly consisting of new, short and critically refereed technical papers. Submissions are welcome on any topic in the broad area of embedded systems and embedded software, especially but not limited to:
- IEEE Transactions on Very Large Scale Integration (VLSI) Systems (TVLSI)
- Design and realization of microelectronic systems using VLSI/ULSI technologies requires close collaboration among scientists and engineers in the fields of systems architecture, logic and circuit design, chips and wafer fabrication, packaging, testing, and systems applications. Generation of specifications, design, and verification must be performed at all abstraction levels, including the system, register-transfer, logic, circuit, transistor, and process levels. To address this critical area through a common forum, the IEEE Transactions on VLSI Systems was founded.
- Design and realization of microelectronic systems using VLSI/ULSI technologies requires close collaboration among scientists and engineers in the fields of systems architecture, logic and circuit design, chips and wafer fabrication, packaging, testing, and systems applications. Generation of specifications, design, and verification must be performed at all abstraction levels, including the system, register-transfer, logic, circuit, transistor, and process levels.
- To address this critical area through a common forum, the IEEE Transactions on VLSI Systems was founded. The editorial board, consisting of international experts, invites original papers which emphasize the novel system integration aspects of microelectronic systems, including interactions among system design and partitioning, logic and memory design, digital and analog circuit design, layout synthesis, CAD tools, chips and wafer fabrication, testing and packaging, and system level qualification. Thus, the coverage of this Transactions focuses on VLSI/ULSI microelectronic system integration.
- Topics of special interest include, but are not strictly limited to, the following:
- System Specification, Design and Partitioning,
- System-level Test
- Reliable VLSI/ULSI Systems
- High Performance Computing and Communication Systems
- Wafer Scale Integration and Multichip Modules (MCMs)
- High-Speed Interconnects in Microelectronic Systems
- VLSI/ULSI Neural Networks and Their Applications
- Adaptive Computing Systems with FPGA components
- Mixed Analog/Digital Systems
- Cost, Performance Tradeoffs of VLSI/ULSI Systems
- Adaptive Computing Using Reconfigurable Components (FPGAs)
- "Call for Paper" for special issues.
- Previous "Call for Paper" for special issue.
- System security and privacy:IoT security, embedded systems security, hardware security and trust, physically unclonable functions, random number generators, machine learning assisted side channel analysis, machine learning for detection of side channel attacks, malware, etc.
- Machine learning for security:machine learning techniques, cognitive systems, artificial intelligence, adversarial learning, fault tolerance of AI, robust AI, secure hardware implementations of cryptographic functions
- Applications and case studies:FPGA security, smart autonomous systems, security- and privacy- aware data analytics, design for safety and certifications in airborne, health care, automotive and IoT applications, FPGA accelerators for analytics on encrypted data.
- We interact with a large variety of computing systems in our daily life. These computing systems are connected through the network to provide a wide array of services. Depending on our specific circumstances, our interactions can be with embedded and cyber-physical systems or Internet-of-Things (IoT) devices. While these devices vary in terms of form factors, performance, and energy constraints, for all these devices, security and privacy issues have come to the forefront of design considerations. These systems collect and analyze our personal, financial as well as health information on a regular basis.Consequently, research and development efforts in academia and industry have been increasingly focusing on designing systems with security and privacy in mind. Given the complexity of these systems and the diversity of the potential attacks, machine learning has become an attractive solution for security and privacy analytics. It has made its mark for detecting known software, firmware as well as hardware vulnerabilities. Recent efforts have also highlighted the need for design automation techniques to ensure that the implementation of machine learning algorithms is robust against faults and side channels to enhance the overall system security.
- This special issue is about security challenges and solutions with emerging computing technologies, including circuit design, architecture, automation and studies on vulnerabilities.
- Multiple emerging computing technologies, based on, e.g., Graphene, Spintronics, Resistive RAM, Quantum Computing and others are being developed to enhance the capabilities of logic devices and circuits. The rapid growth in these technologies is synchronized with the decline of Moore's law, and thus promises to herald the era of Beyond CMOS technologies with a significant improvement in energy-efficiency, reliability, performance and manufacturability. These devices enable very different computing paradigms, e.g., neuromorphic computing, non-Boolean computing, and in-memory computing, thus making these platforms an interesting playground for circuit, and application-developers alike.
- For example, several of these devices are opening up new information side channels, which require careful analysis before using those as implementation platforms for cryptographic primitives. From another perspective, phenomenon like cross-talk in these devices can threaten well-founded counter-measures like masking which assume independence of the mask values. Likewise, fault tolerance of these devices in the context of security needs a fresh evaluation. On the other hand, for many practical use cases like IoT/CPS, and emerging cryptographic standards like post-quantum cryptography, the security kernels and countermeasures need to be designed with stringent constraints on area/energy footprints. Therefore, identifying suitable design choices and adapting them to different applications in the IoT/CPS context is a need of the hour. In essence, both the design and attack paradigms for secure systems are blended with the emergence of new computing technologies, which will be covered in this special issue.
- Security Kernel Design:
- Device/Circuit perspectives, co-design for emerging technologies for security systems
- Post-Quantum Cryptography on Beyond-CMOS technologies
- Modeling, Implementation, Testing and Benchmarking of Physically Unclonable Functions using Emerging Technologies
- Beyond Von Neumann architectures: (neuromorphic, in-memory computing) and their implication on the design, and resilience of security accelerators
- Practical Implementations and Case Studies using emerging technologies for security applications
- Novel technology/circuit-level Attack Resistance Mechanisms
- Chain-of-Trust Design in Emerging Computing Technologies
- Fundamental enhancements in neuromorphic computing to support security/trust mechanism design
- Quantum-Enabled Attacks, Modeling Attacks, Information Leakage and Side-Channel Attack:
- New passive/active side channel attacks on circuits built using emerging computing technologies
- Modeling of Information Leakage for emerging computing technologies and Side-Channel Attacks
- Fault attacks for emerging technologies using novel equipment
- Novel Quantum-enabled attacks on cryptosystems and estimations
- Machine Learning Attacks on secure systems designed using emerging technologies
- Benchmarking of emerging computing technologies from their suitability as a platform for security system design
- Previous "Call for Paper" for special issue.
- http://tvlsi.egr.duke.edu/
- https://ieee-cas.org/publications/transactions-very-large-scale-integration-systems
- IEEE Transactions on Computers (TC)
- "These areas include, but are not limited to, the following: a) computer organizations and architectures; b) operating systems, software systems, and communication protocols; c) real-time systems and embedded systems; d) digital devices, computer components, and interconnection networks; e) specification, design, prototyping, and testing methods and tools; f) performance, fault tolerance, reliability, security, and testability; g) case studies and experimental and theoretical evaluations; and h) new and important applications and trends."
- https://www.computer.org/web/tc/about
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
- The purpose of this Transactions is to publish papers of interest to individuals in the area of computer-aided design of integrated circuits and systems composed of analog, digital, mixed-signal, optical, or microwave components. The aids include methods, models, algorithms, and man-machine interfaces for system-level, physical and logical design including planning, synthesis, partitioning, modeling, simulation, layout, verification, testing, hardware-software codesign and documentation of integrated circuit and system designs of all complexities. Design tools and techniques for evaluating and designing integrated circuits and systems for metrics such as performance, power, reliability, testability, and security are a focus.
- https://ieee-ceda.org/publication/tcad-publication
- IEEE Journal on Exploratory Solid-State Computational Devices and Circuits (JXCDC), author fee required
- IEEE Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS)
- "The IEEE Journal on Emerging and Selected Topics in Circuits and Systems is published quarterly and solicits, with particular emphasis on emerging areas, special issues on topics that cover the entire scope of the IEEE Circuits and Systems (CAS) Society, namely the theory, analysis, design, tools, and implementation of circuits and systems, spanning their theoretical foundations, applications, and architectures for signal and information processing."
- http://ieee-cas.org/pubs/jetcas/information-authors
- IEEE Transactions on Emerging Topics on Computing (TETC)
- "IEEE Transactions on Emerging Topics in Computing publishes papers on emerging aspects of computer science, computing technology, and computing applications not currently covered by other IEEE Computer Society Transactions."
- "Some examples of emerging topics in computing include: IT for Green, Synthetic and organic computing structures and systems, Advanced analytics, Social/occupational computing, Location-based/client computer systems, Morphic computer design, Electronic game systems, & Health-care IT."
- https://www.computer.org/web/tetc
- Journal of the ACM (JACM)
- The Journal of the ACM (JACM) provides coverage of the most significant work on principles of computer science, broadly construed. The scope of research we cover encompasses contributions of lasting value to any area of computer science. To be accepted, a paper must be judged to be truly outstanding in its field. JACM is interested in work in core computer science and at the boundaries, both the boundaries of subdisciplines of computer science and the boundaries between computer science and other fields.
- Algorithms and Combinatorial Optimization
- Algorithms and Data Structures
- Algorithms, Combinatorial Optimization, and Games
- Artificial Intelligence
- Complexity Theory
- Computational Biology
- Computational Geometry
- Computer Graphics and Computer Vision
- Computer-Aided Verification
- Cryptography and Security
- Cyber-Physical, Embedded, and Real-Time Systems
- Database Systems and Theory
- Distributed Computing
- Economics and Computation
- Information Theory
- Logic and Computation
- Logic, Algorithms, and Complexity
- Machine Learning and Computational Learning Theory
- Networking
- Parallel Computing and Architecture
- Programming Languages
- Quantum Computing
- Randomized Algorithms and Probabilistic Analysis of Algorithms
- Scientific Computing and High Performance Computing
- Software Engineering
- Web Algorithms and Data Mining
- https://jacm.acm.org/about.cfm
- ACM Journal on Emerging Technologies in Computing Systems (JETC)
- https://jetc.acm.org/
- Author Guidelines: Manuscript Preparation
- About JETC Scope
- "The Journal of Emerging Technologies in Computing Systems invites submissions of original technical papers describing research and development in emerging technologies in computing systems. Major economic and technical challenges are expected to impede the continued scaling of semiconductor devices. This has resulted in the search for alternate mechanical, biological/biochemical, nanoscale electronic, asynchronous and quantum computing and sensor technologies. As the underlying nanotechnologies continue to evolve in the labs of chemists, physicists, and biologists, it has become imperative for computer scientists and engineers to translate the potential of the basic building blocks (analogous to the transistor) emerging from these labs into information systems. Their design will face multiple challenges ranging from the inherent (un)reliability due to the self-assembly nature of the fabrication processes for nanotechnologies, from the complexity due to the sheer volume of nanodevices that will have to be integrated for complex functionality, and from the need to integrate these new nanotechnologies with silicon devices in the same system."
- The journal provides comprehensive coverage of innovative work in the specification, design analysis, simulation, verification, testing, and evaluation of computing systems constructed out of emerging technologies and advanced semiconductors. Topics include, but are not limited to:
- Logic Primitive Design and Synthesis
- how to design computational logic primitives from the new nanotechnologies and design tools supporting their effective design and verification
- System-Level Specification, Design and Synthesis
- how to interconnect these computational primitives to build complete information systems, and design tools for specifying, synthesizing, and verifying such systems
- Software-Level Specification, Design and Synthesis
- how to develop the necessary software so that applications can be effectively mapped onto information systems implemented using these new nanotechnologies, and tools for generating and verifying the software
- Mixed-Technology Systems
- how to interface across potentially hybrid nanotechnologies that may co-exist in the same information system
- Interactions of Emerging Technologies and Applications
- how to develop software/hardware for emerging technologies/applications such as neuromorphic computing and machine learning, system security/privacy, etc.
- Logic Primitive Design and Synthesis
- "JETC publishes research papers (no more than 25 pages in the ACM Journal/Transactions Format, http://www.acm.org/publications/submissions), tutorial and survey papers (approximately 40 to 50 pages with an extensive bibliography), and short technical notes (less than ten pages). Excessively over-length research paper will be returned without review."
- ACM Transactions on Architecture and Code Optimization (TACO)
- https://taco.acm.org/about.cfm
- "The average turnaround time from submission to first response is 47 days, and at most 2 months. For revised manuscripts, the review process goes even faster. Many accepted manuscripts go through two rounds of review to reach a final decision only 5 months after submission. Accepted manuscripts are published in the digital library immediately after acceptance. They are printed in the next ACM TACO issue, which means an extra delay of at most 3 months. Hence, excellent manuscripts can make it from submission to print in 6 months; papers needing a major revision will make it to print in at most 9 months. The ACM TACO acceptance rate after two review rounds varies around 30%."
- ACM Transactions on Cyber-Physical Systems (TCPS)
- https://tcps.acm.org/about.cfm
- TCPS will cover the following topics:
- Computation Abstractions
- System Modeling and Languages
- System Compositionality and Integration
- Design Automation and Tool Chains
- Trustworthy System Designs
- Resilient and Robust System Designs
- Human in the Loop.
- The application domains covered by TCPS include, but not limited to: Healthcare, Transportation, Automotive, Avionics, Energy, Living Space, and Robotics.
- ACM Transactions on Embedded Computing Systems (TECS)
- ACM Transactions on Computational Logic (TOCL)
- https://tocl.acm.org/
- https://tocl.acm.org/about.cfm
- In particular, submissions on the semantic aspects of the mentioned topics are welcome.
- Automated Deduction
- Automata and Temporal Logic
- Automated Verification
- Concurrency Calculi and Tools
- Constraint Programming
- Finite Model Theory and Complexity of Logical Theories
- Functional Programming and Lambda Calculus
- Logical Aspects of Computational Complexity
- Logical Aspects of Computational Linguistics and Computational Semantics
- Logical Aspects of Databases
- Logical Aspects of Knowledge Representation, Logic of Geometry, Physics, and Other Commonsense Domains
- Logic and Machine Learning
- Logic Programming
- Logics of Uncertainty
- Modal Logic, Epistemic Logic, Dynamic Logic, Logic and Games
- Model Checking and Formal Methods
- Nonmonotonic Reasoning and Answer Sets
- Program Development and Verification
- Program Specification
- Proof Theory
- Term Rewriting Systems
- Type Theory and Logical Frameworks
- ACM Transactions on Computer Systems (TOCS)
- https://tocs.acm.org/scope.cfm
- ACM Transactions on Computer Systems (TOCS) presents research and development results on the design, implementation, analysis, evaluation, and use of computer systems and systems software. The term "computer systems" is interpreted broadly and includes operating systems, systems architecture and hardware, distributed systems, optimizing compilers, and the interaction between systems and computer networks. Articles appearing in TOCS will tend either to present new techniques and concepts, or to report on experiences and experiments with actual systems. Insights useful to system designers, builders, and users will be emphasized.
- Cloud systems
- Dependable Systems
- Design of entire systems
- Distributed systems
- Embedded Systems
- File and storage systems
- Impact of technology trends
- Mobile systems
- Operating systems
- Performance and power optimization
- Secure systems
- System Management
- System verification
- Systems and Compiler Optimization
- Systems and Computer Architecture
- Systems and Databases
- Systems and Networking
- Systems and Programming Languages
- Virtualization
- ACM Transactions on Computation Theory (TOCT)
- https://toct.acm.org/about.cfm
- "The ACM Transactions on Computation Theory (ToCT) is a peer-reviewed journal that explores the mathematical nature of computation and its theoretical limitations (with an emphasis on computational complexity, foundations of cryptography and other computation-based topics in theoretical computer science)."
- ACM Transactions on Design Automation of Electronic Systems (TODAES)
- https://todaes.acm.org/about.cfm
- "TODAES aims at fast review turnarounds such that the first review results will come out within 60 days on average."
- "The journal intends to provide a comprehensive coverage of innovative works concerning the specification, design, analysis, simulation, testing, and evaluation of very large scale integrated electronic systems, emphasizing a computer science/engineering orientation."
- ACM Transactions on Modeling and Computer Simulation (TOMACS)
- https://tomacs.acm.org/about.cfm
- "The ACM Transactions on Modeling and Computer Simulation (TOMACS) provides a single archival source for the publication of high-quality research and developmental results referring to all phases of the modeling and simulation life cycle. The subjects of emphasis are discrete event simulation, combined discrete and continuous simulation, as well as Monte Carlo methods."
- Topics include:
- Modeling Methodology:
- modeling languages, model reuse, component-based approaches, agent-based approaches, multi-formalism modeling, hierarchical, multi-level modeling, meta modeling and visual modeling, composition and refinement of models, hybrid modeling.
- Model Execution:
- development and analysis of algorithms and data structures, approximative algorithms, hybrid algorithms, parallel algorithms, including GPU based approaches, distributed simulation, grid-based and cloud-based execution, inter-operation of simulation systems, distributed simulations for training, test and evaluation purposes, data driven simulation.
- Random numbers and objects:
- random number generators and testing, low-discrepancy sequences, random variate transformations, stochastic process and random object generators, statistical distribution fitting and data modeling.
- Experiment design and simulation analysis:
- analysis of the stochastic nature of simulation output and algorithms, including rare event simulation, simulation-based optimization and search, sensitivity analysis, variance reduction techniques and Markov chain Monte Carlo approaches.
- Verification, validation, and accreditation of models:
- detailed studies, workflow-based support, addressing questions of provenance, statistical model checking, reproducibility of simulation results.
- Interplay between other areas of computer science and simulation:
- simulation for decision support, workflows, artificial intelligence, virtual reality, big data, service-oriented approaches, grid-computing, visual analytics, probabilistic programming.
- Advanced Applications:
- Novel techniques and tools for simulating specific complex systems such as those arising in communication networks, computer science, cyber physical systems, health care, manufacturing, social science, systems biology, systems medicine, transportation systems.
- Modeling Methodology:
- ACM Transactions on Modeling and Performance Evaluation of Computing Systems (TOMPECS)
- "ACM Transactions on Modeling and Performance Evaluation of Computing Systems (ToMPECS) is a new ACM journal that publishes refereed articles on all aspects of the modeling, analysis, and performance evaluation of computing and communication systems."
- ACM ToMPECS solicits and will publish peer-reviewed articles that:
- Define, develop, and assess new performance evaluation methodologies, including analytical techniques, experimental design, formal methods, instrumentation techniques, mathematical modeling, optimization, queueing theory, reliability analysis, simulation, statistical analysis, stochastic modeling, verification and validation, and workload characterization;
- Provide new insights on the performance of computing and communication systems; or
- Introduce new settings in which performance modeling and evaluation can play an important role.
- "The target areas for the application of these performance evaluation methodologies are broad, and include traditional areas such as computer networks, computer systems, storage systems, telecommunication networks, and Web-based systems, as well as new areas such as data centers, green computing/communications, energy grid networks, and on-line social networks."
- https://tompecs.acm.org/about.cfm
- ACM Transactions on Reconfigurable Technology and Systems (TRETS)
- Topics appropriate for TRETS include all levels of reconfigurable system abstractions and all aspects of reconfigurable technology including platforms, programming environments and application successes, such as:
- The systems architecture of a reconfigurable platform.
- Programming environments of reconfigurable systems, especially those designed for use with reconfigurable systems that will lead to increased programmer productivity.
- Logic synthesis and related tools, as they relate to reconfigurable systems.
- Languages and compilers for reconfigurable systems.
- Applications on which success can be demonstrated.
- The underlying technology from which reconfigurable systems are developed, including FPGA architectures and their associated computer-aided design algorithms.
- https://trets.acm.org/about.cfm
- Topics appropriate for TRETS include all levels of reconfigurable system abstractions and all aspects of reconfigurable technology including platforms, programming environments and application successes, such as:
- ACM Transactions on Modeling and Computer Simulation (TOMACS)
- The ACM Transactions on Modeling and Computer Simulation (TOMACS) provides a single archival source for the publication of high-quality research and developmental results referring to all phases of the modeling and simulation life cycle. The subjects of emphasis are discrete event simulation, combined discrete and continuous simulation, as well as Monte Carlo methods.
- Modeling Methodology: modeling languages, model reuse, component-based approaches, agent-based approaches, multi-formalism modeling, hierarchical, multi-level modeling, meta modeling and visual modeling, composition and refinement of models, hybrid modeling.
- Model Execution: development and analysis of algorithms and data structures, approximative algorithms, hybrid algorithms, parallel algorithms, including GPU based approaches, distributed simulation, grid-based and cloud-based execution, inter-operation of simulation systems, distributed simulations for training, test and evaluation purposes, data driven simulation.
- Random numbers and objects: random number generators and testing, low-discrepancy sequences, random variate transformations, stochastic process and random object generators, statistical distribution fitting and data modeling.
- Experiment design and simulation analysis: analysis of the stochastic nature of simulation output and algorithms, including rare event simulation, simulation-based optimization and search, sensitivity analysis, variance reduction techniques and Markov chain Monte Carlo approaches.
- Verification, validation, and accreditation of models: detailed studies, workflow-based support, addressing questions of provenance, statistical model checking, reproducibility of simulation results.
- Interplay between other areas of computer science and simulation: simulation for decision support, workflows, artificial intelligence, virtual reality, big data, service-oriented approaches, grid-computing, visual analytics, probabilistic programming.
- Advanced Applications: Novel techniques and tools for simulating specific complex systems such as those arising in communication networks, computer science, cyber physical systems, health care, manufacturing, social science, systems biology, systems medicine, transportation systems.
- Future Generation Computer Systems
- Applications and application support:
- Novel applications for novel e-infrastructures
- Complex workflow applications
- Big Data registration, processing and analyses
- Problem solving environments and virtual laboratories
- Semantic and knowledge based systems
- Collaborative infrastructures and virtual organizations
- Methods for high performance and high throughput computing
- Urgent computing
- Scientific, industrial, social and educational implications
- Education
- Methods and tools:
- Tools for infrastructure development and monitoring
- Distributed dynamic resource management and scheduling
- Information management
- Protocols and emerging standards
- Methods and tools for internet computing
- Security aspects
- Theory:
- Process specification;
- Program and algorithm design
- Theoretical aspects of large scale communication and computation
- Scaling and performance theory
- Protocols and their verification
- Applications and application support:
If I am using noise-based logic to implement neuromorphic processors, send the article(s) to TETCI.
For cell-library implementation, circuit simulation (or, logic simulation) for noise-based logic, try the following:
- ACM JETC
- ACM TOCL
- ACM TOCS
- ACM TODAES
- ACM ToMPECS
- IEEE JETCAS
- IEEE TETC
- IEEE TCAD
- IEEE TMSCS
- IEEE TC
- ACM JACM
- ACM Journal of Experimental Algorithmics (JEA):
- The first publication devoted entirely to experimental work in algorithms and data structures
- The Journal of Experimental Algorithmics (ISSN 1084-6654) is a high-quality journal devoted to the study of discrete algorithms and data structures from an empirical perspective. The journal welcomes original submissions that focus on design, implementation, and performance evaluation through a combination of experimentation and classical techniques.
- JEA joins RCR: Replicated Computational Results Initiative
- Authors of articles nearly-accepted in JEA will now be invited to apply for an RCR certificate attached to their article. For those that accept, a further reviewer will be appointed to ensure that their experimental results can be replicated. The RCR initiative aims to improve the reproducibility of experimental results in the community and adds to the trustability of the experimental results in the articles published in JEA. For more details see RCR Initiative page.
- RCR review process: We expect that this extra reviewing will be light and will not noticeably extend the reviewing period, as it will run in parallel with the last stages of standard reviewing (the referee will communicate with the authors directly via email). The Reproducibility Referee may advise the authors on what additional information to add in the article in order to let readers reproduce the results faithfully. Reacting to this advice works in the same way as with standard referees: the parties iterate until the referee is satisfied. Ultimately, this referee will declare whether or not the computational results in the manuscript are reproducible.
- Methods for replicating results: We rely on the expertise of the Reproducibility Reviewer to make the final determination of the designation. Presently we have two basic approaches for assessing replicability. The first is more desirable, but not always possible.
- Independent replication: The authors provide the RCR reviewer access to, or sufficient description of, the computational platform used to produce the manuscript results. Access could be:
- A direct transfer of software to the reviewer or a pointer to an archive of the software, and a description of a commonly available computer system the reviewer can access.
- A guest account and access to the software on the system used to produce the results.
- Detailed observation of the authors replicating the results.
- To prepare the data for the review process, the authors must send to the designated Reproducibility Reviewer:
- A repository which includes the relevant source code.
- A readme file which describes how to run the experiments.
- A script which triggers all experiments (e.g., generates or downloads necessary input files, compiles the programs, runs the experiments, and generates data and tables/figures).
- An assignment of generated tables/figures (possibly also in the readme file) to tables/figures in the accepted paper.
- Review of computational results artifacts: In some situations, authors may not be able to readily replicate computational results. Results may be from a system that is no longer available, or may be on a leadership class computing system to which access is very limited. In these situations, careful documentation of the process used to produce results could be sufficient for an RCR designation. In this case, the software should have its own substantial verification process to give the reviewer confidence that computations were performed correctly. If timing results are reported, the authors' artifacts should include validation testing of the timers used to report results.
- To stimulate research in algorithms based upon implementation and experimentation; in particular, to encourage testing, evaluation and reuse of complex theoretical algorithms and data structures.
- To distribute programs and testbeds throughout the research community and to provide a repository of useful programs and packages to both researchers and practitioners.
- The ACM JEA was established to address the following issues:
- The empirical study of combinatorial algorithms is a rapidly growing research area, with no proper outlet for publication.
- Communication among researchers in this area must include more than a summary of results or a discussion of methods; the actual programs and data used are of critical importance.
- Many published algorithms and data structures have never been implemented by anyone and are at risk of remaining theoretical "curiosities.'' To bring such algorithms and data structures into the practical realm often requires considerable sophistication; researchers need to be encouraged to turn their talents in that direction.
- Most researchers find that they must program their own version of this or that well-known algorithm or data structure, because repositories for these are not available.
- The two preceding reasons also explain why practitioners only rarely use state-of-the-art algorithms and data structures; a repository of routines, most with well documented behavior on realistic test cases, will encourage practitioners to use more recent results.
- In addition, JEA aims to become a forum to distribute programs and testbeds throughout the research community and to provide a repository of useful programs and packages to both researchers and practitioners.
- JEA welcomes research on algorithms and data structures for all sorts of practical computation models, including deterministic, randomized, approximate, online, parallel, distributed, streaming, and external-memory. The following are some typical, but by no means exclusive, application areas:
- combinatorial optimization
- computational biology
- computational geometry
- graph manipulation
- integer arithmetic and cryptography
- machine learning and AI
- management of massive datasets
- routing and scheduling
- searching and sorting
- string processing
- VLSI design
- web search and information retrieval
- Electronic Colloquium on Computational Complexity (ECCC)
- Theory of Computing (ToC)
- ACM Transactions on Algorithms (TALG) publishes original research of the highest quality dealing with algorithms that are inherently discrete and finite, and having mathematical content in a natural way, either in the objective or in the analysis.
- ACM Transactions on Algorithms welcomes submissions of original research of the highest quality dealing with algorithms that are inherently discrete and finite, and having mathematical content in a natural way, either in the objective or in the analysis. Most welcome are new algorithms and data structures, new and improved analyses, and complexity results.
- Specific areas of computation covered by the journal include:
- combinatorial searches and objects;
- counting;
- discrete optimization and approximation;
- randomization and quantum computation;
- parallel and distributed computation;
- algorithms for
- graphs,
- geometry,
- arithmetic,
- number theory,
- strings;
- on-line analysis;
- cryptography;
- coding;
- data compression;
- learning algorithms;
- methods of algorithmic analysis;
- discrete algorithms for application areas such as
- biology,
- economics,
- game theory,
- communication,
- computer systems and architecture,
- hardware design,
- scientific computing
- JMLR, Journal of Machine Learning Research
IEEE International Conference on Communications
- http://icc2019.ieee-icc.org/
- May 20-24, 2019
- Shanghai, China
IEEE International Conference on Multimedia and Expo (ICME 2019)
- http://www.icme2019.org/
- July 8-12, 2019
- Shanghai, China
- Submission deadline: December 3, 2018.
IEEE International Conference on Computational Photography (ICCP 2019)
- http://iccp2019.naist.jp/
- May 15-17, 2019
- Tokyo, Japan
- Submission deadline: December 17, 2018
IEEE Data Science Workshop (DSW 2019)
- https://2019.ieeedatascience.org/
- June 2-5, 2019
- Minneapolis, MN.
- Submission deadline: February 8, 2019.
IEEE Global Communications Conference (GLOBECOM)
- http://ieee-globecom.org/
- http://globecom2019.ieee-globecom.org/
- December 9-13, 2019
- Waikoloa, HI.
- Submission deadline: April 15, 2019.
Other conferences in signal processing and communication/information theory:
- IEEE International Conference on Image Processing (ICIP)
- ICIP, 26th IEEE International Conference on Image Processing
- Taipei, Taiwan
- September 22-25, 2019
- Submission deadline:
January 31, 2019February 8, 2019
- IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)
- IEEE Global Conference on Signal and Information Processing (GlobalSIP)
- IEEE International Symposium on Biomedical Imaging (ISBI)
- IEEE Conference on Advance Video and Signal-Based Surveillance (AVSS)
- ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN)
- IEEE International Symposium on Signal Processing and Information Technology (ISSPIT)
- International Symposium on Information Theory (ISIT)
- Allerton Conference
- Conference on Information Sciences and Systems (CISS)
- IEEE Consumer Communications & Networking Conference (ICCNC)
- IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
- http://icbc2019.ieee-icbc.org/
- Seoul, South Korea
- May 15-17, 2019
- Submission deadline: December 7, 2018.
- IEEE/IFIP Network Operations and Management Symposium (NOMS)
- http://noms2018.ieee-noms.org/
- Taipei, Taiwan
- April 23-27, 2018
- IEEE Conference on Communications and Network Security (CNS)
- http://cns2019.ieee-cns.org/
- Washington, D.C.
- June 10-12, 2019
- IEEE International Conference on Computer Communications (IEEE INFOCOM)
- http://infocom2019.ieee-infocom.org/
- April 29 - May 2, 2019
- Paris, France
- Submission deadlines: July 24 and 31, 2018.
- IFIP/IEEE International Symposium on Integrated Network Management (IFIP/IEEE IM)
- April 8-12, 2019
- Washington, D.C.
- Submission deadlines: September 10, 2018 (extended from August 19, 2018).
- IEEE International Symposium on Dynamic Spectrum Access Networks (DySPAN)
- IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids
- Alternatively known as: IEEE International Conference on Smart Grid Communications (SmartGridComm)
- http://sgc2019.ieee-smartgridcomm.org/
- October 21-24, 2019
- Beijing, China
- Submission deadline: April 15, 2019
- IEEE Wireless Communications and Networking Conference (WCNC)
- http://wcnc2019.ieee-wcnc.org/
- April 15-18, 2019
- Marrakech, Morocco
- Submission deadline: November 2, 2019
- IEEE International Conference on E-health Networking, Application & Services (Healthcom/HEALTHCOM)
- Submission deadline: May 2019.
Journals in signal processing and communication/information theory:
- IEEE Transactions on Signal Processing
- IEEE Journal of Selected Topics in Signal Processing
- IEEE Signal Processing Letters
- IEEE/ACM Transactions on Audio, Speech, and Language Processing
- IEEE Transactions on Information Forensics and Security
- IEEE Transactions on Image Processing
- IEEE Transactions on Computational Imaging
- IEEE Transactions on Signal and Information Processing over Networks
- IEEE Transactions on Multimedia
- IEEE Transactions on Information Theory
- IEEE Communications Surveys & Tutorials
- IEEE Transactions on Cognitive Communications and Networking (TCCN)
- IEEE Transactions on Communications
- IEEE Transactions on Green Communications and Networking (TGCN)
- IEEE Transactions on Molecular, Biological and Multi-scale Communications (TMBMC)
- IEEE Transactions on Network and Service Management (IEEE TNSM)
- IEEE Transactions on Wireless Communications
- IEEE/ACM Transactions on Networking
- IEEE/OSA Journal of Optical Communications and Networking
- IEEE Internet of Things Journal
- IEEE Journal of Biomedical and Health Informatics (J-BHI)
- IEEE Transactions on Network Science and Engineering (TNSE)
- IEEE Transactions on Cloud Computing
- IEEE Transactions on Smart Grid
- IEEE Transactions on Mobile Computing (TMC)
- IEEE/OSA Journal of Lightwave Technology
Additional Journals of Interest:
- https://www.ieeecss.org/publication/transactions-control-network-systems
- The IEEE Transactions on Control of Network Systems is committed to the timely publication of high-impact papers at the intersection of control systems and network science. In particular, the journal addresses research on decision and control systems characterized by a distributed or networked architecture, spanning modeling, analysis, estimation, design, and implementation, with an emphasis on analytical foundations. Topics covered by this journal include collaborative control, distributed learning, multi-agent systems, distributed optimization, control of collective behavior, distributed estimation, dynamical systems over graphs, coevolutionary networks, synchronization, large-scale complex systems, and control with communication constraints. Application areas relevant to control of network systems include smart infrastructure, multi-robot systems and swarm robotics, systems biology, smart health, computing, communications, transportation, manufacturing, power systems, sensor networks, social networks, and cyber-physical social systems.
- https://sosp19.rcs.uwaterloo.ca/cfp.html
- Papers will be judged on novelty, significance, clarity, relevance, and correctness. A good paper will:
- Consider a significant problem.
- Propose and implement an interesting, compelling solution.
- Demonstrate the practicality and benefits of the solution.
- Draw appropriate conclusions.
- Clearly describe what the authors have done.
- Clearly articulate the advances beyond previous work
- Papers will be judged on novelty, significance, clarity, relevance, and correctness. A good paper will:
The MIT License (MIT)
Copyright (c) <2017> Zhiyang Ong
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
Email address: echo "cukj -wb- 23wU4X5M589 TROJANS cqkH wiuz2y 0f Mw Stanford" | awk '{ sub("23wU4X5M589","F.d_c_b. ") sub("Stanford","d0mA1n"); print $5, $2, $8; for (i=1; i<=1; i++) print "6\b"; print $9, $7, $6 }' | sed y/kqcbuHwM62z/gnotrzadqmC/ | tr 'q' ' ' | tr -d [:cntrl:] | tr -d 'ir' | tr y "\n" Don't compromise my computing accounts. You have been warned.