[TYPES/announce] CfP: Workshop on Rewriting Techniques for Real-Time Systems (Spitsbergen/polar bears/EPTCS proceedings)

[Peter Csaba Ölveczky]

                  1st International Workshop on
             Rewriting Techniques for Real-Time Systems

                          R T R T S  2010

         Longyearbyen, Spitsbergen, Norway, April 6-9, 2010

                    http://rtrts10.ifi.uio.no/


*** Proceedings will be published by EPTCS ***

IMPORTANT DATES

February 24, 2010      Deadline for submission
Early March, 2010      Notification of acceptance
April 6-9, 2010        Workshop in Spitsbergen


AIMS AND SCOPE

The aim of the workshop is to bring together researchers with
an interest in the use of rewriting-based techniques (including
rewriting logic) and tools for the modeling, analysis, and/or
implementation of real-time and hybrid systems, and to give
them the opportunity to present their recent works, discuss
future research directions, and exchange ideas.

The topics of the workshop comprise, but are not limited to:
- methods and tools supporting rewriting-based modeling and
analysis of real-time and hybrid systems, and extensions of
such systems;
- use of rewriting techniques to provide rigorous support for
model-based software engineering of timed systems;
- applications and case studies;
- comparison with other formalisms and tools.


PROGRAM COMMITTEE

Erika Ábrahám  	  RWTH Aachen
Francisco Durán      Universidad de Malaga
Narciso Marti-Oliet  Universidad Complutense de Madrid
José Meseguer 	   University of Illinois at Urbana-Champaign
Sayan Mitra 	     University of Illinois at Urbana-Champaign
Thomas Noll 	     RWTH Aachen
Peter Ölveczky (chair) 	University of Oslo
Joel Ouaknine 	   Oxford University
Olaf Owe 	        University of Oslo
Grigore Rosu 	    University of Illinois at Urbana-Champaign
Stavros Tripakis 	University of California, Berkeley
Martin Wirsing 	  Ludwig-Maximillian University, Munich


VENUE

RTRTS 2010 will be held in Longyearbyen, Spitsbergen. Spitsbergen
is a fascinating archipelago pretty close
to the North Pole (same latitude as northern Greenland!). April is the
high season, with the sun above the horizon yet it should be wintry
enough to do the usual winter activities, like dog sledding,
snow scooter trips, and ice cave exploration, etc. Maybe this could
be your last chance to see polar bears roaming around freely?


SUBMISSIONS

Submissions will be evaluated by the Program Committee for
inclusion in the proceedings, which will be published
by Electronic Proceedings in Theoretical Computer Science.

Papers must contain original contributions, be clearly written,
and include appropriate reference to and comparison with related work.
They must be unpublished and not submitted simultaneously for
publication elsewhere. Papers should not exceed 20 pages,
formatted according to EPTCS guidelines (http://style.eptcs.org),
and should be submitted electronically using Easychair:

http://www.easychair.org/conferences/?conf=rtrts2010


INVITED SPEAKERS

(to be announced)


CONTACT INFORMATION

For more information, please contact the organizer
              peterol at ifi.uio.no
or visit the workshop web page
              http://rtrts10.ifi.uio.no/