!/"05"-O0"2"0,#",#7"5#PQ2"5#8R87"5!"5#J(+,"0(+-(,5

Transcription

1 ! " #! $ % & #'! ( ) * + (, * - +" #. / $ 0 1 * + 2 (, " #. " #% ( #& 6 #" 5, #4 0 #7 ( ) * + (, * - +" #. " #+" 8 9 " +8 9 " #5 * 4 5 #, 4, " 7 7 " #. " #7 / : 0 - ; " + 5 -, <# % - " + +" #= #> ( + - " #? #", #. 4 #? A B C #' : > B #D & E & 6 F #G; " 8 #" 0 ; - +* 0 #H E E #2 " 2 ) +" 5 #. * 0, #I D E #8 9 " +8 9 " #J " + 2 ( 0 " 0, 5# ", # K H E #. * 8, * + ( 0, # - 7 # " 5, # 7 / 4 0 #. " 5 # J J ( 4 L # 7 ( ) * + (, * - +" 5 #. " # +" 8 9 " +8 9 " # " 0 # * + 2 (, " # " 0 # M + ( 0 8 " F!"5#,9<2(,-34"5#58-"0,-1-34"5!"# $%&'(%)'*("# +',-("#,.# $%(/"# 01"+)("# 23%+)*-*)40# %,# 0"*.# 2"# 56# 47,*1"0# ("/(',14"0# ".# +*.7# 241%()"8".)0# 9# :%$+,$# ;+*".)*<*7,"=# >?+*0*'.=# ;@0)A8"0# B.)"$$*/".)0# C"+D"(+D"# '14(%)*'.."$$"=# >'..4"0# ")# E11(".)*00%/"# E()*<*+*"$=# C40"%,F# ")#;@0)A8"0#C41%()*0=#;@0)A8"0#?8&%(7,40#0,(#G,+"H##>",F# 47,*1"0#0'.)#+'88,."0#%-"+#$3BICBE#G%(*0JC'+7,".+',()#0,(# $"0# )D48%)*7,"0# 2,# +%$+,$# <'(8"$# ")# 2"0# 0@0)A8"0# (41%()*0H#!"#!BGK# "0)# 1'()",(# 2,# 1('L")#?7,*1"F# MBN# OM,),("# B.)"(.")# '<# ND*./0PH!/-0,"+0(,-*0(7!%# +''14(%)*'.# *.)"(.%)*'.%$"# "0)#,."# +'.0)%.)"# 1',(# $"0# %+)*-*)40#2,#$%&'(%)'*("H#!"#!BGK#"0)#8"8&("#2"#1$,0*",(0#(40"%,F# 23"F+"$$".+"# ")# 24-"$'11"# 4/%$"8".)# 2"0# ("$%)*'.0# 0,*-*"0# %-"+# 2"0#,.*-"(0*)40# %,# \(40*$=# %,F# ])%)0J^.*0=# %,# _%1'.=# ".# :D*."# ")# 2%.0#2"#.'8&(",F#1%@0#",('14".0H#!3^G`:#Z#)(%-"(0#$"#!BGK#"0)# 8"8&("#2,#(40"%,#aB:#B:N#!%&0#2"#$3*.0)*),)#Q#?,('1"%.#B.0)*),)"#'<# B..'-%)*'.#b#N"+D.'$'/@#T#O?BNPH#!"#$%&'(%)'*("#"0)#$%(/"8".)#',-"()# %,F#1('L")0#2"#+''14(%)*'.#")#Z#$3%++,"*$#2"#-*0*)",(0#0+*".)*<*7,"0H!/"05"-O0"2"0,#",#7"5#PQ2"5#8R87"5!"5#J(+,"0(+-(,5!"#!BGK# "0)# 1%()".%*("# 2,#!BI:;# Q#!%&'(%)'(@# <'(# B.<'(8%)*'.=# I")R'(S*./# %.2# :'88,.*+%)*'.# ;+*".+"0# TH#!347,*1"# +'88,."# :!?EC# Q:".)("# <'(#!"%(.*./# %.2# C")(*"-%$T# %# 4)4# +(44"# ".# UV55# %-"+# ND%$"0# :'88,.*+%)*'.0H#!"# $%&'(%)'*("# "0)# 4/%$"8".)# *81$*7,4#2%.0#,."#+'$$%&'(%)*'.#4)('*)"#%-"+#$3B.0)*),)#N"$"+'8#7,*# 0"#8%)4(*%$*0"#$"#W(',1"8".)#23B.)4(X)#;+*".)*<*7,"#G%(*;)*+H!(#B=N?.# +'81$48".)# 2"# $%# ("+D"(+D"# %+%248*7,"=# $"#!BGK# %#,."# $'./,"# )(%2*)*'.# 2"# +''14(%)*'.# %-"+# 2"0# 1%()".%*("0# *.2,0)(*"$0# 2%.0#2"#.'8&(",F#1('L")0#.%)*'.%,F=#",('14".0#',#*.)"(.%)*'.%,FH#!"# $%&'(%)'*("# "0)# *81$*7,4# 2%.0# $"0# 2",F# 1Y$"0# 2"# +'814)*)*-*)4# 2"# $3B$"J2"JM(%.+"# Z# 2'8*.%.)"# *.<'(8%)*7,"# 9# :%1# >*/*)%$# 0,(# $"# +'.)".,#.,84(*7,"#")#;@0)"8[)*+#0,(#$"0#0@0)A8"0#"8&%(7,40H!"# $%&'(%)'*("# "0)# *81$*7,4# 2%.0# 2"0# ".0"*/."8".)0# $*40# Z# $%# ("+D"(+D"=# 7,*# 0'.)# 2*01".040# %,# `%0)"(# Q# ;+*".+"0# ")# )"+D.'$'/*"#T#Z#$3^.*-"(0*)4#G*"(("#")#`%(*"#:,(*"H#!3?>BN?#2"# G%(*0# O?+'$"# >'+)'(%$"# 23B.<'(8%)*7,"=# N4$4+'88,.*+%)*'.# ")#?$"+)('.*7,"#2"#G%(*0P#%++,"*$$"#.'0#2'+)'(%.)0H!"#$%"&$'%()*+,-.$%/"&'01()*()2"%'3)4!"#$%&'#()*+#%&&%*%(*,-&#%*./&#%!"#$%&'(#)*++,(* -.//.#$&0,+

