conferences and workshops
- RuleML 2009,
3rd International Symposium on Rules, Applications and
Interoperability, Las Vegas, Nevada, USA. 5-7 November 2009.
- Linearity
2009, Coimbra, Portugal, 12 September 2009.
- TAASN
2009, 2nd Int. Workshop on Theory and Applications of Abstraction,
Substitution and Naming (ETAPS), York, 22 March 2009.
- TERMGRAPH 2009,
Int. workshop on terms and graphs (ETAPS), York, 22 March 2009.
- ISR 2009,
4th Int. School on Rewriting, Brasilia, June 2009.
- WRS
2009, 9th Int. Workshop on Reduction Strategies in Rewriting and
Programming.
- RULE 2009,
Int. Workshop on Rule-Based Programming, Brasilia, June 2009.
- DCM 2009 Int. Workshop on Developments in
Computational Models, an ICALP Workshop. Rhodes, July 2009
|
|
|
