Lin, A. W.; Zetzsche, G.; Potapov, I. (Eds.): Reachability Problems (Lecture Notes in Computer Science, 13608). 16th International Conference on Reachability Problems, Kaiserslautern, Germany, October 17, 2022 - October 21, 2022. Springer, Berlin (2022)

Bjørner, N. S.; Christakis, M.; Maffei, M.; Rosu, G. (Eds.): Rigorous Methods for Smart Contracts (Dagstuhl Reports, 11). Dagstuhl Seminar 21431 "Rigorous Methods for Smart Contracts", Dagstuhl, Germany, October 24, 2021 - October 29, 2021. Schloss Dagstuhl, Wadern (2021)

Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Reports, 11). Dagstuhl Seminar 21442 "Ensuring the Reliability and Robustness of Database Management Systems", Dagstuhl, Germany, November 01, 2021 - November 04, 2021. Schloss Dagstuhl, Wadern (2021)

Georgiou, C.; Majumdar, R. (Eds.): Network Systems (Lecture Notes in Computer Science, 12129). 8th International Conference on Networked Systems, Marrakech, Morocco, June 03, 2020 - June 05, 2020. Springer, Berlin (2021), XVII, 376 pp.

Christakis, M.; Polikarpova, N.; Duggirala, P. S.; Schrammel, P. (Eds.): Software Verification (Lecture Notes in Computer Science, 12549). 12th Working Conference on Verified Software: Theories, Tools, and Experiments , Virtual, July 20, 2020 - July 21, 2020. Springer, Berlin (2020), XXVI, 239 pp.

Beyer, D.; Zufferey, D. (Eds.): Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science, 11990). 21st International Conference on Verification, Model Checking, and Abstract Interpretation, New Orleans, LA, USA, January 16, 2020 - January 21, 2020. Springer, Berlin (2020), XIV, 470 pp.

Zamani, M.; Zufferey, D. (Eds.): Numerical Software Verification (Lecture Notes in Computer Science, 11652). 12th International Workshop on Numerical Software Verification, New York, NY, USA, July 13, 2019 - July 14, 2019. Springer, Berlin (2019), XV, 145 pp.

Darulova, E.; Donaldson, A. F.; Rakamarić, Z.; Rubio-González, C. (Eds.): Analysis and Synthesis of Floating-point Programs (Dagstuhl Reports, 7). Dagstuhl Seminar 17352 "Analysis and Synthesis of Floating-point Programs", Dagstuhl, Germany, August 27, 2017 - August 30, 2017. Schloss Dagstuhl, Wadern (2018), 28 pp.

Belta, C. A.; Majumdar, R.; Zamani, M.; Rungger, M. (Eds.): Formal Synthesis of Cyber-Physical Systems (Dagstuhl Reports, 7). Dagstuhl Seminar 17201 "Formal Synthesis of Cyber-Physical Systems", Dagstuhl, Germany, May 14, 2017 - May 19, 2017. Schloss Dagstuhl, Wadern (2017), 13 pp.

Bertot, Y.; Vafeiadis, V. (Eds.): CPP'17. 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France, January 16, 2017 - January 17, 2017. ACM, New York, NY (2017), VIII, 235 pp.

Chaudhuri, S.; Kannan, S.; Majumdar, R.; Wooldridge, M. J. (Eds.): Game Theory in AI, Logic, and Algorithms (Dagstuhl Reports, 7). Dagstuhl Seminar 17111 "Game Theory in AI, Logic, and Algorithms", Dagstuhl, Germany, March 12, 2017 - March 17, 2017. Schloss Dagstuhl, Wadern (2017), 6 pp.

Bodik, R.; Majumdar, R. (Eds.): POPL'16. 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, January 20, 2015 - January 22, 2015. ACM, New York, NY (2016), XVI, 817 pp.

Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Reports, 5). Dagstuhl Seminar 15191 "Compositional Verification Methods for Next-Generation Concurrency", Dagstuhl, Germany, May 03, 2015 - May 08, 2015. Schloss Dagstuhl, Wadern (2015)

Majumdar, R.; Murray, R. M.; Prabhakar, P. (Eds.): Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122) (Dagstuhl Reports, 4). Dagstuhl Seminar 14122 "Verification of Cyber-Physical Systems", Wadern, Germany, March 16, 2014 - March 21, 2014. Schloss Dagstuhl, Wadern (2014), 18 pp.

Sala, A.; Goel, A.; Gummadi, K. (Eds.): COSN'14: Proceedings of the Second ACM Conference on Online Social Networks. Second ACM Conference on Online Social Networks, Dublin, Ireland, October 01, 2014 - October 02, 2014. ACM, New York, NY (2014), 278 pp.

Franz, M.; Holzer, A.; Majumdar, R.; Parno, B.; Veith, H. (Eds.): PETShop '13: Proceedings of the First ACM Workshop on Language Support for Privacy-enhancing Technologies. First ACM Workshop on Language Support for Privacy-enhancing Technologies, Berlin, Germany, November 04, 2013. ACM, New York, NY (2013), 30 pp.

Papagiannaki, K.; Gummadi, K.; Partridge, C. (Eds.): Internet Measurement Conference, IMC'13, Barcelona, Spain, October 23-25, 2013. 2013 Conference on Internet Measurement, Barcelona, Spain, October 23, 2013 - October 25, 2013. ACM, New York, NY (2013), 470 pp.

Weirich, S.; Dreyer, D. (Eds.): TLDI '11: Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation. 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation , Austin, TX, USA, January 25, 2011. (2011)

Backes, M.; Ning, P. (Eds.): Computer Security – ESORICS 2009 (Lecture notes in computer science, 5789). 14th European Symposium on Research in Computer Security, Saint-Malo, September 21, 2009 - September 23, 2009. Springer, Berlin (2009), XVI, 706 pp.

Frid, A.; Morozov, A.; Rybalchenko, A.; Wagner, K. W. (Eds.): Computer science - theory and applications (Lecture notes in computer science, 5675). 4th International Computer Science Symposium in Russia, Novosibirsk, August 18, 2009 - August 23, 2009. Springer, Berlin (2009), XIII, 367 pp.