Runtime Verification and Monitoring

[Radu Grosu <grosu AT cs.sunysb.edu>]

Deadline Extension: In response to many requests, the submission deadline
has been EXTENDED to 30 May.

-----------------------------------------------------------------------
                           CALL FOR PAPERS

                STATIC AND RUNTIME VERIFICATION TRACK
                              (SRV'06)

                at the 2nd International Conference on
           Intelligent Computer Communication and Processing

            TU of Cluj-Napoca, Romania, 1-2 September, 2006
             URL:  http://cs-gw.utcluj.ro/~iccp06/srv.html
-----------------------------------------------------------------------

SRV is a forum promoting interaction and cross-fertilization among the
Static and Runtime Verification communities to address the challenges
posed to formal analysis by contemporary software and hardware systems.
Both experimental and theoretical papers are welcome, ranging from
formal frameworks to reports on practical experiences.

Sample topics covered by SRV include:

  * Modeling and specification formalisms
  * Deductive and compositional techniques for verification
  * Theorem-proving and model-checking
  * Abstraction techniques and abstract interpretation
  * Runtime verification and formal approaches to testing
  * Analytical techniques for secure, real-time and hybrid systems
  * Tool environments and tool architectures
  * Applications and case studies


We are negotiating with Springer-Verlag to get a post-conference
LNCS publication.

Paper Submission
----------------

Papers should not exceed 14 pages (excluding the references) and should
comply with LNCS formatting. The conference organizers reserve the right
to reject submissions that exceed this page limit or do not make a
reasonable attempt to adhere to the proceedings format.

Papers should be submitted electronically via the on-line submission
system. All papers must be in PDF format, checked that the file can be
viewed and printed correctly. A login and password will be sent to the
author by email after registering with the on-line submission
software. Authors will need to submit an abstract for each
paper. Authors are also required to select, from a list provided in the
software, as many submission categories/keywords as possible to assist
with the allocation of papers to reviewers and with the organization of
the conference program.

Notification of receipt of the electronic paper will be emailed to the
first (or designated) author soon after receiving the paper.

Notification of acceptance or rejection of submitted papers will be
mailed to the first (or designated) author by 30 June, 2006.


Important Dates
---------------
Papers Submission Deadline: 30 May  2006
Notification of acceptance: 30 June 2006
Camera ready version due:   15 July 0026
Author registration due:    15 July 2006
Conference : 1-2 September, 2006, Cluj-Napoca, Romania


INVITED SPEAKERS
----------------
Grigore Rosu          University of Illinois, Urbana, USA

PROGRAM COMMITTEE
-----------------
Rajeev Alur           University of Pennsylvania, USA
Ahmed Bouajjani       University of Paris 7, FR
Manfred Broy          Technische Universitaet Muenchen, DE
Gabriel Ciobanu       Romanian Academy Institute, Iasi, RO
Rance Cleaveland      University of Maryland, USA
Henning Dierks        University of Oldenburg, DE
Javier Esparza        Universitaet Stuttgart, DE
Susanne Graf          VERIMAG, Grenoble, FR
Radu Grosu            SUNY at Stony Brook, USA (Chair)
Tom Henzinger         EPFL, Lausanne, CH
Radu Iosif            VERIMAG, Grenoble, FR
Insup Lee             University of Pennsylvania, USA
Stefan Leue           University of Konstanz, DE
Stephan Merz          LORIA, FR
Marius Minea          Politehnica University of Timisoara, RO
George Necula         University of California, Berkeley, USA
Corina Pasareanu      NASA, Ames Research Center, USA
Sylvain Peyronnet     EPITA, Paris, FR
Andreas Podelski      MPI, Saarbruecken, DE
Willem-Paul de Roever Christian-Albrechts-University of Kiel, DE
Grigore Rosu          University of Illinois, Urbana, USA
Teodor Rus            University of Iowa, USA (Co-chair)
Holger Schlingloff    Humboldt University, Berlin, DE
Scott Smolka          SUNY at Stony Brook, USA
Oleg Sokolsky         University of Pennsylvania, USA
Gheorghe Stefanescu   University of Bucharest, RO
Bernhard Steffen      Dortmund University, DE
Martin Steffen        Christian-Albrechts-University of Kiel, DE
Reinhard Wilhelm      Universitaet des Saarlandes, DE
Lenore Zuck           University of Illinois at Chicago, USA

ICCP'06 CHAIR
-------------

Sergiu Nedevschi, Technical University of Cluj-Napoca, RO

ICCP PROGRAM COMMITTEES CHAIR
-----------------------------

Ioan Alfred Letia     Technical University of Cluj-Napoca, RO

ICCP ORGANIZING COMMITTEE
-------------------------

Rodica Potolea        Technical University of Cluj-Napoca, RO (Chair)
Gheorghe Sebestyen    Technical University of Cluj-Napoca, RO
Emil Cebuc            Technical University of Cluj-Napoca, RO
Octavian Cret         Technical University of Cluj-Napoca, RO
Mihaela Dinsoreanu    Technical University of Cluj-Napoca, RO
Alin Suciu            Technical University of Cluj-Napoca, RO