2 !"#$%$&'()*+!"# $%&'()"*"+)#,'-./-# 0.1"+)1213/"# ("4(5/&"# -"6# '.)171)%6#.5+."( +'+)# -"#.'-./-# 68*95-13/"# ")# -"#.'-./-# +/*%(13/":#,"# $%&'()"*"+)# "6)# 6)(/.)/(%# "+# $"/;# %3/1&"6:# 05+# '.)171)%# 6.1"+)1213/"# "6)# 5(4'+16%"# '/)5/(#$"#&-/61"/(6#'.)15+6#6&%.1213/"6:# -./0' 12&30' 4! $12&'+,+2! %,$,-+#2.!,'%*$#+;4(2! 2945*'#6&(2< -&41$#6&(27 &%2&.2$&(4=')%)#$%2A(-'#34"*$*H4=(2'5."*$"#$).4,-'5."*E$O2$*+%A'#$ 1+%4,2'(-"-$2+";;'&%&'#,$1"*$%2A(-'#34"*$*H4=(2'5."*$")$";;"&#.%)#7$ 2(-*5."$2%$0-,&'*'()$;')'"$"*#$%00-(0-',"7$1"*$&%2&.2*$).4,-'5."*E A.)15+#T>HA!T#OT%5*%)(1"#A-45(1)D*13/"JA-4%9(13/"P -./0' 12&30' 4! %1*41+$#(!,'%*$#+;4#6&(.! (2! 0*'9-*4#,&/.! +*0*'*%#(7!"##"$ %&#'()$ :'*"$ %.$ 1,:"2(00"4")#$ 1+%2A(-'#34"*$ ;()1,*$ *.-$ 2%$-,*(2.#'()$1"$*H*#<4"*$0(2H)(4'%./7$0"-4"##%)#$.)$#-%'#"4")#$ ";;'&%&"$1+(=K"#*$%2A,=-'5."*$")$A,(4,#-'"$%2A(-'#34'5."$6&(.-="*7$ *.-;%&"*9$")$G?$%')*'$5."$2+,#.1"$1"$2".-$#(0(2(A'"E$ A.)15+#R*'4"6#W#G8+'*13/"6 -./0512&30' 4! 4*38'(2! 39-,4#6&(2.! 3*--1(2! 4,-6&,-+(2.! 2&#"#! 4&'+#:#5'(.!(2+#4,+#*-!3&!4*&"(4(-+7!"##"$ %&#'()$ *"$ ;(&%2'*"$ *.-$ 2"*$ 0-(=2<4"*$ 1"$ #-%'#"4")#*$ 1"$ *,5.")&"*$ 1+'4%A"*$ F?$ (.$ G?E$?"*$ 4(1<2"*$ 1"$ 2%$ 1H)%4'5."$ *()#$.#'2'*,*$ 0(.-$ 1,&-'-"$ 2+,:(2.#'()$ 1"*$ *#-.&#.-"*$ 1%)*$ 2+'4%A"$ "#$0%-$28$4I4"$%'1"-$8$2%$-,*(2.#'()$1.$0-(=2<4"$0(*,$"#$A,-"-$2"*$ 1()),"*$4%)5.%)#"*E$!"*$0-')&'0"*$*()#$4'*$")$J.:-"$0%-$;'2#-%A"$ 0%-#'&.2%'-"$(.$0%-$%**'4'2%#'()$:%-'%#'())"22"$1"$1()),"*E A.)15+#AGHN#OA()1)D*%)13/"#G"6#HN$1+')"/(6P A.)15+#,NX=ZA!T#O,(8&)'+'-86"#A-4%9(13/"P -./0' 12&30' 4! 21:&$#+1.! :$90+*292+84(.! 5,2(2! 3(! =$>5-($.! :*$02! )#-#27 L+(=K"&#';$ $ 1"$ &"##"$ %&#'()$ $ "*#$ 1+,:%2."-$ 2%$ *,&.-'#,$ 1+.)$ &-H0#(*H*#<4"$ ")$ -%4")%)#$ *()$,#.1"$ 8$ &"22"$ 1+.)$ *H*#<4"$ %2A,=-'5."$1%)*$.)$&(-0*$;')'E$!"*$%##%5."*$),&"**'#")#$1+.#'2'*"-$ 2"*$%2A(-'#34"*$1"$&%2&.2$1"*$=%*"*$1"$V-W=)"-$2"*$02.*$";;'&%&"*$ "#$1"4%)1")#$")$A,),-%2$.)"$A-%)1"$0.'**%)&"$1"$&%2&.2$6#"40*$ 1"$&%2&.2$4%'*$%.**'$")$(&&.0%#'()$4,4('-"9E A.)15+#=ABAS#O=A('--"-#B/*"(1.'-#A-45(1)DS6P:! -./0' 12&30' 4!,'%*$#+;4(2! -&41$#6&(2! ())#:,:(2.! -*&"(''(2!,$:;#+(:+&$(2.!%$#''(2!3(!:,':&'.!-*9,&/!3(!:,':&'7!"##"$ %&#'()$ %$ 0(.-$ (=K"&#';$ 2"$ 1,:"2(00"4")#$ 1+%2A(-'#34"*$ ).4,-'5."*$(.$1"$)(H%./$1"$&%2&.2$(0#'4'*,*$0(.-$%##"')1-"$.)$3%.#$ )':"%.$ 1"$ 0"-;(-4%)&"$ 60.'**%)&"$ 1"$ &%2&.27$ 5.%2'#,$ ).4,-'5."9$ *.-$ $ 2"*$ &%2&.2%#".-*$ 0%-%22<2"*7$ $ A-'22"*$ 1"$ &%2&.27$ %&&,2,-%#".-*$ 4%#,-'"2*7$"#&EE A.)15+#>YA,ZA: -./0'12&30'4!)*-:+#*-2!0*'9-*4#,'(2.!292+84(2!5$&#+12.!,'%*$#+;4(2! (/,:+2!"##"$%&#'()$1,:"2(00"$1"*$%2A(-'#34"*$1"$-,*(2.#'()$"/%&#*$0(.-$ 2"*$ 0-(=2<4"*$ 1+(0#'4'*%#'()$ A2(=%2"$ 1"$ ;()&#'()*$ 0(2H)(4'%2"*$ *(.*$1"*$&()#-%')#"*$0(2H)(4'%2"*$$"#$2%$-,*(2.#'()$1"*$*H*#<4"*$ =-.'#,*$ 6&"-#%')"*$,5.%#'()*$ &()#'"))")#$.)"$ "--".-9E$!"*$ #-%:%./$ *()#$ 4"),*$ $ %:"&$ 2%$ P(H%2$ Q(22(R%H$ N)':"-*'#H$ (;$ L()1()7$ 2%$!3')"*"$ >&%1"4H$ (;$ B&'")&"*7$ %')*'$ 5."$ S"'3%)A$ N)':"-*'#H$ "#$ T"U')A$N)':"-*'#HE -./0' 12&30' 4! "#$%&'(! )'*++,-+(.! "#$%&'(! )#/(.! $(0$12(-+,+#*-! 3(2! -*45$(2.!6&,'#+1!-&41$#6&(7!"##"$ %&#'()$ *+')#,-"**"$ %./$ %*0"&#*$ 1.$ &%2&.2$ *.-$ (-1')%#".-$ &()&"-)%)#$ 2"*$ (0,-%#'()*$ %-'#34,#'5."*$ *.-$ $ #(.#$ *.00(-#$ 64'&-(0-(&"**".-*7$&%-#"*$8$0.&"7$%-&3'#"&#.-"*$1,1',"*9$%:"&$.)"$ ;(&%2'*%#'()$ 0%-#'&.2'<-"$ *.-$ 2%$ ;'%='2'#,$ ).4,-'5."$ $ 6='=2'(#3<5."$!>?@>7$ %#"2'"-$ 2(A'&'"2$ BCD>9$ "#$ *.-$ $ 2"*$ -"0-,*")#%#'()*$ 1"*$ )(4=-"*$")$4%&3')"$"#$2"*$%2A(-'#34"*$%**(&',*E!"#$%&'(!)*+,'!"#$%#&'()*+*,+-.'/0,1+2*3+4/5%#0,6&*3+78&1#098*3!"6# $5*'1+"6# $"# -<%3/1&"# =>?@AB# 65+)# -1%6# C# -<'(1)D*%)13/"# $"6#5($1+')"/(6#")#'/#.'-./-#6.1"+)1E3/":!<%3/1&"#"6)#C#-<5(141+"#$"#-'#919-15)DF3/"#,AGBA#")#$"#-<')"-1"(# "-#0HIA#9'6%6#6/(#/+"#'&&(5.D"#6)5.D'6)13/"#$"#-'#7'-1J $')15+# +/*%(13/":#!"6# $5*'1+"6# $"#.5*&%)"+."# $"# -<%3/1&"# =>?@AB#65+)#K J#-"#$%7"-5&&"*"+)#$<'-45(1)D*"6#+/*%(13/"6#"+#71(4/-"#L5)J )'+)"#5/#"+#71(4/-"#E;"#")#C#-"/(#7'-1$')15+M J#-<1*&-'+)')15+#&'('--F-"#$<'&&-1.')15+6#+/*%(13/"6M J#-"6#686)F*"6#$"#+/*%(')15+6#")#-"6#'-45(1)D*"6#'665.1%6M#65/J 7"+)#"+#-1"+#'7".#-'#.(8&)54('&D1"#5/#-"#)('1)"*"+)#$/#614+'-M J#-"6#&(59-F*"6#$<1*'4"(1"#+/*%(13/"#-1%6#C#-'#*5$%-16')15+#$"# -'#$8+'*13/"#$'+6#-"6#6%3/"+."6#$<1*'4"6:!"#$%&5%6.7&/'8+98+' :%/;0(5+ 4<5*=#'0)+ :>3,*&3+ '(2+ 4??/0)',0%(3!<%3/1&"J&(5Q")#0A!0A#"6)#/+"#%3/1&"#.5**/+"#"+)("#-<RBNRA# ")#-<@=S,#$'+6#-"#$5*'1+"#$"#-'#(%65-/)15+#$"6#686)F*"6#&5-8J +5*1'/;#&'(#$"6#*%)D5$"6#";'.)"6:#!<59Q".)12#$/#&(5Q")#"6)#$"# $%7"-5&&"(# $"6# '-45(1)D*"6# "2E.'."6# &"(*"))'+)# $"#.'-./-"(# -"6#('.1+"6#.5*&-";"6M#(%"--"6#5/#$'+6#/+#.5(&6#E+1#$"6#686J )F*"6#&5-8+5*1'/;:#='(*1#-"6#'-45(1)D*"6#25+$'*"+)'/;#'/;J 3/"-6#-<%3/1&"#'#-"#&-/6#.5+)(19/%#5+#&"/)#.1)"(#-"6#'-45(1)D*"6# $"#.'-./-#$"#9'6"6#$"#T(U9+"(#")#-"6#*%)D5$"6#C#9'6"#$"#&51+)6#.(1)13/"6:##!'#.5*&-";1)%#)D%5(13/"#$"6#.'-./-6#"6)#%4'-"*"+)# '/#.V/(#$"6#&(%5../&')15+6#$"6#*"*9("6#$"#-<%3/1&":#!<%3/1&"# 6<1*&-13/"#'/661#$'+6#-<1*&-%*"+)')15+#&'('--F-"#D'/)"#&"(25(J *'+."# $"# # -19('1(1"6# $<'-4F9("# # -1+%'1("# &"(25(*'+)"6# +%."6J 6'1("#C#-<"2E.'.1)%#$"6#'-45J (1)D*"6#3/<"--"#$%7"-5&&":

