Programme of Termgraph at ETAPS 2007
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:
- Programme Overview, Social Programme
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
Bytecode,
COCV,
FESCA,
FinCo,
GT-VMT,
HAV,
HFL,
LDTA,
MBT,
MOMPES,
OpenCert,
QAPL,
SC,
SLA++P,
WITS
- Tutorials:
Stratego/XT,
SoftwGen,
Mobius
ETAPS 2007 |
Top |
HTML 4.01 |
Last Update: 2007-03-13