Previous Year's Proceedings:  

IC3 2017 Published by IEEE and indexed in DBLP

IC3 2016 Published by IEEE and indexed in Scopus and DBLP  

IC3 2015 Published by IEEE and indexed in Scopus and DBLP  

IC3 2014 Published by IEEE and indexed in Scopus and DBLP                         
 

  IC3 2013 Published by IEEE and indexed in Scopus

IC3 2012 Published by Springer and abstracted/indexed in DBLP, ISI Proceedings and Scopus

 

IC3 2011 Published by Springer and abstracted/indexed in DBLP, ISI Proceedings and Scopus

IC3 2010 Published by Springer and abstracted/indexed in DBLP, ISI Proceedings and Scopus

 

IC3 2009 Published by Springer and abstracted/indexed in DBLP, ISI Proceedings and Scopus