3 !"#$%&'()('*#$+,$+*-%.'"/"0'$123&(#(405$67#'8/"#$90'"::(;"0'#$"'$<"&=".&="$4-*.%'(400"::">$&40&". 0"0'$ "::"#$ #"$ &40&"0'."0'$ #,.$ :"#$ -.4D:8/"#$ +"$ +*&(#(405$+?4-'(/(#%'(40$"'$#,.$:"#$#7#'8/"#$%+%-'%'(A#E$!"#$'.%)%,F$/"0*#$&4,)."0'$,0$:%.;"$#-"&'."5$(0&:,%0'$ +"#$ %#-"&'#$ '=*4.(G,"#$ H/4+8:"#$ A4./":#5$ %0%:7#"#$ %F(4/%'(G,"#5$ *',+"#$ +"$ &4/-:"F('*I5$ :"$ +*)":4--"/"0'$ +?%:;4.('=/"#$"AA(&%&"#$H"F%&'#$4,$%--.4&=*#I$-4,.$:%$.*#4:,'(40$+"$-.4D:8/"#$&4/-:"F"#5$:%$&40&"-'(40$+"$ #7#'8/"#$ (0'"::(;"0'#$ H%;"0'#$ %+%-'%'(A#5$ #7#'8/"#$ /,:'(J%;"0'#5$ #7#'8/"#$ +?%(+"$ K$ :%$ +*&(#(405$ +?%(+"$ K$ :%$ A4./%'(40I$"'$:",.$/(#"$"0$L,)."$%,$#"(0$+?%--:(&%'(40#$(0+,#'.("::"#E fi (Ci )= αi Ei + βi Ti!"#$%$!&'()!"#$%&'()"*"+)#,-./0#"1)#2(3'+41%#"+#5#%674&"18 J$<B$H<"&=".&="$B-*.%'(400"::"I di Early pi i Ei J$23P969BQ$H2*&(#(40I Tardy Ci i Ti Ci J$6R@$H67#'8/"#$R,:'(J@;"0'#I5 J$ RBP@S$ HR4+8:"#$ "'$ B,'(:#$ "0$ (0;*0(".("$ +"#$ P400%(#J #%0&"#$-4,.$:?@--."0'(##%;"$S,/%(0I 1/1!"# $%&'# ("# ()*+,-%.%'-/# 0%$# *,&'1&*+"2# +2%$# (%# 133*),+-&3'# %'-,%# 0%$# )4"&*%$# 13'1%,'%'-# 053*-&.&$+-&3'# 13.6&'+-3&,%# 789:;< =;>?@A>B/#0+#-C)3,&%#(%$#D%"2#+0E3,&-C.&4"%#789:;=;>?@A>@=F!B/# 0%$#+E%'-$#+(+*-+-&G$#7=F!@F>:!HB/#0+#()1&$&3'#%-#0+#*0+'&G&1+-&3'# (+'$#05&'1%,-+&'#789:;=;>?@=F!BI <*#"%,F$"'$M.4N"'#$#&("0'(A(G,"#$O!"#$%&'(")*&+,&--&.,&"/ !"#$%&'(")*&+,&--&.,&"178213!"#$%&'(")*&+,&--&.,&"6/495:8;<8=1!"0:#"#&,>&?,>&"8@$?'ABC..&--&!"5.A&?.'ABC.'-"0:#"C."D/-EC?BA>FB,":&,B%BC."3>&C?GH!"/,ABI&J'A>!1K"L"'@@&-"&(?C@$&."1/<!1/M"1!-&'?.B.EN!"=-'A&!OC?F&")&"=?C)(,ABC.")&"#&%%C(?,&%"1)BAC?B'-&%"L@P-&")&"" "",CF@$ABABIBA$N!"/2#";688Q"L=?CR'RB-B%AB,"#&-'ABC.'-"JC)&-N!"/2#"4/#:82;"L-&'?.B.E"'.)"?&'%C.B.E"B."J:=%M"-CEB,"'.)""" ""@?CR'RB-BAB,"?&@?&%&.A'ABC.N""!"0K1=/#:"L@?CS&A"/2#M"8@ABFB%'ABC."F(-AB,?BAT?&N!"<8J;8<"L@?CS&A"/2#M"<CF@(A'ABC.'-";C,B'-"<>CB,&N!" #5/J" :11=" L:B'-CE(&" UC.)$" %(?" -*1FCABC.M" -*1+@$?B&.,&" &A" -'" =&?%C..'-BA$N!"#5/J"<V"L<C.,&@ABC.")*(.&"<>'W.&"1)BAC?B'-&")&"<C.A&.("" " ""1)(,'ABUN!"5<1/"L5.A$E?&?"<CE.BABC.M"1FCABC."&A"/(AC.CFB&")'.%"(."?CRCA"" ""')'@A'ABUN!"/#<K;"L@?CS&A"O?'.,C!R?$%B-B&.")&"FC)$-B%'ABC."&A"%BF(-'ABC."" ""F(-AB!CRS&,ABUN!"=?CS&A"3&??'":G.'FB,'"LOK5XN T4./%'(40$-%.$:%$<"&=".&="$O # =*)1&+0&-)# ;!8/# F+$-%,# ;'G3,.+-&4"%<# =*)1&+0&-)# F:J/# F+$-%,# =1&%'1%$#%-#F+'+E%.%'- M%.'"0%(."#$(0+,#'.(":#$O Q8KY0K1;" 3141<8JM" <'.'-" F(-ABF&)B'M" :0/M" :Y2/;5;M" 1:OM" 1:535;M" O#/2<1" 3141<8J" #Z:M" 5O=M" 5480M" 8:541" [/<8Q" JK435J1:5/M"\K/235<":#1/JM";=5#8=;M"3]/41; <B$ R4'#$&:"A# :3.*0%2&-)/# >*-&.&$+-&3'# 13.6&'+-3&,%/# >,(3''+'1%.%'-/# =+-&$< K+6&0&-)/#A3"-+E%#(+'$#0%$#,)$%+"2/#LC)3,&%#(%$#D%"2#+0E3,&-C.&4"%I 23P969BQ LC)3,&%# (%# 0+# ()1&$&3'# +0E3,&-C.&4"%/# >*-&.&$+-&3'#."0-&36D%1-&G/# 8)1&$&3'#(+'$#05&'1%,-+&'#%-#0%#,&$4"%/#F3(M0%$#N,+*C&4"%$/#=O$< -M.%$#(5+&(%#P#0+#()1&$&3'/#>*-&.&$+-&3'#13.6&'+-3&,%#%-#QRI 6R@ R+'E+E%$# %-# Q0+-%G3,.%$# F"0-&<!E%'-$/# :33,(&'+-&3'/# 8)1&$&3'# (&$-,&6")%# %-# Q0+'&K1+-&3'#."0-&<+E%'-$/# 8&+03E"%# %-# &'-%,+1-&3'/#!E%'-$#.36&0%$/#;'-%00&E%'1%#+.6&+'-%/#.%1+'$&.#(%$&E'I RBP@S 9'S&,3''%.%'-$# &'-%,+1-&G$# *3",# 05+**,%'-&$$+E%# C".+&'# 79;!HB/# F)-C3(303E&%# (%# 13'1%*-&3'# (%#,%$$3",1%$# *)(+E3E&4"%$/# T%6# $).+'-&4"%#7.)-+(3'')%$/#3'-303E&%$B/#F3()0&$+-&3'#13E'&-&S%#(%# 05+**,%'+'-/#$%,&3"$#E+.%$I

