LINEAR LOGIC : INTERACTION, PROOFS AND COMPUTATION

07
10
-
NOVEM
:
C
I
G
O
L
LINEAR
,
N
N
O
I
O
T
I
C
T
A
A
T
U
P
M
INTER
O
C
D
N
A
S
PROOF
)
6
1
0
2
(LL
URE DE
AN
SITÉ JE
UNIVER
&
LYON 3
MOULIN
ÉCOLE
16
BER 20
EMBER,
08 NOV
&
7
0
Lyon 3
,
n
T
li
R
FIRST PA iversité Jean Moulaude Bernard,
UPÉRIE
MALE S
LYON
NOR
Un
Quai C
Venue :
uvelin, 15 e
H
e
tr
â
é
h
Lyon 7
Amphit
on
afterno
ing and
rn
o
m
,
11
07/
Monday
LOGIC
orning
INEAR
08/11, m
OL IN L
O
tics,
Tuesday
a
H
C
m
S
e
in math
CTORY
U
ts
D
n
e
O
d
R
a
stu
INT
gic nd
and PhD
phy of lo
(Masters science, philoso
r
x
compute theory).
a, L. Vau
D. Mazz
ng
t,
ti
n
u
p
re
u
m
a
o
L
c
.
Joinet, O
rs : JB.
Speake
OPHY”.
oon
PHILOS
, aftern
11
D
/
N
8
A
0
GIC
t,
Tuesday
EAR LO
B. Joine
OP “LIN
H
S
K
Girard, J
.
R
Y
J
i,
WO
c
s
ru
b
e
rs : M. A
P. Piston
Speake
Petrolo,
.
M
,
a
d
M. Oka
mittee:
ing com
Organiz
t
Baillo
Patrick
ara
uel Beff
Emman
s
a
D
Anupam
nches
e Despla
Catherin
e
h
c
a
m
Ham
Wendy
e Joinet
st
ti
p
a
Jean-B
aurent
Olivier L
arques
M
ré
a
z
Na
ER
NOVEMeBLyon
0
1
&
9
0
d
,
ART ale Supérieure
ECOND P
on 7
S
e
Ly
orm
l'École,
École N
lace de
p
Venue :
1
u
d
e
ll
nod, Sa
Site Mo
on
afterno
ing and
rn
o
m
,
11
on
day 09/
afterno
Wednes
ing and
rn
o
MATICS
m
E
,
H
, MAT
y 10/11
a
IC
d
G
rs
O
u
L
h
T
INEAR
E”
HOP “L
,
WORKS PUTER SCIENC
th - UK)
M
O
C
ltjes (Ba
ij
e
H
i
AND
n
a
m
: Wille
hele Pag
speakers - France), Mic
Brazil),
Invited
y
la
(Natal c
l
a
te
S
(
n
r
e
le
im
il
P
Dale M
, Elaine
)
France)
- Japan
(Paris ur
i (Kyoto
ru
e
T
e
ig
vio, Arth
h
Kazus
eo Accla udhuri,
tt
a
M
:
lks
Cha
uted ta
Kaustuv
seppe
Contrib
morim,
des, Giu
A
a
e
E
D
y
e
o
rl
d
a
e
i
v
H
in
e
,
z
rr
io
A
ue
ch
Del Vec llois, Stefano G
rin, Kei
a
M
Stefano
ia
re
n
G
harles
aieli, So
C
M
,
Moot,
o
o
c
rt
rd
re
a
e
G
cq, Rob ré Melliès, Rich
a
J
t
liron
n
e
V
Clém
l-And
enoît a
oto, Pau Alice Pavaux, B
m
u
ts
a
M
,
Orchard
Dominic
air]
ittee:
aly) [ch
a Tre, It
c comm
France)
rance)
niv. Rom
Scientifi
F
,
(U
n
i
o
y
sc
L
- Paris 7,
ny)
Abru
Diderot
LIP, ENS
,
, Germa
is
S
n
n
Michele
e
R
e
h
N
D
c
.
n
iv
ü
t (C
n
M
lo
U
t
il
,
ä
a
IF
it
B
IR
ers
e)
Patrick
(CNRS,
ns-Univ
3, Franc
aximilia
Ehrhard
lin Lyon
udwig-M
Thomas
an Mou
e
(L
J
n
.
n
iv
a
n
ofm
Phil, U
France)
Martin H
oinet (IR
S Lyon,
ptiste J
, LIP, EN
S
R
pan)
Jean-Ba
a
N
J
,
(C
kyo
aurent
nce)
Keiô, To
Olivier L
eille, Fra
rs
a (Univ.
a
d
a
-M
k
ix
O
A
o
.
ir
iv
h
n
U
su
,
it
M
i (I2M
ada)
Quatrin
aly)
wa, Can
Myriam
a Tre, It
niv. Otta
iv. Rom
(U
n
tt
(U
o
c
lco
a
F
Phil S
e
d
Tortora
Lorenzo
REGISTRATION AND INFORMATIONS : https://ll2016.sciencesconf.org/
Avec le soutien du
GD RI LL
EA 4187