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:
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