February 21-23, 2007 * Expression of interest to submit paper with abstract: August 15, 2006 * Submission of full paper: September 15, 2006 * Notification of acceptance with comments: October 31, 2006 * Submission of the final papers
MTG 2006 Mastering the Gap: From Information Extraction to Semantic Representation Proceedings of the Workshop on Mastering the Gap, From Information Extraction to Semantic Representation, held in conjunction with the European Semantic Web Conference 20
P. Czerner, и 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, том 12650 из Lecture Notes in Computer Science, стр. 164--183. Springer, (2021)#conference.
A. Balasubramanian, и K. Thejaswini. 32nd International Conference on Concurrency Theory (CONCUR 2021), том 203 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 17:1--17:15. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
N. Bertrand, M. Lazić, и J. Widder. Verification, Model Checking, and Abstract Interpretation, стр. 219--239. Springer International Publishing, (2021)
A. Balasubramanian, J. Esparza, и M. Raskin. Foundations of Software Science and Computation Structures - 24th International Conference, том 12650 из Lecture Notes in Computer Science, стр. 42--61. Springer, (2021)
A. Balasubramanian. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), том 213 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 35:1--35:16. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
L. D'Antoni, M. Helfrich, J. Kret\'ınský, E. Ramneantu, и M. Weininger. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, том 12225 из Lecture Notes in Computer Science, стр. 3-14. Springer, (октября 2020)
M. Blondin, J. Esparza, M. Helfrich, A. Kucera, и P. Meyer. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, том 12225 из Lecture Notes in Computer Science, стр. 372-397. Springer, (октября 2020)
J. Wituski, и 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, (сентября 2020)