4 !"#$%$!&'&! "#$%"&'"%&'"#$()$(*+,%-"."/-$01//*"#$"-$23+%"/-4##,5"$2%-464&4"7$#1/-$&"/-%*"#$,)-1)%$("$78,++%"/-4##,5"$,)-1.,-49)"$ :#-,-4#-49)";$ #<.=1749)";$ %"7,-41//"7>$ "-$ ("$ 7,$ 5"#-41/$ ("$ 5%,/("#$.,##"#$ ("$ (1//*"#$ '*-*%15?/"#$ "-$ 3,%.4$ 7"#$.*-'1("#$ &1)%,.."/-$ ".+71<*"#$ +1)%$ 7,$ %"&'"%&'"$ 61/(,."/-,7"$ "-$,++749)*"$(*A"71++*"$+,%$7"$(*+,%-"."/-;$1/$+")-$&4-"%$7"#$.*-'1("#$#-,-4#-49)"#;$7"#$%*#",)B$("$/")%1/"#;$ 7,$ 71549)"$ 671)";$ 7"#$ -"&'/49)"#$ ("$ 6)#41/$ (84/61%.,-41/#;$ 7,$ 5"#-41/$ "664&,&"$ ("$ (1//*"#$ C$ 7,%5"$ *&'"77";$ 78,/,7<#"$ 61%."77"$ ("$ &1/&"+-;$ 7,$ &1/#-%)&-41/$ "-$ A4#),74#,-41/$ (81/-17154";$ 7"#$,%&'4-"&-)%"#$ +%161/("#$ "/$ /%,#$/(-"0#$1./(%#$3*"4*"5$6"75$(1%8"#$"*$-(/.+#5$0.#"%24$#+)(%249$5$:$78,5%*5,-41/$/"$;'24$/<(,;+01%*(+,#5$"*$:$78,%&'4A,5"$/2$="7>!%$%"&'"%&'"$(84/61%.,-41/$7%#."$#20$'"$)+,*",25$784/("B,-41/$/"$/+)21",*#$12'*(1./(%#$"*$*"4*2"'#$"*$'%$8"#*(+,?(,*"00+8%*(+,$/"$ 0.#"%24$#+)(%249$+2$",$"4*0%(0"$2,"$(,;+01%*(+,$#&.)(;(C2">$!%$0.&'()%*(+,$/"$/+,,."#$"*$'"$*0%(*"1",*$/"$;'24$/"$/+,,."#$$#+,*$&%01($'"#$ "*$0",;+0)."$&%0$'<2*('(#%*(+,$)+,G+(,*"$/"$&'2#("20#$1./(%#> '2*(-"#$/%,#$/"#$%*#",)B$#1&4,)B$"*$'%$/.)+2-"0*"$/"$)+,,%(##%,)"#$#+,*$%7+0/.#$/%,#$/"#$7%#"#$/"$/+,,."#$/"$80%,/"$*%(''">$H"#$ ;%)"#$"*$/"$#D#*A1"#$(,*"0%)*(;#$#+,*$/.-"'+&&."#$/%,#$'"$/.&%0*"1",*5$&%0$"4"1&'"$",$)"$C2($)+,)"0,"$'%$,%-(8%*(+,$%/%&*%*(-"5$'"#$(,B D1/-%,-#$E/()#-%4"7#$"-$3%1F"-#$G)%1+*"/#$H %,-./ &:!"#$"%&'()"**+,-'"-"%.#/#0'#*"*/#*/$"%'123+%/-4'"-3'$21)5*"*/2-"%' %+",-/-46 ;<9=.>+.0<9?,.6 K1%.,-41/$+,%$7,$L"&'"%&'"$H "-3' J%"A"-#$H $!"#$%&'"()(*%&%+"&,-(./,#$*0*$#1&2(&%$310+.&#4+,0$"(%5&%+"&,0&3(%*$#1& 2(&,-$16#"70*$#1& /#+"&,(& "(1%($31(7(1*5& %+"&,0& 6+%$#1& %87'#,$9+(& 2-$16#"70*$#1: 9@9B>0' 89C:97:0' 8:DE:70' DF?90' F!:GH9I' >>>0' 7FA:G0' CF!F7J ;<9=.>-+"8% 979!0' 89KFE70' 89EC:80' 8A977' I0' ' 87FL70' :MBE9=D' NF?0' :?MD:=70' BE9LE9G8:70' L:G>=70' L:F!:=!A:0' A9@!9D90' >CFHG70'@9D7!9@0''EF7:70'79>@7>0'7O>!!>0'P>L>:7 3,%-"/,4%"#$4/()#-%4"7#$H CK9A:7' 8BE0' CK9A:7' CEC0' FG:E90' BE9G8:' C:A:8F@0' :9D70' >LG0' >G90' 9A89C:AMA=8:GCMN:AA' A9N70' 8:90' 7FGI0' :DB0' 9GC>DFC0' 9E>7:@0'!:EC>@@0' P:87I70' >GC:AA>L:GC' A:9EG>GL' FNY:8C70' NN7!0' 89D:L:' KF77=E0'!EIAF70' NAFL7!>E>C0' O9ECFF0' D>:DE:' D:7>LG0' :?9A:9D0' :!9L>G:0' CE9P:A7FBC0' K:9P:G' 82-#+/%0' C:A:B=G0' 9AC>80' L>:' 89EC:7' N9GP9>E:70':=EF!:9G'9E8K>P:7J!"#$%&'()!"#$%& *+,-$.&(/&+0.$.1(+.2( $5.(8&70$&9+: '( ;+'&'(2&(<5..=&' ")"*"+ >1&.7'(?51.$7$4'(&7(>%%0&.7$''+1&(@A6B5:$"#&(>#756+7$"#& I1-#$&7"6# 9)),+-*/##"4+' "5*21"*/Q5+0' #*"*/#*/Q5+' +*' #.1;2%/Q5+0' 4+#*/2-' 3+' 32--R+#' S' %",4+' R$T+%%+0' U%5V' 3+' 32--R+#0' ",$T/<"4+' 35' H+;0',+$T+,$T+'3W/-U2,1"*/2-'*+V*+'+*'15%*/1R3/"0'/-*+,U"$+#'+*'123R%/M #"*/2-'5*/%/#"*+5,0'X+;'#R1"-*/Q5+J

