4th International Workshop on Rewriting Logic and its Applications
Pisa, Italy, 19-21 September, 2002
Home page: http://www.di.unipi.it/wrla2002
Printable version: [ Postscript (Letter) | Postscript (A4) | PDF (Letter) | PDF (A4) ]
| Thursday, 19 | Friday, 20 | Saturday, 21 | |
| 08:30 | 08:30 Registration | ||
| 09:00 | 09:00 Invited Speaker: Luigi Liquori "Rewriting Calculi with Types: a Survey" [abstract] | 09:00 Invited Speaker: Grit Denker "Modeling Secure Group Communication Protocols Using Multiset Term Rewriting" [abstract] | |
| 09:15 | 09:15 Opening | ||
| 09:30 | 09:30 Invited Speaker: Kohei Honda "The pi-calculus with types: a tool for representation" [abstract] | ||
| 10:00 | 10:00 "Conference Reviewing System in Mobile Maude" (Francisco Duran, Alberto Verdejo) [abstract] | 10:00 "The Maude LTL Model Checker" (Steven Eker, José Meseguer, Ambarish Sridharanarayanan) [abstract] | |
| 10:30 | 10:30 Break | 10:30 Break | 10:30 Break |
| 11:00 | 11:00 "Pathway Logic: Executable Models of Biological Networks" (Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute, Carolyn Talcott) [abstract] | 11:00 Demo: ELAN (Pierre-Etienne Moreau) [slides] [code] | 11:00 "Tiling Transactions in Rewriting Logic" (Roberto Bruni, José Meseguer, Ugo Montanari) [abstract] |
| 11:30 | 11:30 "Plan in Maude: Specifying an Active Network Programming Language" (Mark-Oliver Stehr, Carolyn Talcott) [abstract] | 11:30 "Outermost Ground Termination" (Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner) [abstract] | |
| 11:45 | 11:45 Tutorial: Context-sensitive rewriting techniques for programs with strategy annotations (Salvador Lucas) [abstract] [slides] | ||
| 12:00 | 12:00 "Implementing CCS in Maude 2" (Alberto Verdejo, Narciso Martí-Oliet) [abstract] | 12:00 "Correct and Complete (Positive) Strategy Annotations for OBJ" (Maria Alpuente, Santiago Escobar, Salvador Lucas) [abstract] | |
| 12:30 | 12:30 "An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0" (Prasanna Thati, Koushik Sen, Narciso Martí-Oliet) [abstract] | 12:30 "Reflection in Membership Equational Logic, Horn Logic with Equality, and Rewriting Logic" (Manuel Clavel, José Meseguer, Miguel Palomino) [abstract] | |
| 13:00 | 13:00 Lunch | 13:00 Lunch | 13:00 Lunch |
| 14:30 | 14:30 Demo: CafeOBJ as a tool for behavioural system verification (Akira Mori, Toshimi Sawada) | 14:30 Demo: Implementing transactions in the join calculus (Hernan Melgratti) [slides] | 14:30 Demo: Maude (Steven Eker) [slides: Part_1 | Part_2 | Part_3] [code] |
| 15:15 | 15:15 Tutorial: Rewriting logic revisited (José Meseguer) [abstract] [slides] | 15:15 Tutorial: Tile logic: Foundations and applications (Ugo Montanari) [abstract] [slides] | 15:15 Tutorial: Explicit substitutions and the open calculus of constructions (Mark-Oliver Stehr) [abstract] [slides] |
| 16:30 | 16:30 Break |
16:30
Tour of town and social dinner
|
16:30 Additional system demonstrations and Discussion |
| 17:00 | 17:00 "A Secret-Sharing Protocol Modelled in Maude" (Dilia Rodriguez) [abstract] | ||
| 17:30 | 17:30 "Rewriting-Based Verification of Authentication Protocols" (Kazuhiro Ogata, Kokichi Futatsugi) [abstract] | 17:30 End of Workshop | |
| 18:00 | 18:00 End of session |