SDA SE Wiki

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

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

rule08:variant_a_draft [2018/05/09 01:59] (current)
Line 1: Line 1:
 +
 +====== 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
 +
 +
 +
 +DELETEME??
 +
 +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