Deadline for research and industrial paper submissions: May 31, 2006
Workshop Proposals due to the Workshop Chair: March 30, 2006
Tutorial Proposals due to the Tutorial Chair: May 31, 2006
Conference Date: Nov 6-11, 2006
A. Balasubramanian, und K. Thejaswini. 32nd International Conference on Concurrency Theory (CONCUR 2021), Volume 203 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 17:1--17:15. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
P. Czerner, und S. Jaax. Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Volume 12650 von Lecture Notes in Computer Science, Seite 164--183. Springer, (2021)#conference.
A. Balasubramanian, J. Esparza, und M. Raskin. Foundations of Software Science and Computation Structures - 24th International Conference, Volume 12650 von Lecture Notes in Computer Science, Seite 42--61. Springer, (2021)
N. Bertrand, M. Lazić, und J. Widder. Verification, Model Checking, and Abstract Interpretation, Seite 219--239. Springer International Publishing, (2021)
A. Balasubramanian. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), Volume 213 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 35:1--35:16. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
L. D'Antoni, M. Helfrich, J. Kret\'ınský, E. Ramneantu, und M. Weininger. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Volume 12225 von Lecture Notes in Computer Science, Seite 3-14. Springer, (Oktober 2020)
M. Blondin, J. Esparza, M. Helfrich, A. Kucera, und P. Meyer. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Volume 12225 von Lecture Notes in Computer Science, Seite 372-397. Springer, (Oktober 2020)
J. Wituski, und G. Dietl. Proceedings of the 5th IEEE International Symposium on Smart and Wireless Systems within the International Conferences on Intelligent Data Acquisition and Advanced Computing Systems, IDAACS-SWS 2020, Dortmund, Germany, (September 2020)