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

Both sides previous revision Previous revision
Next revision
Previous revision
rule08:program [2008/07/14 11:54]
guenter
rule08:program [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​header&​fullpage&​nofooter}}
 +~~NOTOC~~
 +
 +===== RULE 2008 Program =====
 +
 +{{:​rule08:​rule08-proceedings-iai-tr-08-02.pdf|Complete proceedings (single PDF file with foreword, table of contents, global page numbering, ...).}}
 +
 +^ Starting Time  ^  Talk  ^^
 +|   ​9:​00 ​ | Welcome, mutual introduction ​ || 
 +|   ​9:​15 ​ | Invited talk: Rule based programming in Java.\\ //​Pierre-Etienne Moreau //              |  Abstract ​ | 
 +^  10:15  ^   ​Coffee Break    ^^
 +|  10:40  | New Undecidability Results for Properties of Term Rewrite Systems.\\ //Rakesh Verma// ​ |  {{:​rule08:​rule08-verma.pdf|PDF}} ​ |
 +|  11:20  | Order-sorted Unification Revisited. \\ //Joe Hendrix and Jose Meseguer// ​              ​| ​ {{:​rule08:​rule08-hendrix.pdf|PDF}} ​ |
 +^  12:00  ^   ​Lunch ​     ^^   
 +|  13:30  | Constraint-aware Schema Transformations. \\ //Tiago Alves, Paulo F. Silva and Joost Visser// ​              ​| ​ {{:​rule08:​rule08-alves.pdf|PDF}} ​ |
 +|  14:10  | A Rewriting-Based Model Checker for the Temporal Logic of Rewriting. \\ //Kyungmin Bae and Jose Meseguer// |  {{:​rule08:​rule08-bae.pdf|PDF}} ​       |
 +^  14:50  ^   ​Coffee Break     ^^
 +|  15:20  | Neural Networks in Maude. \\ //Gustavo Santos, Miguel Palomino and Alberto Verdejo //  |  {{:​rule08:​rule08-santos.pdf|PDF}} ​ |
 +|  16:00  | A Rewriting Logic Approach to Static Checking of Units of Measurement in C. \\ //Mark Hills, Feng Chen and Grigore Rosu// |  {{:​rule08:​rule08-hills.pdf|PDF}} ​ |
 +^  16:40  ^  Farewell Coffee Break   ^^
 +
 +
 +
 +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.
 +
 +
 +/* Commented out:
 +<note important>​
 +REMINDER: ENTCS does not grant us the right of using their "​official"​ style for the pre-proceedings. **For inclusion in the printed proceedings,​ your paper MUST be formatted using the  [[http://​www.entcs.org/​files/​rule08/​prentcsmacro.sty|prentcsmacros.sty file]]!**  ​
 +\\
 +\\
 +Please (re)submit a version with the proper style, after checking that all the formating (page breaks, figure placements, etc.) is still as you want it! 
 +</​note>​
 +*/
  
rule08/program.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019