[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
pete...@ifi.uio.no
or visit the workshop web page
http://rtrts10.ifi.uio.no/
