AMAST Mail 1996
[Prev][Next][Index]
RWLW96 Papers and Registration
----------------------------------------------------------------------
| RWLW '96 |
| FIRST INTERNATIONAL WORKSHOP ON REWRITING LOGIC AND ITS APPLICATIONS |
| Accepted Papers and Call for Registration |
| Asilomar Conference Center, Pacific Grove, California |
| September 3-6, 1996 |
-----------------------------------------------------------------------
(See also http://www.csl.sri.com/rewriting/RWLW96.html)
SPONSORS:
SRI International * Office of Naval Research * National Security Agency
REWRITING LOGIC is a natural semantic framework for concurrency and parallel
programming, and for the specification 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
these directions are being carried out worldwide, and several languages based
on rewriting logic are being designed and implemented. This workshop seeks to
bring together these researchers so that they can present and discuss their
work in a relaxed, casual atmosphere and the rustic beauty of the Monterey
Peninsula.
The workshop's program will include three invited talks and seventeen accepted
papers as listed below. It will also include several panel discussions on
different aspects and application areas of rewriting logic. Information about
the panel discussions and a detailed schedule of the workshop's program will
be given in a subsequent announcement.
INVITED TALKS
SOS, Tiles, and Rewriting Logic
Fabio Gadducci and Ugo Montanari, University of Pisa, Italy
Rewriting Logic as a Logical Framework
Narciso Marti-Oliet, University Complutense, Spain
A Formal Approach to Object-oriented software engineering
Martin Wirsing, University of Munich, Germany
ACCEPTED PAPERS
Bi-rewriting Rewriting Logic
Marco Schorlemmer, University of Catalunya, Spain
Modelling Conditional Rewriting Logic in Structured Categories
Hiroyuki Miyoshi, Shukutoku University, Japan
Hidden sorted rewriting Logic
R. Diaconescu, JAIST, Japan
Distributed Logic Objects: A fragment of Rewriting Logic and its
Implementation
A. Ciampolini and E. Lamma and P. Mello and C. Stefanelli
University of Bologna, Italy
Object-Oriented Specifications of Distributed Systems in the
mu-Calculus and Maude
Ulrike Lechner, University of Passau, Germany
Input/Output for ELAN
Patrick Viry, University of Pisa, Italy
An approach to Solving Binary CSP using Computational Systems
Carlos Castro, INRIA Lorraine and CRIN, France
Controlling Rewriting by Rewriting
Peter Borovansky, Claude Kirchner, Helene Kirchner
CRIN and INRIA Lorraine, France
ELAN: A logical framework based on computational systems
P. Borovansky. C. Kirchner, H. Kirchner, P.-E. Moreau, M. Vittek
INRIA Lorraine and CRIN, France
Computational Reflection and extension in ELAN
H. Kirchner and P.E. Moreau,
CRIN-CNRS and INRIA Lorraine, France
Discrete Event Systems in Rewriting logic
Christopher Landauer, The Aerospace Corp., Herdon, VA, USA
A Maude Specification of an object oriented database model for
telecommunication networks
Isabel Pita and Narciso Marti-Oliet, University Complutense, Spain
Reflection in Rewriting Logic
Manuel Clavel and Jose Meseguer, SRI International, USA
Fast matching in combination of regular equational theories
S. Eker, SRI International, USA
An Actor Rewriting theory
C. Talcott, Stanford University, USA
Specifying Real-Time Systems in Rewriting Logic
Peter C. Olveczky and Jose Meseguer, SRI International, USA
Principles of Maude
M. Clavel, S. Eker, P. Lincoln and J. Meseguer
SRI International, USA
PROGRAM COMMITTEE
J. Meseguer, Chair SRI International, USA
F. De Cindio University of Milan, Italy
K. Futatsugi JAIST, Japan
C. Kirchner INRIA-Lorraine, France
C. Lengauer University of Passau, Germany
N. Marti-Oliet Complutense University, Spain
U. Montanari University of Pisa, Italy
RWLW '96 GENERAL INFORMATION
To facilitate a true workshop environment, we plan to restrict the number of
participants to about forty; early registration is recommended. Because
Asilomar is a conference center rather than a hotel, all reservation dates are
firm. A single fee and registration covers the conference, accomodations,
and meals, as follows:
o Workshop sessions Sept. 3, 4, 5, 6 (concluding at noon, Sept. 6)
o 4 nights lodging (Sept. 2-5)
o Meals
oo Sept. 2: Dinner and Reception
oo Sept. 3, 4, 5: Breakfast, Lunch, Dinner (including Banquet Sept. 5)
oo Sept. 6: Breakfast, Lunch
o Parking
o Proceedings
Location and Transportation
Pacific Grove, is about 120 miles south of San Francisco, and and 75 miles
south of San Jose. It can be reached by car or shuttle from any of three
airports.
Airports: San Francisco (SFO) and San Jose (SJC) International airports
both serve Monterey. There is also a small local airport in Monterey that is
served by nonstop flights from San Francisco (SFO) or Los Angeles (LAX).
Shuttle: Peninsula Transport serves the Monterey, San Francisco, or San
Jose airports. Call +1 408/372-5555 for rates and reservations. Because the
service operates a limited number of vehicles, it is advisable to call at
least 24 hours in advance for reservations.
Driving: From San Francisco or San Jose:
Highway 101 South, past San Jose and Gilroy, to 156 West.
Highway 156 West to the Monterey Peninsula, merge with US 1.
South on US 1, following signs to Highway 68, Pacific Grove Exit.
Continue on Highway 68 through the City of Pacific Grove to the third
stoplight.
Turn left onto Sinex Ave. and continue into Asilomar's front gates.
Arrival time:
Check-in begins at 3:00 Monday, Sept. 2. Dinner is served only
between 6:00 and 7:00pm. For late arrivals, there will be light refreshments at
the reception.
Departure time:
The last conference session will end before noon on Sept. 6. Check-out is
before noon and luncheon is from noon to 1:00, after check-out.
--------------------------------------------------------------------------
Judith Burgess, <burgess@csl.sri.com>
tel: +1 415 859-5924, fax: +1 415 859-2844
======================================================================
FIRST INTERNATIONAL WORKSHOP ON REWRITING LOGIC AND ITS APPLICATIONS
Asilomar Conference Center, Sept. 3-6, 1996
REGISTRATION
A single fee covers the workshop, accomodations, and meals. Included are
the following:
o Workshop sessions Sept. 3, 4, 5, 6 (concluding at noon, Sept. 6)
o 4 nights lodging (Sept. 2-5)
o Meals
oo Sept. 2: Dinner and Reception
oo Sept. 3, 4, 5: Breakfast, Lunch, Dinner (incl. Banquet Sept. 5)
oo Sept. 6: Breakfast, Lunch
o Parking
o Proceedings
Early Registration Late Registration
(before June 30) (July 1-Aug. 15)
_____ Regular $750.00 _____ Regular $900.00
_____ Student* $350.00 _____ Student* $400.00
_____ Extra** $350.00 _____ Extra** $400.00
________________________________________________________________________
Name
________________________________________________________________________
Affiliation
________________________________________________________________________
Address
________________________________________________________________________
City/State/Country/ZIP
________________________________________________________________________
email
________________________________________________________________________
Telephone/Fax
*Students: The number of reduced rate student places for this conference
is limited. It is important to register early. Please provide the name
of your thesis director and academic institution.
________________________________________________________________________
Name of thesis advisor and institution
**Extra = Non-participant, sharing a room with a full participant.
All meals and banquet are included.
________________________________________________________________________
Name of Extra Person
Enclose one of the following, payable to SRI International, ref RWLW 96
____ Check (U.S. dollars on U.S. bank, payable to RWLW 96)
____ Bank Draft (U.S. dollars on foreign bank with U.S. corresponding bank.)
We regret that we cannot accept credit cards.
Send to:
Judith Burgess (RWLW 96) / EL266
SRI International
333 Ravenswood Ave.
Menlo Park, CA 94025, USA
------------------------------------------------------------------------
Judith Burgess, <burgess@csl.sri.com>
tel: +1 415 859-5924, fax: +1 415 859-2844
[
AMAST Mail 1996
|
Latest Update |
AMAST Mail Meta-Index |
AMAST
]