[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

TYPES mailing list recipients may be interested as types are
often used in the verification of programs.


9th International Workshop on Verification of Infinite-State Systems  
(A Satellite Workshop of CONCUR 2007)

September 8, Lisboa, Portugal

  The aim is to provide a forum for researchers interested in the
  development of mathematical techniques for the analysis and
  verification of systems with infinitely many states.

Topics of interest include (but are not limited to):
  techniques for modeling, testing, analyzing, and debugging
  infinite-state systems; model-checking infinite-state systems;
  parameterized systems; probabilistic and timed systems;
  calculi for mobility and security; finite-state abstractions
  of infinite-state systems; logics on infinite graphs;
  analysis of heap structures; automata theory for infinite state reasoning
  (pushdown systems,  Petri nets, unfoldings, etc.),
  data structures for infinite state spaces,
  model checking concurrent systems, verifying infinite state systems
  using learning, automated theorem proving paradigms, combinations of
  decision procedures, testing infinite-state systems.

Paper Submission:
  Authors are invited to submit an extended abstract presenting recent
  (or ongoing) work in the areas relevant for the scope of INFINITY.
  Contributions should not exceed 10 pages and the ENTCS format of the
  submission is highly recommended. The submissions will be evaluated
  by the program committee and accepted papers will be published in
  the workshop proceedings. By submitting you agree that at least one
  co-author will register and present the paper at the workshop, if the
  paper is accepted. 

  Papers should be submitted electronically (in pdf/ps format), by email
  to the conference chair ([EMAIL PROTECTED]) on or before June 11, 2007.
  Please include a title, an abstract, all author names, and the
  the contact of a single corresponding author (address, email, phone number)
  into the email in plain text. You should receive a confirmation
  of your submission within four days.

  Pre-proceedings of INFINITY 2007 will be available at the workshop,
  Selected papers may be invited to submit a more detailed paper in
  a volume of Electronic Notes in Theoretical Computer Science series
  dedicated to workshops affiliated to CONCUR'07.

  The INFINITY 2007 workshop is a satellite workshop of the
  18th International Conference on Concurrency Theory (CONCUR 2007)
  (see http://concur07.di.fc.ul.pt/). The workshop will be
  held at the same location as CONCUR 2007, on the day immediately
  after the conference (September 8). Registration will be handled by
  the CONCUR 2007 organizing committee. 

Program Committee:
  Thomas Colcombet, France
  Javier Esparza,  Germany
  Christof Loding, Germany
  Vineet Kahlon, USA
  Narayan Kumar, India
  P. Madhusudan (chair), USA
  Jiri Srba, Denmark.

Reply via email to