GRAPHITE 2012

---

SCOPE

The main theme of the GRAPHITE workshop is graph search in all its forms in computer science. Graph search algorithms tend to have common characteristics, such as duplicate detection, independent of their application domain. Over the past few years, it has been shown that the scalability of such algorithms can be dramatically improved by using, e.g., external memory, by exploiting parallel architectures, such as clusters, multi-core CPUs, and graphics processing units, and by using heuristics to guide the search. The goal of this event is to gather scientists from different communities, such as model checking, artificial intelligence planning, game playing, and algorithm engineering, who do research on graph search algorithms, such that awareness of each others' work is increased. The workshop will be held as a satellite event of ETAPS 2012, the 15th edition of The European Joint Conferences on Theory and Practice of Software (ETAPS). ETAPS is a primary European forum for academic and industrial researchers working on topics relating to Software Science.

WORKSHOP SPECIFIC TOPICS

We encourage submission of works which include but are not limited to the following topics:

Algorithms for the verification of hardware and software based on graph exploration

Application of graph based verification techniques to artificial intelligence problems

Techniques for dealing with potentially infinite graphs and infinite families of graphs

Innovative or otherwise particularly significant case studies of applications of graph based methods

Theoretical results on the limits and possibilities of graph based methods

Parallel algorithms for graph exploration for distributed and shared memory systems (e.g. clusters, multi-core CPUs, GPGPUs)

Graph algorithms in artificial intelligence; planning; game playing; social network analysis; biological network analysis, and similar

I/O Efficient algorithms for graph exploration using external memory

Preliminary papers, papers on applications, and papers bridging multiple application domains are strongly encouraged.

SOLICITED CONTRIBUTIONS

The submitted papers should contain original work which has not been submitted or accepted for publication elsewhere. Submissions should adhere to the EPTCS format and should be no longer than 15 pages. All accepted papers will be included in the workshop proceedings.
We solicit two kinds of papers:

Technical Papers no longer than 15 pages. All accepted technical papers will be included in the proceedings.

Tool Presentations. This kind of submission should consist of two parts. The first part is at most a 5 page description of the tool. If accepted, this part will be published in the workshop proceedings. The second part should describe an informal plan for an oral presentation of the tool. This part will not be included in the proceedings.

SUBMISSION AND PUBLICATION

Submission can be done via the Easy Chair web-based conference management system. All papers will be peer reviewed. The proceedings will appear in the Electronic Proceedings in Theoretical Computer Science (EPTCS) as post-proceedings.