Talks & Seminars

* Em busca de uma interoperabilidade de linguagens
  de programação (pdf) (2003.09.04)
* Interoperability of programming languages: object oriented
  vs. functional (pdf) (2003.10.01)
* Mapping Modular Structural Operational Semantics 
  to Modular Rewriting Semantics (pdf) (2003.10.16)
* A Modular Rewriting Semantics for CML (pdf) (1o Workshop VAS, 2004.03.19)
* A Modular Rewriting Semantics for CML (pdf) (SBLP'04, 2004.05.26)
* Maude MSOS Tool (pdf) (2o Workshop VAS, 2004.11.04)
* Maude MSOS Tool (pdf) (Pi-Lambda-seminar: regular meetings of the Programming Languages
  and Formal Models group at BRICS, Department of Computer Science, 
  University of Aarhus, Denmark, 2004.11.19)
* M. Sc. defense talk. (pdf) (2005.05.27).
  Committee: prof. Christiano Braga, 
             prof. Hermann Haeusler, and
             prof. Peter Mosses.

$Date: 2005/07/16 22:40:03 $