Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

Transactions on Petri Nets and Other Models of Concurrency XIII

Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Progress in Cryptology – INDOCRYPT 2018 19th International Conference on Cryptology in India, New Delhi, India, December 9–12, 2018, Proceedings

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Mathematical Modelling for Next-Generation Cryptography CREST Crypto-Math Project