[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
WRLA'2000
**********************************************************************
CALL FOR PARTICIPATION
International Workshop on Rewriting Logic and its Applications
(WRLA2000)
http://www.ldl.jaist.ac.jp/WRLA2000/
-- the list of PAPERS PRESENTED at the workshop and --
-- REGISTRATION INFORMATION are included! --
**********************************************************************
Kanazawa Cultural Hall, Kanazawa, JAPAN
September 18-20, 2000
Following the successful first and second International Workshops on
Rewriting Logic and its Applications, held in Asilomar (California) in
September 1996 and in Pont-a-Mousson (France) in September 1998, a
third workshop will take place in Kanazawa (Japan) in September
18,19,20 (Mon,Tue,Wed), 2000.
Rewriting logic is a natural semantic framework for concurrency,
parallelism, and communication in computing, and for the specification
of a wide range of systems and languages. It also has good properties
as a logical framework for representing logics. A growing number of
research efforts exploring the application of rewriting logic in all
these directions are being carried out worldwide, and several
languages based on rewriting logic such as CafeOBJ, ELAN, and Maude
are being designed and implemented.
The goal of this workshop is to bring together researchers, from all
over the world, interested in these ideas, so that they can present
their recent works, discuss future research directions, and exchange
ideas. In addition to the presentations of research results, the
program will include tutorials and invited presentations, system
demonstrations and panel discussions on specific research topics.
Kanazawa is one of the most beautiful old towns in Japan. The
workshop site (Kanazawa Cultural Hall) is located just in the downtown
of Kanazawa and major sightseeing spots are easily accessible on foot.
Rooms at the best hotels in the town, which are located a few minites
walk from the workshop site, are going to be reserved at discount rate
for the accommodations. This setting would make the workshop
intimate, enjoyable, and productive. To facilitate a true workshop
environment, it is planned to limit the number of participants to
reasonable size, and early registration is recommended.
HOW TO REGISTAR
===============
To registar, fill in the form attached below and send an e-mail both
to Ataru Nakagawa (nakagawa@sra.co.jp) and Shuusaku Iida
(s_iida@jaist.ac.jp), or send a copy via fax or post to
Ataru Nakagawa
SRA, Marusho Building 5F
3-12 Yotsuya, Shinjuku-ku
Tokyo 160-0004, Japon
tel. +81-3-3357-9361
fax. +81-3-3351-0880
REGISTRATION FEES
-----------------
A single fee
JPY 70.000
is applicable to all the participants, to be paid at the workshop site.
All the major credit cards are acceptable, but please do not use
personal checks.
The fee covers the proceedings, attendance to all the technical sessions,
accommodations for three nights (September 17th-20th), breakfasts,
lunches, dinners, social events, and coffee breaks during the workshop.
If you want to extend your stay, the fee for an extra night
(with breakfast) is JPY 10.500. For accompanying persons, contact us
about additional expenses.
PRACTICAL INFORMATION
=====================
The workshop is to be held near the centre of Kanazawa, which has good
connections from/to Tokyo, Osaka, and other major cities. From Tokyo
there are both frequent train and flight connections.
The details are to be announced soon.
========================================================================
List of Paper Presentated, Invited Speakers,
and System Demonstration/Presentation
(program with time schedule will be announced later)
------------------------------------------------------------------------
Papers Presented
================
-- On parameterized theories and views for Maude
by Francisco Duran and Jose Meseguer
-- Real-Time Maude: A Tool for Simulating and Analysing Real-Time
and Hybrid Systems
by Peter Csaba lveczky and Jos Meseguer
-- Rewriting Semantics of Meta-Objects and Composable Distributed
Services
by G.Denker, J.Meseguer, and C.Talcott
-- CINNI - A Generic Calculus of Explicit Substitutions and
its Application to lambda-, sigma-, and pi-Calculi.
by Mark-Oliver Stehr
-- Polytypic Programming in maude
by M.Clavel, F.Duran, N.Marti-Oliet
-- New foundations for Rewriting Logic
by Hendrik Hilberdink
-- The Leader Election Protocol of IEEE 1394 in Maude
by A.Verdejo, I.Pita, and N.Marti-Oliet
-- Rewriting Logic as a Framework for Generic Verification Tools
by Martin Leucker and Thomas Noll
-- The evaluation strategy for head normal form with and without
on-demand flag
by Masaki Nakamura and Kazuhiro Ogata
-- Maude vs Haskell: an experimental comparison in security
protocol analysis
by David Basin & Grit Denker
-- Towards Maude 2.0
by M.Clavel, F.Duran, S.Eker, P.Lincoln, N.Marti-Oliet,
J.Meseguer, J.F.Quesada
-- ASF+SDF parsing tools applied to ELAN
by M.G.J. van den Brand and C.Ringeissen
-- Handling relations over finite domains in the rule-based system ELAN
by C. Ringeissen
-- Defining Standard Prolog in Rewriting Logic
by M.Kulas and C.Beierle
-- Modal Logics for Rewriting Theories
by Dirk Pattinson
-- Case Studies in the Specification and Analysis of Protocols in Maude
by Dilia E.Rodriguez
-- Simple Network Protocol Simulation within Maude
by Ian A.Mason and Carolyn Talcott
-- The Typed Rewriting Calculus
by Horatiu Cirstea and Claude Kirchner
Invited Speakers:
=================
Joseph Goguen Univ. of California at San Diego, USA
Helene Kirchner LORIA-CNRS, France
Jon Millen CSL-SRI, USA
Hideyuki Nakashima ETL-MITI, Japan
System Demonstration/Presentation
=================================
CafeOBJ
ELAN
Maude
=======================================================================
Registration Form
-----------------------------------------------------------------------
Please return this form to nakagawa@sra.co.jp, s_iida@jaist.ac.jp
or send a hard copy.
First Name:
Family Name:
Initials:
Institution:
Address:
Email:
Telephone:
Fax:
Homepage:
Your height (optional):
Special dietary requirements (optional):
Date of arrival:
Date of departure:
Other special requirements, if any:
One-line statement about the research interest:
=======================================================================