![]() |
20th IEEE/ACM International Conference on
|
Main conference abstract due | Tuesday, May 31 |
---|---|
Main conference papers due | Monday, June 6 |
Workshop proposals | Friday, June 17 |
Tutorials proposals | Friday, June 17 |
Doctoral Symposium papers due | Friday, June 17 |
Formal Tool Demo proposals | Friday, June 17 |
Workshop acceptance notification | Monday, July 11 |
Tutorial acceptance notification | Monday, July 11 |
Accepted workshops launch CFP | Monday, July 18 |
Main conference papers notification | Monday, August 1 |
Doctoral Symposium notification | Monday, August 1 |
Formal Tool Demo proposals notification | Monday, August 1 |
Workshops papers due | Friday, August 19 |
Camera-ready papers for main conference, doctoral symposium, formal tool demo; abstract for tutorials, and workshop/tutorial/formal tool demo/ doctoral symposium introductory page |
Friday, September 2 |
Beginning of early registration | Friday, September 9 |
Workshops papers notification | Monday, September 19 |
End of early registration | Friday, October 7 |
End of hotel reservation | Friday, October 7 |
Camera-ready workshops papers due | Saturday, October 15 |
Online registration ends (On-site registration only afterwards) |
Friday, October 28 |
Doctoral Symposium | Monday, November 7 |
Tutorials | Monday, November 7 -- Tuesday, November 8 |
Workshops | Monday, November 7 -- Tuesday, November 8 |
Main Conference | Wednesday, November 9 -- Friday, November 11 |