|
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 |