ICLP 2019 - Call for Participation
"Fioretto, Ferdinando" <[email protected]> Fri, 2 Aug 2019 21:18:29 +0000
| Newsgroups | gmane.comp.mathematics.hol,gmane.comp.lang.caml.inria,gmane.comp.programming.garbage-collection.general |
|---|---|
| Message-ID | <[email protected]> |
--===============2320464068505856323== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_B26C1F036DAA4F239B7BF85375A1A200gatechedu_" --_000_B26C1F036DAA4F239B7BF85375A1A200gatechedu_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Apologies for cross-posting - Please forward to anybody who might be intere= sted ** The early registration is approaching soon! ** The 35th International Conference on Logic Programming (ICLP 2019) Call for Participation =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D September 20-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ Scope ------ Since the first conference held in Marseille in 1982, ICLP has been the pre= mier international event for presenting research in logic programming. Con= tributions are sought in all areas of logic programming, including but not = restricted to: * Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge= representation. * Languages: Concurrency, Objects, Coordination, Mobility, Higher Order= , Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain= -specific languages, Programming Techniques. * Declarative programming: Declarative program development, Analysis, T= ype and mode inference, Partial evaluation, Abstract interpretation, Trans= formation, Validation, Verification, Debugging, Profiling, Testing, Execut= ion visualization. * Implementation: Virtual machines, Compilation, Memory management, Par= allel/distributed execution, Constraint handling rules, Tabling, Foreign in= terfaces, User interfaces. * Related Paradigms and Synergies: Inductive and Co-inductive Logic Pro= gramming, Constraint Logic Programming, Answer Set Programming, Interaction= with SAT, SMT and CSP solvers, Logic programming techniques for type infer= ence and theorem proving, Argumentation, Probabilistic Logic Programming, R= elations to object-oriented and Functional programming. * Applications: Databases, Big Data, Data integration and federation, S= oftware engineering, Natural language processing, Web and Semantic Web, Age= nts, Artificial intelligence, Computational life sciences, Education, Cybe= rsecurity, and Robotics. Tracks and Special Sessions --------------------------- Besides the main track, ICLP 2019 will host additional tracks and special s= essions: * Applications Track: This track invites submissions of papers on emerg= ing and deployed applications of LP, describing all aspects of the developm= ent, deployment, and evaluation of logic programming systems to solve real-= world problems, including interesting case studies and benchmarks, and disc= ussing lessons learned. * Sister Conferences and Journal Presentation Track: This track provide= s a forum to discuss important results related to logic programming that ap= peared recently (from January 2017 onwards) in selective journals and confe= rences, but have not been previously presented at ICLP. * Research Challenges in Logic Programming Track: This track invites su= bmissions of papers describing research challenges that an individual resea= rcher or a research group is currently attacking. The goal of the track is = to promote discussions, exchange of ideas, and possibly stimulate new colla= borations. * Special Session: Women in Logic Programming: This special session wil= l include invited talks and presentations by women in logic programming. Every track and special session will have its own dedicated chairs, PC, eva= luation criteria, and CFP with the submission details. Conference Registration --------------------------- * Early Registration: August 5, 2019 * Registration Link: https://shopcart.nmsu.edu/shop/icpl2019 Important Dates ---------------- * Abstract registration (abstract, regular papers): May 8, 2019 * Paper submission (regular papers): May 15, 2019 * Paper submission (short papers): May 15, 2019 * Notification (regular papers): June 19, 2019 * Revision deadline (TPLP papers): July 3, 2019 * Final notifications (TPLP papers, short papers): July 17, 2019 * Camera-ready copy: July 31, 2019 * Conference: September 20-25, 2019 Organization ------------- General Chairs: Enrico Pontelli - New Mexico State University Son Tran Cao - New Mexico State University Program Chairs: Esra Erdem - Sabanci University German Vidal - Universitat Politecnica de Valencia Publicity Chair: Ferdinando Fioretto - Georgia Institute of Technology Workshops Chair: Martin Gebser - University of Klagenfurt and Graz University of Technolo= gy Tutorials Chair: Pedro Cabalar - University of Corunna DC Chairs: Paul Fodor - Stony Brook New York Daniela Inclezan - Miami University Programming Competition Chairs: Manuel Carro - Technical University of Madrid (UPM) and IMDEA Software I= nstitute Orkunt Sabuncu - TED University Applications Track Chairs: Andrea Formisano - Universita' di Perugia Fangkai Yang - NVIDIA Corporation Sister Conferences and Journal Presentation Track Chairs: Bart Bogaerts - KU Leuven Giovambattista Ianni - Universita' della Calabria Research Challenges in Logic Programming Track Chairs: Alessandro dal Palu - Universita' di Parma Amelia Harrison - University of Texas at Austin and Google Inc. Joohyung Lee - Arizona State University Women in Logic Programming Special Session Chairs: Alicia Villanueva - Universitat Politecnica de Valencia Marina De Vos - University of Bath Program Committee: Hassan Ait-Kaci - University of Lyon 1 Mario Alviano - University of Calabria Roman Bartak - Charles University Rachel Ben-Eliyahu-Zohary - Azrieli College of Engineering Bart Bogaerts - KU Leuven Gerhard Brewka - Leipzig University Pedro Cabalar - University of Corunna Michael Codish - Ben-Gurion University of the Negev Stefania Costantini - University of L'Aquila Marina De Vos - University of Bath Agostino Dovier - University of Udine Thomas Eiter - Vienna University of Technology Wolfgang Faber - Alpen-Adria-Universitat Klagenfurt Fabio Fioravanti - University of Chieti-Pescara Andrea Formisano - Universita' di Perugia John Gallagher - Roskilde University and IMDEA Software Institute Martin Gebser - University of Klagenfurt and Graz University of Technolo= gy Michael Gelfond - Texas Tech University Michael Hanus - CAU Kiel Amelia Harrison - University of Texas at Austin and Google Inc. Manuel Hermenegildo - Technical University of Madrid (UPM) and IMDEA Sof= tware Institute Giovambattista Ianni - Universita' della Calabria Daniela Inclezan - Miami University Katsumi Inoue - National Institute of Informatics Tomi Janhunen - Aalto University Angelika Kimmig - Cardiff University Ekaterina Komendantskaya - Heriot-Watt University Vladimir Lifschitz - University of Texas at Austin Evelina Lamma - University of Ferrara Joohyung Lee - Arizona State University Nicola Leone - University of Calabria Yanhong Annie Liu - Stony Brook New York Fred Mesnard - Universite de la Reunion Jose F. Morales - IMDEA Software Institute Emilia Oikarinen - Aalto University Carlos Olarte - Universidade Federal do Rio Grande do Norte Magdalena Ortiz - Vienna University of Technology Mauricio Osorio - Universidad de las Americas Puebla Barry O'Sullivan - University College Cork Simona Perri - University of Calabria Enrico Pontelli - New Mexico State University Ricardo Rocha - University of Porto Alessandra Russo - Imperial College Orkunt Sabuncu - TED University Chiaki Sakama - Wakayama University Torsten Schaub - University of Potsdam Guillermo R. Simari - Universidad Nacional del Sur Theresa Swift - Universidade Nova de Lisboa Francesca Toni - Imperial College Paolo Torroni - University of Bologna Son Tran Cao - New Mexico State University Alicia Villanueva - Universitat Politecnica de Valencia Kewen Wang - Griffith University Jan Wielemaker - VU University of Amsterdam Stefan Woltran - Vienna University of Technology Fangkai Yang - NVIDIA Corporation Roland Yap - National University of Singapore Jia-Huai You - University of Alberta Zhizheng Zhang - Southeast University --_000_B26C1F036DAA4F239B7BF85375A1A200gatechedu_ Content-Type: text/html; charset="us-ascii" Content-ID: <[email protected]> Content-Transfer-Encoding: quoted-printable <html> <head> <meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Dus-ascii"= > </head> <body style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; line-break:= after-white-space;" class=3D""> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal;" clas= s=3D""><span style=3D"font-size: 13px; font-family: "Lucida Grande&quo= t;; font-stretch: normal; line-height: normal; -webkit-font-kerning: none;"= class=3D"">Apologies</span><span style=3D"font-size: 13px; font-family: &q= uot;Zapf Dingbats"; font-stretch: normal; line-height: normal; -webkit= -font-kerning: none;" class=3D""> </span><span style=3D"font-size: 13px; font-family: "Lucida Grande&quo= t;; font-stretch: normal; line-height: normal; -webkit-font-kerning: none;"= class=3D"">for</span><span style=3D"font-size: 13px; font-family: "Za= pf Dingbats"; font-stretch: normal; line-height: normal; -webkit-font-= kerning: none;" class=3D""> </span><span style=3D"font-size: 13px; font-family: "Lucida Grande&quo= t;; font-stretch: normal; line-height: normal; -webkit-font-kerning: none;"= class=3D"">cross-posting - </span><span style=3D"-webkit-font-kerning: none; font-style: normal;" clas= s=3D""><font face=3D"Lucida Grande" class=3D"">Please forward to anybody wh= o might be interested</font></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; min-h= eight: 13px;" class=3D""> <span style=3D"font-kerning: none" class=3D""></span> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> ** The early registration is approaching soon! **</div> <div class=3D""><span style=3D"-webkit-font-kerning: none;" class=3D""><br = class=3D""> </span></div> <div class=3D""><span style=3D"-webkit-font-kerning: none;" class=3D""><br = class=3D""> </span></div> </div> <div style=3D"margin: 0px; font-stretch: normal; font-size: 14px; line-heig= ht: normal; font-family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">The</b></span><= span style=3D"font-stretch: normal; line-height: normal; font-family: "= ;Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">35th</b>= </span><span style=3D"font-stretch: normal; line-height: normal; font-famil= y: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Internat= ional</b></span><span style=3D"font-stretch: normal; line-height: normal; f= ont-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class= =3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Conferen= ce</b></span><span style=3D"font-stretch: normal; line-height: normal; font= -family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""= > </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">on</b></= span><span style=3D"font-stretch: normal; line-height: normal; font-family:= "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Logic</b= ></span><span style=3D"font-stretch: normal; line-height: normal; font-fami= ly: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Programm= ing</b></span><span style=3D"font-stretch: normal; line-height: normal; fon= t-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D"= "> (</span><span style=3D"font-kerning: none" class=3D""><b class=3D"">ICLP= </b></span><span style=3D"font-stretch: normal; line-height: normal; font-f= amily: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">2019</b>= </span><span style=3D"font-stretch: normal; line-height: normal; font-famil= y: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D"">)</sp= an></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; min-h= eight: 13px;" class=3D""> <span style=3D"font-kerning: none" class=3D""></span><br class=3D""> </div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <br class=3D""> </div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">Call</span><span style=3D"fon= t-stretch: normal; line-height: normal; font-family: "Zapf Dingbats&qu= ot;; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">for</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Participation</span></= div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; min-h= eight: 13px;" class=3D""> <span style=3D"font-kerning: none" class=3D""></span><br class=3D""> </div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">September</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">20-25,</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">2019</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">Las</span><span style=3D"font= -stretch: normal; line-height: normal; font-family: "Zapf Dingbats&quo= t;; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Cruces,</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">New</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Mexico</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> (</span><span style= =3D"font-kerning: none" class=3D"">USA</span><span style=3D"font-stretch: n= ormal; line-height: normal; font-family: "Zapf Dingbats"; -webkit= -font-kerning: none;" class=3D"">)</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande"; color: rgb(53, 134, 255);" class=3D""> <span style=3D"text-decoration: underline ; font-kerning: none" class=3D"">= <a href=3D"https://www.cs.nmsu.edu/ALP/iclp2019/" class=3D"">https://www.cs= .nmsu.edu/ALP/iclp2019/</a></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; min-h= eight: 13px;" class=3D""> <span style=3D"font-kerning: none" class=3D""></span><br class=3D""> </div> <div style=3D"margin: 0px; font-stretch: normal; font-size: 14px; line-heig= ht: normal; font-family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Scope</b></span= ></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">------</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">Since</span><span style=3D"fo= nt-stretch: normal; line-height: normal; font-family: "Zapf Dingbats&q= uot;; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">the</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">first</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">conference</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">held</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">in</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Marseille</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">in</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">1982,</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">ICLP</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">has</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">been</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">the</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">premier</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">international</span><s= pan style=3D"font-stretch: normal; line-height: normal; font-family: "= Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">event</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">for</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">presenting</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">research</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">in</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">logic</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">programming.</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Contributions</span><s= pan style=3D"font-stretch: normal; line-height: normal; font-family: "= Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">are</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">sought</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">in</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">all</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">areas</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">of</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">logic</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">programming,</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">including</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">but</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">not</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">restricted</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">to:</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; min-h= eight: 13px;" class=3D""> <span style=3D"font-kerning: none" class=3D""></span><br class=3D""> </div> <ul class=3D""> <li style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-f= amily: "Lucida Grande";" class=3D""> <b class=3D""></b><span style=3D"font-kerning: none" class=3D""><b class=3D= "">Foundations</b>:</span><span style=3D"font-stretch: normal; line-height:= normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none= ;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Semantics,</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Formalisms,</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Nonmonotonic</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">reasoning,</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Knowledge</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">representation.</span>= </li><li style=3D"margin: 0px; font-stretch: normal; line-height: normal; f= ont-family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Languages</b>:<= /span><span style=3D"font-stretch: normal; line-height: normal; font-family= : "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Concurrency,</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Objects,</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Coordination,</span><s= pan style=3D"font-stretch: normal; line-height: normal; font-family: "= Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Mobility,</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Higher</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Order,</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Types,</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Modes,</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Assertions,</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Modules,</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Meta-programming,</spa= n><span style=3D"font-stretch: normal; line-height: normal; font-family: &q= uot;Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Logic-based</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">domain-specific</span>= <span style=3D"font-stretch: normal; line-height: normal; font-family: &quo= t;Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">languages,</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Programming</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Techniques.</span></li= ><li style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Declarative</b>= </span><span style=3D"font-stretch: normal; line-height: normal; font-famil= y: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">programm= ing</b>:</span><span style=3D"font-stretch: normal; line-height: normal; fo= nt-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D= ""> </span><span style=3D"font-kerning: none" class=3D"">Declarative</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">program</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">development,</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Analysis,</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Type</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">mode</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">inference,</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Partial</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">evaluation,</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Abstract</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">interpretation,</span>= <span style=3D"font-stretch: normal; line-height: normal; font-family: &quo= t;Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Transformation,</span>= <span style=3D"font-stretch: normal; line-height: normal; font-family: &quo= t;Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Validation,</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Verification,</span><s= pan style=3D"font-stretch: normal; line-height: normal; font-family: "= Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Debugging,</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Profiling,</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Testing,</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Execution</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">visualization.</span><= /li><li style=3D"margin: 0px; font-stretch: normal; line-height: normal; fo= nt-family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Implementation<= /b>:</span><span style=3D"font-stretch: normal; line-height: normal; font-f= amily: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Virtual</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">machines,</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Compilation,</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Memory</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">management,</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Parallel/distributed</= span><span style=3D"font-stretch: normal; line-height: normal; font-family:= "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">execution,</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Constraint</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">handling</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">rules,</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Tabling,</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Foreign</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">interfaces,</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">User</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">interfaces.</span></li= ><li style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Related</b></sp= an><span style=3D"font-stretch: normal; line-height: normal; font-family: &= quot;Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Paradigm= s</b></span><span style=3D"font-stretch: normal; line-height: normal; font-= family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">and</b><= /span><span style=3D"font-stretch: normal; line-height: normal; font-family= : "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Synergie= s</b>:</span><span style=3D"font-stretch: normal; line-height: normal; font= -family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""= > </span><span style=3D"font-kerning: none" class=3D"">Inductive</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Co-inductive</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Logic</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Programming,</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Constraint</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Logic</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Programming,</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Answer</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Set</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Programming,</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Interaction</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">with</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">SAT,</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">SMT</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">CSP</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">solvers,</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Logic</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">programming</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">techniques</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">for</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">type</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">inference</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">theorem</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">proving,</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Argumentation,</span><= span style=3D"font-stretch: normal; line-height: normal; font-family: "= ;Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Probabilistic</span><s= pan style=3D"font-stretch: normal; line-height: normal; font-family: "= Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Logic</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Programming,</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Relations</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">to</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">object-oriented</span>= <span style=3D"font-stretch: normal; line-height: normal; font-family: &quo= t;Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Functional</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">programming.</span></l= i><li style=3D"margin: 0px; font-stretch: normal; line-height: normal; font= -family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Applications</b= >:</span><span style=3D"font-stretch: normal; line-height: normal; font-fam= ily: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Databases,</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Big</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Data,</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Data</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">integration</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">federation,</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Software</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">engineering,</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Natural</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">language</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">processing,</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Web</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Semantic</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Web,</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Agents,</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Artificial</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">intelligence,</span><s= pan style=3D"font-stretch: normal; line-height: normal; font-family: "= Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Computational</span><s= pan style=3D"font-stretch: normal; line-height: normal; font-family: "= Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">life</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">sciences,</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Education,</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Cybersecurity,</span><= span style=3D"font-stretch: normal; line-height: normal; font-family: "= ;Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Robotics.</span></li><= /ul> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; min-h= eight: 13px;" class=3D""> <span style=3D"font-kerning: none" class=3D""></span><br class=3D""> </div> <div style=3D"margin: 0px; font-stretch: normal; font-size: 14px; line-heig= ht: normal; font-family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Tracks</b></spa= n><span style=3D"font-stretch: normal; line-height: normal; font-family: &q= uot;Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">and</b><= /span><span style=3D"font-stretch: normal; line-height: normal; font-family= : "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Special<= /b></span><span style=3D"font-stretch: normal; line-height: normal; font-fa= mily: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Sessions= </b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">---------------------------</= span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">Besides</span><span style=3D"= font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats= "; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">the</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">main</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">track,</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">ICLP</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">2019</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">will</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">host</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">additional</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">tracks</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">special</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">sessions:</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; min-h= eight: 13px;" class=3D""> <span style=3D"font-kerning: none" class=3D""></span><br class=3D""> </div> <ul class=3D""> <li style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-f= amily: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Applications</b= ></span><span style=3D"font-stretch: normal; line-height: normal; font-fami= ly: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Track</b= >:</span><span style=3D"font-stretch: normal; line-height: normal; font-fam= ily: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">This</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">track</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">invites</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">submissions</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">of</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">papers</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">on</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">emerging</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">deployed</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">applications</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">of</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">LP,</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">describing</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">all</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">aspects</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">of</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">the</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">development,</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">deployment,</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">evaluation</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">of</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">logic</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">programming</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">systems</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">to</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">solve</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">real-world</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">problems,</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">including</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">interesting</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">case</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">studies</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">benchmarks,</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">discussing</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">lessons</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">learned.</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span></li><= li style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-fa= mily: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Sister</b></spa= n><span style=3D"font-stretch: normal; line-height: normal; font-family: &q= uot;Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Conferen= ces</b></span><span style=3D"font-stretch: normal; line-height: normal; fon= t-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D"= "> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">and</b><= /span><span style=3D"font-stretch: normal; line-height: normal; font-family= : "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Journal<= /b></span><span style=3D"font-stretch: normal; line-height: normal; font-fa= mily: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Presenta= tion</b></span><span style=3D"font-stretch: normal; line-height: normal; fo= nt-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D= ""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Track</b= >:</span><span style=3D"font-stretch: normal; line-height: normal; font-fam= ily: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">This</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">track</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">provides</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">a</span><span style=3D= "font-stretch: normal; line-height: normal; font-family: "Zapf Dingbat= s"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">forum</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">to</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">discuss</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">important</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">results</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">related</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">to</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">logic</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">programming</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">that</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">appeared</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">recently</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> (</span><span styl= e=3D"font-kerning: none" class=3D"">from</span><span style=3D"font-stretch:= normal; line-height: normal; font-family: "Zapf Dingbats"; -webk= it-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">January</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">2017</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">onwards</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D"">) </span><span style=3D"font-kerning: none" class=3D"">in</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">selective</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">journals</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">conferences,</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">but</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">have</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">not</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">been</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">previously</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">presented</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">at</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">ICLP.</span></li><li s= tyle=3D"margin: 0px; font-stretch: normal; line-height: normal; font-family= : "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Research</b></s= pan><span style=3D"font-stretch: normal; line-height: normal; font-family: = "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Challeng= es</b></span><span style=3D"font-stretch: normal; line-height: normal; font= -family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""= > </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">in</b></= span><span style=3D"font-stretch: normal; line-height: normal; font-family:= "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Logic</b= ></span><span style=3D"font-stretch: normal; line-height: normal; font-fami= ly: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Programm= ing</b></span><span style=3D"font-stretch: normal; line-height: normal; fon= t-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D"= "> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Track</b= >:</span><span style=3D"font-stretch: normal; line-height: normal; font-fam= ily: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">This</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">track</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">invites</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">submissions</span><spa= n style=3D"font-stretch: normal; line-height: normal; font-family: "Za= pf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">of</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">papers</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">describing</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">research</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">challenges</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">that</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">an</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">individual</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">researcher</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">or</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">a</span><span style=3D= "font-stretch: normal; line-height: normal; font-family: "Zapf Dingbat= s"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">research</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">group</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">is</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">currently</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">attacking.</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">The</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">goal</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">of</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">the</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">track</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">is</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">to</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">promote</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">discussions,</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">exchange</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">of</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">ideas,</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">possibly</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">stimulate</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">new</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">collaborations.</span>= <span style=3D"font-stretch: normal; line-height: normal; font-family: &quo= t;Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span= ></li><li style=3D"margin: 0px; font-stretch: normal; line-height: normal; = font-family: "Lucida Grande";" class=3D""> <b class=3D""></b><span style=3D"font-kerning: none" class=3D""><b class=3D= "">Special</b></span><span style=3D"font-stretch: normal; line-height: norm= al; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" cl= ass=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Session<= /b>:</span><span style=3D"font-stretch: normal; line-height: normal; font-f= amily: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Women</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">in</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Logic</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">Programming:</span><sp= an style=3D"font-stretch: normal; line-height: normal; font-family: "Z= apf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">This</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">special</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">session</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">will</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">include</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">invited</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">talks</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">presentations</span><s= pan style=3D"font-stretch: normal; line-height: normal; font-family: "= Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">by</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">women</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">in</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">logic</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">programming.</span></l= i></ul> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; min-h= eight: 13px;" class=3D""> <span style=3D"font-kerning: none" class=3D""></span><br class=3D""> </div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">Every</span><span style=3D"fo= nt-stretch: normal; line-height: normal; font-family: "Zapf Dingbats&q= uot;; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">track</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">special</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">session</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">will</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">have</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">its</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">own</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">dedicated</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">chairs,</span><span st= yle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf D= ingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">PC,</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">evaluation</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">criteria,</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">and</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">CFP</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">with</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">the</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">submission</span><span= style=3D"font-stretch: normal; line-height: normal; font-family: "Zap= f Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">details.</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; min-h= eight: 13px;" class=3D""> <span style=3D"font-kerning: none" class=3D""></span><br class=3D""> </div> <div style=3D"margin: 0px; font-stretch: normal; font-size: 14px; line-heig= ht: normal; font-family: "Lucida Grande"; min-height: 17px;" clas= s=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D""></b></span><br = class=3D""> </div> <div style=3D"margin: 0px; font-stretch: normal; font-size: 14px; line-heig= ht: normal; font-family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Conference Regi= stration</b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">---------------------------</= span></div> <ul class=3D""> <li style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-f= amily: "Lucida Grande";" class=3D""> <span style=3D"font-stretch: normal; line-height: normal; font-family: &quo= t;Zapf Dingbats";" class=3D""></span>Early<span style=3D"font-stretch:= normal; line-height: normal; font-family: "Zapf Dingbats";" clas= s=3D""> </span>Registration:<span style=3D"font-stretch: normal; line-height: norma= l; font-family: "Zapf Dingbats";" class=3D""> </span>August 5, 2019</li><li style=3D"margin: 0px; font-stretch: normal; l= ine-height: normal; font-family: "Lucida Grande"; color: rgb(0, 0= , 233); -webkit-text-stroke-width: initial; -webkit-text-stroke-color: rgb(= 0, 0, 233);" class=3D""> <span style=3D"font-stretch: normal; line-height: normal; font-family: &quo= t;Zapf Dingbats"; color: rgb(0, 0, 0); -webkit-text-stroke-color: rgb(= 0, 0, 0);" class=3D""></span><span style=3D"color: rgb(0, 0, 0); -webkit-te= xt-stroke-color: rgb(0, 0, 0);" class=3D"">Registration Link: <a href=3D"https://shopcart.nmsu.edu/shop/icpl2019" class=3D""><span= style=3D"-webkit-font-kerning: none;" class=3D"">https://shopcart.nmsu.edu= /shop/icpl2019</span></a></span></li></ul> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; min-h= eight: 13px;" class=3D""> <span style=3D"font-kerning: none" class=3D""></span><br class=3D""> </div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; min-h= eight: 13px;" class=3D""> <span style=3D"font-kerning: none" class=3D""></span><br class=3D""> </div> <div style=3D"margin: 0px; font-stretch: normal; font-size: 14px; line-heig= ht: normal; font-family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Important</b></= span><span style=3D"font-stretch: normal; line-height: normal; font-family:= "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D""><b class=3D"">Dates</b= ></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">----------------</span></div> <ul class=3D""> <li style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-f= amily: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">Abstract</span><span style=3D= "font-stretch: normal; line-height: normal; font-family: "Zapf Dingbat= s"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">registration (abstract= , regular papers):</span><span style=3D"font-stretch: normal; line-height: = normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;= " class=3D""> </span><span style=3D"font-kerning: none" class=3D"">May</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">8,</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">2019</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span></li><li s= tyle=3D"margin: 0px; font-stretch: normal; line-height: normal; font-family= : "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">Paper</span><span style=3D"fo= nt-stretch: normal; line-height: normal; font-family: "Zapf Dingbats&q= uot;; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">submission (regular pa= pers):</span><span style=3D"font-stretch: normal; line-height: normal; font= -family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""= > </span><span style=3D"font-kerning: none" class=3D"">May</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">15,</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">2019</span></li><li st= yle=3D"margin: 0px; font-stretch: normal; line-height: normal; font-family:= "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">Paper</span><span style=3D"fo= nt-stretch: normal; line-height: normal; font-family: "Zapf Dingbats&q= uot;; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">submission (short pape= rs):</span><span style=3D"font-stretch: normal; line-height: normal; font-f= amily: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">May</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">15,</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">2019</span></li><li st= yle=3D"margin: 0px; font-stretch: normal; line-height: normal; font-family:= "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">Notification (regular papers)= :</span><span style=3D"font-stretch: normal; line-height: normal; font-fami= ly: "Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">June</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">19,</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">2019</span></li><li st= yle=3D"margin: 0px; font-stretch: normal; line-height: normal; font-family:= "Lucida Grande";" class=3D""> Revision deadline (<span style=3D"font-kerning: none" class=3D"">TPLP</span= ><span style=3D"font-stretch: normal; line-height: normal; font-family: &qu= ot;Zapf Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">papers):</span><span s= tyle=3D"font-stretch: normal; line-height: normal; font-family: "Zapf = Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">July</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">3,</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">2019</span></li><li st= yle=3D"margin: 0px; font-stretch: normal; line-height: normal; font-family:= "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">Final</span><span style=3D"fo= nt-stretch: normal; line-height: normal; font-family: "Zapf Dingbats&q= uot;; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">notifications (TPLP pa= pers, short papers):</span><span style=3D"font-stretch: normal; line-height= : normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: non= e;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">July</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">17,</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">2019</span></li><li st= yle=3D"margin: 0px; font-stretch: normal; line-height: normal; font-family:= "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">Camera-ready</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">copy:</span><span styl= e=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Din= gbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">July</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">31,</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">2019</span></li><li st= yle=3D"margin: 0px; font-stretch: normal; line-height: normal; font-family:= "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D"">Conference:</span><span style= =3D"font-stretch: normal; line-height: normal; font-family: "Zapf Ding= bats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">September</span><span = style=3D"font-stretch: normal; line-height: normal; font-family: "Zapf= Dingbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">20-25,</span><span sty= le=3D"font-stretch: normal; line-height: normal; font-family: "Zapf Di= ngbats"; -webkit-font-kerning: none;" class=3D""> </span><span style=3D"font-kerning: none" class=3D"">2019</span></li></ul> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; min-h= eight: 13px;" class=3D""> <span style=3D"font-kerning: none" class=3D""></span><br class=3D""> </div> <div style=3D"margin: 0px; font-stretch: normal; font-size: 14px; line-heig= ht: normal; font-family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Organization</b= ></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">-------------</= b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">General Chairs:= </b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Enrico Pontelli = - New Mexico State University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Son Tran Cao - N= ew Mexico State University </span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Program Chairs:= </b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Esra Erdem - Sab= anci University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> German Vidal - U= niversitat Politecnica de Valencia</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Publicity Chair= :</b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Ferdinando Fiore= tto - Georgia Institute of Technology</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Workshops Chair= :</b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Martin Gebser - = University of Klagenfurt and Graz University of Technology</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Tutorials Chair= :</b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Pedro Cabalar - = University of Corunna</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">DC Chairs:</b><= /span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Paul Fodor - Sto= ny Brook New York</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Daniela Inclezan= - Miami University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Programming Com= petition Chairs:</b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Manuel Carro - T= echnical University of Madrid (UPM) and IMDEA Software Institute </spa= n></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Orkunt Sabuncu -= TED University </span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Applications Tr= ack Chairs:</b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Andrea Formisano= - Universita' di Perugia</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Fangkai Yang - N= VIDIA Corporation</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Sister Conferen= ces and Journal Presentation Track Chairs:</b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Bart Bogaerts - = KU Leuven</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Giovambattista I= anni - Universita' della Calabria</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Research Challe= nges in Logic Programming Track Chairs:</b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Alessandro dal P= alu - Universita' di Parma</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Amelia Harrison = - University of Texas at Austin and Google Inc.</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Joohyung Lee - A= rizona State University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Women in Logic = Programming Special Session Chairs:</b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Alicia Villanuev= a - Universitat Politecnica de Valencia</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Marina De Vos - = University of Bath</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande"; min-height: 16px;" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D""></b></span><br = class=3D""> </div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""><b class=3D"">Program Committ= ee:</b></span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Hassan Ait-Kaci = - University of Lyon 1</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Mario Alviano - = University of Calabria</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Roman Bartak - C= harles University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Rachel Ben-Eliya= hu-Zohary - Azrieli College of Engineering</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Bart Bogaerts - = KU Leuven</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Gerhard Brewka -= Leipzig University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Pedro Cabalar - = University of Corunna</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Michael Codish -= Ben-Gurion University of the Negev</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Stefania Costant= ini - University of L'Aquila</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Marina De Vos - = University of Bath</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Agostino Dovier = - University of Udine</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Thomas Eiter - V= ienna University of Technology</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Wolfgang Faber -= Alpen-Adria-Universitat Klagenfurt</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Fabio Fioravanti= - University of Chieti-Pescara</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Andrea Formisano= - Universita' di Perugia</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> John Gallagher -= Roskilde University and IMDEA Software Institute</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Martin Gebser - = University of Klagenfurt and Graz University of Technology</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Michael Gelfond = - Texas Tech University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Michael Hanus - = CAU Kiel</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Amelia Harrison = - University of Texas at Austin and Google Inc.</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Manuel Hermenegi= ldo - Technical University of Madrid (UPM) and IMDEA Software Institute</sp= an></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Giovambattista I= anni - Universita' della Calabria</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Daniela Inclezan= - Miami University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Katsumi Inoue - = National Institute of Informatics</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Tomi Janhunen - = Aalto University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Angelika Kimmig = - Cardiff University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Ekaterina Komend= antskaya - Heriot-Watt University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Vladimir Lifschi= tz - University of Texas at Austin</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Evelina Lamma - = University of Ferrara</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Joohyung Lee - A= rizona State University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Nicola Leone - U= niversity of Calabria</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Yanhong Annie Li= u - Stony Brook New York</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Fred Mesnard - U= niversite de la Reunion</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Jose F. Morales = - IMDEA Software Institute</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Emilia Oikarinen= - Aalto University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Carlos Olarte - = Universidade Federal do Rio Grande do Norte</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Magdalena Ortiz = - Vienna University of Technology</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Mauricio Osorio = - Universidad de las Americas Puebla</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Barry O'Sullivan= - University College Cork</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Simona Perri&nbs= p; - University of Calabria</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Enrico Pontelli = - New Mexico State University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Ricardo Rocha - = University of Porto</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Alessandra Russo= - Imperial College</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Orkunt Sabuncu -= TED University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Chiaki Sakama - = Wakayama University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Torsten Schaub -= University of Potsdam</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Guillermo R. Sim= ari - Universidad Nacional del Sur</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Theresa Swift - = Universidade Nova de Lisboa</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Francesca Toni -= Imperial College</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Paolo Torroni - = University of Bologna</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Son Tran Cao - N= ew Mexico State University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Alicia Villanuev= a - Universitat Politecnica de Valencia</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Kewen Wang - Gri= ffith University</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Jan Wielemaker -= VU University of Amsterdam</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Stefan Woltran -= Vienna University of Technology</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Fangkai Yang - N= VIDIA Corporation</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Roland Yap - Nat= ional University of Singapore</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Jia-Huai You - U= niversity of Alberta</span></div> <div style=3D"margin: 0px; font-stretch: normal; line-height: normal; font-= family: "Lucida Grande";" class=3D""> <span style=3D"font-kerning: none" class=3D""> Zhizheng Zhang -= Southeast University</span></div> <div class=3D""><span style=3D"font-kerning: none" class=3D""><br class=3D"= "> </span></div> </body> </html> --_000_B26C1F036DAA4F239B7BF85375A1A200gatechedu_-- --===============2320464068505856323== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============2320464068505856323== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info --===============2320464068505856323==--