6th International School on Rewriting >> Program

6th International School on Rewriting

July 16th - 20th, 2012. Valencia, Spain


Track A - Preliminary Program (34 hours)


Registration Desk opens on Monday, July 16 at 08h15 (DSIC Hall).

  Monday, July 16 Tuesday, July 17 Wednesday, July 18 Thursday, July 19 Friday, July 20
09h00 ITR
J. Meseguer
ITR
J. Meseguer
ITR
J. Meseguer
ITR
J. Meseguer
ETR
B. Alarcón
R. Gutiérrez
09h30
10h00
10h30
11h00 Break Break Break Break Break
11h30 ITR
J. Meseguer
ITR
J. Meseguer
ITR
J. Meseguer
MAU
S. Escobar
TFA
A. Rubio
12h00
12h30
13h00
13h30 Lunch Lunch Lunch Lunch Lunch
15h00 ETR
B. Alarcón
R. Gutiérrez
ETR
B. Alarcón
R. Gutiérrez
Excursion MAU
S. Escobar
TFA
A. Rubio
15h30
16h00
16h30
17h00 Break Break Break Break
17h30 ITR
J. Meseguer
ITR
J. Meseguer
TFA
A. Rubio
ETR
B. Alarcón
R. Gutiérrez
18h00
18h30
19h00


Track B - Preliminary Program (34.5 hours)


Registration Desk opens on Monday, July 16 at 08h15 (DSIC Hall).

  Monday, July 16 Tuesday, July 17 Wednesday, July 18 Thursday, July 19 Friday, July 20
09h00 TAT
S. Tison
LCA
P. Lescanne
NTA
M. Alpuente
ARP
A. Voronkov
RLA
N. Martí-Oliet
09h30
10h00
10h30
11h00 Break Break Break Break Break
11h30 LCA
P. Lescanne
TAT
S. Tison
ARP
A. Voronkov
NTA
M. Alpuente
RLA
N. Martí-Oliet
12h00
12h30
13h00
13h30 Lunch Lunch Lunch Lunch Lunch
15h00 SAV
A.Oliveras
ACA
G. Moser
Excursion MUG
T. Kutsia
CER
X. Urbain
15h30
16h00
16h30
17h00 Break Break Break Break
17h30 ACA
G. Moser
SAV
A.Oliveras
CER
X. Urbain
MUG
T. Kutsia
18h00
18h30
19h00

Participants


List of participants.