All EPiC Series Volumes

Kenneth Baclawski, Michael Kozak, Kirstie Bellman, Giuseppe D'Aniello, Alicia Ruvinsky and Candida Da Silva Ferreira Barreto (editors).

Hisham Al-Mubaid, Tamer Aldwairi and Oliver Eulenstein (editors).

Hossana Twinomurinzi, Nkosikhona Theoren Msweli, Sibukele Gumbo, Tendani Mawela, Emmanuel Mtsweni, Peter Mkhize and Ernest Mnkandla (editors).

Nikolaj Bjørner, Marijn Heule and Andrei Voronkov (editors).

Tom Leathem, Wes Collins and Anthony Perrenoud (editors).

Laura Kovács and Michael Rawson (editors).

Ajay Bandi, Mohammad Hossain and Ying Jin (editors).

Joshua W Giles (editor).

Krishna Kambhampaty, Gongzhu Hu and Indranil Roy (editors).

G. Reza Emad and Aditi Kataria (editors).

Tom Leathem, Wes Collins and Anthony Perrenoud (editors).

Goran Frehse and Matthias Althoff (editors).

Jean-François Desnos and Martín López Nores (editors).

Trung Nghia Tran, Quoc Khai Le, Tich Thien Truong, Thanh Nha Nguyen and Hoang Nhut Huynh (editors).

Ruzica Piskac and Andrei Voronkov (editors).

Aurona Gerber and Knut Hinkelmann (editors).

Hossana Twinomurinzi, Nkosikhona Theoren Msweli, Tendani Mawela and Surendra Thakur (editors).

Hisham Al-Mubaid, Tamer Aldwairi and Oliver Eulenstein (editors).

Ajay Bandi, Mohammad Hossain and Ying Jin (editors).

Ferdinando Rodriguez Y Baena, Joshua W Giles and Eric Stindel (editors).

Goran Frehse, Matthias Althoff, Erwin Schoitsch and Jeremie Guiochet (editors).

Yan Shi, Gongzhu Hu, Krishna Kambhampaty and Takaaki Goto (editors).

Frederick Harris, Alex Redei and Rui Wu (editors).

Hossana Twinomurinzi, Nkosikhona Msweli and Tendani Mawela (editors).

Ulrich Kühne and Fan Zhang (editors).

Jean-François Desnos, Ramin Yahyapour and Raimund Vogl (editors).

Tokuro Matsuo (editor).

Aurona Gerber (editor).

Knut Hinkelmann and Aurona Gerber (editors).

Tom Leathem, Wes Collins and Anthony Perrenoud (editors).

Hisham Al-Mubaid, Tamer Aldwairi and Oliver Eulenstein (editors).

Bidyut Gupta, Ajay Bandi and Mohammad Hossain (editors).

Goran Frehse and Matthias Althoff (editors).

Yan Shi, Gongzhu Hu, Quan Yuan and Takaaki Goto (editors).

Spiros Bolis, Jean-François Desnos, Lazaros Merakos and Raimund Vogl (editors).

Frederick Harris, Rui Wu and Alex Redei (editors).

Tom Leathem, Anthony Perrenoud and Wesley Collins (editors).

Yan Shi, Gongzhu Hu, Takaaki Goto and Quan Yuan (editors).

Alex Redei, Rui Wu and Frederick Harris (editors).

Kustiati and Wolly Candramila (editors).

Ferdinando Rodriguez Y Baena and Fabio Tatti (editors).

Tom Leathem (editor).

Goran Frehse and Matthias Althoff (editors).

Elvira Albert and Laura Kovacs (editors).

Gregoire Danoy, Jun Pang and Geoff Sutcliffe (editors).

Laura Kovacs and Andrei Voronkov (editors).

Qin Ding, Oliver Eulenstein and Hisham Al-Mubaid (editors).

Gordon Lee and Ying Jin (editors).

Laura Kovacs, Konstantin Korovin and Giles Reger (editors).

Claudia Urrea (editor).

Christina Pöpper and Martin Strohmeier (editors).

Meyo Zongo, Antonio Virdis, Vladimir Vesely, Zeynep Vatandas, Asanga Udugama, Koojana Kuladinithi, Michael Kirsche and Anna Förster (editors).

Diego Calvanese and Luca Iocchi (editors).

Christian M. Stracke (editor).

Patrick Meere and Ferdinando Rodriguez Y Baena (editors).

Frederick Harris, Sergiu Dascalu, Sharad Sharma and Rui Wu (editors).

Quan Yuan, Yan Shi, Les Miller, Gordon Lee, Gongzhu Hu and Takaaki Goto (editors).

Melanie Weber, Laura Bieker-Walz, Robert Hilbrich and Michael Behrisch (editors).

Goran Frehse and Matthias Althoff (editors).