5 Département Réseaux et Systèmes Equipes NPA, Phare et REGAL

6 Un système complexe est un objet dont on ne sait pas décrire, comprendre, prédire, ou maîtriser le comportement global par la connaissance, même fine, des éléments le constituant et de leurs interactions. Les exemples typiques sont les organismes vivants (et leurs écosystèmes), les systèmes industriels complexes (comme une usine ou un avion), ou les systèmes sociaux (comme un réseau social ou une ville, par exemple). En informatique, les exemples types sont les grands logiciels (assemblages complexes de briques logicielles), les réseaux (tels l inter net ou les réseaux pair-à-pair), et les usages qui en sont faits (réseaux sociaux en ligne, échanges, etc). Dans tous ces contextes, il s agit de développer de nouvelles méthodes et de nouveaux outils pour observer, analyser, comprendre, traiter, concevoir et maîtriser ces systèmes. Le département Systèmes Complexes du LIP6 réunit trois équipes autour de ce ces thèmes : APR (aspects méthodologiques basés sur l algorithmique et la programmation), ComplexNetworks (aspects structurels avec comme formalisme central les graphes ou réseaux) et MoVe (étude, conception, sûreté et vérification des logiciels complexes). Département Systèmes Complexes Equipe APR Les thématiques de l équipe APR concernent l algorithmique et les langages de programmation, sous des aspects fondamentaux à la fois théoriques et pratiques, en combinant l approche langage (conception, implantation) et les besoins algorithmiques (modélisation algorithmique, analyse de complexité) dans des domaines d application qui vont de la programmation des nouvelles architectures de machines au développement de langages pour la concurrence et la mobilité, en passant par le test logiciel. De façon générale, nous développons dans l équipe APR, des approches méthodologiques, formelles et mathématisées, en sémantique et en combinatoire, pour parvenir jusqu à des objectifs très concrets, dans la construction de prototypes logiciels expérimentaux et la réalisation d applications industrielles. Equipe ComplexNetworks L équipe ComplexNetworks s intéresse aux graphes modélisant des objets réels, comme l internet, les réseaux pair-à-pair, les réseaux sociaux ou biologiques. Elle travaille sur les questions transverses concernant ces objets, notamment : la mesure (acquisition d information sur ces graphes), la métrologie (biais induit par l opération de mesure sur les observations), l analyse (description statistique ou structurelle de ces graphes), la modélisation (génération de graphes synthétiques partageant les propriétés observées), ainsi que diverses questions algorithmiques (nouvelles questions posées par le contexte). Notre approche consiste à effectuer des allers-retours permanents entre questions fondamentales et problèmes appliqués, guidés par de nombreux cas d étude différents. Equipe MoVe L équipe MoVe centre ses recherches sur la modélisation et l analyse de systèmes répartis complexes et dynamiques. En particulier, elle se focalise sur les aspects suivants : - Techniques optimisées de vérification formelle par model checking. - Méthodologies de développement basées sur l ingénierie dirigée par les modèles. - Intégration de l analyse formelle dans les processus de développement. - Conception et implantation de nouveaux langages et modèles de programmation pour accroître la vérifiabilité de programmes répartis. Mots clefs Complexité, Emergence, Interactions, Réseaux sociaux, Grands logiciels, Vérification, Sécurité Internet, Algorithmique, Web, Pairà-pair, Langages, Fiabilité, Implantation, Génération aléatoire, Graphes, Réseaux.

