Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools

RULE'08 Program Variant A (draft)

Invited Talk

  • 9:00-10:00 Title to be announced. Pierre-Etienne Moreau

Session 1

  • 10:30 - 11:10 New Undecidability Results for Properties of Term Rewrite Systems. Rakesh Verma
  • 11:10 - 11:50 Order-sorted Unification Revisited. Joe Hendrix and Jose Meseguer

Session 2

  • 14:00 - 14:40 Constraint-aware Schema Transformations. Tiago Alves, Paulo F. Silva and Joost Visser
  • 14:40 - 15:20 A Rewriting-Based Model Checker for the Temporal Logic of Rewriting. Kyungmin Bae and Jose Meseguer

Session 3

  • 15:50 - 16:30 Neural Networks in Maude. Gustavo Santos, Miguel Palomino and Alberto Verdejo
  • 16:30 - 17:10 A Rewriting Logic Approach to Static Checking of Units of Measurement in C. Mark Hills, Feng Chen and Grigore Rosu


In order to take advantage of the workshop nature of the meeting, participants are asked to read most of the papers in advance and prepare questions or suggestions that they want to discuss with the authors.

rule08/variant_a_draft.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019