[SERVER-43604] Submit TLA+ Trace Checker paper to journals/conferences Created: 24/Sep/19  Updated: 06/Dec/22  Resolved: 21/Feb/20

Status: Closed
Project: Core Server
Component/s: Replication
Affects Version/s: None
Fix Version/s: None

Type: New Feature Priority: Major - P3
Reporter: A. Jesse Jiryu Davis Assignee: Backlog - Replication Team
Resolution: Done Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Assigned Teams:
Replication
Participants:

 Description   

Select journals and conferences to submit the paper to, and submit it.

ABZ formal methods conference in Ulm Germany May 25-29, 2020
https://abz2020.uni-ulm.de/important-dates

Case Study Track
Abstract submission: November 29, 2019
Paper submission: December 06, 2019
Notification: January 13, 2020
Final version: March 02, 2020

Main Track
Abstract submission: January 13, 2020
Paper submission: January 20, 2020 (including research/short/industry papers)
Notification: March 2, 2020
Final version: March 16, 2020

Conference
ABZ 2020 conference: May 25-29, 2020

 

Int'l Conference on Software Engineering (ICSE), May 23-29 2020, Seoul
[https://conf.researchr.org/track/icse-2020/icse-2020-papers#Call-for-Papers
CFP due February 7, 2020|https://conf.researchr.org/track/icse-2020/icse-2020-papers#Call-for-Papers]

 

ACM Symposium on Principles of Distributed Computing (PODC), August 3-7 Salerno Italy
Due February 17
[https://www.podc.org/podc2020/call-for-papers/
]

VLDB, Tokyo August 31 to Sept 4, 2020

https://vldb.org/2019/?formatting-guidelines
https://vldb2020.org/submission-guidelines.html

PVLDB uses a novel review process designed to promote timely submission, review, and revision of scholarly results. The process will be carried out over 12 submission deadlines during the year preceding the VLDB 2020 conference. The basic cycle will operate as follows:

A Rolling Deadline occurs on the 1st of each month, 5:00 PM Pacific Time (Daylight Savings observed according to US calendar). This deadline is strict and no extensions will be granted. -The first monthly submission deadline for PVLDB Volume 12 is 1 April 2019. The final deadline is 1 March 2020.
For each submission cycle, the CMT site will be open for submissions from the 20th of the previous month. For example, the submissions for February 2020 will be accepted from January 20th onwards.
Initial reviews will usually be available on the 15th of the next month following the submission deadline, and they will include notice of acceptance, rejection, or revision requests.
For revision requests, the reviews will be specific with regard to the expectations from the revision, and only one revision is permitted.
Authors may take up to three months to produce a revised submission. The last three revisions deadlines will be May 15th, June 1st, and July 15th. Note that the June 15th deadline for revisions has been moved to June 1st. June 1, 2020 is the final revision deadline for consideration to present at VLDB 2020; submissions received after this deadline will roll over to VLDB 2021.
The final reviews of revised papers will usually be available by the 15th of the month following the revision submission.
While all attempts will be made to adhere to the schedule mentioned above, authors are advised that reviewing turnaround times may be subject to fluctuations.

DBTest, in conjuction with SIGMOD/PODS, June 19, 2020 Portland OR
http://www.dbtest.io/
"Expected 4 to 6 pages including references and appendix"
Due March 6, 2020
Notification April 3, 2020
 
SEFM 2020: 18th International Conference on Software Engineering and Formal Methods
https://event.cwi.nl/sefm2020/
https://easychair.org/conferences/?conf=sefm2020
Abstract registration deadline April 27, 2020
Submission deadline May 4, 2020

International Conference on Distributed and Event‐based Systems (DEBS), July 13-17 Montréal
Due March 13 (research track), March 20th (industry track)
https://2020.debs.org/

OSDI, Banff, Alberta, Canada November 4-6, 2020
https://www.usenix.org/conference/osdi20
Submission Policy: https://www.usenix.org/conferences/author-resources/submissions-policy
Abstract registrations due: Tuesday, May 5, 2020, 3:00 pm PDT
Complete paper submissions due: Tuesday, May 12, 2020, 3:00 pm PDT.

Design Automation Conference (DAC) San Francisco July 20-23, 2020
Late Breaking Results Submissions https://dac.com/late-breaking-results
A title, abstract (approximately 100 words), and a list of all co-authors must be submitted by March 5, 2020

ACM Symposium on Cloud Computing (SOCC), last year was November in Santa Cruz CA
CFP due June 3?
https://acmsocc.github.io/2019/index.html

For next year
These CFP date have passed, let's make a TODO to submit here next year if our paper doesn't get accepted anywhere before then.

 

International Conference on Distributed Computing Systems (ICDCS), July Singapore
https://icdcs2020.sg/cfp.html
Due January 6

USENIX Annual Technical Conference (USENIX ATC), July 15-17 Boston
https://www.usenix.org/conference/atc20/call-for-papers
Due January 15

 

David Daly mentions, "This might be a good fit for ASE (https://2019.ase-conferences.org/) FWIW I'll be attending in November."

 - Research Papers: May 6 (abstract deadline), May 13 (paper deadline)

 

 

IEEE Dependable Systems (DESSERT)

Paper submission: February 15, 2019 March 8, 2019

Notification of paper acceptance: March 11, 2019 April 5, 2019

Final manuscript: March 21, 2019 April 21, 2019

 

 

NSDI 2021. Here's the current year's site https://www.usenix.org/conference/nsdi20/call-for-papers

Spring deadline:

  • Paper titles and abstracts due: Tuesday, March 12, 2019, 8:59 pm US PDT
  • Full paper submissions due: Tuesday, March 19, 2019, 8:59 pm US PDT
  • Notification to authors: Friday, June 14, 2019
  • Final paper files due: Tuesday, August 27, 2019

Fall deadline:

  • Paper titles and abstracts due: Thursday, September 12, 2019, 8:59 pm US PDT
  • Full paper submissions due: Thursday, September 19, 2019, 8:59 pm US PDT
  • Notification to authors: Friday, December 13, 2019
  • Final paper titles due: Friday, February 7, 2020
  • Final paper files due: Wednesday, February 12, 2020

 

 

CIDR 2021. Here's the current year's site http://cidrdb.org/cidr2020/cfp.html

August 25, 2019: Submission deadline for all contributions

October 14, 2019: author notification for all contributions

December 16, 2019: camera-ready deadline for all contributions

January 12-15, 2020: conference

 

SIGMOD 2021. Current year: https://sigmod2020.org/calls_papers_important_dates.shtml

Research track first submission cycle (All Deadlines Are 5:00pm Pacific Time)

  • July 9, 2019: Abstract submission (the submission site will be open starting June 9, 2019)
  • July 16, 2019: Paper submission
  • September 4-5, 2019: Author response
  • October 3, 2019: Notification of accept/revise/reject
  • November 4, 2019: Revised submission
  • November 25, 2019: Notification of revision decision

Research track second submission cycle (All Deadlines Are 5:00pm Pacific Time)

  • October 15, 2019: Abstract submission
  • October 22, 2019: Paper submission
  • December 10 - 11, 2019: Author responses
  • January 17, 2020: Notification of acceptance/rejection/revision
  • February 19, 2020: Revised submission
  • March 13, 2020: Notification of revision decision

Industrial track (All deadlines below are 5PM Pacific Time)

  • Monday, November 25, 2019 Paper submission
  • Thursday, January 30, 2020 Notification of accept/reject/revision
  • Thursday, February 20, 2020 Revision submission
  • Thursday, February 27, 2020 Final notification of accept/reject
  • Wednesday, March 25, 2020 Camera-ready deadline

 

Architectural Support for Programming Languages and Operating Systems (ASPLOS)
March in Lausanne, Switzerland
[https://asplos-conference.org/calls/
CFP due August|https://asplos-conference.org/calls/]

 

EuroSys, April in Heraklion Greece
https://www.eurosys2020.org/call-for-papers/

CFP due in November

 

New England Systems Verification Day at MIT https://svd.csail.mit.edu/2019/

Submission by email, September 1st

October 18th

 

North East Database Day at MIT https://mitdbg.github.io/nedbday/2019/

Submission by January 9th (barely before the conference!)

January 24th

 


Generated at Thu Feb 08 05:03:36 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.