Programme of Termgraph at ETAPS 2007

(4th International Workshop on Computing with Terms and Graphs)

Saturday, March 31, room: CP2-104

09:20 - 10:30 SESSION 1

Welcome
An Algebra for Directed Bigraphs
D. Grohmann and M. Miculan
Modeling and Verifying Graph Transformations in Proof Assistants
M. Strecker

10:30 - 11:00 Coffee Break

11:00 - 12:30 SESSION 2

Intensional properties of polygraphs
G. Bonfante and Y. Guiraud
Term-graph rewriting in TOM with relative positions
E. Balland and P. Brauner
Deduction Graphs with Universal Quantification
H. Geuvers and I. Loeb

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Rewritings for Polarized Mutiplicative and Exponential Proof Structures
C. Fouquere and V. Mogbil
Hard Combinators
D. Bechet and S. Lippi
Universal Boolean Systems
D. Bechet and S. Lippi
Interaction Nets with Nested Pattern Matching
S. Sato and A. Hussan
Sub-lambda-calculi, classified
F-R. Sinot

16:00 - 16:30 Coffee Break

18:45 SOCIAL EVENT

Joint Workshops Post-Conference Dinner (tickets needed)
Dinner at Pousada Santa Maria de Bouro
Shuttle departure from University Campus, Gualtar

Further ETAPS 2007 Programme Information:

ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-03-13