posted by organizer: awijs || 2134 views || tracked by 3 users: [display]

GRAPHITE 2013 : Second Workshop on GRAPH Inspection and Traversal Engineering: CfP - post-proceedings EPTCS

FacebookTwitterLinkedInGoogle

Link: http://www.win.tue.nl/~awijs/graphite
 
When N/A
Where N/A
Submission Deadline Jul 21, 2013
Notification Due Aug 11, 2013
Final Version Due Aug 25, 2013
Categories    graph search   formal methods   biological networks   social networks
 

Call For Papers

Second Workshop on GRAPH Inspection and Traversal Engineering
(affiliated with ETAPS 2013)

Objectives
---------

The topic of the GRAPHITE workshop is graph analysis in all its forms in computer science. Graphs are used to represent data in many application areas, and they are subjected to various computational algorithms in order to acquire the desired information. These graph algorithms tend to have common characteristics, such as duplicate detection to guarantee their termination, 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. Novel techniques to further scale graph search algorithms, and new applications of graph search are within the scope of this workshop. Another topic of interest of the event is more related to the structural properties of graphs: which kind of graph characteristics are relevant for a particular application area, and how can these be measured? Finally, any novel way of using graphs for a particular application area is on topic. 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 has been held as a satellite event of ETAPS 2013, the 16th 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.

The current call is for submissions for the post-proceedings, which will contain the papers presented at the workshop in addition to the accepted submissions of the current call, and will be published in the second half of 2013. As such, authors of accepted papers will not be invited to present their work, but their papers will be included in the proceedings.

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 (e.g. the computation of an explicit state space based on an implicit description)

* Application of graph based techniques originating in one application domain, applied on a problem in another domain (e.g. verification algorithms on artificial intelligence problems)

* Techniques to deal 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

* Graph minimisation and abstraction techniques as a preprocessing step for analysis (e.g. bisimulation reduction, transitive reduction)

* Computation on graphs through graph transformation techniques

* I/O Efficient graph algorithms using external memory


Papers on applications and papers bridging multiple application domains are strongly encouraged. In addition, this call also encourages the submission of short papers, either presenting a new tool or new scientific results that can be described succinctly.


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. All accepted papers will be included in
the workshop proceedings.

We solicit two kinds of papers:

*Tool Papers or Short Technical Papers no longer than 7 pages. Tool papers should describe the contribution of a new tool, how it works, and how it is implemented. Experimental results are encouraged. Short technical papers are intended to succinctly present new scientific results related to the GRAPHITE topics.

*Full Technical Papers no longer than 15 pages.


Submission and Publication
------------------------

Submission can be done via the Easy Chair web-based conference management system. (Follow the link from the workshop web page.) All papers will be peer reviewed.

The proceedings will appear in the Electronic Proceedings in Theoretical Computer Science (EPTCS) as post-proceedings.


Important Dates
--------------

July 21, 2013, submission deadline
August 11, 2013, Notification of acceptance/rejection
August 25, 2013, Camera-ready version deadline


Organization
-----------

Anton Wijs (Eindhoven University of Technology, Netherlands)
Dragan Bosnacki (Eindhoven University of Technology, Netherlands)
Stefan Edelkamp (University of Bremen, Germany)


Programme Committee
--------------------

Henri Bal (VU University Amsterdam, The Netherlands)
Dragan Bosnacki (Eindhoven University of Technology, The Netherlands) (co-chair)
Alastair Donaldson (Imperial College London, England)
Stefan Edelkamp (University of Bremen, Germany) (co-chair)
Ansgar Fehnker (The University of the South Pacific, Fiji)
Wan Fokkink (VU University Amsterdam, The Netherlands)
Keijo Heljanko (Aalto University, Finland)
Gerard Holzmann (NASA / Jet Propulsion Laboratory, USA)
Gunnar Klau (Centrum Wiskunde & Informatica, The Netherlands)
Juan de Lara (Universidad Autónoma de Madrid, Spain)
Stefan Leue (University of Konstanz, Germany)
Ulrich Meyer (Goethe University Frankfurt am Main, Germany)
Jun Pang (Université du Luxembourg, Luxembourg)
David Parker (University of Birmingham, England)
Arend Rensink (University of Twente, The Netherlands)
Anton Wijs (Eindhoven University of Technology, The Netherlands) (co-chair)

Related Resources

CAiSE 2018   CfP: CAiSE 2018 (30th International Conference on Advanced Information Systems Engineering)
LICS 2018   Logic in Computer Science
GRAPH-HOC 2017   9th International Conference on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks
FM 2018   22nd International Symposium on Formal Methods
JIST 2017   7th Joint International Semantic Technology Conference
IJESA 2017   International Journal of Embedded Systems and Applications
TextGraphs 2017   TextGraphs-11: Graph-based Methods for Natural Language Processing
CONCUR 2018   29th International Conference on Concurrency Theory
ExRe(y) 2018   Exhaustion and Regeneration in Post-Millennial North-American Literature and Visual Culture (EXTENDED DEADLINE)
TAU- CineConf 2018   Post-Truth and the Moving Image - Tel Aviv, Israel, 4-6 June 2018