Gerhard Wohlgenannt, Ruprecht von Waldenfels, Svetlana Toldova, Ekaterina Rakhilina, Denis Paperno, Olga Lyashevskaya, Natalia Loukachevitch, Sergei O. Kuznetsov, Olga Kultepina, Dmitry Ilvovsky, Boris Galitsky, Ekaterina Artemova and Elena Bolshakova (editors).

Oliver Eulenstein, Hisham Al-Mubaid and Qin Ding (editors).

Daniel Le Berre and Matti Järvisalo (editors).

Gordon Lee and Ying Jin (editors).

Philipp Kessling and Thomas Görne (editors).

Gilles Barthe, Geoff Sutcliffe and Margus Veanes (editors).

Anna Förster, Asanga Udugama, Antonio Virdis and Giovanni Nardini (editors).

Goffredo La Loggia, Gabriele Freni, Valeria Puleo and Mauro De Marchis (editors).

Daniel Lee, Alexander Steen and Toby Walsh (editors).

Goran Frehse (editor).

Wei Tian and Ferdinando Rodriguez Y Baena (editors).

Laura Kovács and Andrei Voronkov (editors).

Evamarie Wießner, Leonhard Lücken, Robert Hilbrich, Yun-Pang Flötteröd, Jakob Erdmann, Laura Bieker-Walz and Michael Behrisch (editors).

Birgit Penzenstadler, Steve Easterbrook, Colin Venters and Syed Ishtiaque Ahmed (editors).

Akihiko Shirai, Laurent Chretien, Anne-Sophie Clayer, Simon Richir and Shoichi Hasegawa (editors).

Alejandro Curado (editor).

Giles Reger and Dmitriy Traytel (editors).

Marsha Lamb (editor).

Christoph Benzmüller, Christine Lisetti and Martin Theobald (editors).

Ulrich Kühne, Jean-Luc Danger and Sylvain Guilley (editors).

Goran Frehse and Matthias Althoff (editors).

Klaus Radermacher and Ferdinando Rodriguez Y Baena (editors).

Ken Satoh, Mi-Young Kim, Yoshinobu Kano, Randy Goebel and Tiago Oliveira (editors).

Thomas Eiter and David Sands (editors).

Mohamed Mosbah and Michael Rusinowitch (editors).

Laura Kovacs and Andrei Voronkov (editors).

Chelo Vargas-Sierra (editor).

Goran Frehse and Matthias Althoff (editors).

Antonio Moreno Ortiz and Chantal Pérez-Hernández (editors).

Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors).

Boris Konev, Stephan Schulz and Laurent Simon (editors).

James H. Davenport and Fadoua Ghourabi (editors).

Laura Kovács and Andrei Voronkov (editors).

Sergiy Bogomolov and Ashish Tiwari (editors).

Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors).

Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors).

Goran Frehse and Matthias Althoff (editors).

Christoph Benzmüller and Jens Otten (editors).

Makoto Kanazawa, Lawrence S. Moss and Valeria de Paiva (editors).

Stephan Schulz, Leonardo De Moura and Boris Konev (editors).

Temur Kutsia and Andrei Voronkov (editors).

Ken Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors).

Alexei Lisitsa and Andrei Nemytykh (editors).

Daniel Le Berre (editor).

Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors).

Santiago Escobar, Konstantin Korovin and Vladimir Rybakov (editors).

Irina Virbitskaite and Andrei Voronkov (editors).

Daniel Le Berre (editor).

Andrei Voronkov and Margarita Korovina (editors).

Konstantin Korovin, Stephan Schulz and Eugenia Ternovska (editors).

Pascal Fontaine and Amit Goel (editors).

Pascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors).

Konstantin Korovin and Barbara Morawska (editors).

Laura Kovacs and Temur Kutsia (editors).

Jacques Fleuriot, Peter Höfner, Annabelle McIver and Alan Smaill (editors).

Alexei Lisitsa and Andrei Nemytykh (editors).

Laura Kovacs and Temur Kutsia (editors).

Jasmin Christian Blanchette and Josef Urban (editors).

Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors).

Alex Simpson (editor).

Geoff Sutcliffe (editor).

Andrei Voronkov (editor).

Andrei Voronkov, Laura Kovacs and Nikolaj Bjorner (editors).

Renate A. Schmidt, Stephan Schulz and Boris Konev (editors).

Daniel Le Berre (editor).

Berndt Müller (editor).

Aaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors).

Ekaterina Komendantskaya, Ana Bove and Milad Niqui (editors).

Agostino Dovier, Alessandro Dal Palù and Sebastian Will (editors).

Markus Aderhold, Serge Autexier and Heiko Mantel (editors).

Geoff Sutcliffe, Stephan Schulz and Eugenia Ternovska (editors).