LFMTP'18 First Call for Papers
Giselle Reis <[email protected]> Tue, 14 Nov 2017 09:42:42 +0000
| Newsgroups | gmane.comp.science.types.announce,gmane.comp.lang.lambda-prolog,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <CAEkozwPQqkyXjb1PUD_+R65VjYn1Zq63sEBBT3DyNCCABs_vUw@mail.gmail.com> |
--===============4015803983673644930==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--===============4015803983673644930==
Content-Type: multipart/alternative; boundary="f403045ec4260083af055dee368a"
--f403045ec4260083af055dee368a
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
[Apologies if you receive multiple copies of this announcement]
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Call for papers
Logical Frameworks and Meta-Languages: Theory and Practice
LFMTP 2018
Oxford, UK, 7 July 2018
Affiliated with FSCD 2018 (part of FLoC)
http://lfmtp.org/workshops/2018/
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
SUBMISSION DEADLINE: 16 APRIL 2018
Logical frameworks and meta-languages form a common substrate for
representing, implementing and reasoning about a wide variety of
deductive systems of interest in logic and computer science. Their
design, implementation and their use in reasoning tasks, ranging from
the correctness of software to the properties of formal
systems, have been the focus of considerable research over the last two
decades. This workshop will bring together designers, implementors and
practitioners to discuss various aspects impinging on the structure and
utility of logical frameworks, including the treatment of variable
binding, inductive and co-inductive reasoning techniques and the
expressiveness and lucidity of the reasoning process.
LFMTP 2018 will provide researchers a forum to present state-of-the-art
techniques and discuss progress in areas such as the following:
* Encoding and reasoning about the meta-theory of programming languages,
logical systems and related formally specified systems.
* Theoretical and practical issues concerning the treatment of variable
binding, especially the representation of, and reasoning about,
datatypes defined from binding signatures.
* Logical treatments of inductive and co-inductive definitions and
associated reasoning techniques, including inductive types of higher
dimension in homotopy type theory.
* Graphical languages for building proofs, applications in geometry,
equational reasoning and category theory.
* New theory contributions: canonical and substructural frameworks,
contextual frameworks, proof-theoretic foundations supporting
binders, functional programming over logical frameworks,
homotopy and cubical type theory.
* Applications of logical frameworks: proof-carrying architectures, proof
exchange and transformation, program refactoring, etc.
* Techniques for programming with binders in functional programming
languages such as Haskell, OCaml or Agda, and logic programming
languages such as lambda Prolog or Alpha-Prolog.
Invited Speakers
TBA
Important Dates
Abstract submission deadline: Monday April 9th
Submission deadline: Monday April 16th
Notification to authors: Monday May 14th
Final version due: Monday June 4th
Workshop date: Saturday July 7th
Submission
In addition to regular papers, we accept the submission of "work in
progress"
reports, in a broad sense. Those do not need to report fully polished
research results, but should be of interest for the community at large.
Submitted papers should be in PDF, formatted using the EPTCS style
guidelines. The length is restricted to 15 pages for regular papers and
8 pages for "Work in Progress" papers. Submission is via EasyChair:
https://easychair.org/conferences/?conf=3Dlfmtp18.
Proceedings
Accepted regular papers will be included in the proceedings of LMFTP
2018, whose mode of publication will be determined shortly.
Program Committee
* Mar=C3=ADa Alpuente (Universitat Polit=C3=A8cnica de Val=C3=A8ncia, Spain=
)
* Andrej Bauer (University of Ljubljana, Slovenia)
* Fr=C3=A9d=C3=A9ric Blanqui (Inria, France), co-chair
* Ana Bove (Chalmers University of Technology, Sweden)
* St=C3=A9phane Graham-Lengrand (CNRS, France)
* Makoto Hamana (Gunma University, Japan)
* Chantal Keller (Universit=C3=A9 Paris-Sud, France)
* Carlos Olarte (Universidade Federal do Rio grande do Norte, Brazil)
* Giselle Reis (CMU Qatar), co-chair
* Aaron Stump (University of Iowa, USA)
* Yuting Wang (Yale University, USA)
--f403045ec4260083af055dee368a
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;ma=
rgin-bottom:0pt" id=3D"inbox-inbox-docs-internal-guid-84b0a274-b9e7-4d1c-fd=
19-f6f5ec6814a2"><span style=3D"font-size:9pt;font-family:"Source Code=
Pro";color:rgb(0,0,0);background-color:transparent;font-weight:400;fo=
nt-style:normal;font-variant:normal;text-decoration:none;vertical-align:bas=
eline">[Apologies if you receive multiple copies of this announcement]</spa=
n><span style=3D"font-size:9pt;font-family:"Source Code Pro";colo=
r:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal=
;font-variant:normal;text-decoration:none;vertical-align:baseline"><br clas=
s=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-f=
amily:"Source Code Pro";color:rgb(0,0,0);background-color:transpa=
rent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:=
none;vertical-align:baseline">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D</span><span style=3D"font-size:9pt;font-family:"Sou=
rce Code Pro";color:rgb(0,0,0);background-color:transparent;font-weigh=
t:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-a=
lign:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><span style=
=3D"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);=
background-color:transparent;font-weight:400;font-style:normal;font-variant=
:normal;text-decoration:none;vertical-align:baseline"> =C2=A0=C2=A0=C2=A0=
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0Call for pap=
ers</span></p><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margi=
n-bottom:0pt"><span style=3D"font-size:9pt;font-family:"Source Code Pr=
o";color:rgb(0,0,0);background-color:transparent;font-weight:400;font-=
style:normal;font-variant:normal;text-decoration:none;vertical-align:baseli=
ne"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-siz=
e:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);background-c=
olor:transparent;font-weight:400;font-style:normal;font-variant:normal;text=
-decoration:none;vertical-align:baseline"> =C2=A0=C2=A0=C2=A0=C2=A0Logical =
Frameworks and Meta-Languages: Theory and Practice</span><span style=3D"fon=
t-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);backgro=
und-color:transparent;font-weight:400;font-style:normal;font-variant:normal=
;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix=
-line-break"></span><span style=3D"font-size:9pt;font-family:"Source C=
ode Pro";color:rgb(0,0,0);background-color:transparent;font-weight:400=
;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:=
baseline"> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=
=C2=A0=C2=A0=C2=A0=C2=A0LFMTP 2018</span><span style=3D"font-size:9pt;font-=
family:"Source Code Pro";color:rgb(0,0,0);background-color:transp=
arent;font-weight:400;font-style:normal;font-variant:normal;text-decoration=
:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></s=
pan><span style=3D"font-size:9pt;font-family:"Source Code Pro";co=
lor:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:norm=
al;font-variant:normal;text-decoration:none;vertical-align:baseline"><br cl=
ass=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font=
-family:"Source Code Pro";color:rgb(0,0,0);background-color:trans=
parent;font-weight:400;font-style:normal;font-variant:normal;text-decoratio=
n:none;vertical-align:baseline"> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0Oxford, UK, 7 July 2018</span><span style=3D"font-size=
:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);background-co=
lor:transparent;font-weight:400;font-style:normal;font-variant:normal;text-=
decoration:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-=
break"></span><span style=3D"font-size:9pt;font-family:"Source Code Pr=
o";color:rgb(0,0,0);background-color:transparent;font-weight:400;font-=
style:normal;font-variant:normal;text-decoration:none;vertical-align:baseli=
ne"> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0=C2=A0Affiliated with FSCD 2018 (part of FLoC)</span><=
span style=3D"font-size:9pt;font-family:"Source Code Pro";color:r=
gb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;fo=
nt-variant:normal;text-decoration:none;vertical-align:baseline"><br class=
=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-fa=
mily:"Source Code Pro";color:rgb(0,0,0);background-color:transpar=
ent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:n=
one;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></spa=
n><span style=3D"font-size:9pt;font-family:"Source Code Pro";colo=
r:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal=
;font-variant:normal;text-decoration:none;vertical-align:baseline"> =C2=A0=
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0</span><a href=3D"http://lfmtp.org/w=
orkshops/2018/" style=3D"text-decoration:none"><span style=3D"font-size:9pt=
;font-family:"Source Code Pro";color:rgb(17,85,204);background-co=
lor:transparent;font-weight:400;font-style:normal;font-variant:normal;text-=
decoration:underline;vertical-align:baseline">http://lfmtp.org/workshops/20=
18/</span><span style=3D"font-size:9pt;font-family:"Source Code Pro&qu=
ot;;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-styl=
e:normal;font-variant:normal;text-decoration:none;vertical-align:baseline">=
<br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9p=
t;font-family:"Source Code Pro";color:rgb(0,0,0);background-color=
:transparent;font-weight:400;font-style:normal;font-variant:normal;text-dec=
oration:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-bre=
ak"></span></a><span style=3D"font-size:9pt;font-family:"Source Code P=
ro";color:rgb(0,0,0);background-color:transparent;font-weight:400;font=
-style:normal;font-variant:normal;text-decoration:none;vertical-align:basel=
ine">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</span=
><span style=3D"font-size:9pt;font-family:"Source Code Pro";color=
:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;=
font-variant:normal;text-decoration:none;vertical-align:baseline"><br class=
=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-fa=
mily:"Source Code Pro";color:rgb(0,0,0);background-color:transpar=
ent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:n=
one;vertical-align:baseline"> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0SUBMISSION DEADLIN=
E: 16 APRIL 2018</span><span style=3D"font-size:9pt;font-family:"Sourc=
e Code Pro";color:rgb(0,0,0);background-color:transparent;font-weight:=
400;font-style:normal;font-variant:normal;text-decoration:none;vertical-ali=
gn:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D=
"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);bac=
kground-color:transparent;font-weight:400;font-style:normal;font-variant:no=
rmal;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-inbox=
-kix-line-break"></span><span style=3D"font-size:9pt;font-family:"Sour=
ce Code Pro";color:rgb(0,0,0);background-color:transparent;font-weight=
:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-al=
ign:baseline">Logical frameworks and meta-languages form a common substrate=
for</span><span style=3D"font-size:9pt;font-family:"Source Code Pro&q=
uot;;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-sty=
le:normal;font-variant:normal;text-decoration:none;vertical-align:baseline"=
><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9=
pt;font-family:"Source Code Pro";color:rgb(0,0,0);background-colo=
r:transparent;font-weight:400;font-style:normal;font-variant:normal;text-de=
coration:none;vertical-align:baseline">representing, implementing and reaso=
ning about a wide variety of</span><span style=3D"font-size:9pt;font-family=
:"Source Code Pro";color:rgb(0,0,0);background-color:transparent;=
font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;=
vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><s=
pan style=3D"font-size:9pt;font-family:"Source Code Pro";color:rg=
b(0,0,0);background-color:transparent;font-weight:400;font-style:normal;fon=
t-variant:normal;text-decoration:none;vertical-align:baseline">deductive sy=
stems of interest in logic and computer science. Their</span><span style=3D=
"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);bac=
kground-color:transparent;font-weight:400;font-style:normal;font-variant:no=
rmal;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-inbox=
-kix-line-break"></span><span style=3D"font-size:9pt;font-family:"Sour=
ce Code Pro";color:rgb(0,0,0);background-color:transparent;font-weight=
:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-al=
ign:baseline">design, implementation and their use in reasoning tasks, rang=
ing from</span><span style=3D"font-size:9pt;font-family:"Source Code P=
ro";color:rgb(0,0,0);background-color:transparent;font-weight:400;font=
-style:normal;font-variant:normal;text-decoration:none;vertical-align:basel=
ine"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-si=
ze:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);background-=
color:transparent;font-weight:400;font-style:normal;font-variant:normal;tex=
t-decoration:none;vertical-align:baseline">the correctness of software to t=
he properties of formal</span><span style=3D"font-size:9pt;font-family:&quo=
t;Source Code Pro";color:rgb(0,0,0);background-color:transparent;font-=
weight:400;font-style:normal;font-variant:normal;text-decoration:none;verti=
cal-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><span s=
tyle=3D"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0=
,0);background-color:transparent;font-weight:400;font-style:normal;font-var=
iant:normal;text-decoration:none;vertical-align:baseline">systems, have bee=
n the focus of considerable research over the last two</span><span style=3D=
"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);bac=
kground-color:transparent;font-weight:400;font-style:normal;font-variant:no=
rmal;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-inbox=
-kix-line-break"></span><span style=3D"font-size:9pt;font-family:"Sour=
ce Code Pro";color:rgb(0,0,0);background-color:transparent;font-weight=
:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-al=
ign:baseline">decades. This workshop will bring together designers, impleme=
ntors and</span><span style=3D"font-size:9pt;font-family:"Source Code =
Pro";color:rgb(0,0,0);background-color:transparent;font-weight:400;fon=
t-style:normal;font-variant:normal;text-decoration:none;vertical-align:base=
line"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-s=
ize:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);background=
-color:transparent;font-weight:400;font-style:normal;font-variant:normal;te=
xt-decoration:none;vertical-align:baseline">practitioners to discuss variou=
s aspects impinging on the structure and</span><span style=3D"font-size:9pt=
;font-family:"Source Code Pro";color:rgb(0,0,0);background-color:=
transparent;font-weight:400;font-style:normal;font-variant:normal;text-deco=
ration:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-brea=
k"></span><span style=3D"font-size:9pt;font-family:"Source Code Pro&qu=
ot;;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-styl=
e:normal;font-variant:normal;text-decoration:none;vertical-align:baseline">=
utility of logical frameworks, including the treatment of variable</span><s=
pan style=3D"font-size:9pt;font-family:"Source Code Pro";color:rg=
b(0,0,0);background-color:transparent;font-weight:400;font-style:normal;fon=
t-variant:normal;text-decoration:none;vertical-align:baseline"><br class=3D=
"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-famil=
y:"Source Code Pro";color:rgb(0,0,0);background-color:transparent=
;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none=
;vertical-align:baseline">binding, inductive and co-inductive reasoning tec=
hniques and the</span><span style=3D"font-size:9pt;font-family:"Source=
Code Pro";color:rgb(0,0,0);background-color:transparent;font-weight:4=
00;font-style:normal;font-variant:normal;text-decoration:none;vertical-alig=
n:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"=
font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);back=
ground-color:transparent;font-weight:400;font-style:normal;font-variant:nor=
mal;text-decoration:none;vertical-align:baseline">expressiveness and lucidi=
ty of the reasoning process.</span><span style=3D"font-size:9pt;font-family=
:"Source Code Pro";color:rgb(0,0,0);background-color:transparent;=
font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;=
vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><s=
pan style=3D"font-size:9pt;font-family:"Source Code Pro";color:rg=
b(0,0,0);background-color:transparent;font-weight:400;font-style:normal;fon=
t-variant:normal;text-decoration:none;vertical-align:baseline"><br class=3D=
"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-famil=
y:"Source Code Pro";color:rgb(0,0,0);background-color:transparent=
;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none=
;vertical-align:baseline">LFMTP 2018 will provide researchers a forum to pr=
esent state-of-the-art</span><span style=3D"font-size:9pt;font-family:"=
;Source Code Pro";color:rgb(0,0,0);background-color:transparent;font-w=
eight:400;font-style:normal;font-variant:normal;text-decoration:none;vertic=
al-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><span st=
yle=3D"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,=
0);background-color:transparent;font-weight:400;font-style:normal;font-vari=
ant:normal;text-decoration:none;vertical-align:baseline">techniques and dis=
cuss progress in areas such as the following:</span><span style=3D"font-siz=
e:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);background-c=
olor:transparent;font-weight:400;font-style:normal;font-variant:normal;text=
-decoration:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line=
-break"></span><span style=3D"font-size:9pt;font-family:"Source Code P=
ro";color:rgb(0,0,0);background-color:transparent;font-weight:400;font=
-style:normal;font-variant:normal;text-decoration:none;vertical-align:basel=
ine"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-si=
ze:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);background-=
color:transparent;font-weight:400;font-style:normal;font-variant:normal;tex=
t-decoration:none;vertical-align:baseline">* Encoding and reasoning about t=
he meta-theory of programming languages,</span><span style=3D"font-size:9pt=
;font-family:"Source Code Pro";color:rgb(0,0,0);background-color:=
transparent;font-weight:400;font-style:normal;font-variant:normal;text-deco=
ration:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-brea=
k"></span><span style=3D"font-size:9pt;font-family:"Source Code Pro&qu=
ot;;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-styl=
e:normal;font-variant:normal;text-decoration:none;vertical-align:baseline">=
=C2=A0logical systems and related formally specified systems.</span><span =
style=3D"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,=
0,0);background-color:transparent;font-weight:400;font-style:normal;font-va=
riant:normal;text-decoration:none;vertical-align:baseline"><br class=3D"inb=
ox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-family:&q=
uot;Source Code Pro";color:rgb(0,0,0);background-color:transparent;fon=
t-weight:400;font-style:normal;font-variant:normal;text-decoration:none;ver=
tical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><span=
style=3D"font-size:9pt;font-family:"Source Code Pro";color:rgb(0=
,0,0);background-color:transparent;font-weight:400;font-style:normal;font-v=
ariant:normal;text-decoration:none;vertical-align:baseline">* Theoretical a=
nd practical issues concerning the treatment of variable</span><span style=
=3D"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);=
background-color:transparent;font-weight:400;font-style:normal;font-variant=
:normal;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-in=
box-kix-line-break"></span><span style=3D"font-size:9pt;font-family:"S=
ource Code Pro";color:rgb(0,0,0);background-color:transparent;font-wei=
ght:400;font-style:normal;font-variant:normal;text-decoration:none;vertical=
-align:baseline"> =C2=A0binding, especially the representation of, and reas=
oning about,</span><span style=3D"font-size:9pt;font-family:"Source Co=
de Pro";color:rgb(0,0,0);background-color:transparent;font-weight:400;=
font-style:normal;font-variant:normal;text-decoration:none;vertical-align:b=
aseline"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"fon=
t-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);backgro=
und-color:transparent;font-weight:400;font-style:normal;font-variant:normal=
;text-decoration:none;vertical-align:baseline"> =C2=A0datatypes defined fro=
m binding signatures.</span><span style=3D"font-size:9pt;font-family:"=
Source Code Pro";color:rgb(0,0,0);background-color:transparent;font-we=
ight:400;font-style:normal;font-variant:normal;text-decoration:none;vertica=
l-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><span sty=
le=3D"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0=
);background-color:transparent;font-weight:400;font-style:normal;font-varia=
nt:normal;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-=
inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-family:"=
;Source Code Pro";color:rgb(0,0,0);background-color:transparent;font-w=
eight:400;font-style:normal;font-variant:normal;text-decoration:none;vertic=
al-align:baseline">* Logical treatments of inductive and co-inductive defin=
itions and</span><span style=3D"font-size:9pt;font-family:"Source Code=
Pro";color:rgb(0,0,0);background-color:transparent;font-weight:400;fo=
nt-style:normal;font-variant:normal;text-decoration:none;vertical-align:bas=
eline"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-=
size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);backgroun=
d-color:transparent;font-weight:400;font-style:normal;font-variant:normal;t=
ext-decoration:none;vertical-align:baseline"> =C2=A0associated reasoning te=
chniques, including inductive types of higher</span></p><p dir=3D"ltr" styl=
e=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font=
-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);backgrou=
nd-color:transparent;font-weight:400;font-style:normal;font-variant:normal;=
text-decoration:none;vertical-align:baseline"> =C2=A0dimension in homotopy =
type theory.</span><span style=3D"font-size:9pt;font-family:"Source Co=
de Pro";color:rgb(0,0,0);background-color:transparent;font-weight:400;=
font-style:normal;font-variant:normal;text-decoration:none;vertical-align:b=
aseline"><br class=3D"inbox-inbox-kix-line-break"><br class=3D"inbox-inbox-=
kix-line-break"></span></p><p dir=3D"ltr" style=3D"line-height:1.38;margin-=
top:0pt;margin-bottom:0pt"><span style=3D"font-size:9pt;font-family:"S=
ource Code Pro";color:rgb(0,0,0);background-color:transparent;font-wei=
ght:400;font-style:normal;font-variant:normal;text-decoration:none;vertical=
-align:baseline">* Graphical languages for building proofs, applications in=
geometry,</span></p><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0p=
t;margin-bottom:0pt"><span style=3D"font-size:9pt;font-family:"Source =
Code Pro";color:rgb(0,0,0);background-color:transparent;font-weight:40=
0;font-style:normal;font-variant:normal;text-decoration:none;vertical-align=
:baseline"> =C2=A0equational reasoning and category theory.</span><span sty=
le=3D"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0=
);background-color:transparent;font-weight:400;font-style:normal;font-varia=
nt:normal;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-=
inbox-kix-line-break"><br class=3D"inbox-inbox-kix-line-break"></span></p><=
p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><=
span style=3D"font-size:9pt;font-family:"Source Code Pro";color:r=
gb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;fo=
nt-variant:normal;text-decoration:none;vertical-align:baseline">* New theor=
y contributions: canonical and substructural frameworks,</span><span style=
=3D"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);=
background-color:transparent;font-weight:400;font-style:normal;font-variant=
:normal;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-in=
box-kix-line-break"></span><span style=3D"font-size:9pt;font-family:"S=
ource Code Pro";color:rgb(0,0,0);background-color:transparent;font-wei=
ght:400;font-style:normal;font-variant:normal;text-decoration:none;vertical=
-align:baseline"> =C2=A0contextual frameworks, proof-theoretic foundations =
supporting</span><span style=3D"font-size:9pt;font-family:"Source Code=
Pro";color:rgb(0,0,0);background-color:transparent;font-weight:400;fo=
nt-style:normal;font-variant:normal;text-decoration:none;vertical-align:bas=
eline"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-=
size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);backgroun=
d-color:transparent;font-weight:400;font-style:normal;font-variant:normal;t=
ext-decoration:none;vertical-align:baseline"> =C2=A0binders, functional pro=
gramming over logical frameworks,</span><span style=3D"font-size:9pt;font-f=
amily:"Source Code Pro";color:rgb(0,0,0);background-color:transpa=
rent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:=
none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></sp=
an><span style=3D"font-size:9pt;font-family:"Source Code Pro";col=
or:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:norma=
l;font-variant:normal;text-decoration:none;vertical-align:baseline"> =C2=A0=
homotopy and cubical type theory.</span><span style=3D"font-size:9pt;font-f=
amily:"Source Code Pro";color:rgb(0,0,0);background-color:transpa=
rent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:=
none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></sp=
an><span style=3D"font-size:9pt;font-family:"Source Code Pro";col=
or:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:norma=
l;font-variant:normal;text-decoration:none;vertical-align:baseline"><br cla=
ss=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-=
family:"Source Code Pro";color:rgb(0,0,0);background-color:transp=
arent;font-weight:400;font-style:normal;font-variant:normal;text-decoration=
:none;vertical-align:baseline">* Applications of logical frameworks: proof-=
carrying architectures, proof</span></p><p dir=3D"ltr" style=3D"line-height=
:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:9pt;font-f=
amily:"Source Code Pro";color:rgb(0,0,0);background-color:transpa=
rent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:=
none;vertical-align:baseline"> =C2=A0exchange and transformation, program r=
efactoring, etc.</span><span style=3D"font-size:9pt;font-family:"Sourc=
e Code Pro";color:rgb(0,0,0);background-color:transparent;font-weight:=
400;font-style:normal;font-variant:normal;text-decoration:none;vertical-ali=
gn:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D=
"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);bac=
kground-color:transparent;font-weight:400;font-style:normal;font-variant:no=
rmal;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-inbox=
-kix-line-break"></span><span style=3D"font-size:9pt;font-family:"Sour=
ce Code Pro";color:rgb(0,0,0);background-color:transparent;font-weight=
:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-al=
ign:baseline">* Techniques for programming with binders in functional progr=
amming</span><span style=3D"font-size:9pt;font-family:"Source Code Pro=
";color:rgb(0,0,0);background-color:transparent;font-weight:400;font-s=
tyle:normal;font-variant:normal;text-decoration:none;vertical-align:baselin=
e"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size=
:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);background-co=
lor:transparent;font-weight:400;font-style:normal;font-variant:normal;text-=
decoration:none;vertical-align:baseline"> =C2=A0languages such as Haskell, =
OCaml or Agda, and logic programming</span><span style=3D"font-size:9pt;fon=
t-family:"Source Code Pro";color:rgb(0,0,0);background-color:tran=
sparent;font-weight:400;font-style:normal;font-variant:normal;text-decorati=
on:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"><=
/span><span style=3D"font-size:9pt;font-family:"Source Code Pro";=
color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:no=
rmal;font-variant:normal;text-decoration:none;vertical-align:baseline"> =C2=
=A0languages such as lambda Prolog or Alpha-Prolog.</span><span style=3D"fo=
nt-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);backgr=
ound-color:transparent;font-weight:400;font-style:normal;font-variant:norma=
l;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-inbox-ki=
x-line-break"></span><span style=3D"font-size:9pt;font-family:"Source =
Code Pro";color:rgb(0,0,0);background-color:transparent;font-weight:40=
0;font-style:normal;font-variant:normal;text-decoration:none;vertical-align=
:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"f=
ont-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);backg=
round-color:transparent;font-weight:400;font-style:normal;font-variant:norm=
al;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-inbox-k=
ix-line-break"></span><span style=3D"font-size:9pt;font-family:"Source=
Code Pro";color:rgb(0,0,0);background-color:transparent;font-weight:4=
00;font-style:normal;font-variant:normal;text-decoration:none;vertical-alig=
n:baseline">Invited Speakers</span><span style=3D"font-size:9pt;font-family=
:"Source Code Pro";color:rgb(0,0,0);background-color:transparent;=
font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;=
vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><s=
pan style=3D"font-size:9pt;font-family:"Source Code Pro";color:rg=
b(0,0,0);background-color:transparent;font-weight:400;font-style:normal;fon=
t-variant:normal;text-decoration:none;vertical-align:baseline"><br class=3D=
"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-famil=
y:"Source Code Pro";color:rgb(0,0,0);background-color:transparent=
;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none=
;vertical-align:baseline">TBA</span><span style=3D"font-size:9pt;font-famil=
y:"Source Code Pro";color:rgb(0,0,0);background-color:transparent=
;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none=
;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><=
span style=3D"font-size:9pt;font-family:"Source Code Pro";color:r=
gb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;fo=
nt-variant:normal;text-decoration:none;vertical-align:baseline"><br class=
=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-fa=
mily:"Source Code Pro";color:rgb(0,0,0);background-color:transpar=
ent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:n=
one;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></spa=
n><span style=3D"font-size:9pt;font-family:"Source Code Pro";colo=
r:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal=
;font-variant:normal;text-decoration:none;vertical-align:baseline">Importan=
t Dates</span><span style=3D"font-size:9pt;font-family:"Source Code Pr=
o";color:rgb(0,0,0);background-color:transparent;font-weight:400;font-=
style:normal;font-variant:normal;text-decoration:none;vertical-align:baseli=
ne"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-siz=
e:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);background-c=
olor:transparent;font-weight:400;font-style:normal;font-variant:normal;text=
-decoration:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line=
-break"></span><span style=3D"font-size:9pt;font-family:"Source Code P=
ro";color:rgb(0,0,0);background-color:transparent;font-weight:400;font=
-style:normal;font-variant:normal;text-decoration:none;vertical-align:basel=
ine">Abstract submission deadline: Monday =C2=A0=C2=A0April =C2=A09th</span=
><span style=3D"font-size:9pt;font-family:"Source Code Pro";color=
:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;=
font-variant:normal;text-decoration:none;vertical-align:baseline"><br class=
=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-fa=
mily:"Source Code Pro";color:rgb(0,0,0);background-color:transpar=
ent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:n=
one;vertical-align:baseline">Submission deadline: =C2=A0=C2=A0=C2=A0=C2=A0=
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0Monday =C2=A0=C2=A0April 16th</span><span sty=
le=3D"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0=
);background-color:transparent;font-weight:400;font-style:normal;font-varia=
nt:normal;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-=
inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-family:"=
;Source Code Pro";color:rgb(0,0,0);background-color:transparent;font-w=
eight:400;font-style:normal;font-variant:normal;text-decoration:none;vertic=
al-align:baseline">Notification to authors: =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0M=
onday =C2=A0=C2=A0May =C2=A0=C2=A014th</span><span style=3D"font-size:9pt;f=
ont-family:"Source Code Pro";color:rgb(0,0,0);background-color:tr=
ansparent;font-weight:400;font-style:normal;font-variant:normal;text-decora=
tion:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"=
></span><span style=3D"font-size:9pt;font-family:"Source Code Pro"=
;;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:=
normal;font-variant:normal;text-decoration:none;vertical-align:baseline">Fi=
nal version due: =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0Monday =C2=A0=C2=A0June =C2=A0=C2=A04th</span><span style=3D"font-=
size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);backgroun=
d-color:transparent;font-weight:400;font-style:normal;font-variant:normal;t=
ext-decoration:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-l=
ine-break"></span><span style=3D"font-size:9pt;font-family:"Source Cod=
e Pro";color:rgb(0,0,0);background-color:transparent;font-weight:400;f=
ont-style:normal;font-variant:normal;text-decoration:none;vertical-align:ba=
seline">Workshop date: =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0Saturday July =C2=A0=C2=A07th</span>=
<span style=3D"font-size:9pt;font-family:"Source Code Pro";color:=
rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;f=
ont-variant:normal;text-decoration:none;vertical-align:baseline"><br class=
=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-fa=
mily:"Source Code Pro";color:rgb(0,0,0);background-color:transpar=
ent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:n=
one;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></spa=
n><span style=3D"font-size:9pt;font-family:"Source Code Pro";colo=
r:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal=
;font-variant:normal;text-decoration:none;vertical-align:baseline"><br clas=
s=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-f=
amily:"Source Code Pro";color:rgb(0,0,0);background-color:transpa=
rent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:=
none;vertical-align:baseline">Submission</span><span style=3D"font-size:9pt=
;font-family:"Source Code Pro";color:rgb(0,0,0);background-color:=
transparent;font-weight:400;font-style:normal;font-variant:normal;text-deco=
ration:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-brea=
k"></span><span style=3D"font-size:9pt;font-family:"Source Code Pro&qu=
ot;;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-styl=
e:normal;font-variant:normal;text-decoration:none;vertical-align:baseline">=
<br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9p=
t;font-family:"Source Code Pro";color:rgb(0,0,0);background-color=
:transparent;font-weight:400;font-style:normal;font-variant:normal;text-dec=
oration:none;vertical-align:baseline">In addition to regular papers, we acc=
ept the submission of "work in progress"</span><span style=3D"fon=
t-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);backgro=
und-color:transparent;font-weight:400;font-style:normal;font-variant:normal=
;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix=
-line-break"></span><span style=3D"font-size:9pt;font-family:"Source C=
ode Pro";color:rgb(0,0,0);background-color:transparent;font-weight:400=
;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:=
baseline">reports, in a broad sense.=C2=A0 Those do not need to report full=
y polished</span><span style=3D"font-size:9pt;font-family:"Source Code=
Pro";color:rgb(0,0,0);background-color:transparent;font-weight:400;fo=
nt-style:normal;font-variant:normal;text-decoration:none;vertical-align:bas=
eline"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-=
size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);backgroun=
d-color:transparent;font-weight:400;font-style:normal;font-variant:normal;t=
ext-decoration:none;vertical-align:baseline">research results, but should b=
e of interest for the community at large.</span><span style=3D"font-size:9p=
t;font-family:"Source Code Pro";color:rgb(0,0,0);background-color=
:transparent;font-weight:400;font-style:normal;font-variant:normal;text-dec=
oration:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-bre=
ak"></span><span style=3D"font-size:9pt;font-family:"Source Code Pro&q=
uot;;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-sty=
le:normal;font-variant:normal;text-decoration:none;vertical-align:baseline"=
>Submitted papers should be in PDF, formatted using the EPTCS style</span><=
span style=3D"font-size:9pt;font-family:"Source Code Pro";color:r=
gb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;fo=
nt-variant:normal;text-decoration:none;vertical-align:baseline"><br class=
=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-fa=
mily:"Source Code Pro";color:rgb(0,0,0);background-color:transpar=
ent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:n=
one;vertical-align:baseline">guidelines. The length is restricted to 15 pag=
es for regular papers and</span><span style=3D"font-size:9pt;font-family:&q=
uot;Source Code Pro";color:rgb(0,0,0);background-color:transparent;fon=
t-weight:400;font-style:normal;font-variant:normal;text-decoration:none;ver=
tical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><span=
style=3D"font-size:9pt;font-family:"Source Code Pro";color:rgb(0=
,0,0);background-color:transparent;font-weight:400;font-style:normal;font-v=
ariant:normal;text-decoration:none;vertical-align:baseline">8 pages for &qu=
ot;Work in Progress" papers.=C2=A0 Submission is via EasyChair:</span>=
<span style=3D"font-size:9pt;font-family:"Source Code Pro";color:=
rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;f=
ont-variant:normal;text-decoration:none;vertical-align:baseline"><br class=
=3D"inbox-inbox-kix-line-break"></span><a href=3D"https://easychair.org/con=
ferences/?conf=3Dlfmtp18" style=3D"text-decoration:none"><span style=3D"fon=
t-size:9pt;font-family:"Source Code Pro";color:rgb(17,85,204);bac=
kground-color:transparent;font-weight:400;font-style:normal;font-variant:no=
rmal;text-decoration:underline;vertical-align:baseline">https://easychair.o=
rg/conferences/?conf=3Dlfmtp18</span></a><span style=3D"font-size:9pt;font-=
family:"Source Code Pro";color:rgb(0,0,0);background-color:transp=
arent;font-weight:400;font-style:normal;font-variant:normal;text-decoration=
:none;vertical-align:baseline">.</span><span style=3D"font-size:9pt;font-fa=
mily:"Source Code Pro";color:rgb(0,0,0);background-color:transpar=
ent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:n=
one;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></spa=
n><span style=3D"font-size:9pt;font-family:"Source Code Pro";colo=
r:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal=
;font-variant:normal;text-decoration:none;vertical-align:baseline"><br clas=
s=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-f=
amily:"Source Code Pro";color:rgb(0,0,0);background-color:transpa=
rent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:=
none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></sp=
an><span style=3D"font-size:9pt;font-family:"Source Code Pro";col=
or:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:norma=
l;font-variant:normal;text-decoration:none;vertical-align:baseline">Proceed=
ings</span><span style=3D"font-size:9pt;font-family:"Source Code Pro&q=
uot;;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-sty=
le:normal;font-variant:normal;text-decoration:none;vertical-align:baseline"=
><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9=
pt;font-family:"Source Code Pro";color:rgb(0,0,0);background-colo=
r:transparent;font-weight:400;font-style:normal;font-variant:normal;text-de=
coration:none;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-br=
eak"></span><span style=3D"font-size:9pt;font-family:"Source Code Pro&=
quot;;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-st=
yle:normal;font-variant:normal;text-decoration:none;vertical-align:baseline=
">Accepted regular papers will be included in the proceedings of LMFTP</spa=
n><span style=3D"font-size:9pt;font-family:"Source Code Pro";colo=
r:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal=
;font-variant:normal;text-decoration:none;vertical-align:baseline"><br clas=
s=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-f=
amily:"Source Code Pro";color:rgb(0,0,0);background-color:transpa=
rent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:=
none;vertical-align:baseline">2018, whose mode of publication will be deter=
mined shortly.</span><span style=3D"font-size:9pt;font-family:"Source =
Code Pro";color:rgb(0,0,0);background-color:transparent;font-weight:40=
0;font-style:normal;font-variant:normal;text-decoration:none;vertical-align=
:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"f=
ont-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);backg=
round-color:transparent;font-weight:400;font-style:normal;font-variant:norm=
al;text-decoration:none;vertical-align:baseline"><br class=3D"inbox-inbox-k=
ix-line-break"></span><span style=3D"font-size:9pt;font-family:"Source=
Code Pro";color:rgb(0,0,0);background-color:transparent;font-weight:4=
00;font-style:normal;font-variant:normal;text-decoration:none;vertical-alig=
n:baseline"><br class=3D"inbox-inbox-kix-line-break"></span><span style=3D"=
font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);back=
ground-color:transparent;font-weight:400;font-style:normal;font-variant:nor=
mal;text-decoration:none;vertical-align:baseline">Program Committee</span><=
span style=3D"font-size:9pt;font-family:"Source Code Pro";color:r=
gb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;fo=
nt-variant:normal;text-decoration:none;vertical-align:baseline"><br class=
=3D"inbox-inbox-kix-line-break"></span><span style=3D"font-size:9pt;font-fa=
mily:"Source Code Pro";color:rgb(0,0,0);background-color:transpar=
ent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:n=
one;vertical-align:baseline"><br class=3D"inbox-inbox-kix-line-break"></spa=
n><span style=3D"font-size:9pt;font-family:"Source Code Pro";colo=
r:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal=
;font-variant:normal;text-decoration:none;vertical-align:baseline">* Mar=C3=
=ADa Alpuente (Universitat Polit=C3=A8cnica de Val=C3=A8ncia, Spain)</span>=
</p><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0=
pt"><span style=3D"font-size:9pt;font-family:"Source Code Pro";co=
lor:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:norm=
al;font-variant:normal;text-decoration:none;vertical-align:baseline">* Andr=
ej Bauer (University of Ljubljana, Slovenia)</span></p><p dir=3D"ltr" style=
=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-=
size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);backgroun=
d-color:transparent;font-weight:400;font-style:normal;font-variant:normal;t=
ext-decoration:none;vertical-align:baseline">* Fr=C3=A9d=C3=A9ric Blanqui (=
Inria, France), co-chair</span></p><p dir=3D"ltr" style=3D"line-height:1.38=
;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:9pt;font-family=
:"Source Code Pro";color:rgb(0,0,0);background-color:transparent;=
font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;=
vertical-align:baseline">* Ana Bove (Chalmers University of Technology, Swe=
den)</span></p><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;marg=
in-bottom:0pt"><span style=3D"font-size:9pt;font-family:"Source Code P=
ro";color:rgb(0,0,0);background-color:transparent;font-weight:400;font=
-style:normal;font-variant:normal;text-decoration:none;vertical-align:basel=
ine">* St=C3=A9phane Graham-Lengrand (CNRS, France)</span></p><p dir=3D"ltr=
" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style=
=3D"font-size:9pt;font-family:"Source Code Pro";color:rgb(0,0,0);=
background-color:transparent;font-weight:400;font-style:normal;font-variant=
:normal;text-decoration:none;vertical-align:baseline">* Makoto Hamana (Gunm=
a University, Japan)</span></p><p dir=3D"ltr" style=3D"line-height:1.38;mar=
gin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:9pt;font-family:&qu=
ot;Source Code Pro";color:rgb(0,0,0);background-color:transparent;font=
-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vert=
ical-align:baseline">* Chantal Keller (Universit=C3=A9 Paris-Sud, France)</=
span></p><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bot=
tom:0pt"><span style=3D"font-size:9pt;font-family:"Source Code Pro&quo=
t;;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style=
:normal;font-variant:normal;text-decoration:none;vertical-align:baseline">*=
Carlos Olarte (Universidade Federal do Rio grande do Norte, Brazil)</span>=
</p><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0=
pt"><span style=3D"font-size:9pt;font-family:"Source Code Pro";co=
lor:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:norm=
al;font-variant:normal;text-decoration:none;vertical-align:baseline">* Gise=
lle Reis (CMU Qatar), co-chair</span></p><p dir=3D"ltr" style=3D"line-heigh=
t:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:9pt;font-=
family:"Source Code Pro";color:rgb(0,0,0);background-color:transp=
arent;font-weight:400;font-style:normal;font-variant:normal;text-decoration=
:none;vertical-align:baseline">* Aaron Stump (University of Iowa, USA)</spa=
n></p><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom=
:0pt"><span style=3D"font-size:9pt;font-family:"Source Code Pro";=
color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:no=
rmal;font-variant:normal;text-decoration:none;vertical-align:baseline">* Yu=
ting Wang (Yale University, USA)</span></p></div>
--f403045ec4260083af055dee368a--
--===============4015803983673644930==--