RTRTS 2010

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

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

Important: the workshop starts in the afternoon and ends around noon, to correspond with the flight SK4414 that arrives Longyearbyen at 1:55pm on Tuesday April 6, and the flight SK4425 that leaves Longyearbyen at 2:45pm on Friday April 9. Indeed, the conference "fee" includes transportation between the airport and the hotel for these two flights.

There seems to be absolutely no available accommodation in Longyearbyen for Saturday April 10!

Home page: http://rtrts10.ifi.uio.no, Contact e-mail: peterol@ifi.uio.no


February 24, 2010 Deadline for submission
March 7-10, 2010 Notification of acceptance
March 20, 2010 Final version in electronic form
April 6-9, 2010 Workshop in Longyearbyen



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,



RTRTS 2010 will be held in Longyearbyen, Spitsbergen. Located in the Arctic Sea, 78 13' 0" North, 15 38' 0" East, Spitsbergen (Svalbard in Norwegian) is a truly 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? (There are around 3,000 polar bears on Spitsbergen, and around 2,000 humans.)

Longyearbyen can be reached by air from Tromsø and Oslo in Norway.

Accomodation is scarce in Longyearbyen (pop 1200) in the high season. Therefore, RTRTS 2010 has reserved and prepayed 12 rooms for the workshop days. Longyearbyen is very expensive, but workshop participants will get rooms at subsidized prices!


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


Submissions will be evaluated by the Program Committee for inclusion in the proceedings, which will be published by the electronic journal 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, should be formatted according to the guidelines for EPTCS papers (see this link for information for EPTCS authors and style files), and should be submitted electronically, this year using Easychair:



Martin Wirsing, Ludwig-Maximilians-Universität München. Title: "Modelling and Analysing Adaptive User-Centric Systems in Real-Time Maude"


We gratefully acknowledge financial support for this workshop by The Research Council of Norway through the Rhytm project.


For more information, please contact the organizers


or visit the workshop web page