7 !"#$%$&'(#)*$+,$-./"! A5# (',,"*B5"# -+"#."+)'0+"# /"# &"(,6++",C# /6+)# -+"# )("+)'0+"# /D"+,"0E+'+),F.<"(.<"-(,# /"# 5DGHI;C# '-)6-(#/"#1-')("#'J",#/"#(".<"(.<"#&(0+.0&'-J#K!"#$%"&'()*+$(+,'$%"-,.+*/(0'$%"(01+*$11$1+"2.,%*$,'%"($1+&*1$%"0,"-*..*$'%"3$"(4,'%")5+5'0671$%8"9..$%"%01+"5+,3*5$%"&,"1*:$&,".06*(*$." 3$"(&2+$,'%"%&1%"<*."D"E&%%$"(01%0--&+*01"$+".$%"'5($2+$,'%"20,'".&"'&3*0".06*(*$..$8"#$%"&'()*+$(+,'$%"'$(01<*6,'&E.$%"%01+"56&.$-$1+" &E0'35$%"2&'".$,'"*1+56'&+*01"3&1%"3$%"2,($%"$+"20,'"3$%"&22.*(&+*01%"%25(*<*C,$%"+$..$%"C,$".&"('B2+06'&2)*$8!"#$%"%B%+7-$%")5+5'0671$%"'$6'0,2$1+?"3&1%",1"(01+$A+$"-,.+*/2)B%*C,$?".06*(*$.%"$+"<01(+*01%"1,-5'*C,$%?"&1&.06*C,$%?"F9FG"$+"HI8" J$%"&A$%"+'0,:$1+"3$%"&22.*(&+*01%"+'&1%:$'%$%"3&1%".$%"30-&*1$%"3,"+'&1%20'+"$+"3$".&"%&1+58 H5')"26(*", '&D#!E&!"#$%&'#&("')*+,-#."')/0,0"+1%2&')3)*0*.%"')4+"&+/0' '&#$%"=F 5%61%.&$78(')9-2&'*:):!5!)4.(")1+)2%*(1+&%.,);')2-2&7*'2)2(") 4(#' '&%$E=$"=# :.,#'4&%.,<)41+#'*',&)'&)".(&+/');'2)#%"#(%&2)*%=&'2)+,+1./%8('2>,(*0"%8('2 '&%$>#$GG!D=$>&?'2("');')#.,2.**+&%.,);'2)2-2&7*'2)$0&0"./7,'2 Q6(*')06+, " >)T%#',#'2);h01'#&".,%8(')'&);h%,R."*+&%8(');')1h^D?: >)?+2&'") ',) %,R."*+&%8(') ;') 1h^D?:) 240#%+1%&0) l9-2&7*'2) B1'#&".,%8('2<)9-2&7*'2)H,R."*+&%8('2m)V6%1.#+1%20)+c'#)1h^,%c'"2%&0) J"+,g+%2');hB/-4&'W >)D.1-&'#$hD+"%2>^D?: H(6/-.)06+#LMMN#O#LMPM >)NiM)4+4%'"2);+,2);'2)j.(",+(=)'&);'2)#.,R0"',#'2)%,&'",+&%.,+1'2))) )))+c'#)#.*%&0);')1'#&("' >)Lk)G$72'2)'&)X)QFE)2.(&',('2 >)LM):.,&"+&2)4.(")(,)6(;/'&)l)*+"/%,+1)m);')X)?n >)X)5"'c'&2)'&)#"0+&%.,);')L)2&+"&(42) >)L')D"%=)J.,;+&%.,)9C!?)H,,.c+&%.,)G$0"+4'(&%8(')LMMY) >)L)1+("0+&2):.,#.("2)I+&%.,+1):"0+&%.,)B,&"'4"%2'2)H,,.c+,&'2)K9BK)LMMo 8- J9*$029#A- I- FC!) FG:<)?HIBJH) I!IKLMNL<)!IE) O)!F!?<) BIFK:K?<) J?BP<) QBEKFKGK9<) QKFH99<) 9B9!?<) 9BJDC!<) 8-F2*&/29*$029#A-I-!IE)!9GB:!9<)?BFB!U)5FEB!?9<):!GEBIB) G9!E H'()"+'0(", H&"=<I!"#$%&'!"#$%&'&!()*+,-),.(-/&-,&"01+)+-2/&30.(&#4/,56-/&7689(:.;/& /.(&<.)- ()'*+,&'-,#.*$%/01&''&#/'-$2*34/3'-'#/-%#1&5-*&,%'-/3&.5-63/$78 19*$02-:0/,&..&-;&'-')'*+,&'-&*-4323/9*$02-;&-10;&-0%*$,$'3-%0#/-.<9/1=$*&1*#/&-1$>.&? *$ &%*$02-&*-.9-63/$719*$02-;&'-1$/1#$*'-,$A*&'-&*-=3*3/08 4+2&'? B02'0,,9*$02-&*-$2*34/$*3-;#-'$429.5-/3'&9#A-;&-19%*&#/'-'92'-7.- >9''&-102'0,,9*$025-9%%.$19*$02'-/9;$0-.04$1$&..&-&*-'92*3? 8-F2'*$*#*$022&.'-I)!D>QD<)B9HBB<)B9D:H<)HB?I<)H]TT<)H]TE!<)HIE!<) HIEH!<)H,2&%&(&)G010#.*<)HEDQB<)TLB<)THE??<)T9A<)9^DBTB:<)GH?!<) ^G: >) F2;#'*/$&.'- I)!:B<) 5(11<) :B!<) :B!>TBGH<) _!TE!`<)?!CHTTB?<) IaD<)KIBE!<)K"+,/')T+62<)DQHTHD9<)9G?%#".'1'#&".,%#2<)GQ!TB9<) `!:!9G 8-KD.&'-;&-10,%3*$*$6$*3-I)9`9GB?!GH:)'&):!D)FHCHG!T<)CH9)'9-2) '&)D+"%9&%#<)K4&%#2)A+11'-<)CFE)9K:b9HD 8-F2*&/29*$029#A-I)!%,)9$+*2)^,%c'"2%&0)VT'):+%"'W<):$'22)V5'"d'1'-W<) :HIAB9G!A) V?'=%#.W<) ^,%c'"2%&e&) 5"'*',<) F'1R&) G^<) J"+(,$.R'"<) TH!:9)VT'%;',W<)^f!:)V:$%#.(&%*%W<)^,%c'"2%&0);')?.,+2&%"<)^,%c'"2%&0) ;6+)'.)?*')9$+$%,)?+$*..;%+,)V9'#"0&+"%+&W G'1)O)UPP)N)XX)LY)YN)YP?71)O)2.#Z2.#[1%4\[R"